arXiv++ Combinatorics

In this paper we study the combinatorics of free Borel actions of the group $\mathbb Z^d$ on Polish spaces. Building upon recent work by Chandgotia and Meyerovitch, we introduce property $F$ on $\mathbb Z^d$-shift spaces $X$ under which there is an equivariant map from any free Borel action to the free part of $X$. Under further entropic assumptions, we prove that any subshift $Y$ (modulo the periodic points) can be Borel embedded into $X$. Several examples satisfy property $F$ including, but not limited to, the space of proper $3$-colourings, tilings by rectangles (under a natural arithmetic condition), proper $2d$-edge colourings of $\mathbb Z^d$ and the space of bi-infinite Hamiltonian paths. This answers questions raised by Seward, and Gao-Jackson, and recovers a result by Weilacher and some results announced by Gao-Jackson-Krohne-Seward.

We give a Type $B$ analog of Whitehouse's lifts of the Eulerian representations from $S_n$ to $S_{n+1}$ by introducing a family of $B_{n}$-representations that lift to $B_{n+1}$. As in Type $A$, we interpret these representations combinatorially via a family of orthogonal idempotents in the Mantaci-Reutenauer algebra, and topologically as the graded pieces of the cohomology of a certain $\mathbb{Z}_{2}$-orbit configuration space of $\mathbb{R}^{3}$. We show that the lifted $B_{n+1}$-representations also have a configuration space interpretation, and further parallel the Type $A$ story by giving analogs of many of its notable properties, such as connections to equivariant cohomology and the Varchenko-Gelfand ring.

The moduli space $\overline{\mathcal{M}}_{0,n}$ of $n$ pointed stable curves of genus $0$ admits an action of the symmetric group $S_n$ by permuting the marked points. We provide a closed formula for the character of the $S_n$-action on the cohomology of $\overline{\mathcal{M}}_{0,n}$. This is achieved by studying wall crossings of the moduli spaces of quasimaps which provide us with a new inductive construction of $\overline{\mathcal{M}}_{0,n}$, equivariant with respect to the symmetric group action. Moreover we prove that $H^{2k}(\overline{\mathcal{M}}_{0,n})$ for $k\le 3$ and $H^{2k}(\overline{\mathcal{M}}_{0,n})\oplus H^{2k-2}(\overline{\mathcal{M}}_{0,n})$ for any $k$ are permutation representations. Our method works for related moduli spaces as well and we provide a closed formula for the character of the $S_n$-representation on the cohomology of the Fulton-MacPherson compactification $\mathbb{P}^1[n]$ of the configuration space of $n$ points on $\mathbb{P}^1$ and more generally on the cohomology of the moduli space $\overline{\mathcal{M}}_{0,n}(\mathbb{P}^{m-1},1)$ of stable maps.

In this paper we prove that the quotient of any real or complex moment-angle complex by any closed subgroup in the naturally acting compact torus on it is equivariantly homotopy equivalent to the homotopy colimit of a certain toric diagram. For any quotient we prove an equivariant homeomorphism generalizing the well-known Davis-Januszkiewicz construction for quasitoric manifolds and small covers. We deduce formality of the corresponding Borel construction space under the natural assumption on the group action in the complex case leading to the new description of the equivariant cohomology for the quotients by any coordinate subgroups. We prove the weak Toral Rank Conjecture for any partial quotient by the diagonal circle action. We give an explicit construction of partial quotients by circle actions having arbitrary torsion in integral cohomology.

The set of T-invariant curves in a Schubert variety through a T-fixed point is relatively easy to characterize in terms of its weights, but the tangent space is more difficult. We prove that the weights of the tangent space are contained in the rational cone generated by the weights of the T-invariant curves. In simply laced types, this remains true if "rational" is replaced by "integral". We also obtain conditions under which every weight of the tangent space is the weight of a T-invariant curve, as well as a smoothness criterion. The results rely on equivariant K-theory, as well as the study of different notions of decomposability of roots.

For any graph, we show that the graded permutation representation of the graph automorphism group given by matchings is strongly equivariantly log-concave. The proof gives a family of equivariant injections inspired by a combinatorial map of Kratthenthaler and reduces to the hard Lefschetz theorem.

We study the way in which equivariant Kazhdan-Lusztig polynomials, equivariant inverse Kazhdan-Lusztig polynomials, and equivariant Z-polynomials of matroids change under the operation of relaxation of a collection of stressed hyperplanes. This allows us to compute these polynomials for arbitrary paving matroids, which we do in a number of examples, including various matroids associated with Steiner systems that admit actions of Mathieu groups.

We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant holomorphic Euler characteristics over the Hilbert scheme of points on the affine plane. To do so, we slightly modify a Macdonald polynomial identity of Mellit.

We prove a conjecture of Buch and Mihalcea in the case of the incidence variety X=Fl(1,n-1;n) and determine the structure of its (T-equivariant) quantum K-theory ring. Our results are an interplay between geometry and combinatorics. The geometric side concerns Gromov-Witten varieties of 3-pointed genus 0 stable maps to X with markings sent to Schubert varieties, while on the combinatorial side are formulas for the (equivariant) quantum K-theory ring of X. We prove that the Gromov-Witten variety is rationally connected when one of the defining Schubert varieties is a divisor and another is a point. This implies that the (equivariant) K-theoretic Gromov-Witten invariants defined by two Schubert classes and a Schubert divisor class can be computed in the ordinary (equivariant) K-theory ring of X. We derive a positive Chevalley formula for the equivariant quantum K-theory ring of X and a positive Littlewood-Richardson rule for the non-equivariant quantum K-theory ring of X. The Littlewood-Richardson rule in turn implies that non-empty Gromov-Witten varieties given by Schubert varieties in general position have arithmetic genus 0.

We show that the image of a subshift $X$ under various injective morphisms of symbolic algebraic varieties over monoid universes with algebraic variety alphabets is a subshift of finite type, resp. a sofic subshift, if and only if so is $X$. Similarly, let $G$ be a countable monoid and let $A$, $B$ be Artinian modules over a ring. We prove that for every closed subshift submodule $Σ\subset A^G$ and every injective $G$-equivariant uniformly continuous module homomorphism $τ\colon Σ\to B^G$, a subshift $Δ\subset Σ$ is of finite type, resp. sofic, if and only if so is the image $τ(Δ)$. Generalizations for admissible group cellular automata over admissible Artinian group structure alphabets are also obtained.

We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian and odd orthogonal Grassmannian.

We present a formula for the Poincaré dual in the flag manifold of the equivariant fundamental class of any regular nilpotent or regular semisimple Hessenberg variety as a polynomial in terms of certain Chern classes. We then develop a type-independent proof of the Giambelli formula for the Peterson variety, and use this formula to compute the intersection multiplicity of a Peterson variety with an opposite Schubert variety corresponding to a Coxeter word. Finally, we develop an equivariant Chevalley formula for the cap product of a divisor class with a fundamental class, and a dual Monk rule, for the Peterson variety.

We prove cases of a conjectural rule of H. Yadav, A. Yong, and the author for structure coefficients of the D. Anderson-W. Fulton ring. In particular, we give a combinatorial description for certain localization coefficients of this ring, which is related to the equivariant cohomology of isotropic Grassmannians.

We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$).

We show that the Frobenius character of the equivariant Borel-Moore homology of a certain positive $GL_n$-version of the unramified affine Springer fiber $Z_k$ studied by Goreski, Kottwitz and MacPherson is computed by the matrix coefficients of the $\nabla^k$-operator, which acts diagonally in the modified Macdonald basis. We do this by relating the combinatorial formula for the $\nabla^k$-operator we obtained in an earlier paper to the GKM paving of $Z_k$, and we give an algebraic presentation of the above homology as an explicit submodule of the Kostant-Kumar nil Hecke algebra. We then study a certain open locus $U_k \subset Z_k$, and reduce a long-standing conjecture of Bergeron, Garsia, Haiman and Tesler, which predicts the sign of the coefficients of the Schur expansion of $\nabla^k$, to a vanishing conjecture about the homology groups of $U_k$. The latter conjecture is in turn reduced to a vanishing conjecture for certain open loci of the regular semisimple Hessenberg varieties which are indexed by partial Dyck paths.

Let $Θ_n = (θ_1, \dots, θ_n)$ and $Ξ_n = (ξ_1, \dots, ξ_n)$ be two lists of $n$ variables and consider the diagonal action of $\mathfrak{S}_n$ on the exterior algebra $\wedge \{ Θ_n, Ξ_n \}$ generated by these variables. Jongwon Kim and the second author defined and studied the fermionic diagonal coinvariant ring $FDR_n$ obtained from $\wedge \{ Θ_n, Ξ_n \}$ by modding out by the $\mathfrak{S}_n$-invariants with vanishing constant term. On the other hand, the second author described an action of $\mathfrak{S}_n$ on the vector space with basis given by noncrossing set partitions of $\{1,\dots,n\}$ using a novel family of skein relations which resolve crossings in set partitions. We give an isomorphism between a natural Catalan-dimensional submodule of $FDR_n$ and the skein representation. To do this, we show that set partition skein relations arise naturally in the context of exterior algebras. Our approach yields an $\mathfrak{S}_n$-equivariant way to resolve crossings in set partitions. We use fermions to clarify, sharpen, and extend the theory of set partition crossing resolution.

We introduce a class of labeled graphs (with legs) which contains two classes of GKM graphs of $4n$-dimensional manifolds with $T^{n}\times S^{1}$-actions, i.e., GKM graphs of the toric hyperK${\rm\ddot{a}}$hler manifolds and of the cotangent bundles of toric manifolds. Under some conditions, the graph equivariant cohomology ring of such a labeled graph is computed. We also give a module basis of the graph equivariant cohomology by using a shelling structure of such a labeled graph and study their multiplicative structure.

We give an inductive procedure for finding the extremal rays of the equivariant Littlewood-Richardson cone, which is closely related to the solution space to S. Friedland's majorized Hermitian eigenvalue problem. In so doing, we solve the "rational version" of a problem posed by C. Robichaux, H. Yadav, and A. Yong. Our procedure is a natural extension of P. Belkale's algorithm for the classical Littlewood-Richardson cone. The main tools for accommodating the equivariant setting are certain foundational results of D. Anderson, E. Richmond, and A. Yong. We also study two families of special rays of the cone and make observations about the Hilbert basis of the associated lattice semigroup.

We study Schubert polynomials using geometry of infinite-dimensional flag varieties and degeneracy loci. Applications include Graham-positivity of coefficients appearing in equivariant coproduct formulas and expansions of back-stable and enriched Schubert polynomials. We also construct an embedding of the type C flag variety, and study the corresponding pullback map on (equivariant) cohomology rings.

In previous work we equipped quiver Grassmannians for nilpotent representations of the equioriented cycle with an action of an algebraic torus. We show here that the equivariant cohomology ring is acted upon by a product of symmetric groups and we investigate this permutation action via GKM techniques. In the case of (type A) flag varieties, or Schubert varieties therein, we recover Tymoczko's results on permutation representations.