arXiv++ Combinatorics

This is a short note about Schur positivity. We introduce Schur polynomials and explain how they appear in the representation theory of the general linear group. We end with a new result of the author with F. Bergeron and V. Reiner that gives the probability that a homogeneous symmetric polynomial with positive coefficients is Schur positive.

We deduce decompositions of natural representations of general linear groups and symmetric groups from combinatorial bijections involving tableaux. These include some of Howe's dualities, Gelfand models, the Schur-Weyl decomposition of tensor space, and multiplicity-free decompositions indexed by threshold partitions.

We introduce $q$-analogues of uniform matroids, which we call $q$-niform matroids. While uniform matroids admit actions of symmetric groups, $q$-niform matroids admit actions of finite general linear groups. We show that the equivariant Kazhdan-Lusztig polynomial of a $q$-niform matroid is the unipotent $q$-analogue of the equivariant Kazhdan-Lusztig polynomial of the corresponding uniform matroid, thus providing evidence for the positivity conjecture for equivariant Kazhdan-Lusztig polynomials.

This paper gives a survey on the relation between Hibi algebras and representation theory. The notion of Hodge algebras or algebras with straightening laws has been proved to be very useful to describe the structure of many important algebras in classical invariant theory and representation theory. In particular, a special type of such algebras introduced by Hibi provides a nice bridge between combinatorics and representation theory of classical groups. We will examine certain poset structures of Young tableaux and affine monoids, Hibi algebras in toric degenerations of flag varieties, and their relations to polynomial representations of the complex general linear group.

We study $t$-designs of parameters $(n,k,λ)$ over finite fields as group divisible designs and set systems admitting a transitive action of a linear group encoded in an hypergraph $G$ whose vertex set of size $n$ is partitioned into sets of size $k$ in such a way that every $t$-subset is contained in at least $λ$ subsets of $G$. We relate the problem to the representation theory of the general linear group $\GL(n,\mathbb{F}_{q})$ and the constructions of AG codes over finite fields.

The center $\mathscr{Z}_n(q)$ of the integral group algebra of the general linear group $GL_n(q)$ over a finite field admits a filtration with respect to the reflection length. We show that the structure constants of the associated graded algebras $\mathscr{G}_n(q)$ are independent of $n$, and this stability leads to a universal stable center with positive integer structure constants which governs the algebras $\mathscr{G}_n(q)$ for all $n$. Various structure constants of the stable center are computed and several conjectures are formulated. Analogous stability properties for symmetric groups and wreath products were established earlier by Farahat-Higman and the second author.

Using Henriques' and Kamnitzer's cactus groups, Schützenberger's promotion and evacuation operators on standard Young tableaux can be generalised in a very natural way to operators acting on highest weight words in tensor products of crystals. For the crystals corresponding to the vector representations of the symplectic groups, we show that Sundaram's map to perfect matchings intertwines promotion and rotation of the associated chord diagrams, and evacuation and reversal. We also exhibit a map with similar features for the crystals corresponding to the adjoint representations of the general linear groups. We prove these results by applying van Leeuwen's generalisation of Fomin's local rules for jeu de taquin, connected to the action of the cactus groups by Lenart, and variants of Fomin's growth diagrams for the Robinson-Schensted correspondence.

Picking permutations at random, the expected number of k-cycles is known to be 1/k and is, in particular, independent of the size of the permuted set. This short note gives similar size-independent statistics of finite general linear groups: ones that depend only on small minors. The proof technique uses combinatorics of categories, motivated by representation stability, and applies simultaneously to symmetric groups, finite linear groups and many other settings.

We give an intrinsic criterion to tell whether a reflection factorization in the general linear group is reduced, and give a formula for computing reflection length in the general affine group.

We associate a polynomial to any diagram of unit cells in the first quadrant of the plane using Kohnert's algorithm for moving cells down. In this way, for every weak composition one can choose a cell diagram with corresponding row-counts, with each choice giving rise to a combinatorially-defined basis of polynomials. These Kohnert bases provide a simultaneous generalization of Schubert polynomials and Demazure characters for the general linear group. Using the monomial and fundamental slide bases defined earlier by the authors, we show that Kohnert polynomials stabilize to quasisymmetric functions that are nonnegative on the fundamental basis for quasisymmetric functions. For initial applications, we define and study two new Kohnert bases. The elements of one basis are conjecturally Schubert-positive and stabilize to the skew-Schur functions; the elements of the other basis stabilize to a new basis of quasisymmetric functions that contains the Schur functions.

Let $\mathbb{F}$ be any field. The Grassmannian $\mathrm{Gr}(m,n)$ is the set of $m$-dimensional subspaces in $\mathbb{F}^n$, and the general linear group $\mathrm{GL}_n(\mathbb{F})$ acts transitively on it. The Schubert cells of $\mathrm{Gr}(m,n)$ are the orbits of the Borel subgroup $\mathcal{B} \subset \mathrm{GL}_n(\mathbb{F})$ on $\mathrm{Gr}(m,n)$. We consider the association scheme on each Schubert cell defined by the $\mathcal{B}$-action and show it is symmetric and it is the generalized wreath product of one-class association schemes, which was introduced by R. A. Bailey [European Journal of Combinatorics 27 (2006) 428--435].

We establish lower bounds for the $p$-divisibility of the quantity $\#\operatorname{Hom}(G,GL_n(\mathbb{F}_q))$, the number of homomorphisms from $G$ to a general linear group, where $G$ is an Abelian $p$-group. This is in analogy to the result of Krattenthaler and Müller \cite{MR3383810} on homomorphisms to symmetric groups.

Matrices over a finite field having fixed rank and restricted support are a natural $q$-analogue of rook placements on a board. We develop this $q$-rook theory by defining a corresponding analogue of the hit numbers. Using tools from coding theory, we show that these $q$-hit and $q$-rook numbers obey a variety of identities analogous to the classical case. We also explore connections to earlier $q$-analogues of rook theory, as well as settling a polynomiality conjecture and finding a counterexample of a positivity conjecture of the authors and Klein.

A quandle is an algebraic structure which attempts to generalize group conjugation. These structures have been studied extensively due to their connections with knot theory, algebraic combinatorics, and other fields. In this work, we approach the study of quandles from the perspective of the representation theory of categories. Namely, we look at collections of conjugacy classes of the symmetric groups and the finite general linear groups, and prove that they carry the structure of FI-quandles (resp. VIC$(q)$-quandles). As applications, we prove statements about the homology of these quandles, and construct FI-module and VIC$(q)$-module invariants of links.

Stanley symmetric functions are the stable limits of Schubert polynomials. In this paper, we show that, conversely, Schubert polynomials are Demazure truncations of Stanley symmetric functions. This parallels the relationship between Schur functions and Demazure characters for the general linear group. We establish this connection by imposing a Demazure crystal structure on key tableaux, recently introduced by the first author in connection with Demazure characters and Schubert polynomials, and linking this to the type A crystal structure on reduced word factorizations, recently introduced by Morse and the second author in connection with Stanley symmetric functions.

Irreducibility results for parabolic induction of representations of the general linear group over a local non-archimedean field can be formulated in terms of Kazhdan--Lusztig polynomials of type $A$. Spurred by these results and some computer calculations, we conjecture that certain alternating sums of Kazhdan--Lusztig polynomials known as parabolic Kazhdan--Lusztig polynomials satisfy properties analogous to those of the ordinary ones.

We solve a problem in enumerative combinatorics which is equivalent to counting topological types of certain group actions on compact Riemann surfaces. Let $V_2(F_p)$ be the two-dimensional vector space over $F_p$, the field with $p$ elements, $p$ an odd prime. We count orbits of the general linear group $GL_2(F_p)$ on certain multisets consisting of $R \geq 3$ non-zero columns from $V_2(F_p)$. The $R$-multisets are `zero-sum,' that is, the sum (mod $p$) over the columns in the multiset is $[\begin{smallmatrix} 0 \\ 0 \end{smallmatrix}]$. The orbit count yields the number of topological types of fully ramified actions of the elementary abelian $p$-group of rank $2$ on compact Riemann surfaces of genus $1+ Rp(p-1)/2-p^2.$

The covering radius of a subset $C$ of the symmetric group $\mathrm{S}_n$ is the maximal Hamming distance of an element of $\mathrm{S}_n$ from $C$. This note determines the covering radii of the finite projective general linear groups. It turns out that the covering radius of $\mathrm{PGL}_2(q)$ is $q-2$ if $q$ is even, and is $q-3$ if $q$ is odd.

We prove some cases of a conjecture of Lewis, Reiner and Stanton regarding Hilbert series corresponding to the action of $Gl_n(\mathbb{F}_q)$ on a polynomial ring modulo Frobenius powers. We also give a few conjectures about the invariant ring for certain cases that we don't prove completely.

We compute the (primary) equivariant Euler characteristics of the building for the general linear group over a finite field.