arXiv++ Combinatorics

We characterize the cd-indices of Gorenstein* posets of rank 5, equivalently the flag f-vectors of Gorenstein* order complexes of dimension 3. As a corollary, we characterize the f-vectors of Gorenstein* order complexes in dimensions 3 and 4. This characterization rise a speculated intimate connection between the f-vectors of flag homology spheres and the f-vectors of Gorenstein* order complexes.

We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.

We consider a desingularization Gamma of a Richardson variety X_w^v=X_w \cap X^v in the flag variety Fl(n)=GL(n)/B, obtained as a fibre of a projection from a certain Bott-Samelson variety Z. We then construct a basis of the homogeneous coordinate ring of Gamma inside Z, indexed by combinatorial objects which we call w_0-standard tableaux.

By a regular embedding of a graph K in a surface we mean a 2-cell embedding of K in a compact connected surface such that the automorphism group acts regularly on flags. In this paper, we classify the nonorientable regular embeddings of the Hamming graph H(d,n). We show that there exists such an embedding if and only if n=2 and d=2, or n=3 or 4 and d>0, or n=6 and d=1 or 2. We also give constructions and descriptions of these embeddings.

We characterize the O_{2n} orbits in the flag variety for GL_{2n} with rationally smooth closure via a graph-theoretic criterion. We also give a necessary pattern avoidance criterion for rational smoothness and conjecture its sufficiency.

The $γ$-vector is an important enumerative invariant of a flag simplicial homology sphere. It has been conjectured by Gal that this vector is nonnegative for every such sphere $Δ$ and by Reiner, Postnikov and Williams that it increases when $Δ$ is replaced by any flag simplicial homology sphere which geometrically subdivides $Δ$. Using the nonnegativity of the $γ$-vector in dimension 3, proved by Davis and Okun, as well as Stanley's theory of simplicial subdivisions and local $h$-vectors, the latter conjecture is confirmed in this paper in dimensions 3 and 4.

Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected Richardson varieties agrees with that of a subset of Schubert varieties in the affine flag variety of $G$. Furthermore, we compare the torus-equivariant cohomology and $K$-theory classes of these two stratifications by pushing or pulling these classes to the affine Grassmannian. Our work generalizes results of Knutson, Lam, and Speyer for the Grassmannian of type $A$.

Quiver Grassmannians are varieties parametrizing subrepresentations of a quiver representation. It is observed that certain quiver Grassmannians for type A quivers are isomorphic to the degenerate flag varieties investigated earlier by the second named author. This leads to the consideration of a class of Grassmannians of subrepresentations of the direct sum of a projective and an injective representation of a Dynkin quiver. It is proven that these are (typically singular) irreducible normal local complete intersection varieties, which admit a group action with finitely many orbits, and a cellular decomposition. For type A quivers explicit formulas for the Euler characteristic (the median Genocchi numbers) and the Poincare polynomials are derived.

In this short note we consider generalized associahedra of type D_n. We prove that these simple flag polytopes are not nestohedra for n > 3, but the statement of Gal's conjecture holds for them.

In this paper we prove instances of the cyclic sieving phenomenon for finite Grassmannians and partial flag varieties, which carry the action of various tori in the finite general linear group GL_n(F_q). The polynomials involved are sums of certain weights of the minimal length parabolic coset representatives of the symmetric group S_n, where the weight of a coset representative can be written as a product over its inversions.

Let $\SF^a_λ$ be the degenerate symplectic flag variety. These are projective singular irreducible $\bG_a^M$ degenerations of the classical flag varieties for symplectic group $Sp_{2n}$. We give an explicit construction for the varieties $\SF^a_λ$ and construct their desingularizations, similar to the Bott-Samelson resolutions in the classical case. We prove that $\SF^a_\la$ are normal locally complete intersections with terminal and rational singularities. We also show that these varieties are Frobenius split. Using the above mentioned results, we prove an analogue of the Borel-Weil-Bott theorem and obtain a $q$-character formula for the characters of irreducible $Sp_{2n}$-modules via the Atiyah-Bott-Lefschetz fixed points formula.

We use Razborov's flag algebra method to show a new asymptotic lower bound for the minimal density $m_4$ of monochromatic $K_4$'s in any 2-coloring of the edges of the complete graph $K_n$ on $n$ vertices. The hitherto best known lower bound was obtained by Giraud, who proved that m_4>1/46, whereas the best known upper bound by Thomason states that m_4<1/33. We can show that m_4>1/35.

A generating set for the wreath product $\ZZ_r \wr S_n$ which leads to a nicely behaved weak order is presented, and properties of the resulting order are studied.

An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL_n and a similar formula is conjectured for Sp_{2n} and SO_{2n+1}. For SL_n the formula is explicit and positive. By a theorem of Peterson these compute certain products of Schubert classes in the torus-equivariant quantum cohomology of flag varieties. The SL_n Pieri rule is used in our recent definition of k-double Schur functions and affine double Schur functions.

In this paper we give a direct proof of the positivity conjecture for adapted quantum cluster variables. Moreover, our process allows one to explicitly compute formulas for all adapted cluster monomials and certain ordered products of adapted cluster monomials. In particular, we describe all cluster monomials in cluster algebras and quantum cluster algebras of rank 2. One may obtain similar formulas for all finite type cluster monomials. The above results are achieved by computing explicit set-theoretic decompositions of Grassmannians of subrepresentations in adapted valued quiver representations into a disjoint union of products of standard vector space Grassmannians. We actually prove a more general result which should be of independent interest: we compute these decompositions for arbitrary flags of subrepresentations in adapted valued quiver representations. This implies the existence of counting polynomials for the number of points in these sets over different finite fields. Using this we extend the results of \cite{rupel} to quantum cluster algebras $\Acal_q(Q,\bfd)$, where $q$ is an indeterminate.

Using the formalism of flag algebras, we prove that every triangle-free graph $G$ with $n$ vertices contains at most $(n/5)^5$ cycles of length five. Moreover, the equality is attained only when $n$ is divisible by five and $G$ is the balanced blow-up of the pentagon. We also compute the maximal number of pentagons and characterize extremal graphs in the non-divisible case provided $n$ is sufficiently large. This settles a conjecture made by Erdős in 1984.

We prove a new family of total positivity criteria for partial flag varieties for simply-connected complex algebraic group in the simply laced case.

Using Razborov's flag algebras we show that a triangle-free graph on n vertices contains at most (n/5)^5 cycles of length five. It settles in the affirmative a conjecture of Erdos.

We show that the $γ$-vector of the order complex of any polytope is the f-vector of a balanced simplicial complex. This is done by proving this statement for a subclass of Stanley's S-shellable spheres which includes all polytopes. The proof shows that certain parts of the cd-index, when specializing $c=1$ and considering the resulted polynomial in $d$, are the f-polynomials of simplicial complexes that can be colored with "few" colors. We conjecture that the cd-index of a regular CW-sphere is itself the flag f-vector of a colored simplicial complex in a certain sense.

We study the $\bG_a^M$ degenerations $\Fl^a_\la$ of the type $A$ flag varieties $\Fl_\la$. We describe these degenerations explicitly as subvarieties in the products of Grassmanians. We construct cell decompositions of $\Fl^a_\la$ and show that for complete flags the number of cells is equal to the normalized median Genocchi numbers $h_n$. This leads to a new combinatorial definition of the numbers $h_n$. We also compute the Poincar\' e polynomials of the complete degenerate flag varieties via a natural statistics on the set of Dellac's configurations, similar to the length statistics on the set of permutations. We thus obtain a natural $q$-version of the normalized median Genocchi numbers.