Related papers: Coextensive varieties via Central Elements
We survey results concerning special elements of nine types (modular, lower-modular, upper-modular, cancellable, distributive, codistributive, standard, costandard and neutral elements) in the lattice of all semigroup varieties and certain…
In this paper, we generalize Serre's splitting theorem for cohomological invariants of the symmetric group to finite Coxeter groups, provided that the ground field has characteristic zero. We then use this principle to determine all the…
We completely classify all varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive.
We define character varieties with non-connected structure groups of finitely presented discrete groups and study some basic aspects, such as generic conjugacy classes and relation with fixed points in character varieties with connected…
We define relative support varieties with respect to some fixed module over a finite dimensional algebra. These varieties share many of the standard properties of classical support varieties. Moreover, when introducing finite generation…
Consider cotangent bundles of exotic spheres, with their canonical symplectic structure. They admit automorphisms which preserve the part at infinity of one fibre, and which are analogous to the square of a Dehn twist. Pursuing that…
We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this…
The arising of central extensions is discussed in two contexts. At first classical counterparts of quantum anomalies (deserving being named as "classical anomalies") are associated with a peculiar subclass of the non-equivariant maps.…
The notion of an $\mathcal{M}$-coextensive object is introduced in an arbitrary category $\mathbb{C}$, where $\mathcal{M}$ is a distinguished class of morphisms from $\mathbb{C}$. This notion allows for a categorical treatment of the strict…
We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non…
We obtain some criteria for a symmetric square-central element of a totally decomposable algebra with orthogonal involution in characteristic two, to be contained in an invariant quaternion subalgebra.
We introduce Coxeter-sortable elements of a Coxeter group W. For finite W, we give bijective proofs that Coxeter-sortable elements are equinumerous with clusters and with noncrossing partitions. We characterize Coxeter-sortable elements in…
We first present an intersection theory of partial differential varieties with quasi-generic differential hypersurfaces. Then based on the generic intersection theory, we define the partial differential Chow form for an irreducible partial…
This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect…
Generalised characteristic classes are constructed for bordism cohomologies which allow a natural extension of classical genera to these bordism cohomology rings taking values in singular cohomology.
The study of Chow varieties of decomposable forms lies at the confluence of algebraic geometry, commutative algebra, representation theory and combinatorics. There are many open questions about homological properties of Chow varieties and…
We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
We confirm a conjecture of Bernstein-Lunts which predicts that the characteristic variety of a generic polynomial vector field has no homogeneous involutive subvarieties besides the zero section and subvarieties of fibers over singular…