Related papers: Coextensive varieties via Central Elements
A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…
In this paper, we show that in every coextensive variety V, the assignment that maps each algebra to its set of central elements is both functorial and representable. Furthermore, we prove that the full subcategory of finitely presented…
A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…
Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this…
We generalize the Pierce representation theorem for (commutative) rings with unit to other algebraic categories with Definable Factor Congruences by using tools from topos theory. Of independent interest, we prove that an algebraic category…
The aim of this paper is to study co-prolongations of central extensions. We construct the obstruction theory for co-prolongations and classify the equivalence classes of these by kernels of a homomorphisms between 2-dimensional cohomology…
In earlier papers it was shown that the generic tropical variety of an ideal can contain information on algebraic invariants as for example the depth in a direct way. The existence of generic tropical varieties has so far been proved in the…
We introduce the notion of central extension of gerbes on a topological space. We then show that there are obstruction classes to lifting objects and isomorphisms in a central extension. We also discuss pronilpotent gerbes. These results…
We introduce a cohomology, called extendable cohomology, for abstract complex singular varieties based on suitable differential forms. Beside a study of the general properties of such a cohomology, we show that, given a complex vector…
We completely determine upper-modular, codistributive and costandard elements in the lattice of all commutative semigroup varieties. In particular, we prove that the properties of being upper-modular and codistributive elements in the…
We give divisibility results for the (global) characteristic varieties of hypersurface complements expressed in terms of the local characteristic varieties at points along one of the irreducible components of the hypersurface. As an…
We show that in the constant coefficient case the generic tropical variety of a graded ideal exists. This can be seen as the analogon to the existence of the generic initial ideal in Groebner basis theory. We determine the generic tropical…
Let G be a group which is topologically a CW-complex, BG a classifying space for G, and A a discrete abelian group. To a central extension of G by A, one can associate a cohomology class in $H^2(BG,A)$. We show this association is…
A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there…
The characteristic variety plays an important role in the analysis of the solution space of partial differential equations and exterior differential systems. This article studies the linear span of this variety, measuring its dimension via…
We completely determine all distributive, codistributive, standard, costandard, and neutral elements in the lattice of overcommutative semigroup varieties, thus correcting a gap contained in an earlier article by the second author.
We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…
This paper develops an approach for describing centrally extended groups, as determining the adjoint groups associated with quandles. Furthermore, we explicitly describe such groups of some quandles. As a corollary, we determine some second…
In this paper, we introduce the notion of "extension" of a toric variety and study its fundamental properties. This gives rise to infinitely many toric varieties with a special property, such as being set theoretic complete intersection or…
A central extension of the loop group of a Lie group is called transgressive, if it corresponds under transgression to a degree four class in the cohomology of the classifying space of the Lie group. Transgressive loop group extensions are…