arXiv++ Combinatorics

We introduce the Tor groups $ \mathop{Tor}_{\bullet}^{S_{\mathrm{M}}^{\circ}} \left( \mathbb{C}[Σ_{\mathrm{M}}], \mathbb{C} \right)_{\bullet} $ for a loopless matroid $\mathrm{M}$ as a way to study the extra relations occurring in the linear ideal of the Feichtner-Yuzvinsky presentation of the Chow ring $ A^{\bullet}(\mathrm{M}) $. This extends the definition of the Chow ring of a matroid since $ \mathop{Tor}_{0}^{S_{\mathrm{M}}^{\circ}} \left( \mathbb{C}[Σ_{\mathrm{M}}], \mathbb{C} \right)_{\bullet} \cong A^{\bullet}(\mathrm{M}) $. Our main tool in studying these groups is to recognize them as cohomology of the toric variety associated to the Bergman fan of the matroid. With this geometric approach, we show that these Tor groups fit into a long exact sequence arising from the matroidal flips of Adiprasito, Huh, and Katz, extending the short exact sequence in the case of Chow rings. Using this long exact sequence we give a recursive formula for the Hilbert series of the Tor algebra of a uniform matroid.

The $Δ$-Springer fibers $Y_{n,λ,s}$, introduced by Levinson, Woo, and the second author, generalize Springer fibers for $\mathrm{GL}_n(\mathbb{C})$ and give a geometric interpretation of the of the Delta Conjecture from algebraic combinatorics (at $t=0$). We prove that all irreducible components of the $Δ$-Springer fiber $Y_{n,n-1}=Y_{n,(1^{n-1}),n-1}$ are smooth. In fact, we prove that any intersection of irreducible components of $Y_{n,n-1}$ is a smooth Hessenberg variety which has the structure of an iterated Grassmannian fiber bundle. We then give a presentation of the singular cohomology ring of each irreducible component of $Y_{n,n-1}$ and a combinatorial formula for the Poincaré polynomial of an arbitrary union of intersections of irreducible components in terms of arm and leg statistics on Dyck paths.

We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are covolume polynomials in the sense of Aluffi. We study the cohomology rings of complex varieties in terms of Macaulay inverse systems over $\mathbb{Z}$. As applications, we show that under certain conditions, the Macaulay dual generator is a denormalized Lorentzian polynomial in the sense of Brändén and Huh, and we give a characteristic-free extension (over $\mathbb{Z}$) of the result of Khovanskii and Pukhlikov describing the cohomology ring of toric varieties in terms of volume polynomials.

The plactic monoid $\mathbf{P}$ of Lascoux and Schützenberger (1981) plays an important role in proofs of the Littlewood-Richardson rule for computing multiplicities in the linear representation theory of the symmetric group $\mathfrak{S}_n$ and the cohomology of Grassmannians. Commonly, $\mathbf{P}$ is defined as a quotient of a free monoid by relations derived from a careful analysis of Schensted's insertion algorithm and the jeu de taquin algorithm on semistandard Young tableaux. However, Lascoux and Schützenberger also gave an intrinsic characterization of $\mathbf{P}$ via a universal property. Serrano's (2010) shifted plactic monoid $\mathbf{S}$ is an analogue of $\mathbf{P}$ that governs instead the projective representation theory of $\mathfrak{S}_n$ and the cohomology of isotropic Grassmannians. We provide a universal property for $\mathbf{S}$, analogous to the Lascoux-Schützenberger characterization of $\mathbf{P}$.

We recall the lower-upper varieties from [Knutson '05] and give a formula for their equivariant cohomology classes, as a sum over generic pipe dreams. We recover as limits the classic and bumpless pipe dream formulae for double Schubert polynomials. As a byproduct, we obtain a formula for the degree of the $n$th commuting variety as a sum of powers of 2. Generic pipe dreams also appear in the Segre-Schwarz-MacPherson analogue of the AJS/Billey formula, and when computing the Chern-Schwarz-MacPherson class of the orbit $B_- w B_+ \subseteq Mat_{k\times n}$ or of a double Bruhat cell $B_-u B_+ \cap B_+ v B_-$.

We prove a formula which gives the number of occurrences of certain labels and local configurations inside two-step puzzles introduced by Buch, Kresch, Purbhoo and Tamvakis from the work of Knutson. Puzzles are tilings of the triangular lattice by edge labeled tiles and are known to compute the Schubert structure constants of the cohomology of two-step flag varieties. The formula that we obtain depends only on the boundary conditions of the puzzle. The proof is based on the study of color maps which are tilings of the triangular lattice by edge labeled tiles obtained from puzzles.

We develop a cohomological approach to Möbius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define Möbius cohomology as the derived functors of an enriched hom functor on the category of $P$-modules. We prove that the Euler characteristic of our cohomology theory recovers the classical Möbius inversion, providing a natural categorification. As a key application, we prove a categorical version of Rota's Galois Connection. Our approach unifies classical ideas from combinatorics with homological algebra.

To a graph $Γ$, one can associate a hypertoric variety $\mathcal{M}(Γ)$ and its multiplicative version $\mathcal{M}^{\mathrm{mul}}(Γ)$. It was shown in [DMS24] that the cohomology of $\mathcal{M}^{\mathrm{mul}}(Γ)$ is computed by the CKS complex, which is a finite dimensional complex attached to $Γ$. The multiplicative hypertoric variety can be realized as the quotient of a periodized hypertoric variety by a lattice action. In this paper, we show that the group cohomology of the lattice with coefficients in the cohomology of the prequotient is isomorphic to the cohomology of the CKS complex using a spectral sequence argument. Therefore, the group cohomology can serve as an alternative way to compute the cohomology of multiplicative hypertoric varieties. We also found graph-theoretic descriptions for the Euler characteristics of the graded pieces in a certain decomposition of $\mathrm{H}^\bullet(\mathcal{M}^{\mathrm{mul}}(Γ))$.

Three decades ago, Stanley and Brenti initiated the study of the Kazhdan--Lusztig--Stanley (KLS) functions, putting on common ground several polynomials appearing in algebraic combinatorics, discrete geometry, and representation theory. In the present paper we develop a theory that parallels the KLS theory. To each kernel in a given poset, we associate a polynomial function that we call the \emph{Chow function}. The Chow function often exhibits remarkable properties, and sometimes encodes the graded dimensions of a cohomology or Chow ring. The framework of Chow functions provides natural polynomial analogs of graded module decompositions that appear in algebraic geometry, but that work for arbitrary posets, even when no graded module decomposition is known to exist. In this general framework, we prove a number of unimodality and positivity results without relying on versions of the Hard Lefschetz theorem. Our framework shows that there is an unexpected relation between positivity and real-rootedness conjectures about chains on face lattices of polytopes by Brenti and Welker, Hilbert--Poincaré series of matroid Chow rings by Ferroni and Schröter, and flag enumerations on Bruhat intervals of Coxeter groups by Billera and Brenti.

The Clifford algebra of the endomorphisms of the exterior algebra of a countably dimensional vector space induces natural bosonic shadows, i.e. families of linear maps between the cohomologies of complex grassmannians. The main result of this paper is to provide a determinantal formula expressing generating functions of such endomorphisms unifying several classical special cases. For example the action over a point recovers the Jacobi-Trudy formula in the theory of symmetric functions or the Giambelli's one in classical Schubert calculus, whereas the action of degree preserving endomorphisms take into account the finite type version of the Date-Jimbo-Kashiwara-Miwa bosonic vertex operator representation of the Lie algebra $gl(\infty)$. The fermionic actions on (finite type) bosonic spaces is described in terms of the classical theory of symmetric functions. The main guiding principle is the fact that the exterior algebra is a (non irreducible) representation of the ring of symmetric functions, which is the way we use to spell the ``finite type'' Boson-Fermion correspondence.

Shareshian-Wachs, Brosnan-Chow, and Guay-Pacquet [Adv. Math. ${\bf 295}$ (2016), ${\bf 329}$ (2018), arXiv:1601.05498] realized the chromatic (quasi-)symmetric function of a unit interval graph in terms of Hessenberg varieties. Here we exhibit another realization of these chromatic (quasi-)symmetric functions in terms of the Betti cohomology of the variety $\mathscr X_Ψ$ defined in [arXiv:2301.00862]. This yields a new inductive combinatorial expression of these chromatic symmetric functions. Based on this, we propose a geometric refinement of the Stanley-Stembridge conjecture, whose validity would imply the Shareshian-Wachs conjecture.

It is conjectured (following the Stanley-Stembridge conjecture) that the cohomology rings of regular semisimple Hessenberg varieties yield permutation representations, but the decompositions of the modules are only known in some cases. For the Hessenberg function $h=(h(1),n,\ldots,n)$, the structure of the cohomology ring was determined by Abe, Horiguchi, and Masuda in 2017. We define two new bases for this cohomology ring, one of which is a higher Specht basis, and the other of which is a permutation basis. We also examine the transpose Hessenberg variety, indexed by the Hessenberg function $h' = ((n-1)^{n-m},n^m)$, and show that analogous results hold. Further, we give combinatorial bijections between the monomials in the new basis and sets of $P$-tableaux, motivated by the work of Gasharov, illustrating the connections between the $\mathfrak{S}_n$ action on these cohomology rings and the Schur expansion of chromatic symmetric functions.

We unify problems about the equivariant geometry of symmetric quiver representation varieties, in the finite type setting, with the corresponding problems for symmetric varieties $GL(n)/K$ where $K$ is an orthogonal or symplectic group. In particular, we translate results about singularities of orbit closures; combinatorics of orbit closure containment; and torus equivariant cohomology and K-theory between these classes of varieties. We obtain these results by constructing explicit embeddings with nice properties of homogeneous fiber bundles over type $A$ symmetric quiver representation varieties into symmetric varieties.

We describe the cohomology ring of toric wonderful models for arbitrary building set, including the case of non well-connected ones. Our techniques are based on blowups of posets, on Gröbner basis over rings and admissible functions.

Given integers $n \geq k \geq d$, let $X_{n,k,d}$ be the moduli space of $n$-tuples of lines $(\ell_1, \dots, \ell_n)$ in $\mathbb{C}^k$ such that $\ell_1 + \cdots + \ell_n$ has dimension $d$. We give a quotient presentation of the torus-equivariant cohomology of $X_{n,k,d}$. The form of this presentation, and in particular the torus parameters appearing therein, will arise from the orbit harmonics method of combinatorial deformation theory.

We show that the Hilbert space with basis indexed by infinite permutations and the cohomology ring of the infinite flag variety can be seen as representations of the Heisenberg algebra, which are isomorphic using the back-stable Schubert polynomials. We give a model for infinite permutations as certain two dimensional fermions, generalizing the Maya diagram construction for partitions. Under this framework, the pipedream model for Schubert polynomials can be viewed as the Hamiltonian time evolution of the 2D fermions.

We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.

Let $G$ be $Sp_{2n}$, $SO_{2n}$ or $SO_{2n+1}$ and let $G^\vee$ be its Langlands dual group. Barbasch and Vogan based on earlier work of Lusztig and Spaltenstein, define a duality map $D$ that sends nilpotent orbits $\mathbb{O}_{e^\vee} \subset \mathfrak{g}^\vee$ to special nilpotent orbits $\mathbb{O}_e\subset \mathfrak{g}$. In a work by Losev, Mason-Brown and Matvieievskyi, an upgraded version $\tilde{D}$ of this duality is considered, called the refined BVLS duality. $\tilde{D}(\mathbb{O}_{e^\vee})$ is a $G$-equivariant cover $\tilde{\mathbb{O}}_e$ of $\mathbb{O}_e$. Let $S_{e^\vee}$ be the nilpotent Slodowy slice of the orbit $\mathbb{O}_{e^\vee}$. The two varieties $X^\vee= S_{e^\vee}$ and $X=$ Spec$(\mathbb{C}[\tilde{\mathbb{O}}_e])$ are expected to be symplectic dual to each other. In this context, a version of the Hikita conjecture predicts an isomorphism between the cohomology ring of the Springer fiber $\mathcal{B}_{e^\vee}$ and the ring of regular functions on the scheme-theoretic fixed point $X^T$ for some torus $T$. This paper verifies the isomorphism for certain pairs $e$ and $e^\vee$. These cases are expected to cover almost all instances in which the Hikita conjecture holds when $e^\vee$ regular in a Levi $\mathfrak{l}^\vee\subset \mathfrak{g}^\vee$. Our results in these cases follow from the relations of three different types of objects: generalized coinvariant algebras, equivariant cohomology rings, and functions on scheme-theoretic intersections. We also give evidence for the Hikita conjecture when $e^\vee$ is distinguished.

We provide a programmable recursive algorithm for the $\mathbb{S}_n$-representations on the cohomology of the moduli spaces $\overline{\mathcal M}_{0,n}$ of $n$-pointed stable curves of genus 0. As an application, we find explicit inductive and asymptotic formulas for the invariant part $H^*(\overline{\mathcal M}_{0,n}/\mathbb{S}_n)$ and prove that its Poincaré polynomial is asymptotically log-concave. Based on numerical computations with our algorithm, we further conjecture that the sequence $\{H^{2k}(\overline{\mathcal M}_{0,n})\}$ of $\mathbb{S}_n$-modules is equivariantly log-concave.

We study the cohomology ring of the Bott--Samelson variety. We compute an explicit presentation of this ring via Soergel's result, which implies that it is a purely combinatorial invariant. We use the presentation to introduce the Bott--Samelson ring associated with a word in arbitrary Coxeter system by generators and relations. In general, it is a split quadratic complete intersection algebra with a triangular pattern of relations. By a result of Tate, it follows that it is a Koszul algebra and we provide a quadratic (reduced) Gr{ö}bner basis. Furthermore, we prove that it satisfies the whole Kähler package, including the Poincaré duality, the hard Lefschetz theorem, and the Hodge--Riemann bilinear relations.