We construct, over any CM field, compatible systems of $l$-adic Galois representations that appear in the cohomology of algebraic varieties and have (for all $l$) algebraic monodromy groups equal to the exceptional group of type $E_{6}$.

A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander–Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme.

We show that for any n and q, the number of real conjugacy classes in $ \rm{PGL}(\it{n},\mathbb{F}_q) $ is equal to the number of real conjugacy classes of $ \rm{GL}(\it{n},\mathbb{F}_q) $ which are contained in $ \rm{SL}(\it{n},\mathbb{F}_q) $, refining a result of Lehrer [J. Algebra36(2) (1975), 278–286] and extending the result of Gill and Singh [J. Group Theory14(3) (2011), 461–489] that this holds when n is odd or q is even. Further, we show that this quantity is equal to the number of real conjugacy classes in $ \rm{PGU}(\it{n},\mathbb{F}_q) $, and equal to the number of real conjugacy classes of $ \rm{U}(\it{n},\mathbb{F}_q) $ which are contained in $ \rm{SU}(\it{n},\mathbb{F}_q) $, refining results of Gow [Linear Algebra Appl.41 (1981), 175–181] and Macdonald [Bull. Austral. Math. Soc.23(1) (1981), 23–48]. We also give a generating function for this common quantity.

Masures are generalizations of Bruhat–Tits buildings. They were introduced by Gaussent and Rousseau to study Kac–Moody groups over ultrametric fields that generalize reductive groups. Rousseau gave an axiomatic definition of these spaces. We propose an equivalent axiomatic definition, which is shorter, more practical, and closer to the axiom of Bruhat–Tits buildings. Our main tool to prove the equivalence of the axioms is the study of the convexity properties in masures.

In this paper, we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment.

We investigate the structure of root data by considering their decomposition as a product of a semisimple root datum and a torus. Using this decomposition, we obtain a parametrization of the isomorphism classes of all root data. By working at the level of root data, we introduce the notion of a smooth regular embedding of a connected reductive algebraic group, which is a refinement of the commonly used regular embeddings introduced by Lusztig. In the absence of Steinberg endomorphisms, such embeddings were constructed by Benjamin Martin. In an unpublished manuscript, Asai proved three key reduction techniques that are used for reducing statements about arbitrary connected reductive algebraic groups, equipped with a Frobenius endomorphism, to those whose derived subgroup is simple and simply connected. Using our investigations into root data we give new proofs of Asai's results and generalize them so that they are compatible with Steinberg endomorphisms. As an illustration of these ideas, we answer a question posed to us by Olivier Dudas concerning unipotent supports.

How many generators and relations does $\text{SL}\,_{n}(\mathbb{F}_{q}[t,t^{-1}])$ need? In this paper we exhibit its explicit presentation with $9$ generators and $44$ relations. We investigate presentations of affine Kac–Moody groups over finite fields. Our goal is to derive finite presentations, independent of the field and with as few generators and relations as we can achieve. It turns out that any simply connected affine Kac–Moody group over a finite field has a presentation with at most 11 generators and 70 relations. We describe these presentations explicitly type by type. As a consequence, we derive explicit presentations of Chevalley groups $G(\mathbb{F}_{q}[t,t^{-1}])$ and explicit profinite presentations of profinite Chevalley groups $G(\mathbb{F}_{q}[[t]])$.

In this paper we establish Springer correspondence for the symmetric pair $(\text{SL}(N),\text{SO}(N))$ using Fourier transform, parabolic induction functor, and a nearby cycle sheaf construction. As an application of our results we see that the cohomology of Hessenberg varieties can be expressed in terms of irreducible representations of Hecke algebras of symmetric groups at $q=-1$. Conversely, we see that the irreducible representations of Hecke algebras of symmetric groups at $q=-1$ arise in geometry.

Given a locally finite leafless tree $T$, various algebraic groups over local fields might appear as closed subgroups of $\operatorname{Aut}(T)$. We show that the set of closed cocompact subgroups of $\operatorname{Aut}(T)$ that are isomorphic to a quasi-split simple algebraic group is a closed subset of the Chabauty space of $\operatorname{Aut}(T)$. This is done via a study of the integral Bruhat–Tits model of $\operatorname{SL}_{2}$ and $\operatorname{SU}_{3}^{L/K}$, that we carry on over arbitrary local fields, without any restriction on the (residue) characteristic. In particular, we show that in residue characteristic $2$, the Tits index of simple algebraic subgroups of $\operatorname{Aut}(T)$ is not always preserved under Chabauty limits.

Let $G$ be an orthogonal, symplectic or unitary group over a non-archimedean local field of odd residual characteristic. This paper concerns the study of the “wild part” of an irreducible smooth representation of $G$, encoded in its “semisimple character”. We prove two fundamental results concerning them, which are crucial steps toward a complete classification of the cuspidal representations of $G$. First we introduce a geometric combinatorial condition under which we prove an “intertwining implies conjugacy” theorem for semisimple characters, both in $G$ and in the ambient general linear group. Second, we prove a Skolem–Noether theorem for the action of $G$ on its Lie algebra; more precisely, two semisimple elements of the Lie algebra of $G$ which have the same characteristic polynomial must be conjugate under an element of $G$ if there are corresponding semisimple strata which are intertwined by an element of $G$.

We introduce a path theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher-level generalizations over fields of arbitrary characteristic. Our first main result is a ‘super-strong linkage principle’ which provides degree-wise upper bounds for graded decomposition numbers (this is new even in the case of symmetric groups). Next, we generalize the notion of homomorphisms between Weyl/Specht modules which are ‘generically’ placed (within the associated alcove geometries) to cyclotomic Hecke and diagrammatic Cherednik algebras. Finally, we provide evidence for a higher-level analogue of the classical Lusztig conjecture over fields of sufficiently large characteristic.

We study the numbers of involutions and their relation to Frobenius–Schur indicators in the groups $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture that a finite simple group $G$ is strongly real (all elements are conjugate to their inverses by an involution) if and only if it is totally orthogonal (all Frobenius–Schur indicators are 1), and we observe this holds for all finite simple groups $G$ other than the groups $\unicode[STIX]{x1D6FA}^{\pm }(4m,q)$ with $q$ even. We prove computationally that for small $m$ this statement indeed holds for these groups by equating their character degree sums with the number of involutions. We also prove a result on a certain twisted indicator for the groups $\text{SO}^{\pm }(4m+2,q)$ with $q$ odd. Our second motivation is to continue the work of Fulman, Guralnick, and Stanton on generating functions and asymptotics for involutions in classical groups. We extend their work by finding generating functions for the numbers of involutions in $\text{SO}^{\pm }(n,q)$ and $\unicode[STIX]{x1D6FA}^{\pm }(n,q)$ for all $q$, and we use these to compute the asymptotic behavior for the number of involutions in these groups when $q$ is fixed and $n$ grows.

We investigate products of certain double cosets for the symmetric group and use the findings to derive some multiplication formulas for the $q$-Schur superalgebras. This gives a combinatorialization of the relative norm approach developed in Du and Gu (A realization of the quantum supergroup$\mathbf{U}(\mathfrak{g}\mathfrak{l}_{m|n})$, J. Algebra 404 (2014), 60–99). We then give several applications of the multiplication formulas, including the matrix representation of the regular representation and a semisimplicity criterion for $q$-Schur superalgebras. We also construct infinitesimal and little $q$-Schur superalgebras directly from the multiplication formulas and develop their semisimplicity criteria.

For a field $\text{k}$, we prove that the $i$th homology of the groups $\operatorname{GL}_{n}(\text{k})$, $\operatorname{SL}_{n}(\text{k})$, $\operatorname{Sp}_{2n}(\text{k})$, $\operatorname{SO}_{n,n}(\text{k})$, and $\operatorname{SO}_{n,n+1}(\text{k})$ with coefficients in their Steinberg representations vanish for $n\geqslant 2i+2$.

Let $G$ be a connected linear algebraic group over a number field $k$. Let $U{\hookrightarrow}X$ be a $G$-equivariant open embedding of a $G$-homogeneous space $U$ with connected stabilizers into a smooth $G$-variety $X$. We prove that $X$ satisfies strong approximation with Brauer–Manin condition off a set $S$ of places of $k$ under either of the following hypotheses:

1. (i) $S$ is the set of archimedean places;

2. (ii) $S$ is a non-empty finite set and $\bar{k}^{\times }=\bar{k}[X]^{\times }$.

The proof builds upon the case $X=U$, which has been the object of several works.

As a natural generalisation of $q$-Schur algebras associated with the Hecke algebra ${\mathcal{H}}_{r,R}$ (of the symmetric group), we introduce the queer $q$-Schur superalgebra associated with the Hecke–Clifford superalgebra ${\mathcal{H}}_{r,R}^{\mathsf{c}}$, which, by definition, is the endomorphism algebra of the induced ${\mathcal{H}}_{r,R}^{\mathsf{c}}$-module from certain $q$-permutation modules over ${\mathcal{H}}_{r,R}$. We will describe certain integral bases for these superalgebras in terms of matrices and will establish the base-change property for them. We will also identify the queer $q$-Schur superalgebras with the quantum queer Schur superalgebras investigated in the context of quantum queer supergroups and provide a constructible classification of their simple polynomial representations over a certain extension of the field $\mathbb{C}(\mathbf{v})$ of complex rational functions.

We show that integral monodromy groups of Kloosterman $\ell$-adic sheaves of rank $n\geqslant 2$ on $\mathbb{G}_{m}/\mathbb{F}_{q}$ are as large as possible when the characteristic $\ell$ is large enough, depending only on the rank. This variant of Katz’s results over $\mathbb{C}$ was known by works of Gabber, Larsen, Nori and Hall under restrictions such as $\ell$ large enough depending on $\operatorname{char}(\mathbb{F}_{q})$ with an ineffective constant, which is unsuitable for applications. We use the theory of finite groups of Lie type to extend Katz’s ideas, in particular the classification of maximal subgroups of Aschbacher and Kleidman–Liebeck. These results will apply to study hyper-Kloosterman sums and their reductions in forthcoming work.

The geometric Satake correspondence gives an equivalence of categories between the representations of a semisimple group $G$ and the spherical perverse sheaves on the affine Grassmannian $Gr$ of its Langlands dual group. Bezrukavnikov and Finkelberg developed a derived version of this equivalence which relates the derived category of $G^{\vee }$-equivariant constructible sheaves on $Gr$ with the category of $G$-equivariant ${\mathcal{O}}(\mathfrak{g})$-modules. In this paper, we develop a K-theoretic version of the derived geometric Satake which involves the quantum group $U_{q}\mathfrak{g}$. We define a convolution category $K\operatorname{Conv}(Gr)$ whose morphism spaces are given by the $G^{\vee }\times \mathbb{C}^{\times }$-equivariant algebraic K-theory of certain fibre products. We conjecture that $K\operatorname{Conv}(Gr)$ is equivalent to a full subcategory of the category of $U_{q}\mathfrak{g}$-equivariant ${\mathcal{O}}_{q}(G)$-modules. We prove this conjecture when $G=\operatorname{SL}_{n}$. A key tool in our proof is the $\operatorname{SL}_{n}$ spider, which is a combinatorial description of the category of $U_{q}\mathfrak{sl}_{n}$ representations. By applying horizontal trace, we show that the annular $\operatorname{SL}_{n}$ spider describes the category of $U_{q}\mathfrak{sl}_{n}$-equivariant ${\mathcal{O}}_{q}(\operatorname{SL}_{n})$-modules. Then we use quantum loop algebras to relate the annular $\operatorname{SL}_{n}$ spider to $K\operatorname{Conv}(Gr)$. This gives a combinatorial/diagrammatic description of both categories and proves our conjecture.

We formulate and study Howe–Moore type properties in the setting of quantum groups and in the setting of rigid $C^{\ast }$-tensor categories. We say that a rigid $C^{\ast }$-tensor category ${\mathcal{C}}$ has the Howe–Moore property if every completely positive multiplier on ${\mathcal{C}}$ has a limit at infinity. We prove that the representation categories of $q$-deformations of connected compact simple Lie groups with trivial center satisfy the Howe–Moore property. As an immediate consequence, we deduce the Howe–Moore property for Temperley–Lieb–Jones standard invariants with principal graph $A_{\infty }$. These results form a special case of a more general result on the convergence of completely bounded multipliers on the aforementioned categories. This more general result also holds for the representation categories of the free orthogonal quantum groups and for the Kazhdan–Wenzl categories. Additionally, in the specific case of the quantum groups $\text{SU}_{q}(N)$, we are able, using a result of the first-named author, to give an explicit characterization of the central states on the quantum coordinate algebra of $\text{SU}_{q}(N)$, which coincide with the completely positive multipliers on the representation category of $\text{SU}_{q}(N)$.

We present an abstract framework for the axiomatic study of diagram algebras. Algebras that fit this framework possess analogues of both the Murphy and seminormal bases of the Hecke algebras of the symmetric groups. We show that the transition matrix between these bases is dominance unitriangular. We construct analogues of the skew Specht modules in this setting. This allows us to propose a natural tableaux theoretic framework in which to study the infamous Kronecker problem.