arXiv++ Combinatorics

Stable envelopes, introduced by Maulik and Okounkov, provide a family of bases for the equivariant cohomology of symplectic resolutions. The theory of stable envelopes provides a fascinating interplay between geometry, combinatorics and integrable systems. In this expository article, we give a self-contained introduction to cohomological stable envelopes of type A bow varieties (an interesting class of varieties extending Nakajima quiver varieties). Our main focus is on the existence and the orthogonality properties of stable envelopes for bow varieties. The restriction to this specific class of varieties allows us to illustrate the theory combinatorially and to provide simplified proofs, both laying a basis for explicit calculations.

We use the equivariant cohomology ring of the permutohedral variety to study matroids and their invariants. Investigating the pushforward of matroid Chern classes defined by A. Berget, C. Eur, H. Spink and D. Tseng to the product space $\mathbb{P}^n \times \mathbb{P}^n$, we establish an equivariant generalization of the Tutte polynomial of a matroid. This was suggested in a survey paper by M.Michałek. We discuss how this polynomial encodes properties of the matroid by looking at special evaluations. We further introduce an equivariant generalization of the reduced characteristic polynomial of a matroid.

Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras originally studied by Arnold. In this paper, we call them diagonally graded commutative algebras (DGCAs) and verify that the isomorphism classes of DGCAs of dimension $\leq 7$ over an arbitrary field are in bijection with the equivalence classes consisting of coefficient matrices with the same distribution of nonzero entries, while dramatically there may be infinitely many isomorphism classes of dimension $n$ corresponding to one equivalence class of coefficient matrices when $n\geq 8$. Furthermore, we adopt the Skjelbred-Sund method of central extensions to study the isomorphism classes of DGCAs, and associate any DGCA with a undirected simple graph to explicitly describe its corresponding second (graded) commutative cohomology group as an affine variety.

A flag variety is a homogenous variety $G/B$ where $G$ is a simple algebraic group over the complex numbers and $B$ is a Boel subgroup of $G$. A Schubert variety $X_w$ is a subvariety of $G/B$ indexed by an element $w$ in the Weyl group of $G$. It is called toric if it is a toric variety with respect to the maximal torus of $G$ in $B$. In this paper, we associate an edge-labeled digraph $\mathcal{G}_w$ with a toric Schubert variety $X_w$ and classify toric Schubert varieties up to isomorphism. We also give a simple criterion of when a toric Schubert variety $X_w$ is (weak) Fano in terms of $\mathcal{G}_w$. Finally, we discuss whether toric Schubert varieties can be distinguished by their integral cohomology rings up to isomorphism and show that this is the case when $G$ is of simply-laced type.

A toric variety is called fibered if it can be represented as a total space of fibre bundle over toric base and with toric fiber. Fibered toric varieties form a special case of toric variety bundles. In this note we first give an introduction to the class of fibered toric varieties. Then we use them to illustrate some known and conjectural results on topology and intersection theory of general toric variety bundles. Finally, using the language of fibered toric varieties, we compute the equivariant cohomology rings of smooth complete toric varieties.

The solution of Shareshian-Wachs conjecture by Brosnan-Chow and Guay-Paquet tied the graded chromatic symmetric functions on indifference graphs (or unit interval graphs) and the cohomology of regular semisimple Hessenberg varieties with the dot action. A similar result holds between unicellular LLT polynomials and twins of regular semisimple Hessenberg varieties. A recent result by Abreu-Nigro enabled us to prove these results by showing the modular law for the geometrical objects, and this is indeed done by Precup-Sommers and Kiem-Lee. In this paper, we give elementary and simpler proofs to the modular law through GKM theory.

In this first of a series of articles on standard extension algebras we study standard perverse sheaves on varieties with $\mathbb{G}_m$-actions. Based on Braden's hyperbolic localisation, we describe their extension algebra geometrically via a convolution structure on the intersections of attracting with repelling cells. We introduce a multiplicative structure on open Richardson varieties which provides a practical way to compose these extensions in case of flag varieties. For open Richardson varieties in Grassmannians we construct two explicit cell decompositions, of Gauss- and of Deodhar-type. It is shown that the latter is a stratification with the same combinatorics as Deodhar's decomposition. We introduce a calculus of Fukaya diagrams to encode the geometry of the decompositions. It provides a model for the cohomology of open Richardson varieties and thus for standard extensions. The calculus is motivated by the Mak-Smith Fukaya-Seidel category of a natural Lefschetz fibration and should allow to compute morphism spaces in there. We finally discuss the relation of our work to extensions of (parabolic) Verma modules in category O as well as to the computation of R- and R'-polynomials.

The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties.

In this paper we calculate the homology of configuration spaces of $n$ points on a circle, subject to the condition that two pre-determined points are included in the configuration. We make use of discrete Morse theory both to determine the Betti numbers, as well as to provide an explicit combinatorial description of the bases both for homology and cohomology.

This paper considers generalizations of certain arithmetic complexes appearing in the work of Raicu and VandeBogert in connection with the study of stable sheaf cohomology on flag varieties. Defined over the ring of integer valued polynomials, we prove an isomorphism of these complexes as conjectured by Gao, Raicu, and VandeBogert. In particular, this shows that a previously made identification between the stable sheaf cohomology of hook and two column partition Schur functors applied to the cotangent sheaf of projective space can be made to be uniform with respect to these complexes. These results are extended to the projective space defined over the integers.

The purpose of this paper is to establish a correspondence between the higher Bruhat orders of Yu. I. Manin and V. Schechtman, and the cup-$i$ coproducts defining Steenrod squares in cohomology. To any element of the higher Bruhat orders we associate a coproduct, recovering Steenrod's original ones from extremal elements in these orders. Defining this correspondence involves interpreting the coproducts geometrically in terms of zonotopal tilings, which allows us to give conceptual proofs of their properties and show that all reasonable coproducts arise from our construction.

Let $Γ$ be a finite graph and let $A(Γ)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(Γ),\mathbb F)$ over an arbitrary field, we construct a natural graph $Γ_{\mathcal B}$ from the cup product, called the \emph{cohomology basis graph}. We show that $Γ_{\mathcal B}$ always contains $Γ$ as a subgraph. This provides an effective way to reconstruct the defining graph $Γ$ from the cohomology of $A(Γ)$, to characterize the planarity of the defining graph from the algebra of $A(Γ)$, and to recover many other natural graph-theoretic invariants. We also investigate the behavior of the cohomology basis graph under passage to elementary subminors, and show that it is not well-behaved under edge contraction.

We obtain bounds for the size of the Schur multiplier of finite $p$-groups and finite groups, which improve all existing bounds. Moreover, we obtain bounds for the size of the second cohomology group $H^2(G,\mathbb{Z}/p\mathbb{Z})$ of a $p$-group with coefficients in $\mathbb{Z}/p\mathbb{Z}$. Denoting the minimal number of generators of a $p$-group $G$ by $d(G)$, our bound depends on the parameters $|G|=p^n$, $|γ_2G|=p^k$, $d(G)=d$, $d(G/Z)=δ$ and $d(γ_2G/γ_3G)=k'$. For special $p$-groups, we further improve our bound when $δ-1 > k'$. Moreover, given natural numbers $d$, $δ$, $k$ and $k'$ satisfying $k=k'$ and $δ-1 \leq k'$, we construct a capable $p$-group $H$ of nilpotency class two and exponent $p$ such that the size of the Schur multiplier attains our bound.

Let $Z\subset Fl(n)$ be the closure of a generic torus orbit in the full flag variety. Anderson-Tymoczko express the cohomology class of $Z$ as a sum of classes of Richardson varieties. Harada-Horiguchi-Masuda-Park give a decomposition of the permutohedron, the moment map image of $Z$, into subpolytopes corresponding to the summands of the Anderson-Tymoczko formula. We construct an explicit toric degeneration inside $Fl(n)$ of $Z$ into Richardson varieties, whose moment map images coincide with the HHMP decomposition, thereby obtaining a new proof of the Anderson-Tymoczko formula.

We consider the following question: How much of the combinatorial structure determining properties of $\overline{\mathcal{M}_{0, n}}$ is ``intrinsic'' and how much new information do we obtain from using properties specific to this space? Our approach is to study the effect of the $S_n$-action. Apart from being a natural action to consider, it is known that this action does not extend to other wonderful compactifications associated to the $A_{n - 2}$ hyperplane arrangement. We find the differences in intersection patterns of faces on associahedra and permutohedra which characterize the failure to extend to other compactifications and show that this is reflected by most terms of degree $\ge 2$ of the cohomology/Chow ring. Even from a combinatorial perspective, terms of degree 1 are more naturally related to geometric properties. In particular, imposing $S_n$-invariance implies that many of the log concave sequences obtained from degree 1 Hodge--Riemann relations (and all of them for $n \le 2000$) on the Chow ring of $\overline{\mathcal{M}_{0, n}}$ can be restricted to those with a special recursive structure. A conjectural result implies that this is true for all $n$. Elements of these sequences can be expressed as polynomials in quantum Littlewood--Richardson coefficients multiplied by terms such as partition components, factorials, and multinomial coefficients. After dividing by binomial coefficients, polynomials with these numbers as coefficients can be interepreted in terms of volumes or resultants. Finally, we find a connection between the geometry of $\overline{\mathcal{M}_{0, n}}$ and higher degree Hodge--Riemann relations of other rings via Toeplitz matrices.

Garland introduced a vanishing criterion for a characteristic zero cohomology group of a locally finite and locally connected simplicial complex. The criterion is based on the spectral gaps of the graph Laplacians of the links of faces and has turned out to be effective in a wide range of examples. In this note we extend the approach to include a range of non-simplicial (co)chain complexes associated to combinatorial structures we call Garland posets and elaborate further on the case of cubical complexes.

In his Ph.D. thesis, Sean Griffin introduced a family of ideals and found monomial bases for their quotient rings. These rings simultaneously generalize the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology rings of Springer fibers studied by Tanisaki and Garsia-Procesi. We recursively construct a Gröbner basis of Griffin's ideals with respect to the graded reverse lexicographical order. Consequently, Griffin's monomial basis is the standard monomial basis. Coefficients of polynomials in our Gröbner basis are integers and leading coefficients are one.

Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last the complex is formed by the acyclic sets of vertices. We prove some properties of this filtration and we calculate the homotopy type for various families of graphs. We give an upper bound for the decycling number and generalizations of this parameter using the dimensions of the rational cohomology groups of these complexes. We also derive an upper bound for the Fibonacci numbers of ternary graphs.

In a region R consisting of unit squares, a (domino) tiling is a collection of dominoes (the union of two adjacent squares) which pave fully the region. The flip graph of R is defined on the set of all tilings of R where two tilings are adjacent if we change one from the other by a flip (a 90-degree rotation of a pair of side-by-side dominoes). If R is simply-connected, then its flip graph is connected. By using homology and cohomology, Saldanha, Tomei, Casarin and Romualdo obtained a criterion to decide if two tilings are in the same component of flip graph of quadriculated surface. By a graph-theoretic method, we obtain that the flip graph of a non-bipartite quadriculated torus consists of two isomorphic components. As an application, we obtain that the forcing numbers of all perfect matchings of each non-bipartite quadriculated torus form an integer-interval. For a bipartite quadriculated torus, the components of the flip graph is more complicated, and we use homology to obtain a general lower bound for the number of components of its flip graph.

We give a new combinatorial description of the cohomology ring structure of $H^*(M(\mathcal{A});\mathbb{Z})$ of the complement $M(\mathcal{A})$ of a real complexified toric arrangement $\mathcal{A}$ in $(\mathbb{C}^*)^d$. In particular, we correct an error in the paper ``The integer cohomology algebra of toric arrangements'', Adv. Math., 2017.