Related papers: Cohomology of type $B$ real permutohedral varietie…
A permutohedral variety is a remarkable object in various areas of mathematics, and its topological invariants are widely recognized. However, only little is known about a real permutohedral variety, that is, the real locus of a…
In this paper, we study the ring structure of the integral cohomology of the Peterson variety of type $\text{A}_{n-1}$. We give two kinds of descriptions: (1) we show that it is isomorphic to the $\mathfrak{S}_n$-invariant subring of the…
A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics…
We construct a concrete isomorphism from the permutohedral variety to the regular semisimple Hessenberg variety associated to the Hessenberg function $h_+(i)=i+1$, $1\le i\le n-1$. In the process of defining the isomorphism, we introduce a…
The toric variety corresponding to the Coxeter fan of type A can also be described as a De Concini-Procesi wonderful model. Using a general result of Rains which relates cohomology of real De Concini-Procesi models to poset homology, we…
Snakes are analogues of alternating permutations defined for any Coxeter group. We study these objects from the point of view of combinatorial Hopf algebras, such as noncommutative symmetric functions and their generalizations. The main…
We extend the notion of absolute subsets of Betti moduli spaces of smooth algebraic varieties to the case of normal varieties. As a consequence we prove that twisted cohomology jump loci in rank one over a normal variety are a finite union…
Every cohomology ring isomorphism between two non-singular complete toric varieties and quasitoric manifolds, respectively, with second Betti number $2$ is realizable by a diffeomorphism and homeomorphism, respectively.
Type-A toric varieties may be obtained as GIT quotients with respect to a torus action with weights corresponding to roots of the group $SL(k)$ for some $k>1$. These varieties appear in various important applications, in particular, as…
Given an affine toric variety $X$ embedded in a smooth variety, we prove a general result about the mixed Hodge module structure on the local cohomology sheaves of $X$. As a consequence, we prove that the singular cohomology of a proper…
We study the rational cohomology groups of the real De Concini-Procesi model corresponding to a finite Coxeter group, generalizing the type-A case of the moduli space of stable genus 0 curves with marked points. We compute the Betti numbers…
A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as…
In this survey article we describe the geometry of toric hyperk\"ahler varieties, which are hyperk\"ahler quotients of the quaternionic vector spaces by tori. In particular, we discuss the Betti numbers, the cohomology ring, and variation…
We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of…
Quasiperiodic patterns described by polyhedral "atomic surfaces" and admitting matching rules are considered. It is shown that the cohomology ring of the continuous hull of such patterns is isomorphic to that of the complement of a torus…
We construct a multiplicative spectral sequence converging to the symplectic cohomology ring of any affine variety $X$, with first page built out of topological invariants associated to strata of any fixed normal crossings compactification…
We compute the (rational) Betti number of real toric varieties associated to Weyl chambers of type $B$. Furthermore, we show that their integral cohomology is $p$-torsion free for all odd primes $p$.
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…
We establish a connection between the algebraic geometry of the type B permutohedral toric variety and the combinatorics of delta-matroids. Using this connection, we compute the volume and lattice point counts of type B generalized…
The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve…