We extend a comparison theorem of Anandavardhanan–Borisagar between the quotient of the induction of a mod $p$ character by the image of an Iwahori–Hecke operator and compact induction of a weight to the case of the trivial character. This involves studying the corresponding non-commutative Iwahori–Hecke algebra. We use this to give an Iwahori theoretic reformulation of the (semi-simple) mod $p$ local Langlands correspondence discovered by Breuil and reformulated functorially by Colmez. This version of the correspondence is expected to have applications to computing the mod $p$ reductions of semi-stable Galois representations.

We determine the cohomology of the closed Drinfeld stratum of p-adic Deligne–Lusztig schemes of Coxeter type attached to arbitrary inner forms of unramified groups over a local non-archimedean field. We prove that the corresponding torus weight spaces are supported in exactly one cohomological degree and are pairwise non-isomorphic irreducible representations of the pro-unipotent radical of the corresponding parahoric subgroup. We also prove that all Moy–Prasad quotients of this stratum are maximal varieties, and we investigate the relation between the resulting representations and Kirillov’s orbit method.

We define oriented Temperley–Lieb algebras for Hermitian symmetric spaces. This allows us to explain the existence of closed combinatorial formulae for the Kazhdan–Lusztig polynomials for these spaces.

Let $\mathbf {G}$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk $ and ${\mathbf B}$ be a Borel subgroup of ${\mathbf G}$. In this paper, we completely determine the composition factors of the permutation module $\mathbb {F}[{\mathbf G}/{\mathbf B}]$ for any field $\mathbb {F}$.

We give a precise classification, in terms of Shimura data, of all $1$-dimensional Shimura subvarieties of a moduli space of polarized abelian varieties.

Let G be a finite group and r be a prime divisor of the order of G. An irreducible character of G is said to be quasi r-Steinberg if it is non-zero on every r-regular element of G. A quasi r-Steinberg character of degree $\displaystyle |Syl_r(G)|$ is said to be weak r-Steinberg if it vanishes on the r-singular elements of $G.$ In this article, we classify the quasi r-Steinberg cuspidal characters of the general linear group $GL(n,q).$ Then we characterize the quasi r-Steinberg characters of $GL(2,q)$ and $GL(3,q).$ Finally, we obtain a classification of the weak r-Steinberg characters of $GL(n,q).$

We settle the question of where exactly do the reduced Kronecker coefficients lie on the spectrum between the Littlewood-Richardson and Kronecker coefficients by showing that every Kronecker coefficient of the symmetric group is equal to a reduced Kronecker coefficient by an explicit construction. This implies the equivalence of an open problem by Stanley from 2000 and an open problem by Kirillov from 2004 about combinatorial interpretations of these two families of coefficients. Moreover, as a corollary, we deduce that deciding the positivity of reduced Kronecker coefficients is ${\textsf {NP}}$-hard, and computing them is ${{{\textsf {#P}}}}$-hard under parsimonious many-one reductions. Our proof also provides an explicit isomorphism of the corresponding highest weight vector spaces.

For closed subgroups L and R of a compact Lie group G, a left L-space X, and an L-equivariant continuous map $A:X\to G/R$, we introduce the twisted action of the equivariant cohomology $H_R^{\bullet }(\mathrm {pt},\Bbbk )$ on the equivariant cohomology $H_L^{\bullet }(X,\Bbbk )$. Considering this action as a right action, $H_L^{\bullet }(X,\Bbbk )$ becomes a bimodule together with the canonical left action of $H_L^{\bullet }(\mathrm {pt},\Bbbk )$. Using this bimodule structure, we prove an equivariant version of the Künneth isomorphism. We apply this result to the computation of the equivariant cohomologies of Bott–Samelson varieties and to a geometric construction of the bimodule morphisms between them.

In this paper, we prove some orthogonality relations for representations arising from deep level Deligne–Lusztig schemes of Coxeter type. This generalizes previous results of Lusztig [Lus04], and of Chan and the second author [CI21b]. Applications include the study of smooth representations of p-adic groups in the cohomology of p-adic Deligne–Lusztig spaces and their relation to the local Langlands correspondences. Also, the geometry of deep level Deligne–Lusztig schemes gets accessible, in the spirit of Lusztig’s work [Lus76].

We introduce a new invariant, the conductor exponent, of a generic irreducible Casselman–Wallach representation of $\operatorname {\mathrm {GL}}_n(F)$, where F is an archimedean local field, that quantifies the extent to which this representation may be ramified. We also determine a distinguished vector, the newform, occurring with multiplicity one in this representation, with the complexity of this vector measured in a natural way by the conductor exponent. Finally, we show that the newform is a test vector for $\operatorname {\mathrm {GL}}_n \times \operatorname {\mathrm {GL}}_n$ and $\operatorname {\mathrm {GL}}_n \times \operatorname {\mathrm {GL}}_{n - 1}$ Rankin–Selberg integrals when the second representation is unramified. This theory parallels an analogous nonarchimedean theory due to Jacquet, Piatetski-Shapiro, and Shalika; combined, this completes a global theory of newforms for automorphic representations of $\operatorname {\mathrm {GL}}_n$ over number fields. By-products of the proofs include new proofs of Stade’s formulæ and a new resolution of the test vector problem for archimedean Godement–Jacquet zeta integrals.

In this paper we produce infinite families of counterexamples to Jantzen's question posed in 1980 on the existence of Weyl $p$-filtrations for Weyl modules for an algebraic group and Donkin's tilting module conjecture formulated in 1990. New techniques to exhibit explicit examples are provided along with methods to produce counterexamples in large rank from counterexamples in small rank. Counterexamples can be produced via our methods for all groups other than when the root system is of type ${\rm A}_{n}$ or ${\rm B}_{2}$.

We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.

We develop a theory of parabolic induction and restriction functors relating modules over Coulomb branch algebras, in the sense of Braverman-Finkelberg-Nakajima. Our functors generalize Bezrukavnikov-Etingof’s induction and restriction functors for Cherednik algebras, but their definition uses different tools.

After this general definition, we focus on quiver gauge theories attached to a quiver $\Gamma $. The induction and restriction functors allow us to define a categorical action of the corresponding symmetric Kac-Moody algebra $\mathfrak {g}_{\Gamma }$ on category $ \mathcal {O}$ for these Coulomb branch algebras. When $ \Gamma $ is of Dynkin type, the Coulomb branch algebras are truncated shifted Yangians and quantize generalized affine Grassmannian slices. Thus, we regard our action as a categorification of the geometric Satake correspondence.

To establish this categorical action, we define a new class of ‘flavoured’ KLRW algebras, which are similar to the diagrammatic algebras originally constructed by the second author for the purpose of tensor product categorification. We prove an equivalence between the category of Gelfand-Tsetlin modules over a Coulomb branch algebra and the modules over a flavoured KLRW algebra. This equivalence relates the categorical action by induction and restriction functors to the usual categorical action on modules over a KLRW algebra.

We prove analogues of Schur’s lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf {T}$ be a neutral Tannakian category over a field of characteristic zero. Let E be an extension of A by B in $\mathbf {T}$. We consider conditions under which every endomorphism of E that stabilises B induces a scalar map on $A\oplus B$. We give a result in this direction in the general setting of arbitrary $\mathbf {T}$ and E, and then a stronger result when $\mathbf {T}$ is filtered and the associated graded objects to A and B satisfy some conditions. We also discuss the sharpness of the results.

Let $G= N\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup N and a closed subgroup H. The Bohr compactification ${\rm Bohr}(G)$ and the profinite completion ${\rm Prof}(G)$ of G are, respectively, isomorphic to semi-direct products $Q_1 \rtimes {\rm Bohr}(H)$ and $Q_2 \rtimes {\rm Prof}(H)$ for appropriate quotients $Q_1$ of ${\rm Bohr}(N)$ and $Q_2$ of ${\rm Prof}(N).$ We give a precise description of $Q_1$ and $Q_2$ in terms of the action of H on appropriate subsets of the dual space of N. In the case where N is abelian, we have ${\rm Bohr}(G)\cong A \rtimes {\rm Bohr}(H)$ and ${\rm Prof}(G)\cong B \rtimes {\rm Prof}(H),$ where A (respectively B) is the dual group of the group of unitary characters of N with finite H-orbits (respectively with finite image). Necessary and sufficient conditions are deduced for G to be maximally almost periodic or residually finite. We apply the results to the case where $G= \Lambda\wr H$ is a wreath product of discrete groups; we show in particular that, in case H is infinite, ${\rm Bohr}(\Lambda\wr H)$ is isomorphic to ${\rm Bohr}(\Lambda^{\rm Ab}\wr H)$ and ${\rm Prof}(\Lambda\wr H)$ is isomorphic to ${\rm Prof}(\Lambda^{\rm Ab} \wr H),$ where $\Lambda^{\rm Ab}=\Lambda/ [\Lambda, \Lambda]$ is the abelianisation of $\Lambda.$ As examples, we compute ${\rm Bohr}(G)$ and ${\rm Prof}(G)$ when G is a lamplighter group and when G is the Heisenberg group over a unital commutative ring.

Let $\textbf {G}$ be a simply connected semisimple algebraic group over a field of characteristic greater than the Coxeter number. We construct a monoidal action of the diagrammatic Hecke category on the principal block $\operatorname {Rep}_0(\textbf {G})$ of $\operatorname {Rep}(\textbf {G})$ by wall-crossing functors. This action was conjectured to exist by Riche and Williamson. Our method uses constructible sheaves and relies on Smith–Treumann theory.

We construct an action of the affine Hecke category on the principal block $\mathrm {Rep}_0(G_1T)$ of $G_1T$-modules where G is a connected reductive group over an algebraically closed field of characteristic $p> 0$, T a maximal torus of G and $G_1$ the Frobenius kernel of G. To define it, we define a new category with a Hecke action which is equivalent to the combinatorial category defined by Andersen-Jantzen-Soergel.

Let $G$ be a reductive group over an algebraically closed field $k$ of separably good characteristic $p>0$ for $G$. Under these assumptions, a Springer isomorphism $\phi : \mathcal {N}_{\mathrm {red}}(\mathfrak {g}) \rightarrow \mathcal {V}_{\mathrm {red}}(G)$ from the nilpotent scheme of $\mathfrak {g}$ to the unipotent scheme of $G$ always exists and allows one to integrate any $p$-nilpotent element of $\mathfrak {g}$ into a unipotent element of $G$. One should wonder whether such a punctual integration can lead to an integration of restricted $p$-nil $p$-subalgebras of $\mathfrak {g}= \operatorname {Lie}(G)$. We provide a counter-example of the existence of such an integration in general, as well as criteria to integrate some restricted $p$-nil $p$-subalgebras of $\mathfrak {g}$ (that are maximal in a certain sense). This requires the generalisation of the notion of infinitesimal saturation first introduced by Deligne and the extension of one of his theorems on infinitesimally saturated subgroups of $G$ to the previously mentioned framework.

We consider rational representations of a connected linear algebraic group $\mathbb {G}$ over a field $k$ of positive characteristic $p > 0$. We introduce a natural extension $M \mapsto \Pi (\mathbb {G})_M$ to $\mathbb {G}$-modules of the $\pi$-point support theory for modules $M$ for a finite group scheme $G$ and show that this theory is essentially equivalent to the more ‘intrinsic’ and ‘explicit’ theory $M \mapsto \mathbb {P}\mathfrak{C}(\mathbb {G})_M$ of supports for an algebraic group of exponential type, a theory which uses $1$-parameter subgroups $\mathbb {G}_a \to \mathbb {G}$. We extend our support theory to bounded complexes of $\mathbb {G}$-modules, $C^\bullet \mapsto \Pi (\mathbb {G})_{C^\bullet }$. We introduce the tensor triangulated category $\mathit {StMod}(\mathbb {G})$, the Verdier quotient of the bounded derived category $D^b(\mathit {Mod}(\mathbb {G}))$ by the thick subcategory of mock injective modules. Our support theory satisfies all the ‘standard properties’ for a theory of supports for $\mathit {StMod}(\mathbb {G})$. As an application, we employ $C^\bullet \mapsto \Pi (\mathbb {G})_{C^\bullet }$ to establish the classification of $(r)$-complete, thick tensor ideals of $\mathit {stmod}(\mathbb {G})$ in terms of locally $\mathit {stmod}(\mathbb {G})$-realizable subsets of $\Pi (\mathbb {G})$ and the classification of $(r)$-complete, localizing subcategories of $\mathit {StMod}(\mathbb {G})$ in terms of locally $\mathit {StMod}(\mathbb {G})$-realizable subsets of $\Pi (\mathbb {G})$.

An affine variety with an action of a semisimple group G is called “small” if every nontrivial G-orbit in X is isomorphic to the orbit of a highest weight vector. Such a variety X carries a canonical action of the multiplicative group ${\mathbb {K}^{*}}$ commuting with the G-action. We show that X is determined by the ${\mathbb {K}^{*}}$-variety $X^U$ of fixed points under a maximal unipotent subgroup $U \subset G$. Moreover, if X is smooth, then X is a G-vector bundle over the algebraic quotient $X /\!\!/ G$.

If G is of type ${\mathsf {A}_n}$ ($n\geq 2$), ${\mathsf {C}_{n}}$, ${\mathsf {E}_{6}}$, ${\mathsf {E}_{7}}$, or ${\mathsf {E}_{8}}$, we show that all affine G-varieties up to a certain dimension are small. As a consequence, we have the following result. If $n \geq 5$, every smooth affine $\operatorname {\mathrm {SL}}_n$-variety of dimension $< 2n-2$ is an $\operatorname {\mathrm {SL}}_n$-vector bundle over the smooth quotient $X /\!\!/ \operatorname {\mathrm {SL}}_n$, with fiber isomorphic to the natural representation or its dual.