arXiv++ Combinatorics

Joyal's theory of combiantorial species provides a rich and elegant framework for enumerating combinatorial structures by translating structural information into algebraic functional equations. We present some classical and folklore results which interpret the species-theoretic cycle index series in terms of the Pólya theory of the action of the symmetric group on the label set, allowing the enumeration of "partially-labeled" structures and providing an alternate foundation for several proofs. We also extend the theory to incorporate information about "structural" group actions (i.e. those which commute with the label permutation action) on combinatorial species, using the $Γ$-species of Henderson, and present Pólya-theoretic interpretations of the associated formal power series. We define the appropriate operations $+$, $\cdot$, $\circ$, and $\square$ on $Γ$-species, give formulas for the associated operations on $Γ$-cycle indices, and illustrate the use of this theory to study several important examples of combinatorial structures. Finally, we demonstrate the use of the Sage computer algebra system to enumerate $Γ$-species and their quotients.

We introduce a mutation algorithm for puzzles that is a three-direction analogue of the classical jeu de taquin algorithm for semistandard tableaux. We apply this algorithm to prove our conjectured puzzle formula for the equivariant Schubert structure constants of two-step flag varieties. This formula gives an expression for the structure constants that is positive in the sense of Graham. Thanks to the equivariant version of the `quantum equals classical' result, our formula specializes to a Littlewood-Richardson rule for the equivariant quantum cohomology of Grassmannians.

We study the torus equivariant Schubert classes of the Grassmannian of non-maximal isotropic subspaces in a symplectic vector space. We prove a formula that expresses each of those classes as a sum of multi Schur-Pfaffians, whose entries are equivariantly modified special Schubert classes. Our result gives a proof to Wilson's conjectural formula, which generalizes the Giambelli formula for the ordinary cohomology proved by Buch-Kresch-Tamvakis, given in terms of Young's raising operators. Furthermore we show that the formula extends to a certain family of Schubert classes of the symplectic partial isotropic flag varieties.

It has been shown recently that monomial maps in a large class respecting the action of the infinite symmetric group have, up to symmetry, finitely generated kernels. We study the simplest nontrivial family in this class: the maps given by a single monomial. Considering the corresponding lattice map, we explicitly construct an equivariant lattice generating set, whose width (the number of variables necessary to write it down) depends linearly on the width of the map. This result is sharp and improves dramatically the previously known upper bound as it does not depend on the degree of the image monomial. In the case of of width two, we construct an explicit finite set of binomials generating the toric ideal up to symmetry. Both width and degree of this generating set are sharply bounded by linear functions in the exponents of the monomial.

A central question in optimization is to maximize (or minimize) a linear function over a given polytope P. To solve such a problem in practice one needs a concise description of the polytope P. In this paper we are interested in representations of P using the positive semidefinite cone: a positive semidefinite lift (psd lift) of a polytope P is a representation of P as the projection of an affine slice of the positive semidefinite cone $\mathbf{S}^d_+$. Such a representation allows linear optimization problems over P to be written as semidefinite programs of size d. Such representations can be beneficial in practice when d is much smaller than the number of facets of the polytope P. In this paper we are concerned with so-called equivariant psd lifts (also known as symmetric psd lifts) which respect the symmetries of the polytope P. We present a representation-theoretic framework to study equivariant psd lifts of a certain class of symmetric polytopes known as orbitopes. Our main result is a structure theorem where we show that any equivariant psd lift of size d of an orbitope is of sum-of-squares type where the functions in the sum-of-squares decomposition come from an invariant subspace of dimension smaller than d^3. We use this framework to study two well-known families of polytopes, namely the parity polytope and the cut polytope, and we prove exponential lower bounds for equivariant psd lifts of these polytopes.

In [Wyser-Yong '13] we introduced polynomial representatives of cohomology classes of orbit closures in the flag variety, for the symmetric pair $(GL_{p+q}, GL_p \times GL_q)$. We present analogous results for the remaining symmetric pairs of the form $(GL_n,K)$, i.e., $(GL_n,O_n)$ and $(GL_{2n},Sp_{2n})$. We establish the well-definedness of certain representatives from [Wyser '13]. It is also shown that the representatives have the combinatorial properties of nonnegativity and stability. Moreover, we give some extensions to equivariant $K$-theory.

In this expository paper we describe a powerful combinatorial formula and its implications in geometry, topology, and algebra. This formula first appeared in the appendix of a book by Andersen, Jantzen, and Soergel. Sara Billey discovered it independently five years later, and it played a prominent role in her work to evaluate certain polynomials closely related to Schubert polynomials. Billey's formula relates many pieces of Schubert calculus: the geometry of Schubert varieties, the action of the torus on the flag variety, combinatorial data about permutations, the cohomology of the flag variety and of the Schubert varieties, and the combinatorics of root systems (generalizing inversions of a permutation). Combinatorially, Billey's formula describes an invariant of pairs of elements of a Weyl group. On its face, this formula is a combination of roots built from subwords of a fixed word. As we will see, it has deeper geometric and topological meaning as well: (1) It tells us about the tangent spaces at each permutation flag in each Schubert variety. (2) It tells us about singular points in Schubert varieties. (3) It tells us about the values of Kostant polynomials. Billey's formula also reflects an aspect of GKM theory, which is a way of describing the torus-equivariant cohomology of a variety just from information about the torus-fixed points in the variety. This paper will also describe some applications of Billey's formula, including concrete combinatorial descriptions of Billey's formula in special cases, and ways to bootstrap Billey's formula to describe the equivariant cohomology of subvarieties of the flag variety to which GKM theory does not apply.

This mostly expository article explores recent developments in the relations between the three objects in the title from an algebro-combinatorial perspective. We prove a formula for Whittaker functions of a real semisimple group as an integral over a geometric crystal in the sense of Berenstein-Kazhdan. We explain the connections of this formula to the program of mirror symmetry of flag varieties developed by Givental and Rietsch; in particular, the integral formula proves the equivariant version of Rietsch's mirror symmetry conjecture. We also explain the idea that Whittaker functions should be thought of as geometric analogues of irreducible characters of finite-dimensional representations.

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. In the case of $[n,n]$, the spider category is the Temperley-Lieb category; reduced webs correspond to planar matchings, which are equivalent to left cell bases. This paper compares the images of these bases under classical maps: the {\em Robinson-Schensted algorithm} between permutations and Young tableaux and {\em Khovanov-Kuperberg's bijection} between Young tableaux and reduced webs. One main result uses Vogan's generalized $τ$-invariant to uncover a close structural relationship between the web basis and the left cell basis. Intuitively, generalized $τ$-invariants refine the data of the inversion set of a permutation. We define generalized $τ$-invariants intrinsically for Kazhdan-Lusztig left cell basis elements and for webs. We then show that the generalized $τ$-invariant is preserved by these classical maps. Thus, our result allows one to interpret Khovanov-Kuperberg's bijection as an analogue of the Robinson-Schensted correspondence. Despite all of this, our second main result proves that the reduced web and left cell bases are inequivalent; that is, these bijections are not $S_{3n}$-equivariant maps.

Let G be a graph whose edges are labeled by ideals of a commutative ring. We introduce a generalized spline, which is a vertex-labeling of G by elements of the ring so that the difference between the labels of any two adjacent vertices lies in the corresponding edge ideal. Generalized splines arise naturally in combinatorics (em algebraic splines of Billera and others) and in algebraic topology (certain equivariant cohomology rings, described by Goresky-Kottwitz-MacPherson and others). The central question of this manuscript asks when an arbitrary edge-labeled graph has nontrivial generalized splines. The answer is `always', and we prove the stronger result that generalized splines contain a free submodule whose rank is the number of vertices in G. We describe all generalized splines when G is a tree, and give several ways to describe the ring of generalized splines as an intersection of generalized splines for simpler subgraphs of G. We also present a new tool which we call the GKM matrix, an analogue of the incidence matrix of a graph, and end with open questions.

An enumerative problem on a variety $V$ is usually solved by reduction to intersection theory in the cohomology of a compactification of $V$. However, if the problem is invariant under a "nice" group action on $V$ (so that $V$ is spherical), then many authors suggested a better home for intersection theory: the direct limit of the cohomology rings of all equivariant compactifications of $V$. We call this limit the affine cohomology of $V$ and construct affine characteristic classes of subvarieties of a complex torus, taking values in the affine cohomology of the torus. This allows us to make the first steps in computing affine Thom polynomials. Classical Thom polynomials count how many fibers of a generic proper map of a smooth variety have a prescribed collection of singularities, and our affine version addresses the same question for generic polynomial maps of affine algebraic varieites. This notion is also motivated by developing an intersection-theoretic approach to tropical correspondence theorems: they can be reduced to the computation of affine Thom polynomials, because the fundamental class of a variety in the affine cohomology is encoded by the tropical fan of this variety. The first concrete answer that we obtain is the affine version of what were, historically speaking, the first three Thom poylnomials -- the Plucker formulas for the degree and the number of cusps and nodes of a projectively dual curve. This, in particular, classifies toric varieties, whose projective dual is a hypersurface, computes the tropical fan of the variety of double tangent hyperplanes to a toric variety, and describes the Newton polytope of the hypersurface of non-Morse polynomials of a given degree. We also make a conjecture on the general form of affine Thom polynomials -- a key ingredient is the $n$-ary fan, generalizing the secondary polytope.

We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action of Z4 on |Q|, with orbit space isomorphic to the order complex of the poset Q(M,e) associated to the pointed (or affine) oriented matroid (M,e). If M is the oriented matroid of an arrangement A of linear hyperplanes in real space, the Z_4 action corresponds to the diagonal action of C* on the complement M of the complexification of A: |Q| is equivariantly homotopy-equivalent to M under the identification of Z_4 with {+1, i, -1, -i}, and |Q(M, e)| is homotopy-equivalent to the complement of the decone of A relative to the hyperplane corresponding to e. All constructions and arguments are carried out at the level of the underlying posets. If a group G acts on the set of topes of M preserving adjacency, then G acts simplicially on |Q|. We also show that the class of fundamental groups of such complexes is strictly larger than the class of fundamental groups of complements of complex hyperplane arrangements. Specifically, the group of the non-Pappus arrange- ment is not isomorphic to any realizable arrangement group.

We investigate products J of ideals of "row initial" minors in the polynomial ring K[X] defined by a generic m-by-n matrix. Such ideals are shown to be generated by a certain set of standard bitableaux that we call superstandard. These bitableaux form a Gröbner basis of J, and J has a linear minimal free resolution. These results are used to derive a new generating set for the Grothendieck group of finitely generated (T_m x GL_n(K))-equivariant modules over K[X]. We employ the Knuth--Robinson--Schensted correspondence and a toric deformation of the multi-Rees algebra that parameterizes the ideals J.

A previous result of the authors with Chaput and Perrin states that the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space G/P is again a Schubert variety. In this paper we identify this Schubert variety explicitly in terms of the Hecke product of Weyl group elements. We apply our result to give an explicit formula for any two-point Gromov-Witten invariant as well as a new proof of the quantum Chevalley formula and its equivariant generalization. We also recover a formula for the minimal degree of a rational curve between two given points in a cominuscule variety.

We give an algebraic description of several modules and algebras related to the vector partition function, and we prove that they can be realized as the equivariant K-theory of some manifolds that have a nice combinatorial description. We also propose a more natural and general notion of duality between these modules, which corresponds to a Poincaré duality-type correspondence for equivariant K-theory.

We give combinatorial descriptions of the restrictions to T-fixed points of the classes of structure sheaves of Schubert varieties in the T-equivariant K-theory of Grassmannians and of maximal isotropic Grassmannians of orthogonal and symplectic types. We also give formulas, based on these descriptions, for the Hilbert series and Hilbert polynomials at T-fixed points of the corresponding Schubert varieties. These descriptions and formulas are given in terms of two equivalent combinatorial models: excited Young diagrams and set-valued tableaux. The restriction fomulas are positive, in that for a Schubert variety of codimension d, the formula equals (-1)^d times a sum, with nonnegative coefficients, of monomials in the expressions (e^{-α}-1), as αruns over the positive roots. In types A_n and C_n the restriction formulas had been proved earlier by [Kreiman 05], [Kreiman 06] by a different method. In type A_n, the formula for the Hilbert series had been proved earlier by [Li-Yong 12]. The method of this paper, which relies on a restriction formula of [Graham 02] and [Willems 06], is based on the method used by [Ikeda-Naruse 09] to obtain the analogous formulas in equivariant cohomology. The formulas we give differ from the K-theoretic restriction formulas given by [Ikeda-Naruse 11], which use different versions of excited Young diagrams and set-valued tableaux. We also give Hilbert series and Hilbert polynomial formulas which are valid for Schubert varieties in any cominuscule flag variety, in terms of the 0-Hecke algebra.

We use equivariant localization and divided difference operators to determine formulas for the torus-equivariant fundamental cohomology classes of $K$-orbit closures on the flag variety $G/B$ for various symmetric pairs $(G,K)$. In type $A$, we realize the closures of $K=GL(p,\C) \times GL(q,\C)$-orbits on $GL(p+q,\C)/B$ as universal degeneracy loci for a vector bundle over a variety which is equipped with a single flag of subbundles and which splits as a direct sum of subbundles of ranks $p$ and $q$. The precise description of such a degeneracy locus relies upon knowing a set-theoretic description of $K$-orbit closures, which we provide via a detailed combinatorial analysis of the poset of "$(p,q)$-clans," which parametrize the orbit closures. We describe precisely how our formulas for the equivariant classes of $K$-orbit closures can be interpreted as formulas for the classes of such degeneracy loci in the Chern classes of the bundles involved. In the cases outside of type $A$, we suggest that the orbit closures should parametrize degeneracy loci involving a vector bundle equipped with a non-degenerate symmetric or skew-symmetric bilinear form, a single flag of subbundles which are isotropic or Lagrangian with respect to the form, and a splitting as a direct sum of subbundles with each summand satisfying some property (depending on $K$) with respect to the form. The precise description of such a degeneracy locus is conjectured for all cases in types $B$ and $C$.

In this paper we study the T-equivariant generalized cohomology of flag varieties using two models, the Borel model and the moment graph model. We study the differences between the Schubert classes and the Bott-Samelson classes. After setup of the general framework we compute, for classes of Schubert varieties of complex dimension <4 in rank 2 (including A_2, B_2, G_2 and A_1^{(1)}), moment graph representatives, Pieri-Chevalley formulas and products of Schubert classes. These computations generalize the computations in equivariant K-theory for rank 2 cases which are given in Griffeth-Ram arXiv:math/0405333.

The saturation theorem of [Knutson-Tao '99] concerns the nonvanishing of Littlewood-Richardson coefficients. In combination with work of [Klyachko '98], it implies [Horn '62]'s conjecture about eigenvalues of sums of Hermitian matrices. This eigenvalue problem has a generalization [Friedland '00] to majorized sums of Hermitian matrices. We further illustrate the common features between these two eigenvalue problems and their connection to Schubert calculus of Grassmannians. Our main result gives a Schubert calculus interpretation of Friedland's problem, via equivariant cohomology of Grassmannians. In particular, we prove a saturation theorem for this setting. Our arguments employ the aformentioned work together with [Thomas-Yong '12].

Toric topology emerged in the end of the 1990s on the borders of equivariant topology, algebraic and symplectic geometry, combinatorics and commutative algebra. It has quickly grown up into a very active area with many interdisciplinary links and applications, and continues to attract experts from different fields. The key players in toric topology are moment-angle manifolds, a family of manifolds with torus actions defined in combinatorial terms. Their construction links to combinatorial geometry and algebraic geometry of toric varieties via the related notion of a quasitoric manifold. Discovery of remarkable geometric structures on moment-angle manifolds led to seminal connections with the classical and modern areas of symplectic, Lagrangian and non-Kaehler complex geometry. A related categorical construction of moment-angle complexes and their generalisations, polyhedral products, provides a universal framework for many fundamental constructions of homotopical topology. The study of polyhedral products is now evolving into a separate area of homotopy theory, with strong links to other areas of toric topology. A new perspective on torus action has also contributed to the development of classical areas of algebraic topology, such as complex cobordism. The book contains lots of open problems and is addressed to experts interested in new ideas linking all the subjects involved, as well as to graduate students and young researchers ready to enter into a beautiful new area.