arXiv++ Combinatorics

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.

We study type $A$ nilpotent Hessenberg varieties equipped with a natural $S^1$-action using techniques introduced by Tymoczko, Harada-Tymoczko, and Bayegan-Harada, with a particular emphasis on a special class of nilpotent Springer varieties corresponding to the partition $λ= (n-2,2)$ for $n \geq 4$. First we define the adjacent-pair matrix corresponding to any filling of a Young diagram with $n$ boxes with the alphabet $\{1,2,\ldots,n\}$. Using the adjacent-pair matrix we make more explicit and also extend some statements concerning highest forms of linear operators in previous work of Tymoczko. Second, for a nilpotent operator $N$ and Hessenberg function $h$, we construct an explicit bijection between the $S^1$-fixed points of the nilpotent Hessenberg variety $\Hess(N,h)$ and the set of $(h,λ_N)$-permissible fillings of the Young diagram $λ_N$. Third, we use poset pinball, the combinatorial game introduced by Harada and Tymoczko, to study the $S^1$-equivariant cohomology of type $A$ Springer varieties $\mathcal{S}_{(n-2,2)}$ associated to Young diagrams of shape $(n-2,2)$ for $n\geq 4$. Specifically, we use the dimension pair algorithm for Betti-acceptable pinball described by Bayegan and Harada to specify a subset of the equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety $\mathcal{F}\ell ags(\C^n)$ which maps to a module basis of $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$ under the projection $H^*_T(\mathcal{F}\ell ags(\C^n)) \to H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. Our pinball module basis is not poset-upper-triangular; this is the first concrete such example in the literature. A consequence of our proof is that there exists a simple and explicit change of basis which transforms our basis to a poset-upper-triangular module basis for $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. We close with open questions for future work.

The main result of this note is a Giambelli formula for the Peterson Schubert classes in the $S^1$-equivariant cohomology ring of a type $A$ Peterson variety. Our results depend on the Monk formula for the equivariant structure constants for the Peterson Schubert classes derived by Harada and Tymoczko. In addition, we give proofs of two facts observed by H. Naruse: firstly, that some constants which appear in the multiplicative structure of the $S^1$-equivariant cohomology of Peterson varieties are Stirling numbers of the second kind, and secondly, that the Peterson Schubert classes satisfy a stability property in a sense analogous to the stability of the classical equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety.

In this manuscript we develop the theory of poset pinball, a combinatorial game recently introduced by Harada and Tymoczko for the study of the equivariant cohomology rings of GKM-compatible subspaces of GKM spaces. Harada and Tymoczko also prove that in certain circumstances, a successful outcome of Betti poset pinball yields a module basis for the equivariant cohomology ring of the GKM-compatible subspace. Our main contributions are twofold. First we construct an algorithm (which we call the dimension pair algorithm) which yields the result of a successful outcome of Betti poset pinball for any type $A$ regular nilpotent Hessenberg and any type $A$ nilpotent Springer variety, considered as GKM-compatible subspaces of the flag variety $\Flags(\C^n)$. The definition of the algorithm is motivated by a correspondence between Hessenberg affine cells and certain Schubert polynomials which we learned from Erik Insko. Second, in the special case of the type $A$ regular nilpotent Hessenberg varieties specified by the Hessenberg function $h(1)=h(2)=3$ and $h(i) = i+1$ for $3 \leq i \leq n-1$ and $h(n)=n$, we prove that the pinball result coming from the dimension pair algorithm is poset-upper-triangular; by results of Harada and Tymoczko this implies the corresponding equivariant cohomology classes form a $H^*_{S^1}(\pt)$-module basis for the $S^1$-equivariant cohomology ring of the Hessenberg variety.