arXiv++ Combinatorics

MacPherson conjectured that the Grassmannian $\mathrm{Gr}(2, \mathbb{R}^n)$ has the same homeomorphism type as the combinatorial Grassmannian $\|\mbox{MacP}(2,n)\|$, while Babson proved that the spaces $\mathrm{Gr}(2,\mathbb{R}^n)$ and $\mathrm{Gr}(1,2,\mathbb{R}^n)$ are homotopy equivalent to their combinatorial analogs $\|\mathrm{MacP}(2,n)\|$ and $\|\mbox{MacP}(1,2,n)\|$ respectively. We will prove that $\mathrm{Gr}(2, \mathbb{R}^n)$ and $\mathrm{Gr}(1,2, \mathbb{R}^n)$ are homeomorphic to $\|\mbox{MacP}(2,n)\|$ and $\|\mbox{MacP}(1,2,n)\|$ respectively.

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 use Drinfeld style generators and relations to define an algebra $\mathfrak{U}_n$ which is a ``$q=0$'' version of the affine quantum group of $\mathfrak{gl}_n.$ We then use the convolution product on the equivariant $K$-theory of varieties of pairs of partial flags in a $d$-dimensional vector space $V$ to define affine $0$-Schur algebras ${\mathbb S}_0^{\operatorname{aff}}(n,d)$ and to prove that for every $d$ there exists a surjective homomorphism from $\mathfrak{U}_n$ to ${\mathbb S}_0^{\operatorname{aff}}(n,d).$

We determine the chromatic number of the Kneser graph qΓ_{7,{3,4}} of flags of vectorial type {3, 4} of a rank 7 vector space over the finite field GF(q) for large q and describe the colorings that attain the bound. This result relies heavily, not only on the independence number, but also on the structure of all large independent sets. Furthermore, our proof is more general in the following sense: it provides the chromatic number of the Kneser graphs qΓ_{2d+1,{d,d+1}} of flags of vectorial type {d, d+1} of a rank 2d+1 vector space over GF(q) for large q as long as the large independent sets of the graphs are only the ones that are known.

We review the various pattern avoidance criteria that have been developed for smoothness and rational smoothness of symmetric subvarieties of flag varieties in the classical cases, including some proofs and giving references for other results.

There is a convolution product on 3-variable partial flag functions of a locally finite poset that produces a generalized Möbius function. Under the product this generalized Möbius function is a one sided inverse of the zeta function and satisfies many generalizations of classical results. In particular we prove analogues of Phillip Hall's Theorem on the Möbius function as an alternating sum of chain counts, Weisner's theorem, and Rota's Crosscut Theorem. A key ingredient to these results is that this function is an overlapping product of classical Möbius functions. Using this generalized Möbius function we define analogues of the characteristic polynomial and Möbius polynomials for ranked lattices. We compute these polynomials for certain families of matroids and prove that this generalized Möbius polynomial has -1 as root if the matroid is modular. Using results from Ardila and Sanchez we prove that this generalized characteristic polynomial is a matroid valuation.

We construct the twist automorphism of open Richardson varieties inside the flag variety of a complex semisimple algebraic group. We show that the twist map preserves totally positive parts, and prove a Chamber Ansatz formula for it. Our twist map generalizes the twist maps previously constructed by Berenstein-Fomin-Zelevinsky, Marsh-Scott, and Muller-Speyer. We use it to explain the relationship between the two conjectural cluster structures for Richardson varieties studied by Leclerc and by Ingermanson.

This paper is a direct generalization of Baker-Bowler theory to flag matroids, including its moduli interpretation as developed by Baker and the second author for matroids. More explicitly, we extend the notion of flag matroids to flag matroids over any tract, provide cryptomorphic descriptions in terms of basis axioms (Grassmann-Plücker functions), circuit/vector axioms and dual pairs, including additional characterizations in the case of perfect tracts. We establish duality of flag matroids and construct minors. Based on the theory of ordered blue schemes, we introduce flag matroid bundles and construct their moduli space, which leads to algebro-geometric descriptions of duality and minors. Taking rational points recovers flag varieties in several geometric contexts: over (topological) fields, in tropical geometry, and as a generalization of the MacPhersonian.

A basic property in a modular lattice is that any two flags generate a distributive sublattice. It is shown (Abels 1991, Herscovic 1998) that two flags in a semimodular lattice no longer generate such a good sublattice, whereas shortest galleries connecting them form a relatively good join-sublattice. In this note, we sharpen this investigation to establish an analogue of the two-flag generation theorem for a semimodular lattice. We consider the notion of a modular convex subset, which is a subset closed under the join and meet only for modular pairs, and show that the modular convex hull of two flags in a semimodular lattice of rank $n$ is isomorphic to a union-closed family on $[n]$. This family uniquely determines an antimatroid, which coincides with the join-sublattice of shortest galleries of the two flags.

This is a chapter for the upcoming book "Handbook of Combinatorial Algebraic Geometry". Comments are welcome! We cover symmetric function identities tied to delta operators, as well as representation-theoretic and geometric avatars of these identities.

The study of torus orbit closures in the (complete) flag variety was initiated by Klyachko and Gelfand--Serganova in the mid-1980s, but it seems that not much has been done since then. In this chapter, we present some of the work by Klyachko and Gelfand--Serganova and our recent work on the topology, geometry, and combinatorics of torus orbit closures in the flag variety.

Recently, Blasiak-Morse-Seelinger introduced symmetric functions called Katalan functions, and proved that the $K$-theoretic $k$-Schur functions due to Lam-Schilling-Shimozono form a subfamily of the Katalan functions. They conjectured that another subfamily of Katalan functions called the closed $k$-Schur Katalan functions are identified with the Schubert structure sheaves in the $K$-homology of the affine Grassmannian. The main result is a proof of the conjecture. We also study a $K$-theoretic Peterson isomorphism that Ikeda, Iwao, and Maeno constructed, in a non-geometric manner, based on the unipotent solution of the relativistic Toda lattice of Ruijsenaars. We prove that the map sends a Schubert class of the quantum $K$-theory ring of the flag variety to a closed $K$-$k$-Schur Katalan function up to an explicit factor related to a translation element with respect to an anti-dominant coroot. In fact, we prove the above map coincides with a map whose existence was conjectured by Lam, Li, Mihalcea, Shimozono, and proved by Kato, and more recently by Chow and Leung.

In this paper we describe a relation between the notion of graphicahedron, introduced by Araujo-Pardo, Del Río-Francos, López-Dudet, Oliveros, and Schulte in 2010, and toric topology of manifolds of sparse isospectral Hermitian matrices. More precisely, we recall the notion of a cluster-permutohedron, a certain finite poset defined for a simple graph $Γ$. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $Γ$. This poset is similar to the graphicahedron of $Γ$, in particular, 1-skeleta of both posets are isomorphic to Cayley graphs of the symmetric group. We describe the relation between cluster-permutohedron and graphicahedron using Galois connection and the notion of a core of a finite topology. We further prove that the face poset of the natural torus action on the manifold of isospectral $Γ$-shaped Hermitian matrices is isomorphic to the cluster-permutohedron. Using recent results in toric topology, we show that homotopy properties of graphicahedra may serve an obstruction to equivariant formality of isospectral matrix manifolds. We introduce a generalization of a cluster-permutohedron and describe the combinatorial structure of a large family of manifolds with torus actions, including Grassmann manifolds and partial flag manifolds.

In this note we construct a flag simplicial $3$-sphere $Δ$ with the following properties: - $Δ$ is not a suspension; - $Δ$ has no edge that can be contracted to obtain another flag sphere; - The only equators (induced subcomplexes which are spheres of codimension $1$) of $Δ$ are vertex links. Our construction has $12$ vertices, the minimum number of vertices such a simplicial complex can have. This answers a question posed by Chudnovsky and Nevo.

For any flag simplicial complex $K$, we describe the multigraded Poincare series, the minimal number of relations and the degrees of these relations in the Pontryagin algebra of the corresponding moment-angle complex $Z_K$. We compute the LS-category of $Z_K$ for flag complexes and give a lower bound in the general case. The key observation is that the Milnor-Moore spectral sequence collapses at the second sheet for flag $K$. We also show that the results of Panov and Ray about the Pontryagin algebras of Davis-Januszkiewicz spaces are valid for arbitrary coefficient rings, and introduce the $(\mathbb{Z}\times\mathbb{Z}^m)$-grading on the Pontryagin algebras which is similar to the multigrading on the cohomology of $Z_K$.

The main goal of this paper is to show that the (multi-homogeneous) coordinate ring of a partial flag variety $\mathbb{C} [G / P_K^{-}]$ admits a cluster algebra structure if $G$ is any simply-connected semisimple complex algebraic group. We use derivation properties and a special lifting map to prove that the cluster algebra structure $\mathcal{A}$ of the coordinate ring $\mathbb{C}[N_K]$ of a Schubert cell constructed by Goodearl and Yakimov can be lifted, in an explicit way, to a cluster structure $\hat{\mathcal{A}}$ living in the coordinate ring of the corresponding partial flag variety. Then we use a minimality condition to prove that the cluster algebra $\hat{\mathcal{A}}$ is indeed equal to $\mathbb{C}[G / P_K^{-}]$.

The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) $J$-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity. We show that the $J$-totally nonnegative flag variety has a cellular decomposition into totally positive $J$-Richardson varieties. Moreover, each totally positive $J$-Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we prove that the closure of each totally positive $J$-Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the $J$-total positivity on the full flag provides a model for the (ordinary) totally nonnegative partial flag variety. As a consequence, we prove that the closure of each (ordinary) totally positive Richardson variety is a regular CW complex homeomorphic to a closed ball, confirming conjectures of Galashin, Karp and Lam.

We characterize the quotients among lattice path matroids (LPMs) in terms of their diagrams. This characterization allows us to show that ordering LPMs by quotients yields a graded poset, whose rank polynomial has the Narayana numbers as coefficients. Furthermore, we study full lattice path flag matroids and show that -- contrary to arbitrary positroid flag matroids -- they correspond to points in the nonnegative flag variety. At the basis of this result lies an identification of certain intervals of the strong Bruhat order with lattice path flag matroids. A recent conjecture of Mcalmon, Oh, and Xiang states a characterization of quotients of positroids. We use our results to prove this conjecture in the case of LPMs.

We conduct a systematic study of the Ehrhart theory of certain slices of rectangular prisms. Our polytopes are generalizations of the hypersimplex and are contained in the larger class of polypositroids introduced by Lam and Postnikov; moreover, they coincide with polymatroids satisfying the strong exchange property up to an affinity. We give a combinatorial formula for all the Ehrhart coefficients in terms of the number of weighted permutations satisfying certain compatibility properties. This result proves that all these polytopes are Ehrhart positive. Additionally, via an extension of a result by Early and Kim, we give a combinatorial interpretation for all the coefficients of the $h^*$-polynomial. All of our results provide a combinatorial understanding of the Hilbert functions and the $h$-vectors of all algebras of Veronese type, a problem that had remained elusive up to this point. A variety of applications are discussed, including expressions for the volumes of these slices of prisms as weighted combinations of Eulerian numbers; some extensions of Laplace's result on the combinatorial interpretation of the volume of the hypersimplex; a multivariate generalization of the flag Eulerian numbers and refinements; and a short proof of the Ehrhart positivity of the independence polytope of all uniform matroids.

Chow rings of flag varieties have bases of Schubert cycles $σ_u$, indexed by permutations. A major problem of algebraic combinatorics is to give a positive combinatorial formula for the structure constants of this basis. The celebrated Littlewood-Richardson rules solve this problem for special products $σ_u \cdot σ_v$ where $u$ and $v$ are $p$-Grassmannian permutations. Building on work of Wyser, we introduce backstable clans to prove such a rule for the problem of computing the product $σ_u \cdot σ_v$ when $u$ is $p$-inverse Grassmannian and $v$ is $q$-inverse Grassmannian. By establishing several new families of linear relations among structure constants, we further extend this result to obtain a positive combinatorial rule for $σ_u \cdot σ_v$ in the case that $u$ is covered in weak Bruhat order by a $p$-inverse Grassmannian permutation and $v$ is a $q$-inverse Grassmannian permutation.