arXiv++ Combinatorics

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 toric variety is mixed of Hodge-Tate type. Additionally, using these Hodge module techniques, we derive a purely combinatorial result on rational polyhedral cones that has consequences regarding the depth of reflexive differentials on a toric variety. We then study in detail two important subclasses of toric varieties: those corresponding to cones over simplicial polytopes and those corresponding to cones over simple polytopes. Here, we give a comprehensive description of the local cohomology in terms of the combinatorics of the associated cones, and calculate the Betti numbers (or more precisely, the Hodge-Du Bois diamond) of a projective toric variety associated to a simple polytope.

This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the case of level structures on the moduli space $\mathcal{A}_{g}$ of abelian varieties, and the special unitary case.

As observed by Joyal, the cohomology groups of the partition posets are naturally identified with the components of the operad encoding Lie algebras. This connection was explained in terms of operadic Koszul duality by Fresse, and later generalized by Vallette to the setting of decorated partitions. In this article, we set up and study a general formalism which produces a priori operadic structures (operads and operadic modules) on the cohomology of families of posets equipped with some natural recursive structure, that we call "operadic poset species". This framework goes beyond decorated partitions and operadic Koszul duality, and contains the metabelian Lie operad and Kontsevich's operad of trees as two simple instances. In forthcoming work, we will apply our results to the hypertree posets and their connections to post-Lie and pre-Lie algebras.

Zonotopal algebras, introduced by Postnikov--Shapiro--Shapiro, Ardila--Postnikov, and Holtz--Ron, show up in many different contexts, including approximation theory, representation theory, Donaldson--Thomas theory, and hypertoric geometry. In the first half of this paper, we construct a perfect pairing between the internal zonotopal algebra of a linear space and the reduced Orlik--Terao algebra of the Gale dual linear space. As an application, we prove a conjecture of Moseley--Proudfoot--Young that relates the reduced Orlik--Terao algebra of a graph to the cohomology of a certain configuration space. In the second half of the paper, we interpret the Macaulay inverse system of a zonotopal algebra as the space of sections of a sheaf on the Schubert variety of a linear space. As an application of this, we use an equivariant resolution of the structure sheaf of the Schubert variety inside of a product of projective lines to produce an exact sequence relating internal and external zonotopal algebras.

Motivated by Stanley's generalization of the chromatic polynomial of a graph to the chromatic symmetric function, we introduce the characteristic polynomial of a representation of the symmetric group, or more generally, of a symmetric function. When the representation arises from geometry, the coefficients of its characteristic polynomial tend to form a log-concave sequence. To illustrate, we investigate explicit examples, including the $n$-fold products of the projective spaces, the GIT moduli spaces of points on $\mathbb{P}^1$ and Hessenberg varieties. Our main focus lies on the cohomology of the moduli space of pointed rational curves, for which we prove asymptotic formulas of its characteristic polynomial and establish asymptotic log-concavity.

Lusztig varieties are subvarieties in flag manifolds $G/B$ associated to an element $w$ in the Weyl group $W$ and an element $x$ in $G$, introduced in Lusztig's papers on character sheaves. We study the geometry of these varieties when $x$ is regular semisimple. In the first part, we establish that they are normal, Cohen-Macaulay, of pure expected dimension and have rational singularities. We then show that the cohomology of ample line bundles vanishes in positive degrees, in arbitrary characteristic. This extends to nef line bundles when the base field has characteristic zero or sufficiently large characteristic. Along the way, we prove that Lusztig varieties are Frobenius split in positive characteristic and that their open cells are affine. We also prove that the open cells in Deligne-Lusztig varieties are affine, settling a question that has been open since the foundational paper of Deligne and Lusztig. In the second part, we explore their relationship with regular semisimple Hessenberg varieties. Both varieties admit Tymoczko's dot action of $W$ on their (intersection) cohomology. We associate to each element $w$ in $W$ a Hessenberg space using the tangent cone of the Schubert variety associated with $w$, and show that the cohomology of the associated regular semisimple Lusztig varieties and Hessenberg varieties is isomorphic as graded $W$-representations when they are smooth. This relationship extends to the level of varieties: we construct a flat degeneration of regular semisimple Lusztig varieties to regular semisimple Hessenberg varieties. In particular, this proves a conjecture of Abreu and Nigro on the homeomorphism types of regular semisimple Lusztig varieties in type $A$, and generalizes it to arbitrary Lie types.

We prove that any digraph Brown functor -- i.e. a contravariant functor from the homotopy category of finite directed graphs to the category of abelian groups, satisfying the triviality axiom, the additivity axiom, and the Mayer-Vietoris axiom -- is representable. Furthermore, we show that the first path cohomology functor is a digraph Brown functor.

Kontsevich's graphs allow encoding multi-vectors whose coefficients are differential-polynomial in the coefficients of a given Poisson bracket on an affine real manifold. Encoding formulas by directed graphs adapts to the class of Nambu-determinant Poisson brackets, yet the graph topology becomes dimension-specific. To inspect whether a given Kontsevich graph cocycle $γ$ acts (non)trivially -- in the second Poisson cohomology -- on the space of Nambu brackets, taking a vector field solution $\smash{\vec{X}^γ_d}$ from dimension $d$ does not work in $d+1$. For $2 \leqslant d \leqslant 4$, the action of tetrahedron $γ_3$ on Nambu brackets is known to be a Poisson coboundary, $\dot{P} = [[ P,\smash{\vec{X}^{γ_3}_d} (P)]]$. We explore which minimal (sub)sets of graphs, encoding (non)vanishing objects over $\mathbb{R}^d_{\text{aff}}$, generate the topological data that suffice for a solution $\smash{\vec{X}^{γ_3}_{d+1}}$ to appear. We detect that there can be no solution in higher dimension without invisible graphs that vanish as formulas in $d=3$, but whose descendants do not all vanish over $d=4$.

For a given graph $G$, Budzik, Gaiotto, Kulp, Wang, Williams, Wu, Yu, and the first author studied a ''topological'' differential form $α_G$, which expresses violations of BRST-closedness of a quantum field theory along a single topological direction. In a seemingly unrelated context, Brown, Panzer, and the second author studied a ''Pfaffian'' differential form $φ_G$, which is used to construct cohomology classes of the odd commutative graph complex. We give an explicit combinatorial proof that $α_G$ coincides with $φ_G$. We also discuss the equivalence of several properties of these forms, which had been established independently for both contexts in previous work.

Full subcomplexes of a simplicial complex encode essential structure for understanding the complex itself. For a simplicial complex $K$, possibly with a ghost vertex, the Bier sphere of $K$ is a simplicial sphere obtained as the deleted join of $K$ and its combinatorial Alexander dual. In this paper, we determine the homotopy types of all full subcomplexes of Bier spheres. As applications, we provide a formula for the bigraded Betti numbers of the Bier sphere of $K$ in terms of full subcomplexes of $K$, and we explicitly describe the cohomology of real toric manifolds associated with Bier spheres.

Positive geometries are semialgebraic sets equipped with a canonical differential form whose residues mirror the boundary structure of the geometry. Every full-dimensional projective polytope is a positive geometry. Motivated by the canonical forms of polytopes, we construct a canonical form for any tope of an oriented matroid, inside the Orlik--Solomon algebra of the underlying matroid. Using these canonical forms, we construct bases for the Orlik--Solomon algebra of a matroid, and for the Aomoto cohomology. These bases of canonical forms are a foundational input in the theory of matroid amplitudes introduced by the second author.

Much of modern Schubert calculus is centered on Schubert varieties in the complete flag variety and on their classes in its integral cohomology ring. Under the Borel isomorphism, these classes are represented by distinguished polynomials called Schubert polynomials, introduced by Lascoux and Schützenberger. Knutson and Miller showed that Schubert polynomials are multidegrees of matrix Schubert varieties, affine varieties introduced by Fulton, which are closely related to Schubert varieties. Many roads to studying Schubert polynomials pass through unions and intersections of matrix Schubert varieties. The third author showed that the natural indexing objects of arbitrary intersections of matrix Schubert varieties are alternating sign matrices (ASMs). Every ASM variety is expressible as a union of matrix Schubert varieties. Many fundamental algebro-geometric invariants (e.g., codimension, degree, and Castelnuovo--Mumford regularity) are well understood combinatorially for matrix Schubert varieties, substantially via the combinatorics of strong Bruhat order on $S_n$. The extension of strong order to ASM(n), the set of $n \times n$ ASMs, has so far not borne as much algebro-geometric fruit for ASM varieties. Hamaker and Reiner proposed an extension of weak Bruhat order from $S_n$ to ASM(n), which they studied from a combinatorial perspective. In the present paper, we place this work on algebro-geometric footing. We use weak order on ASMs to give a characterization of codimension of ASM varieties. We also show that weak order operators commute with K-theoretic divided difference operators and that they satisfy the same derivative formula that facilitated the first general combinatorial computation of Castelnuovo--Mumford regularity of matrix Schubert varieties. Finally, we build from these results to generalizations that apply to arbitrary unions of matrix Schubert varieties.

Zonotopal algebras of vector arrangements are combinatorially-defined algebras with connections to approximation theory, introduced by Holtz and Ron and independently by Ardila and Postnikov. We show that the internal zonotopal algebra of a cographical vector arrangement is isomorphic to the cohomology ring of a certain configuration space introduced by Moseley, Proudfoot, and Young. We also study an integral form of this algebra, which in the cographical case is isomorphic to the integral cohomology ring. Our results rely on interpreting the internal zonotopal algebra of a totally unimodular arrangement as an orbit harmonics ring, that is, as the associated graded of the ring of functions on a finite set of lattice points.

Let $M=G/H$ be a Riemannian homogeneous space, where $G$ is a compact Lie group with closed subgroup $H$. Classical intersection theory states that the de Rham cohomology ring of $M$ describes the signed count of intersection points of submanifolds $Y_1, \ldots, Y_s$ of $M$ in general position, when the codimensions add up to $\dim M$. We introduce the probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$, whose multiplication describes the unsigned count of intersection points, when the $Y_i$ are randomly moved by independent uniformly random elements of $G$. The probabilistic intersection ring $\mathrm{H}_{\mathbb E}(M)$ has the structure of a graded commutative and associative real Banach algebra. It is defined as a quotient of the ring of Grassmann zonoids of a fixed cotangent space $V$ of $M$. The latter was introduced by the authors in [Adv. Math. 402, 2022]. There is a close connection to valuations of convex bodies: $\mathrm{H}_{\mathbb E}(M)$ can be interpreted as a subspace of the space of translation invariant, even, continuous valuations on $V$, whose multiplication coincides with Alesker's multiplication for smooth valuations. We describe the ring structure of the probabilistic intersection ring for spheres, real projective space and complex projective space, relying on Fu [J. Diff. Geo. 72(3), 2006] for the latter case. From this, we derive an interesting probabilistic intersection formula in complex projective space. Finally, we initiate the investigation of the probabilistic intersection ring for real Grassmannians, outlining the construction of a probabilistic version of Schubert Calculus.

A GL$(n)$ quantum integrable system generalizing the asymmetric five vertex spin chain is shown to encode the ring relations of the equivariant quantum cohomology and equivariant quantum K-theory ring of flag varieties. We also show that the Bethe ansatz states of this system generate the double $β$-Grothendieck polynomials.

It is a classical problem in algebraic topology asked by Steenrod which graded rings occur as the cohomology ring of a space. In this paper, we define an algebraic version of the graph colouring, span colouring, and observe the relation between span colourings and Steenrod's problem for graded Stanley-Reisner rings, in other words polynomial rings divided by an ideal generated by square-free monic monomials.

Type $A$ and type $B$ permutohedral varieties are classic examples of mathematics, and their topological invariants are well known. This naturally leads to the investigation of the topology of their real loci, known as type $A$ and type $B$ real permutohedral varieties. The rational cohomology rings of type $A$ real permutohedral varieties are fully described in terms of alternating permutations. Until now, only rational Betti numbers of type $B$ real permutohedral varieties have been described in terms of $B$-snakes. In this paper, we explicitly describe the multiplicative structure of the cohomology rings of type $B$ real permutohedral varieties in terms of $B$-snakes.

This paper studies Bernstein--Sato polynomials $b_{f,0}$ for homogeneous polynomials $f$ of degree $d$ with $n$ variables. It is open to know when $-{n\over d}$ is a root of $b_{f,0}$. For essential indecomposable hyperplane arrangements, this is a conjecture by Budur, Mustaţă and Teitler and implies the strong topological monodromy conjecture for arrangements. Walther gave a sufficient condition that a certain differential form does not vanish in the top cohomology group of Milnor fiber. We use Walther's result to verify the $n\over d$-conjecture for weighted hyperplane arrangements satisfying the nonresonant condition.

Several generalizations of Vershik-Kerov limit shape problem are motivated by topological string theory and supersymmetric gauge theory instanton count. In this paper specifically we study the circular and linear quiver theories. We also briefly discuss the double-elliptic generalization of the Vershik-Kerov problem, related to six dimensional gauge theory compactified on a torus, and to elliptic cohomology of the Hilbert scheme of points on a plane. We prove that the limit shape in that setting is governed by a genus two algebraic curve, suggesting unexpected dualities between the enumerative and equivariant parameters.

In this article, we discuss the notion of partition of elements in an arbitrary Coxeter system $(W,S)$: a partition of an element $w$ is a subset $\mathcal P\subseteq W$ such that the left inversion set of $w$ is the disjoint union of the left inversion set of the elements in $\mathcal P$. Partitions of elements of $W$ arises in the study of the Belkale-Kumar product on the cohomology $H^*(X,\mathbb Z)$, where $X$ is the complete flag variety of any complex semi-simple algebraic group. Partitions of elements in the symmetric group $\mathcal S_n$ are also related to the {\em Babington-Smith model} in algebraic statistics or to the simplicial faces of the Littlewood-Richardson cone. We state the conjecture that the number of right descents of $w$ is the sum of the number of right descents of the elements of $\mathcal P$ and prove that this conjecture holds in the cases of symmetric groups (type $A$) and hyperoctahedral groups (type $B$).