arXiv++ Combinatorics

Over an arbitrary field, we construct realizable-volume models for the factorially normalized homogeneous Lascoux, Lascoux-atom, and positive Grothendieck packets. Their volume minors include normalized key polynomials, Demazure atoms, Schubert polynomials, and all sign-corrected homogeneous Grothendieck components. Over $\mathbb C$, these polynomials are Lorentzian. Consequently, the supports of ordinary Grothendieck, Lascoux, and Lascoux-atom polynomials are $(M^{\natural}$-convex and coincide with the lattice points of their integral generalized-polymatroid Newton polytopes. This proves, in the stronger realizable-volume form, the corresponding conjectures of Huh--Matherne--Mészáros--St.~Dizier, together with the relevant saturated-Newton-polytope and Grothendieck-support conjectures of Monical--Tokcan--Yong, Mészáros--St.~Dizier, and Mészáros--Setiabrata--St.~Dizier. The maximal-degree Grothendieck component yields the Castelnuovo--Mumford support conjecture as a special case. The construction uses a relative Bott--Samelson tower associated with the inverse-Lehmer word. Row and co-row filtrations globalize the relevant quotient and upper roots, while a divergence identity in $K^0$ organizes the kernel-root factors into the top Chern class of a globally generated bundle. A universal-incidence construction then converts the resulting top-Chern pushforward into a realizable-volume polynomial. The same framework also produces weighted packets whose finite duals are realizable-volume polynomials. More generally, we prove over an arbitrary field that factorially normalized top-degree total-Chern polynomials of globally generated bundles are realizable-volume polynomials, and that the supports of the homogeneous realizations arising from our construction are integral base sets of algebraic polymatroids.

Place the vertices of a finite graph at projective points. Each edge defines a span map to $\mathrm{Gr}(2,n)$; the pulled-back Chern classes generate a graded algebra $A_G^{(n)}$. This assignment is a covariant graph functor, so the abstract graded-algebra type is a graph invariant. In ambient dimension four, the Hilbert series is incomparable with the chromatic and Tutte polynomials. On five vertices in dimension three, the $34$ graph classes yield $33$ algebra types, strictly refining both classical polynomials. For every tree $T$, we obtain a closed Hilbert-series formula depending only on $|V(T)|$ and $n$, while $A_T^{(3)}$ determines $T$ up to isomorphism. More precisely, its cubic relation data is a complete tree invariant of polynomial size. Finally, the graphical configuration space embeds as a dense open in the picture variety, and picture spaces with equal additive homology can have nonisomorphic edge-Chern algebras.

We construct two families of commutative Frobenius rings: discrete and continuous Frobenius quotients $K_f$, resp. $A_g$, which are defined as the quotients of shift, resp. differential operator algebras by the annihilator of a polynomial. These constructions model the numerical $K$-rings and Chow rings of smooth complete varieties. We show that there is a naturally defined isomorphism $\mathbb{Q} K_f \cong \mathbb{Q} A_g$ playing the role of the Chern character, precisely when the polynomials satisfy a combinatorial analogue of the Hirzebruch-Riemann-Roch theorem, which states that there exists an invertible element $\mathrm{td} \in \mathbb{Q} A_g^\times$, called the Todd class, such that $f = \mathrm{td} \cdot g$. In this case we show that $K_f$ carries all the structure needed to make it a suitable model for $K$-rings of complete smooth varieties: $K_f$ is a $λ$-ring, has well-defined Chern classes, determinants, and satisfies a combinatorial analogue of Serre duality. We further show that the construction is functorial and obtain a combinatorial analogue of the Grothendieck-Riemann-Roch theorem. Lastly, we investigate the existence of larger families of isomorphisms between Frobenius quotients defined by the action of a power series on a generating set, such as the truncated Chern character which yields an integral isomorphism $K_f \cong A_g$. We provide numerous examples and applications: we give a new formula for computing Snapper polynomials of matroids, show that the dualizing class of $K_f$ coincides with dualizing classes of matroids and linear families of polytopes, realize $K$-rings of toric variety bundles as Frobenius quotients, and study $K$-rings of Ehrhart fans as well as exceptional isomorphisms in this setting.

We establish new lower bounds for the strength and partition rank of the determinant. For every prime $p$, we prove the exact identity \[ \operatorname{str}(\mathrm{det}_p)=p. \] A weak monotonicity argument, combined with a bound for gaps between consecutive primes, then gives $\operatorname{str}(\mathrm{det}_n)\ge (1-o(1))n^{0.475}$ for sufficiently large $n$. Since the Birch rank of $\mathrm{det}_n$ is always $4$, this gives the first explicit family showing that the dependence on the degree in bounds for strength in terms of Birch rank is unavoidable. Viewing $\mathrm{det}_n$ as an $n$-linear form in its columns, we also prove that its partition rank is at least the largest prime not exceeding $n$. Consequently, \[ n-n^{0.525}\le \operatorname{prk}(\mathrm{det}_n)\le n \] for all sufficiently large $n$, and hence the partition rank of the determinant is $n-o(n)$. The proof introduces an intersection-theoretic method for lower-bounding strength: a short strength decomposition produces a nowhere-vanishing section of a split vector bundle on the complement of the determinantal hypersurface, while a nonzero top Chern class in the Chow ring of $\mathrm{PGL}_n$ obstructs such a section.

We study the extremality properties of rays generated by tautological Chern classes of matroids in the polyhedral nef cones of the permutohedral variety. Our main result provides necessary and sufficient conditions a matroid has to meet for its tautological Chern classes to generate extremal rays. Our approach yields a new and large family of extremal rays that interpolates between two previously known classes coming from rank functions and Bergman classes of matroids. We further discuss how this theorem extends to the stellahedral variety through augmented tautological Chern classes.

Grothendieck weights, introduced by Shah, are $K$-theoretic analogues of Minkowski weights on smooth toric varieties. We study Grothendieck weights on the permutohedral fan and prove two main results: a $K$-balancing condition that characterizes Grothendieck weights by a finite system of linear equations, and an explicit product rule for the ring structure. We apply this framework to matroids, giving a combinatorial characterization of Grothendieck weights on matroidal fans. As the main application, we compute the motivic Chern class of the hyperplane arrangement complement in its wonderful compactification and show that the result depends only on the matroid, not on the realization. This allows us to extend the definition of the motivic Chern class to all loopless matroids.

Gorenstein toric contact manifolds are good toric contact manifolds with zero first Chern class that are completely determined by certain integral convex polytopes called toric diagrams. The Ehrhart polynomial of these toric diagrams determines and is determined by the contact Betti numbers of the corresponding contact manifolds, i.e. the dimension of their cylindrical contact homology in eachdegree. In this paper we look into the following natural question: to what extent do these contact invariants determine the Gorenstein toric contact manifold? Flexibility is the norm and we illustrate it with the family of Gorenstein toric contact manifolds that arise as the prequantization of monotone iterated ${\mathbb P}^1$-bundles, i.e. monotone Bott manifolds. In each dimension, the Ehrhart polynomial of their toric diagrams is equal to the Ehrhart polynomial of the cross-polytope, corresponding to the monotone prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$, and we describe the unimodular classification of these toric diagrams. On the rigidity side, we will show that the primitive prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$ is rigid, i.e. completely determined as a Gorenstein toric contact manifold by its contact Betti numbers. More precisely, in each dimension, we show that its toric diagram, which we name small cross-polytope, is the unique toric diagram with its particular Ehrhart polynomial. We will also prove a rigidity result for a family of Gorenstein toric contact manifolds that arise as the primitive prequantization of monotone ${\mathbb P}^1$-bundles over ${\mathbb P}^{n-1}$.

The open projected Richardson varieties are images of the open Richardson varieties of the complete flag variety under the canonical projection to the partial flag variety. Our main result compares the Segre motivic Chern (SMC) classes of the open projected Richardson varieties with those of the affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. The main method is the recursive relation determined by the Demazure--Lusztig operators. As another application of this recursive relation, we relate the localization of the SMC classes to the twisted Kazhdan--Lusztig R-polynomials. In the case of Grassmannians, the open projected Richardson varieties are known as the open positroid varieties. We give a combinatorial formula for the SMC classes of these varieties.

It is known that the set of square free monomials on the Chern classes of the tautological line bundles over the Peterson variety forms an additive basis of its cohomology ring. We study the expansion formula for their products. In particular, we give a square free expansion of the products multiplying degree 2 classes in terms of elementary symmetric polynomials and binomial coefficients.

We introduce the rank-nullity ring of a matroid $M$, which is a subring of the Chow ring of the permutahedral toric variety. This subring contains the tautological Chern classes of $M$, a fact we deduce from a highly symmetric formula for these classes. When the matroid $M$ is a uniform matroid, the rank-nullity ring coincides with the subring of $S_n$-invariants of the Chow ring of the permutahedral toric variety. In this case, we compute its Hilbert function explicitly and provide a Gröbner basis for the ideal of relations among its generators.

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$.

For a loopless matroid $M$, we construct a $K$-class $T_M\in K(X_{M})$. When $M$ is realizable, $T_M$ recovers the $K$-class of the tangent bundle of the wonderful compactification $W_L$. We derive two formulas for the total Chern class of $T_M$ and prove that the associated Todd class agrees with the Todd class appearing in the matroid Hirzebruch--Riemann--Roch formula. We define a "fake effective cone" so that big and nef divisors in a matroid can be characterized in a manner analogous to how the effective cone characterizes big and nef divisors in classical algebraic geometry. Finally, we define the classes $β_S$ and study their properties.

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 will describe solvable lattice models whose partition functions depend on two sets of variables, $x_1,\cdots,x_n$ and $y_1, y_2, \cdots $ that have different connections with the representation theory of $\text{GL}(n,F)$ where $F$ is a nonarchimedean local field. If the boundary conditions are chosen in one way, they are essentially the Motivic Chern classes that were used very effectively by Aluffi, Mihalcea, Schürmann and Su (AMSS) to study such problems. In particular, using this specialization we can obtain deformations $r_{u,v}$ of the Kazhdan-Lusztig R-polynomials that were used by Bump, Nakasuji and Naruse to study matrix coefficients of intertwining operators (introduced by Casselman). Thus we are able see that the recursion formula for the $r_{u,v}$ is a reflection of the Yang-Baxter equation. On the other hand, with more general boundary conditions, specializing the parameters $y_i\to 0$ we recover colored lattice models that were previously used by Brubaker, Buciumas, Bump and Gustafsson to represent Iwahori Whittaker functions on $GL(n,F)$. Thus we term the resulting two-variable-set family of functions as ``double Whittaker polynomials.''

We prove that the $d$-dependence of $c(\mathrm{Pol}^d(\mathbb{C}^n))$, the Chern class of the $\mathrm{GL}(n)$-representation of degree $d$ homogeneous polynomials in $n$ complex variables is polynomial. We also study the asymptotics of the polynomial $d$-dependence of this Chern class. We apply these results to solve a conjecture of Manivel on the degree of varieties of hypersurfaces containing linear subspaces. We also prove new formulas for the degree and Euler characteristics of Fano schemes of lines for generic hypersurfaces. To prove the polynomial dependence of $c(\mathrm{Pol}^d(\mathbb{C}^n))$ we introduce the notion of Striling coefficients. This can be considered as a generalization of Stirling numbers. We express the Stirling coefficients in terms of specializations of monomial symmetric polynomials so we can deduce their polynomiality and, in certain cases, their asymptotic behaviour.

In this paper, we resolve a conjecture of Khovanskii--Monin on the Chern classes of toric variety bundles. The main result is a formula for the total Chern class of the tangent bundle of a toric variety bundle in terms of the total Chern class of the base and the total Chern class of the toric fibre. The result serves as a simultaneous generalization of the description of the total Chern class of a projectivized vector bundle and of the formula for the total Chern class of a toric variety in terms of the Chern classes of the toric divisors. We also establish a topological version of this statement for stably complex quasitoric manifolds. As an immediate application, we obtain a formula for the total Chern class of a toroidal horospherical variety in terms of the Chern classes of the generalized flag variety and the total Chern class of the toric fibre, as well as a new proof of Masuda's formula for equivariant Chern classes. This paper is written with a view towards finding polytopal models for various numeric invariants of spherical varieties.

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.

The open projected Richardson varieties form a stratification for the partial flag variety $G/P$. We compare the Segre--MacPherson classes of open projected Richardson varieties with those of the corresponding affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. In the case of the Grassmannian $G/P=\operatorname{Gr}_k(\mathbb{C}^n)$, the open projected Richardson varieties are known as open positroid varieties. We obtain symmetric functions that represent the Segre--MacPherson classes of these open positroid varieties, constructed explicitly in terms of pipe dreams for affine permutations.

Given a tropical cycle $X$, one can talk about a notion of tropical vector bundles on $X$ having real or tropical fibers. By restricting our attention to bounded rational sections of these bundles, one can develop a good notion of characteristic classes that behave as expected classically. We present further results on these characteristic classes and use it to notably prove the analogue of the splitting principle, which allows us to establish the foundations for Porteous' formula in this setting which provides a determinantal expression for the fundamental class of degeneracy loci in terms of Chern classes.

We employ combinatorial techniques to present an explicit formula for the coefficients in front of Chern classes involving in the Hattori-Stong integrability conditions. We also give an evenness condition for the signature of stably almost-complex manifolds in terms of Chern numbers. As an application, it can be showed that the signature of a $2n$-dimensional stably almost-complex manifold whose possibly nonzero Chern numbers being $c_n$ and $c_ic_{n-i}$ is even, which particularly rules out the existence of such structure on rational projective planes. Some other related results and remarks are also discussed in this article.