We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain lower bounds for the sizes of Galois orbits of points in a generalised Hecke orbit in terms of this height function, assuming the ‘weakly adelic Mumford–Tate hypothesis’ and prove the generalised André–Pink–Zannier conjecture under this assumption, using Pila–Zannier strategy.

Let $\Gamma $ be a finite group, let $\theta $ be an involution of $\Gamma $ and let $\rho $ be an irreducible complex representation of $\Gamma $. We bound ${\operatorname {dim}} \rho ^{\Gamma ^{\theta }}$ in terms of the smallest dimension of a faithful $\mathbb {F}_p$-representation of $\Gamma /\operatorname {\mathrm {Rad}}_p(\Gamma )$, where p is any odd prime and $\operatorname {\mathrm {Rad}}_p(\Gamma )$ is the maximal normal p-subgroup of $\Gamma $.

This implies, in particular, that if $\mathbf {G}$ is a group scheme over $\mathbb {Z}$ and $\theta $ is an involution of $\mathbf {G}$, then the multiplicity of any irreducible representation in $C^\infty \left( \mathbf {G}(\mathbb {Z}_p)/ \mathbf {G} ^{\theta }(\mathbb {Z}_p) \right)$ is bounded, uniformly in p.

We describe the $J$-invariant of a semisimple algebraic group $G$ over a generic splitting field of a Tits algebra of $G$ in terms of the $J$-invariant over the base field. As a consequence we prove a 10-year-old conjecture of Quéguiner-Mathieu, Semenov, and Zainoulline on the $J$-invariant of groups of type $\mathrm {D}_n$. In the case of type $\mathrm {D}_n$ we also provide explicit formulas for the first component and in some cases for the second component of the $J$-invariant.

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.

Let ${\mathcal G}$ be a linear algebraic group over k, where k is an algebraically closed field, a pseudo-finite field or the valuation ring of a non-archimedean local field. Let $G= {\mathcal G}(k)$. We prove that if $\gamma\in G$ such that γ is a commutator and $\delta\in G$ such that $\langle \delta\rangle= \langle \gamma\rangle$ then δ is a commutator. This generalises a result of Honda for finite groups. Our proof uses the Lefschetz principle from first-order model theory.

For any abelian group $A$, we prove an asymptotic formula for the number of $A$-extensions $K/\mathbb {Q}$ of bounded discriminant such that the associated norm one torus $R_{K/\mathbb {Q}}^1 \mathbb {G}_m$ satisfies weak approximation. We are also able to produce new results on the Hasse norm principle and to provide new explicit values for the leading constant in some instances of Malle's conjecture.

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}$.

Many connections and dualities in representation theory and Lie theory can be explained using quasi-hereditary covers in the sense of Rouquier. Recent work by the first-named author shows that relative dominant (and codominant) dimensions are natural tools to classify and distinguish distinct quasi-hereditary covers of a finite-dimensional algebra. In this paper, we prove that the relative dominant dimension of a quasi-hereditary algebra, possessing a simple preserving duality, with respect to a direct summand of the characteristic tilting module is always an even number or infinite and that this homological invariant controls the quality of quasi-hereditary covers that possess a simple preserving duality. To resolve the Temperley–Lieb algebras, we apply this result to the class of Schur algebras $S(2, d)$ and their $q$-analogues. Our second main result completely determines the relative dominant dimension of $S(2, d)$ with respect to $Q=V^{\otimes d}$, the $d$-th tensor power of the natural two-dimensional module. As a byproduct, we deduce that Ringel duals of $q$-Schur algebras $S(2,d)$ give rise to quasi-hereditary covers of Temperley–Lieb algebras. Further, we obtain precisely when the Temperley–Lieb algebra is Morita equivalent to the Ringel dual of the $q$-Schur algebra $S(2, d)$ and precisely how far these two algebras are from being Morita equivalent, when they are not. These results are compatible with the integral setup, and we use them to deduce that the Ringel dual of a $q$-Schur algebra over the ring of Laurent polynomials over the integers together with some projective module is the best quasi-hereditary cover of the integral Temperley–Lieb algebra.

The complete classification of the finite simple groups that are $(2,3)$-generated is a problem which is still open only for orthogonal groups. Here, we construct $(2, 3)$-generators for the finite odd-dimensional orthogonal groups $\Omega _{2k+1}(q)$, $k\geq 4$. As a byproduct, we also obtain $(2,3)$-generators for $\Omega _{4k}^+(q)$ with $k\geq 3$ and q odd, and for $\Omega _{4k+2}^\pm (q)$ with $k\geq 4$ and $q\equiv \pm 1~ \mathrm {(mod~ 4)}$.

We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by ${\pm }1$. We analyze the minimal modular form $\Theta _{F_4}$ on the double cover of $F_4$, following Loke–Savin and Ginzburg. Using $\Theta _{F_4}$, we define a modular form of weight $\tfrac {1}{2}$ on (the double cover of) $G_2$. We prove that the Fourier coefficients of this modular form on $G_2$ see the $2$-torsion in the narrow class groups of totally real cubic fields.

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.

Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-$N$ superelliptic equation $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr {F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 \in \mathbb {Z} \smallsetminus \pm \mathbb {Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family $\mathscr {F}_N(f_0)$, more than $74.9\,\%$ are insoluble, and more than $71.8\,\%$ are everywhere locally soluble but fail the Hasse principle due to the Brauer–Manin obstruction. We further show that these proportions rise to at least $99.9\,\%$ and $96.7\,\%$, respectively, when $f_0$ has sufficiently many prime divisors of odd multiplicity. Our result can be viewed as a strong asymptotic form of ‘Faltings plus epsilon’ for superelliptic equations and constitutes an analogue of Bhargava's result that most hyperelliptic curves over $\mathbb {Q}$ have no rational points.

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 a joint partial equidistribution result for common perpendiculars with given density on equidistributing equidistant hypersurfaces, towards a measure supported on truncated stable leaves. We recover a result of Marklof on the joint partial equidistribution of Farey fractions at a given density, and give several analogous arithmetic applications, including in Bruhat–Tits trees.

Quaternionic automorphic representations are one attempt to generalize to other groups the special place holomorphic modular forms have among automorphic representations of $\mathrm {GL}_2$. Here, we use ‘hyperendoscopy’ techniques to develop a general trace formula and understand them on an arbitrary group. Then we specialize this general formula to study quaternionic automorphic representations on the exceptional group $G_2$, eventually getting an analog of the Eichler–Selberg trace formula for classical modular forms. We finally use this together with some techniques of Chenevier, Renard and Taïbi to compute dimensions of spaces of level-$1$ quaternionic representations. On the way, we prove a Jacquet–Langlands-style result describing them in terms of classical modular forms and automorphic representations on the compact-at-infinity form $G_2^c$.

The main technical difficulty is that the quaternionic discrete series that quaternionic automorphic representations are defined in terms of do not satisfy a condition of being ‘regular’. A real representation theory argument shows that regularity miraculously does not matter for specifically the case of quaternionic discrete series.

We hope that the techniques and shortcuts highlighted in this project are of interest in other computations about discrete-at-infinity automorphic representations on arbitrary reductive groups instead of just classical ones.

We introduce and study the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary infinite fields are absolutely connected and characterize connected Lie groups which are type-absolutely connected. We prove that the class of type-absolutely connected group is exactly the class of discretely topologized groups with the trivial Bohr compactification, that is, the class of minimally almost periodic groups.

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.