arXiv++ Combinatorics

We formulate a combinatorial version of the Intersection Hodge Conjecture for projective toric varieties. The conjecture asserts that the subspace of rational Hodge classes in the intersection cohomology $IH^*(X_Σ)$ is generated by the classes of algebraic cycles. We define the space of combinatorial Hodge classes, $Hdg^k_{\mathrm{comb}}(Σ) \subset IH^{2k}_{\mathrm{comb}}(Σ, \mathbb{Q})$, using the combinatorial intersection cohomology theory for fans developed by Barthel, Brasselet, Fieseler, and Kaup. We conjecture that this space is spanned by the combinatorial cycle classes corresponding to torus-invariant subvarieties. We verify this conjecture for all projective toric varieties of dimension $n \le 3$ and for the class of simplicial projective toric varieties. Finally, we provide an algorithmic framework to verify the conjecture for arbitrary rational fans.

In the space of equioriented type $A$ quiver representations, we define subvarieties called "open quiver loci" by placing strict rank conditions on the maps within representations. The closures of these subvarieties are the quiver loci, whose equivariant cohomology classes are the quiver polynomials of Buch and Fulton. We present one geometric formula and two combinatorial formulas that compute equivariant Chern--Schwartz--MacPherson (CSM) classes of open quiver loci; these classes refine the data of the quiver polynomials. The second combinatorial formula is in terms of "chained generic pipe dreams," which modify the pipe dreams of Bergeron and Billey to more strongly resemble the lacing diagrams of Abeasis and Del Fra. We also present two new formulas for quiver polynomials; these are streamlined versions of known formulas due to Knutson, Miller, and Shimozono, in the sense that they contain fewer terms.

Combinatorial analogues of classical Borsuk-Ulam-type theorems (e.g., Tucker's lemma, $\mathbb{Z}_p$-Tucker's lemma, etc.) have numerous important applications in combinatorics. In this paper, we formulate a combinatorial degree version of a generalized $\mathbb{Z}_p$-Tucker's lemma. Our proof is purely combinatorial in the sense that it does not involve homology, cohomology or any other notions from continuous topology. In order to prove the aforementioned degree theorem, as a main technical tool, we prove a Hopf trace-type formula, which is also purely combinatorial and involves no homology. This combinatorial Hopf trace formula is of independent interest.

We study vanishing theorems of tautological bundles in the sense of Berget--Eur--Spink--Tseng restricted to wonderful varieties. As an application, we prove a characteristic-independent analogue of Brieskorn's result on cohomology of arrangement complements, in addition to a comparison theorem between Orlik--Solomon algebra and the logarithmic de Rham cohomology of wonderful varieties. In a different direction, we extend a vanishing theorem of Borel--Weil--Bott type for tautological bundles. Finally, we reduce the weak version of White's basis conjecture to a problem about cohomology vanishing of tautological bundles.

This paper establishes new eigenvalue bounds for combinatorial Laplacians of simplicial complexes, extending previous results for flag complexes by Lew (2024) and general complexes by Shukla and Yogeshwaran (2020). Using elementary matrix-theoretic methods, we derive lower bounds for the eigenvalues of the combinatorial Laplacian in terms of the graph Laplacian spectrum and combinatorial parameters that measure the deviation from a flag complex. As a consequence, we obtain upper bounds on the dimension of cohomology groups. We also generalize an eigenvalue comparison inequality between a simplicial complex and its subcomplexes to arbitrary eigenvalues. As an application of the dimension bounds, we refine a result by Kahle (2007) on the vanishing of cohomology and connectivity in the neighborhood complex of the Erdős--Rényi random graph.

We reprove the generalized Nandakumar-Ramana Rao conjecture for the prime case using representation ring-graded Bredon cohomology. Our approach relies solely on the $RO(C_p)$-graded cohomology of configuration spaces, viewed as a module over the $RO(C_p)$-graded Bredon cohomology of a point.

Punctual noncommutative Hilbert schemes are projective varieties parametrizing finite codimensional left ideals in noncommutative formal power series rings. We determine their motives and intersection cohomology, by constructing affine pavings and small resolutions of singularities.

A root system $Φ$ of rank $n$ determines an $n$-dimensional smooth projective toric variety $X(Φ)$ associated with the fan of its Weyl chambers. For the root system of type $A_n$, this variety is the well-known permutohedral variety $X_{A_n}$. Using purely combinatorial methods, we obtain an explicit closed formula expressing the product of Chern classes $c_k c_{n-k}$ as a multiple of the top Chern class $c_n$ in the rational cohomology ring $H^*(X_{A_n};\mathbb{Q})$. The resulting coefficient, which depends only on $k$ and $n$, is given by a closed-form expression. As an application, we compute the Chern number $\langle c_k c_{n-k}, [X_{A_n}] \rangle$.

Let $P$ be a finite partially ordered set. In a recent series of works, Proudfoot introduced the notion of $Z$-polynomials associated with $P$-kernels, providing a unified framework for various intersection cohomology Poincaré polynomials arising in diverse areas of mathematics. One of the problems posed by Proudfoot was to interpret the $Z$-polynomial in a fundamental setting -- namely, when $P$ is the lattice of faces of a convex polytope (or, more generally, an Eulerian poset). We resolve this problem by proving that the $Z$-polynomial of any Eulerian poset coincides with the toric $h$-polynomial of the poset of all (possibly empty) closed intervals of $P$, ordered by reverse inclusion. Under suitable polyhedral conditions, this result identifies the $Z$-polynomial of a polytope with the Poincaré polynomial of the intersection cohomology of an associated auxiliary polytope. We prove some results about the Chow polynomials of the poset of intervals of an Eulerian poset and relate them with the Veronese transforms on polynomials.

We study the cohomology of $C_n(X)$, the moduli space of commuting $n$-by-$n$ matrices satisfying the equations defining a variety $X$. This space can be viewed as a non-commutative Weil restriction from the algebra of $n$-by-$n$ matrices to the ground field. We introduce a ``Fermionic" counterpart $S_n(X)$, constructed as a convolution $X^n \times^{S_n} \mathrm{GL}_n/\mathrm{T}_n$. Our main result establishes that a natural map $σ\colon S_n(X) \to C_n(X)$ induces an isomorphism on $\ell$-adic cohomology under mild conditions on $X$ or the characteristic of the field. This confirms a heuristic derived from the classical theory of Weil restrictions and highlights a version of Boson-Fermion correspondence. Furthermore, we derive explicit combinatorial formulae for the Betti numbers of $C_n(X)$ and a Macdonald-type generating series. Finally we prove a Hermitian variant of our main result.

We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.

The main goal of this paper is to extend two fundamental combinatorial results in Schubert calculus on flag manifolds from equivariant cohomology and $K$-theory to equivariant elliptic cohomology. The foundations of elliptic Schubert calculus were laid in a few relatively recent papers by Rimányi, Weber, and Kumar. They include the recursive construction of elliptic Schubert classes via generalizations of the cohomology and $K$-theory push-pull operators and the study of the corresponding Demazure algebra. We derive a Billey-type formula for the localization of elliptic Schubert classes (for partial flag manifolds of arbitrary type) and a pipe dream model for their polynomial representatives in the case of type $A$ flag manifolds. The latter extends the pipe dream model for double Schubert and Grothendieck polynomials. We also study the degeneration of elliptic Schubert classes to $K$-theory, which recovers the corresponding classical formulas.

We study topological aspects of supersolvable abelian arrangements, toric arrangements in particular. The complement of such an arrangement sits atop a tower of fiber bundles, and we investigate the relationship between these bundles and bundles involving classical configuration spaces. In the toric case, we show that the monodromy of a supersolvable arrangement bundle factors through the Artin braid group, and that of a strictly supersolvable arrangement bundle factors further through the Artin pure braid group. The latter factorization is particularly informative -- we use it to determine a number of invariants of the complement of a strictly supersolvable arrangement, including the cohomology ring and the lower central series Lie algebra of the fundamental group.

By a theorem of Edrei, an infinite, normalised totally nonnegative upper-triangular Toeplitz matrix is determined by a pair of nonnegative parameter sequences, the `Schoenberg parameters', where nonzero parameters correspond to the roots and poles of a naturally associated generating function. These totally nonnegative Toeplitz matrices and their parameters also arise in the classification of characters of the infinite symmetric group by later work of Thoma. Moreover the Schoenberg parameters have an asymptotic interpretation in terms of irreducible representations of S_n and their Young diagrams by Vershik-Kerov. In this article we consider infinite totally positive Toeplitz matrices as limits of finite ones, and we obtain two further asymptotic descriptions of the Schoenberg parameters that are now related to quantum cohomology of the flag variety as n goes to infinity. One is related to asymptotics of normalised quantum parameters, and the other to asymptotics of the Chern classes of the tautological line bundles. We also describe the asymptotics of (quantum) Schubert classes in terms of the Schoenberg parameters. Our limit formulas relate to and were motivated by a tropical analogue of this theory that we survey. In the tropical setting one finds an asymptotic relationship between the `tropical Schoenberg parameters' and the weight map from Lusztig's parametrisation of the canonical basis.

We introduce a bi-graded polynomial that encodes the cohomology groups of the wild Hitchin system of type~$A_{n-1}$, constructed using an irregular singularity (determined by an integer~$m$) and an arbitrary regular singularity~$f$. When the regular singularity is of the form~$f = [1, \ldots, 1]$, the bi-graded polynomial~$C_{m,n}(q,t)$ coincides with the bigraded rational parking function defined combinatorially, admitting a Schur expansion~$C_{m,n}(q,t) = \sum_λf_λ(q,t) s_λ(x)$. For general~$f$, the polynomial takes the form~$C^f_{m,n}(q,t) = \sum_λf_λ(q,t) K_{λf}$, where~$K_{λf}$ denotes the Kostka number. We conjecture that this bi-graded polynomial agrees with the one arising from the perverse filtration of the Hitchin fibration, or equivalently, from the weight filtration of the mixed Hodge structure from the character variety. We also give a description by using the geometry of affine Springer fiber.}

The algebra of $R$-valued functions on the set of chambers of a real hyperplane arrangement is called the Varchenko-Gelfand (VG) algebra. This algebra carries a natural filtration by the degree with respect to Heaviside functions, giving rise to the associated graded VG algebra. When the coefficient ring $R$ is an integral domain of characteristic $2$, the graded VG algebra is known to be isomorphic to the Orlik-Solomon algebra. In this paper, we study VG algebras over coefficient rings of characteristic different from $2$, and investigate to what extent VG algebras determine the underlying oriented matroid structures. Our main results concern hyperplane arrangements that are generic in codimension $2$. For such arrangements, if $R$ is an integral domain of characteristic not equal to $2$, then the oriented matroid can be recovered from both the filtered and the graded VG algebras. As a byproduct, we prove that, unlike the complexification, the cohomology ring of the complement of a $3$-plexification of a real arrangement is not determined by the intersection lattice. We also formulate an algorithm that is expected to reconstruct oriented matroids from VG algebras in the case of general arrangements.

Shellable complexes are homotopy equivalent to a wedge of spheres of possibly different dimensions, so that the (co)homology of the constant functor over the complex is concentrated in those degrees. In this work, we introduce the concept of a stable functor -- a local weakening of fibrancy -- over a shellable poset, which ensures the vanishing of the (co)homology of such a functor in specific degrees. The methods are based on a model category structure on the category of functors indexed by a filtered poset and the combinatorial structure of shellable posets. Our techniques work over non-finite and non-pure posets and employ a description of (co)homology via explicit fibrant replacements. Applications include acyclicity criteria for Mackey functors, computation of cohomology of $j$-th exterior powers over arrangement lattices, and homological decompositions for Bianchi groups $Γ_d$ for $d=1,2,7$ and $11$.

It is known that the Chow ring of a matroid satisfies the Hard Lefschetz property and Hodge Riemann relations. We provide a proof of this theorem by decomposition of the deletion operation into star subdivisions at two dimensional cones. This gives a simple combinatorial proof which avoids intersection cohomology or algebraic geometry.

Let $\mathbf a:=(a_1,\ldots,a_r)$ be a sequence of positive integers, $d\geq 2$ and $j\geq 1$, some integers. We study the functions $p_{\mathbf a,d}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ of $\sum_{i=1}^r a_ix_i=n$, with $x_i\geq 0$ and $x_i \equiv 0,1(\bmod\;d)$, for all $1\leq i\leq r$, and $p_{\mathbf a,d}(n;j):=$ the number of $(x_1,\ldots,x_r)$ as above which satisfy also the condition $\sum_{i=1}^r \left(x_i-(d-2)\left\lfloor \frac{x_i}{d} \right\rfloor\right) =j$. We give formulas for $p_{\mathbf a,d}(n)$ and its polynomial part $P_{\mathbf a,d}(n)$, and also for $p_{\mathbf a,d}(n;j)$. As an application, we compute the dimensions of the stable cohomology groups for certain line bundles associated to flag varieties, defined over an algebraically closed field of positive characteristic.

Real toric manifolds are the real loci of nonsingular complete toric varieties. In this paper, we calculate the integral cohomology groups of real toric manifolds in terms of the combinatorial data contained in the underlying simplicial fans, generalizing a formula due to Cai and Choi. We also present a combinatorial formula to describe the ring structure, modulo the ideal consisting of elements of order $2$. As an application, a combinatorial-algebraic criterion is established for when a real toric manifold is spin$^c$.