arXiv++ Combinatorics

The purpose of this paper is to determine the ring structure of the graph equivariant cohomology of the GKM graph induced from the even-dimensional complex quadrics. We show that the graph equivariant cohomology is generated by two types of subgraphs in the GKM graph, which are subject to four different types of relations. By utilizing this ring structure, we establish the multiplicative relation for the generators of degree 2n and provide an alternative computation of the ordinary cohomology ring of 4n-dimensional complex quadrics, as previously computed by H. Lai. Additionally, we provide a combinatorial explanation for why the square of the 2n degree generator x vanishes when n is odd and is non-vanishing when n is even.

Using a transversality argument, we demonstrate the positivity of certain coefficients in the equivariant cohomology and K-theory of a generalized flag manifold. This strengthens earlier equivariant positivity theorems (of Graham and Anderson-Griffeth-Miller) by further constraining the roots which can appear in these coefficients. As an application, we deduce that structure constants for comultiplication in the equivariant K-theory of an infinite flag manifold exhibit an unusual positivity property, establishing conjectures of Lam-Lee-Shimozono. Along the way, we present alternative formulas for the back stable Grothendieck polynomials defined by those authors, as well as a new method for computing the coproduct coefficients.

We give a cohomological interpretation of the Heaviside filtration on the Varchenko--Gelfand ring of a pair $(\mathcal{A},\mathcal{K})$, where $\mathcal{A}$ is a real hyperplane arrangement and $\mathcal{K}$ is a convex open subset of the ambient vector space. This builds on work of the first author, who studied the filtration from a purely algebraic perspective, as well as work of Moseley, who gave a cohomological interpretation in the special case where $\mathcal{K}$ is the ambient vector space. We also define the Gelfand--Rybnikov ring of a conditional oriented matroid, which simultaneously generalizes the Gelfand--Rybnikov ring of an oriented matroid and the aforementioned Varchenko--Gelfand ring of a pair. We give purely combinatorial presentations of the ring, its associated graded, and its Rees algebra.

In this paper, we introduce the GKM theoretical counterpart of the equivariant complex vector bundles as the "leg bundle". We also provide a definition for the projectivization of a leg bundle and prove the Borel-Hirzebruch type formula for its graph equivariant cohomology, assuming that the projectivization is again a GKM graph. Furthermore, we study the realization of the projective GKM fiber bundle, in the sense of Guillemin-Sabatini-Zara, can be obtained from the projectivization of a leg bundle.

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.

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.

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

Recent work of Shareshian and Wachs, Brosnan and Chow, and Guay-Paquet connects the well-known Stanley-Stembridge conjecture in combinatorics to the dot action of the symmetric group $S_n$ on the cohomology rings $H^*(Hess(S,h))$ of regular semisimple Hessenberg varieties. In particular, in order to prove the Stanley-Stembridge conjecture, it suffices to construct (for any Hessenberg function $h$) a permutation basis of $H^*(Hess(S,h))$ whose elements have stabilizers isomorphic to Young subgroups. In this manuscript we give several results which contribute toward this goal. Specifically, in some special cases, we give a new, purely combinatorial construction of classes in the $T$-equivariant cohomology ring $H^*_T(Hess(S,h))$ which form permutation bases for subrepresentations in $H^*_T(Hess(S,h))$. Moreover, from the definition of our classes it follows that the stabilizers are isomorphic to Young subgroups. Our constructions use a presentation of the $T$-equivariant cohomology rings $H^*_T(Hess(S,h))$ due to Goresky, Kottwitz, and MacPherson. The constructions presented in this manuscript generalize past work of Abe-Horiguchi-Masuda, Chow, and Cho-Hong-Lee.

In this article, the comodule structure of Chow rings of Flag manifolds $\operatorname{CH}(G/B)$ is described by Schubert cells. Its equivariant version gives rise to a Hopf structure of the equivariant cohomology of flag manifolds $H^*_B(G/B)$. We get two identities of generalized Schubert polynomials as explanations of the geometric facts.

We consider bases for the cohomology space of regular semisimple Hessenberg varieties, consisting of the classes that naturally arise from the Bialynicki-Birula decomposition of the Hessenberg varieties. We give an explicit combinatorial description of the support of each class, which enables us to compute the symmetric group actions on the classes in our bases. We then successfully apply the results to the permutohedral varieties to explicitly write down each class and to construct permutation submodules that constitute summands of a decomposition of cohomology space of each degree. This resolves the problem posed by Stembridge on the geometric construction of permutation module decomposition and also the conjecture posed by Chow on the construction of bases for the equivariant cohomology spaces of permutohedral varieties.

We study the Demazure-Lusztig operators induced by the left multiplication on partial flag manifolds $G/P$. We prove that they generate the Chern-Schwartz-MacPherson classes of Schubert cells (in equivariant cohomology), respectively their motivic Chern classes (in equivariant K theory), in any partial flag manifold. Along the way we advertise many properties of the left and right divided difference operators in cohomology and K theory, and their actions on Schubert classes. We apply this to construct left divided difference operators in equivariant quantum cohomology, and equivariant quantum K theory, generating Schubert classes, and satisfying a Leibniz rule compatible with the quantum product.

Peterson varieties are special nilpotent Hessenberg varieties that have appeared in the study of quantum cohomology, representation theory, and combinatorics. In type $A$, the Peterson variety $Y$ is a subvariety of the complete flag variety $Fl(n; \mathbb C)$, and is invariant under the action of a subgroup $S\cong \mathbb C^*$ of $T$, where $T$ is the standard (noncompact) torus acting on $Fl(n; \mathbb C)$. Using the Peterson Schubert basis introduced by Harada and Tymoczko obtained by restricting a specific set of Schubert classes from $H_T^*(Fl(n; \mathbb C))$ to $H_S^*(Y)$, we describe the product structure of the equivariant cohomology $H_{S}^*(Y)$. In particular, we show that the product is manifestly positive in an appropriate sense by providing an explicit positive combinatorial formula for its structure constants. Our method requires a new combinatorial identity of binomial coefficients that generalizes Vandermonde's identity.

Springer fibers are subvarieties of the flag variety that play an important role in combinatorics and geometric representation theory. In this paper, we analyze the equivariant cohomology of Springer fibers for $GL_n(\mathbb{C})$ using results of Kumar and Procesi that describe this equivariant cohomology as a quotient ring. We define a basis for the equivariant cohomology of a Springer fiber, generalizing a monomial basis of the ordinary cohomology defined by De Concini and Procesi and studied by Garsia and Procesi. Our construction yields a combinatorial framework with which to study the equivariant and ordinary cohomology rings of Springer fibers. As an application, we identify an explicit collection of (equivariant) Schubert classes whose images in the (equivariant) cohomology ring of a given Springer fiber form a basis.

Involution Schubert polynomials represent cohomology classes of $K$-orbit closures in the complete flag variety, where $K$ is the orthogonal or symplectic group. We show they also represent $T$-equivariant cohomology classes of subvarieties defined by upper-left rank conditions in the spaces of symmetric or skew-symmetric matrices. This geometry implies that these polynomials are positive combinations of monomials in the variables $x_i + x_j$, and we give explicit formulas of this kind as sums over new objects called involution pipe dreams. Our formulas are analogues of the Billey-Jockusch-Stanley formula for Schubert polynomials. In Knutson and Miller's approach to matrix Schubert varieties, pipe dream formulas reflect Gröbner degenerations of the ideals of those varieties, and we conjecturally identify analogous degenerations in our setting.

We give a new proof that three families of polynomials coincide: the double Schubert polynomials of Lascoux and Schützenberger defined by divided difference operators, the pipe dream polynomials of Bergeron and Billey, and the equivariant cohomology classes of matrix Schubert varieties. All three families are shown to satisfy a "co-transition formula" which we explain to be some extent projectively dual to Lascoux' transition formula. We comment on the K-theoretic extensions.

We prove a formula for the structure constants of multiplication of equivariant Schubert classes in both equivariant cohomology and equivariant K-theory of Kac-Moody flag manifolds G/B. We introduce new operators whose coefficients compute these (in a manifestly polynomial, but not positive, way), resulting in a formula much like and generalizing the positive Andersen-Jantzen-Soergel/Billey and Graham/Willems formulae for the restriction of classes to fixed points. Our proof involves Bott-Samelson manifolds, and in particular, the (K-)cohomology basis dual to the (K-)homology basis consisting of classes of sub-Bott-Samelson manifolds.

Ikeda-Mihalcea-Naruse's double Schubert polynomials represent the equivariant cohomology classes of Schubert varieties in the type C flag varieties. The goal of this paper is to obtain a new tableau formula of these polynomials associated to vexillary signed permutations introduced by Anderson-Fulton. To achieve that goal, we introduce flagged factorial (Schur) $Q$-functions, combinatorially defined in terms of (flagged) marked shifted tableaux for flagged strict partitions, and prove their Schur-Pfaffian formula. As an application, we also obtain a new combinatorial formula of factorial $Q$-functions of Ivanov in which monomials bijectively correspond to flagged marked shifted tableaux.