arXiv++ Combinatorics

For the Tits building B(G) of a finite group of Lie type G(Fq), we study the edge zeta function, which enumerates edge-geodesic cycles in the 1-skeleton. We show that every nonzero edge eigenvalue becomes a power of q after raising to a bounded exponent k depending on the type of G. The proof is uniform across types using a Hecke algebra approach. This extends previous results for type A and for oppositeness graphs to the full edge-geodesic setting and all finite groups of Lie type.

The Schubert problem asks for combinatorial models to compute structure constants of the cohomology ring with respect to Schubert classes and has been an important open problem in algebraic geometry and combinatorics that guided fruitful research for decades. In this paper, we provide an explicit formula for the (equivariant) Schubert structure constants $c_{uv}^w$ across all Lie types when the elements $u,v,w$ are boolean. In particular, in type $A$, all Schubert structure constants on boolean elements are either $0$ or $1$.

We prove that if G is a sufficiently large finite almost simple group of Lie type, then given a fixed nontrivial element x in G and a coset of G modulo its socle, the probability that x and a random element of the coset generate a subgroup containing the socle is uniformly bounded away from 0 (and goes to 1 if the field size goes to infinity). This is new even if G is simple. Together with results of Lucchini and Burness--Guralnick--Harper, this proves a conjecture of Lucchini and has an application to profinite groups. A key step in the proof is the determination of the limits for the proportion of elements in a classical group which fix no subspace of any bounded dimension.

This paper uses Lusztig varieties to give central elements of the Iwahori-Hecke algebra corresponding to unipotent conjugacy classes in the finite Chevalley group $GL_n(\mathbb{F}_q)$. We explain how these central elements are related to Macdonald polynomials and how this provides a framework for generalizing integral form and modified Macdonald polynomials to Lie types other than $GL_n$. The key steps are to recognize (a) that counting points in Lusztig varieties is equivalent to computing traces on the Hecke algebras, (b) that traces on the Hecke algebra determine elements of the center of the Hecke algebra, (c) that the Geck-Rouquier basis elements of the center of the Hecke algebra produce an `expansion matrix', (d) that the parabolic subalgebras of the Hecke algebra produce a `contraction matrix' and (e) that the combination `expansion-contraction' is the plethystic transformation that relates integral form Macdonald polynomials and modified Macdonald polynomials.

Given an integer $M\geq 2$, we deploy the generating function techniques to compute the number of $M$-th roots of identity in some of the well-known finite groups of Lie type, more precisely for finite general linear groups, symplectic groups, orthogonal groups of all types and unitary groups over finite fields of odd characteristics.

For any root system of rank $r$, we study the "dominant weight polytope" $P^λ$ associated with a strongly dominant weight $λ$. We prove that $P^λ$ is combinatorially equivalent to the $r$-dimensional cube. As an application, we give a new proof of the known formulas for Betti numbers of Peterson varieties in classical Lie types.

Let $G$ be a group. The intersection subgroup graph of $G$ (introduced by Anderson et al. \cite{anderson}) is the simple graph $Γ_{S}(G)$ whose vertices are those non-trivial subgroups say $H$ of $G$ with $H\cap K=\{e\}$ for some non-trivial subgroup $K$ of $G$; two distinct vertices $H$ and $K$ are adjacent if and only if $H\cap K=\{e\}$, where $e$ is the identity element of $G$. In this communication, we explore the groups whose intersection subgroup graph belongs to several significant graph classes including cluster graphs, perfect graphs, cographs, chordal graphs, bipartite graphs, triangle-free and claw-fee graphs. We categorize each nilpotent group $G$ so that $Γ_S(G)$ belongs to the above classes. We entirely classify the simple group of Lie type whose intersection subgroup graph is a cograph. Moreover, we deduce that $Γ_{S}(G)$ is neither a cograph nor a chordal graph if $G$ is a torsion-free nilpotent group.

In this article, we study $2$-designs with $λ=2$ admitting a flag-transitive almost simple automorphism group with socle a finite simple exceptional group of Lie type, and we prove that such a $2$-design does not exist. In conclusion, we present a classification of $2$-designs with $λ=2$ admitting flag-transitive and point-primitive automorphism groups of almost simple type, which states that such a $2$-design belongs to an infinite family of $2$-designs with parameter set $((3^n-1)/2,3,2)$ and $X=PSL_n(3)$ for some $n\geq 3$, or it is isomorphic to the $2$-design with parameter set $(6,3,2)$, $(7,4,2)$, $(10,4,2)$, $(10,4,2)$, $(11,5,2)$, $(28,7,2)$, $(28,3,2)$, $(36,6,2)$, $(126,6,2)$ or $(176,8,2)$.

Let $\mathcal{D}$ be a non-trivial $G$-block-transitive $3$-$(v,k,1)$ design, where $T\leq G \leq \mathrm{Aut}(T)$ for some finite non-abelian simple group $T$. It is proved that if $T$ is a simple exceptional group of Lie type, then $T$ is either the Suzuki group ${}^2B_2(q)$ or $G_2(q)$. Furthermore, if $T={}^2B_2(q)$ then the design $\mathcal{D}$ has parameters $v=q^2+1$ and $k=q+1$, and so $\mathcal{D}$ is an inverse plane of order $q$; and if $T=G_2(q)$ then the point stabilizer in $T$ is either $\mathrm{SL}_3(q).2$ or $\mathrm{SU}_3(q).2$, and the parameter $k$ satisfies very restricted conditions.

We prove a short, root-system uniform, combinatorial classification of Levi-spherical Schubert varieties for any generalized flag variety $G/B$ of finite Lie type. We apply this to the study of multiplicity-free decompositions of a Demazure module into irreducible representations of a Levi subgroup.

This is a survey article on Richardson varieties and their combinatorics. A Richardson variety is the intersection, inside the flag manifold GL_n/B_+, of a Schubert cell (B_- u B_+)/B_+ and an opposite Schubert cell (B_+ w B_+)/B_+ (or the similar intersection of Schubert varieties). In this survey, we provide an overview of what is known about (1) homogeneous coordinate rings of Richardson varieties, their bases and degenerations (2) parametrizations of Richardson varieties using Bott-Samelson varieties (3) Deodhar's decompositions of the flag manifold and of Richardson varieties within it and (4) total positivity in the flag manifold. We also provide an overview of the combinatorics of positroid varieties, their relations to Richardson varieties, and how they are parametrized using plabic graphs. Most of this survey is an overview of other authors' work over the last forty years, but there are also some minor original results: For example, that coordinate rings of open Richardson varieties are UFD's (Corollary 3.23), that the Deodhar decomposition is not a stratification in Lie type A (Section 4.3) and explicit descriptions of the Deodhar decomposition in terms of ranks of submatrices (Section 4.4).

Cominuscule flag varieties generalize Grassmannians to other Lie types. Schubert varieties in cominuscule flag varieties are indexed by posets of roots labeled long/short. These labeled posets generalize Young diagrams. We prove that Schubert varieties in potentially different cominuscule flag varieties are isomorphic as varieties if and only if their corresponding labeled posets are isomorphic, generalizing the classification of Grassmannian Schubert varieties using Young diagrams by the last two authors. Our proof is type-independent.

Given a finite group $G$ and a prime $p$, let $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. The group $G$ satisfies the Quillen dimension property at $p$ if $\mathcal{A}_p(G)$ has non-zero homology in the maximal possible degree, which is the $p$-rank of $G$ minus $1$. For example, D. Quillen showed that solvable groups with trivial $p$-core satisfy this property, and later, M. Aschbacher and S.D. Smith provided a list of all $p$-extensions of simple groups that may fail this property if $p$ is odd. In particular, a group $G$ with this property satisfies Quillen's conjecture: $G$ has trivial $p$-core and the poset $\mathcal{A}_(G)$ is not contractible. In this article, we focus on the prime $p = 2$ and prove that the $2$-extensions of the exceptional finite simple groups of Lie type in odd characteristic satisfy the Quillen dimension property, with only finitely many exceptions. We achieve these conclusions by studying maximal subgroups and usually reducing the problem to the same question in small linear groups, where we establish this property via counting arguments. As a corollary, we reduce the list of possible components in a minimal counterexample to Quillen's conjecture at $p = 2$.

We compute the effective good divisibility of a rational homogeneous variety, extending an earlier result for complex Grassmannians by Naldi and Occhetta. Non-existence of nonconstant morphisms to rational homogeneous varieties of classical Lie type are obtained as applications.

A graph is called chordal if it forbids induced cycles of length 4 or more. In this paper, we attempt to identify the non-nilpotent groups whose power graph is a chordal graph (this question was raised by Cameron in [4]). In this direction, we characterise the direct product of finite groups having chordal power graphs. We classify all finite simple groups of Lie type whose power graph is chordal. Further, we prove that the power graph of a sporadic simple group is always non-chordal. In addition, we show that almost all groups of order up to 47 have chordal power graphs.

An element of a Weyl group of classical type is skew if it is the left factor in a reduced factorization of a Grassmannian element. The skew Grothendieck polynomials are those which are indexed by skew elements of the Weyl group. We define set-valued tableaux which are fillings of the associated skew Young diagrams and use them to prove tableau formulas for the skew double Grothendieck polynomials in all four classical Lie types. We deduce tableau formulas for the Grassmannian Grothendieck polynomials and the K-theoretic analogues of the (double mixed) skew Stanley functions in the respective Lie types.

In 2003, Cohn and Umans proposed a group-theoretic approach to bounding the exponent of matrix multiplication. Previous work within this approach ruled out certain families of groups as a route to obtaining $ω= 2$, while other families of groups remain potentially viable. In this paper we turn our attention to matrix groups, whose usefulness within this framework was relatively unexplored. We first show that groups of Lie type cannot prove $ω=2$ within the group-theoretic approach. This is based on a representation-theoretic argument that identifies the second-smallest dimension of an irreducible representation of a group as a key parameter that determines its viability in this framework. Our proof builds on Gowers' result concerning product-free sets in quasirandom groups. We then give another barrier that rules out certain natural matrix group constructions that make use of subgroups that are far from being self-normalizing. Our barrier results leave open several natural paths to obtain $ω= 2$ via matrix groups. To explore these routes we propose working in the continuous setting of Lie groups, in which we develop an analogous theory. Obtaining the analogue of $ω=2$ in this potentially easier setting is a key challenge that represents an intermediate goal short of actually proving $ω= 2$. We give two constructions in the continuous setting, each of which evades one of our two barriers.

For $G$ a reductive group and $T\subset B$ a maximal torus and Borel subgroup, Demazure modules are certain $B$-submodules, indexed by elements of the Weyl group, of the finite irreducible representations of $G$. In order to describe the $T$-weight spaces that appear in a Demazure module, we study the convex hull of these weights - the Demazure polytope. We characterize these polytopes both by vertices and by inequalities, and we use these results to prove that Demazure characters are saturated, in the case that $G$ is simple of classical Lie type. Specializing to $G=GL_n$, we recover results of Fink, Mészáros, and St. Dizier, and separately Fan and Guo, on key polynomials, originally conjectured by Monical, Tokcan, and Yong.

In this work we study the relationship between several combinatorial formulas for type $A$ spherical Whittaker functions. These are spherical functions on $p$-adic groups, which arise in the theory of automorphic forms. They depend on a parameter $t$, and are a specialization of Macdonald polynomials, and further specialize to Schur polynomials upon setting $t=0$. There are three types of formulas for these polynomials. The first formula is in terms of so-called alcove walks, works in arbitrary Lie type, and is derived from the Ram-Yip formula for Macdonald polynomials. The second one is in terms of certain fillings of Young diagrams, and is derived from, or is analogous to the Haglund-Haiman-Loehr formula for Macdonald polynomials. The third formula is in terms of the classical semistandard Young tableaux. We study the way in which each such formula is obtained from the previous one by combining terms $-$ a phenomenon called compression. No such results existed in the case of Whittaker functions.

The tableau model for Kirillov-Reshetikhin (KR) crystals, which are finite dimensional crystals corresponding to certain affine Lie algebras, is commonly used for its ease of crystal operator calculations. However, its simplicity makes quite complex the calculation of statistics such as: keys (used to express Demazure characters), the crystal energy function (an affine grading on tensor products of KR crystals), and the combinatorial R-matrix (an affine crystal isomorphism permuting factors in a tensor product of KR crystals). It has been shown that these calculations are much simpler with the added structure in the quantum alcove model for KR crystals. In this paper, we give an explicit description of the crystal isomorphism between the mentioned realizations of KR crystals in all classical Lie types.