arXiv++ Combinatorics

For every infinite sequence of simple groups of Lie type of growing rank we exhibit connected Cayley graphs of degree at most 10 such that the isoperimetric number of these graphs converges to 0. This proves that these graphs do not form a family of expanders.

Affine Weyl groups and their parabolic quotients are used extensively as indexing sets for objects in combinatorics, representation theory, algebraic geometry, and number theory. Moreover, in the classical Lie types we can conveniently realize the elements of these quotients via intuitive geometric and combinatorial models such as abaci, alcoves, coroot lattice points, core partitions, and bounded partitions. Berg, Jones, and Vazirani described a bijection between n-cores with first part equal to k and (n-1)-cores with first part less than or equal to k, and they interpret this bijection in terms of these other combinatorial models for the quotient of the affine symmetric group by the finite symmetric group. In this paper we discuss how to generalize the bijection of Berg-Jones-Vazirani to parabolic quotients of affine Weyl groups in type C. We develop techniques using the associated affine hyperplane arrangement to interpret this bijection geometrically as a projection of alcoves onto the hyperplane containing their coroot lattice points. We are thereby able to analyze this bijective projection in the language of various additional combinatorial models developed by Hanusa and Jones, such as abaci, core partitions, and canonical reduced expressions in the Coxeter group.

A generalised hexagon of order $(s,t)$ is said to be \emph{extremal} if $t$ meets the Haemers-Roos bound, that is, $t=s^3$. The \emph{dual twisted triality hexagons} associated to the exceptional Lie type groups $\,^3D_4(s)$ have these parameters, and are the only known such examples. It was shown in the work of De Bruyn and Vanhove that an extremal generalised hexagon has no 1-ovoids. In this note, we prove that a dual twisted triality hexagon has no $m$-ovoids for every possible (nontrivial) value of $m$, except for the isolated case where $s=3$ and $m=2$.

Victoir (2004) developed a method to construct cubature formulae with various combinatorial objects. Motivated by this, we generalize Victoir's method with one more combinatorial object, called regular t-wise balanced designs. Many cubature of small indices with few points are provided, which are used to update Shatalov's table (2001) of isometric embeddings in small-dimensional Banach spaces, as well as to improve some classical Hilbert identities. A famous theorem of Bajnok (2007) on Euclidean designs invariant under the Weyl group of Lie type B is extended to all finite irreducible reflection groups. A short proof of the Bajnok theorem is presented in terms of Hilbert identities.

We provide a Hopf algebra structure on the space of superclass functions on the unipotent upper triangular group of type D over a finite field based on a supercharacter theory constructed by André and Neto. Also, we make further comments with respect to types B and C. Type A was explores by M. Aguiar et. al (2010), thus this paper is a contribution to understand combinatorially the supercharacter theory of the other classical Lie types.

We give positive descriptions for certain Schubert structure constants $c_{u,v}^w$ for the full flag variety in Lie types $C$ and $D$. This is accomplished by first observing that a number of the $K=GL(n,\C)$-orbit closures on these flag varieties coincide with Richardson varieties, and then applying a theorem of M. Brion on the decomposition of such an orbit closure in the Schubert basis in terms of paths in the weak order graph.

We show that if G is a group of automorphisms of a thick finite generalised quadrangle Q acting primitively on both the points and lines of Q, then G is almost simple. Moreover, if G is also flag-transitive then G is of Lie type.

The charge is an intricate statistic on words, due to Lascoux and Schutzenberger, which gives positive combinatorial formulas for Lusztig's q-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As these concepts are defined for all Lie types, it has been a long-standing problem to express them based on a generalization of charge. I present a method for addressing this problem in classical Lie types, based on the recent Ram-Yip formula for Macdonald polynomials and the quantum Bruhat order on the corresponding Weyl group. The details of the method are carried out in type A (where we recover the classical charge) and type C (where we define a new statistic).

This paper has three main goals. First, we set up a general framework to address the problem of constructing module bases for the equivariant cohomology of certain subspaces of GKM spaces. To this end we introduce the notion of a GKM-compatible subspace of an ambient GKM space. We also discuss poset-upper-triangularity, a key combinatorial notion in both GKM theory and more generally in localization theory in equivariant cohomology. With a view toward other applications, we present parts of our setup in a general algebraic and combinatorial framework. Second, motivated by our central problem of building module bases, we introduce a combinatorial game which we dub poset pinball and illustrate with several examples. Finally, as first applications, we apply the perspective of GKM-compatible subspaces and poset pinball to construct explicit and computationally convenient module bases for the $S^1$-equivariant cohomology of all Peterson varieties of classical Lie type, and subregular Springer varieties of Lie type $A$. In addition, in the Springer case we use our module basis to lift the classical Springer representation on the ordinary cohomology of subregular Springer varieties to $S^1$-equivariant cohomology in Lie type $A$.

We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^(1+epsilon) where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple groups L of Lie type the diameter of any Cayley graph is polylogarithmic in |L|. Combining our result on growth with known results of Bourgain,Gamburd and Varjú it follows that if LAMBDA is a Zariski-dense subgroup of SL(d,Z) generated by a finite symmetric set S, then for square-free moduli m which are relatively prime to some number m_0 the Cayley graphs Gamma(SL(d,m),pi_m(S)) form an expander family.

Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second is a generalization of Billey's formula for the localizations of equivariant Schubert classes of flag varieties to arbitrary partial flag varieties. The third gives a choice of Schubert polynomials for partial flag varieties as well as an explicit formula for each. We focus on the example of maximal Grassmannians, including Grassmannians of k-planes in a complex n-dimensional vector space.

In this paper we show that the leading coefficient $μ(y,w)$ of some Kazhdan-Lusztig polynomials $P_{y,w}$ with $y,w$ in an affine Weyl group of type $\tilde A_n $ is $n+2$. This fact has some consequences on the dimension of first extension groups of finite groups of Lie type with irreducible coefficients.

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.

This paper concerns the combinatorics of the orbit Hecke algebra associated with the orbit of a two sided Weyl group action on the Renner monoid of a finite monoid of Lie type, $M$. It is shown by Putcha in \cite{Putcha97} that the Kazhdan-Lusztig involution (\cite{KL79}) can be extended to the orbit Hecke algebra which enables one to define the $R$-polynomials of the intervals contained in a given orbit. Using the $R$-polynomials, we calculate the Möbius function of the Bruhat-Chevalley ordering on the orbits. Furthermore, we provide a necessary condition for an interval contained in a given orbit to be isomorphic to an interval in some Weyl group.

We prove that the length of the shortest identity in a finite simple group of Lie type of rank $r$ defined over $\mathbb{F}_q$, is bounded (from above and below) by explicit polynomials in $q$ and $r$.

In this paper we use the combinatorics of alcove walks to give a uniform combinatorial formula for Macdonald polynomials for all Lie types. These formulas are generalizations of the formulas of Haglund-Haiman-Loehr for Macdonald polynoimals of type GL(n). At q=0 these formulas specialize to the formula of Schwer for the Macdonald spherical function in terms of positively folded alcove walks and at q=t=0 these formulas specialize to the formula for the Weyl character in terms of the Littelmann path model (in the positively folded gallery form of Gaussent-Littelmann).

We prove that the complex of proper non-trivial non-degenerate subspaces of a finite-dimensional vector space endowed with a non-degenerate sesquilinear form is homotopy equivalent to a wedge of spheres. Additionally, we show that the same is true for a slight generalization, the so-called generalized Phan geometries of type A_n. These generalized Phan geometries occur as relative links of certain filtrations. Their sphericity implies finiteness properties of suitable arithmetic groups and allows for a revision of Phan's group-theoretical local recognition of suitable finite groups of Lie type with simply laced diagram.

Suppose that an automorphism group $G$ acts flag-transitively on a finite generalized hexagon or octagon $\cS$, and suppose that the action on both the point and line set is primitive. We show that $G$ is an almost simple group of Lie type, that is, the socle of $G$ is a simple Chevalley group.

Gelfand-Graev characters and their degenerate counterparts have an important role in the representation theory of finite groups of Lie type. Using a characteristic map to translate the character theory of the finite unitary groups into the language of symmetric functions, we study degenerate Gelfand-Graev characters of the finite unitary group from a combinatorial point of view. In particular, we give the values of Gelfand-Graev characters at arbitrary elements, recover the decomposition multiplicities of degenerate Gelfand-Graev characters in terms of tableau combinatorics, and conclude with some multiplicity consequences.

We prove a root system uniform, concise combinatorial rule for Schubert calculus of_minuscule_ and_cominuscule_ flag manifolds G/P (the latter are also known as "compact Hermitian symmetric spaces"). We connect this geometry to the poset combinatorics of [Proctor '04], thereby giving a generalization of the [Schützenberger `77]_jeu de taquin_ formulation of the Littlewood-Richardson rule that computes the intersection numbers of Grassmannian Schubert varieties. Our proof introduces_cominuscule recursions_, a general technique to relate the numbers for different Lie types. A discussion about connections of our rule to (geometric) representation theory is also briefly entertained.