arXiv++ Combinatorics

In this paper, we present a new method for computing the f-vector of a marked order polytope. Namely, given an arbitrary (polyhedral) subdivision of an arbitrary convex polytope, we construct a cochain complex (over the two-element field Z_2) such that the dimensions of its cohomology groups equal the components of the f-vector of the original polytope. In the case of a marked order polytope and its well-known cubosimplicial subdivision, this cochain complex can be described purely combinatorially -- which yields the said computation of the f-vector. Of independent interest may be our combinatorial description of the said cubosimplicial subdivision (which was originally constructed geometrically).

Cohen--Suciu proved that the cohomology ring of the boundary manifold of a complex projective line arrangement is isomorphic to the double of the cohomology ring of the complement. In this paper, we generalize this result to arbitrary combinatorial line arrangements, including non-realizable ones. The notion of the boundary manifold for combinatorial line arrangements was introduced by Ruberman--Starkston. To handle arbitrary combinatorial line arrangements, we construct explicit homology cycles following the method by Doig--Horn. Using these cycles, we compute the cohomology ring of the boundary manifold and prove that it is isomorphic to the double of the Orlik-Solomon algebra. As an application, we derive several results on the resonance variety of the boundary manifold.

The equivariant cohomology ring of a regular semisimple Hessenberg variety in type A is a free module over the equivariant cohomology ring of a point. When equipped with Tymoczko's dot action, it becomes a twisted representation of the symmetric group, and the character of this representation is given by the chromatic quasisymmetric function of an indifference graph. In this note, we use divided difference operators to decompose this representation as a direct sum of sub-representations in a way that categorifies the modular relation between chromatic quasisymmetric functions.

Volume polynomials measure the growth of Minkowski sums of convex bodies and of tensor powers of positive line bundles on projective varieties. We show that Aluffi's covolume polynomials are precisely the polynomial differential operators that preserve volume polynomials, reflecting a duality between homology and cohomology. We then present several applications to matroid theory.

One hundred years ago, Hilbert gave a list of important open problems in mathematics. His 15th problem asked for the development of a rigorous calculus explaining Schubert's enumerative results for intersecting varieties defined by rank conditions on vector spaces. Today by way of many contributions in algebraic topology, geometry, and combinatorics, we consider this solved. Yet, deep questions remain about the subtleties of actually carrying out the process. In this chapter, we hope to summarize the rigorous development of what has become known as Schubert calculus, with an eye toward computation. We discuss Grassmannians and flag varieties and their cohomology rings, following Monk's constructive algebraic approach. We derive formulas for Schur and Schubert polynomials, which represent cohomology classes of Schubert varieties. We hint at the vast literature in this area and point to the other references in the Handbook for more information. Finally, we identify open problems that remain a challenge even with modern tools at our fingertips in hopes of inspiring further contributions in this fascinating field. This is intended as the first chapter of a book entitled "Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety", a compendium of topics in the area. The book is being edited by Erik Insko, Martha Precup, and Ed Richmond. In addition to this introductory chapter, others will cover more advanced topics such as Kazhdan-Lusztig varieties, generalized smooth Schubert varieties, Richardson varieties and positroid varieties, spherical and torus orbit closures, spanning line configurations, different types of Hessenberg varieties, and generalizations to Kac-Moody flag varieties, each written by experts in those areas. We hope you enjoy this chapter enough to seek out the others, and that you send us any comments or corrections you find as you read this article!

Motivated by the study of Springer fibers and their totally nonnegative counterparts, we define a new subset of standard tableaux called Richardson tableaux. We characterize Richardson tableaux combinatorially using evacuation as well as in terms of a pair of associated reading words. We also characterize Richardson tableaux geometrically, proving that a tableau is Richardson if and only if the corresponding component of a Springer fiber is a Richardson variety, which in turn holds if and only if its positive part is a top-dimensional cell of the totally nonnegative Springer fiber studied by Lusztig (2021). We prove that each such component is smooth by leveraging a combinatorial description of the corresponding pair of reading words, generalizing a result of Graham-Zierau (2011). Another application is that the cohomology classes of these components can be computed in the Schubert basis using Schubert calculus. Finally, we show that the enumeration of Richardson tableaux is surprisingly elegant: the number of Richardson tableaux of fixed partition shape is a product of binomial coefficients, and the number of Richardson tableaux of size $n$ is the $n$th Motzkin number. As a result, we obtain a novel refinement for the Motzkin numbers, as well as a formula for the number of top-dimensional cells in the totally nonnegative Springer fiber.

We show that Schur classes of ample vector bundles on smooth projective varieties satisfy Hodge-Riemann relations on $H^{p,q}$ under the assumption that $H^{p-2,q-2}$ vanishes. More generally, we study Hodge-Riemann polynomials, which are partially symmetric polynomials that produce cohomology classes satisfying the Hodge-Riemann property when evaluated at Chern roots of ample vector bundles. In the case of line bundles and in bidegree $(1,1)$, these are precisely the nonzero dually Lorentzian polynomials. We prove various properties of Hodge-Riemann polynomials, confirming predictions and answering questions of Ross and Toma. As an application, we show that the derivative sequence of any product of Schur polynomials is Schur log-concave, confirming conjectures of Ross and Wu.

Lascoux and Schützenberger introduced Schubert and Grothendieck polynomials to study the cohomology and K-theory of the complete flag variety. We present explicit combinatorial rules for expressing Grothendieck polynomials in the basis of Schubert polynomials, and vice versa, using the bumpless pipe dreams (BPDs) of Lam, Lee, and Shimozono. A key advantage of BPDs is that they are naturally back stable, which allows us to give a combinatorial formula for expanding back stable Grothendieck polynomials in terms of back stable Schubert polynomials. We also provide pipe dream interpretations for the rules originally given by Lenart (Grothendieck to Schubert) and Lascoux (Schubert to Grothendieck), which were previously formulated in terms of binary triangular arrays. We give new proofs of these results, relying on Knutson's co-transition recurrences. As a consequence, we obtain a formula for expanding Grothendieck polynomials into Schubert polynomials using chains in Bruhat order. The key connection between the pipe dream and BPD change of basis formulas is the canonical bijection of Gao and Huang. We show that co-permutations are preserved by this map.

Given a proper toric variety and a line bundle on it, we describe the morphism on singular cohomology given by the cup product with the Chern class of that line bundle in terms of the data of the associated fan. Using that, we relate the local cohomological dimension of an affine toric variety with the Lefschetz morphism on the singular cohomology of a projective toric variety of one dimension lower. As a corollary, we show that the local cohomological defect is not a combinatorial invariant. We also produce numerous examples of toric varieties in every dimension with any possible local cohomological defect, by showing that the local cohomological defect remains unchanged under taking a pyramid.

In this paper, we study the Chern character operators on the equivariant cohomology of the Hilbert schemes of points in the complex affine plane $C^2$ with the action of the torus $(C^*)^2$, and partially verify Okounkov's Conjecture [Oko, Conjecture 2] in this setting. Our main idea is to apply the connection between the equivariant cohomology of these Hilbert schemes and the ring of symmetric functions, via the deformed vertex operators of Cheng and Wang [CW], (the integral form of) the Jack symmetric functions and the transformed Macdonald symmetric functions of Garsia and Haiman [GH, Hai].

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.