arXiv++ Combinatorics

Let $G$ be a finite group acting properly by lattice automorphisms on a complete simplicial fan $Σ$. An open question due to Stanley asked whether the (ungraded) representation carried by the cohomology $H^*(X_Σ)$ of the associated toric variety $X_Σ$ is isomorphic to a permutation representation of $G$. We prove that Stanley's question has an affirmative answer for all smooth projective toric varieties without the properness assumption on the action. The proof is inspired by toric mirror symmetry.

We derive a graded character formula for the action of any finite group on the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan, which is given by an equivariant version of the classical h-polynomial. This gives the graded character formula for the representation of the group on the cohomology of the associated toric variety when the fan is rational. As an application, we use a navel tool, which we called hybrid fan, to compute the Poincaré polynomial of the invariants of the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan under a finite reflection group action. This implies that the Poincaré polynomial of the quotient of a compact toric orbifold by any finite reflection group is equal to the Poincaré polynomial of the compact toric orbifold associated to the hybrid fan.

We study the totally nonnegative part of the Peterson variety in arbitrary Lie type and establish its connection to the strongly dominant weight polytope. In particular, we prove that the totally nonnegative part of the Peterson variety is a regular CW-complex, which is homeomorphic to a cube as a cell-decomposed space. This confirms a conjecture of Rietsch for all Lie types.

We give an explicit, positive, and type-uniform formula for all equivariant structure constants of the Peterson Schubert calculus in arbitrary Lie types, using only the Cartan matrix of the corresponding root system $Φ$. As an application, we derive a type-uniform formula for the mixed $Φ$-Eulerian numbers.

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.

Björner and Ekedahl [Ann. of Math. (2), 170.2(2009), pp. 799--817] pioneered the study of length-counting sequences associated with parabolic lower Bruhat intervals in crystallographic Coxeter groups. In this paper, we study the asymptotic behavior of these sequences in affine Weyl groups. Let $W$ be an affine Weyl group with corresponding Weyl group $W_f$ and ${}^{f}{W}$ be the set of minimal representatives for the right cosets $W_f \backslash W$. Let $t_λ$ be the translation by a dominant coroot lattice element $λ$ and ${}^{f}{b}_i^{t_λ}$ be the number of elements of length $i$ below $t_λ$ in the Bruhat order on ${}^{f}{W}$. We show that the sequence $({}^{f}{b}_i^{t_λ})_i$ is ''asymptotically log-concave'' in the following sense: The sequence of discrete measures $(\mathfrak{m}_k)_k$ constructed from the $k$-fold dilated sequence $({}^{f}{b}_i^{t_{kλ}})_i$, as $k$ tends to infinity, converges weakly to a continuous measure obtained from a polytope $P^λ$. Moreover, the sequence of step functions $(S_k)_k$ of $({}^{f}{b}_i^{t_{kλ}})_i$ converges uniformly to the density function of this continuous measure. By Brunn--Minkowski inequality, this density is log-concave.

For any root system of rank $r$, we study the "dominant weight polytope" $P^λ$ associated with a strongly dominant weight $λ$. We prove that $P^λ$ is combinatorially equivalent to the $r$-dimensional cube. As an application, we give a new proof of the known formulas for Betti numbers of Peterson varieties in classical Lie types.

We formulate a series of conjectures on the stable tensor product of irreducible representations of symmetric groups, which are closely related to the reduced Kronecker coefficients. These conjectures are certain generalizations of Okounkov's conjecture on the log-concavity of the Littlewood--Richardson coefficients and the Schur log-concavity theorem of Lam--Postnikov--Pylyavskyy. We prove our conjectures in some special cases and discuss some implications of these conjectures.

By interpreting Kostka numbers as tensor product multiplicities in the BGG category O for the special linear Lie algebras, we provide a new proof of the classical Jacobi--Trudi identities for skew Schur polynomials, derived from the celebrated Weyl character formula. We re-establish the Schur positivity of certain truncations in the Jacobi--Trudi expansion of skew Schur polynomials and obtain Schur positivity results for similar truncations in the Jacobi--Trudi-type expansion of the product of two Schur polynomials. Furthermore, we interpret the coefficients in the Schur polynomial expansions of these Jacobi--Trudi truncations as tensor product multiplicities in the BGG category O.

We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.

We show that the exterior algebra $Λ_{R}\left[α_{1}, \cdots, α_{n}\right]$, which is the cohomology of the torus $T=(S^{1})^{n}$, and the polynomial ring $\mathbb{R}\left[t_{1}, \ldots, t_{n}\right]$, which is the cohomology of the classifying space $B (S^{1})^{n}=\left(\mathbb{C} \mathbb{P}^{\infty}\right)^{n}$, are $S_{n}$-equivariantly log-concave. We do so by explicitly giving the $S_{n}$-representation maps on the appropriate sequences of tensor products of polynomials or exterior powers and proving that these maps satisfy the hard Lefschetz theorem. Furthermore, we prove that the whole Kähler package, including algebraic analogies of the Poincaré duality, hard Lefschetz, and Hodge-Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.