In this article we give a geometric construction of a tilting perverse sheaf on Drinfeld’s compactification, by applying the nearby cycles functor to a family of nondegenerate Whittaker sheaves. Its restrictions along the defect stratification are shown to be certain perverse sheaves attached to the nilpotent radical of the Langlands dual Lie algebra. We also describe the subquotients of the monodromy filtration using the Picard–Lefschetz oscillators introduced by Schieder. We give an argument that the subquotients are semisimple based on the action, constructed by Feigin, Finkelberg, Kuznetsov, and Mirković, of the Langlands dual Lie algebra on the global intersection cohomology of quasimaps into flag varieties.

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

Let $G$ be a $p$ -adic group that splits over an unramified extension. We decompose $\text{Rep}_{\unicode[STIX]{x1D6EC}}^{0}(G)$ , the abelian category of smooth level $0$ representations of $G$ with coefficients in $\unicode[STIX]{x1D6EC}=\overline{\mathbb{Q}}_{\ell }$ or $\overline{\mathbb{Z}}_{\ell }$ , into a product of subcategories indexed by inertial Langlands parameters. We construct these categories via systems of idempotents on the Bruhat–Tits building and Deligne–Lusztig theory. Then, we prove compatibilities with parabolic induction and restriction functors and the local Langlands correspondence.

We prove an explicit formula for the arithmetic intersection number of diagonal cycles on GSpin Rapoport–Zink spaces in the minuscule case. This is a local problem arising from the arithmetic Gan–Gross–Prasad conjecture for orthogonal Shimura varieties. Our formula can be viewed as an orthogonal counterpart of the arithmetic–geometric side of the arithmetic fundamental lemma proved by Rapoport–Terstiege–Zhang in the minuscule case.

We extend Følner’s amenability criterion to the realm of general topological groups. Building on this, we show that a topological group $G$ is amenable if and only if its left-translation action can be approximated in a uniform manner by amenable actions on the set $G$ . As applications we obtain a topological version of Whyte’s geometric solution to the von Neumann problem and give an affirmative answer to a question posed by Rosendal.

In this paper, we introduce the Newton decomposition on a connected reductive $p$ -adic group $G$ . Based on it we give a nice decomposition of the cocenter of its Hecke algebra. Here we consider both the ordinary cocenter associated to the usual conjugation action on $G$ and the twisted cocenter arising from the theory of twisted endoscopy. We give Iwahori–Matsumoto type generators on the Newton components of the cocenter. Based on it, we prove a generalization of Howe’s conjecture on the restriction of (both ordinary and twisted) invariant distributions. Finally we give an explicit description of the structure of the rigid cocenter.

The author has previously associated to each commutative ring with unit $R$ and étale groupoid $\mathscr{G}$ with locally compact, Hausdorff and totally disconnected unit space an $R$ -algebra $R\,\mathscr{G}$ . In this paper we characterize when $R\,\mathscr{G}$ is Noetherian and when it is Artinian. As corollaries, we extend the characterization of Abrams, Aranda Pino and Siles Molina of finite-dimensional and of Noetherian Leavitt path algebras over a field to arbitrary commutative coefficient rings and we recover the characterization of Okniński of Noetherian inverse semigroup algebras and of Zelmanov of Artinian inverse semigroup algebras.

We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $\mathit{GSp}_{4}/\mathbb{Q}$ in various aspects. A main tool is Arthur’s invariant trace formula. While Shin [Automorphic Plancherel density theorem, Israel J. Math.192(1) (2012), 83–120] and Shin–Templier [Sato–Tate theorem for families and low-lying zeros of automorphic $L$-functions, Invent. Math.203(1) (2016) 1–177] used Euler–Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A,B_{1}$ in Theorem 1.1 which have not been studied and a mysterious second term $B_{2}$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato–Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.

The century-old extremal problem, solved by Carathéodory and Fejér, concerns a non-negative trigonometric polynomial $T(t) = a_0 + \sum\nolimits_{k = 1}^n {a_k} \cos (2\pi kt) + b_k\sin (2\pi kt){\ge}0$ , normalized by a 0=1, where the quantity to be maximized is the coefficient a 1 of cos (2π t). Carathéodory and Fejér found that for any given degree n, the maximum is 2 cos(π/n+2). In the complex exponential form, the coefficient sequence (c k ) ⊂ ℂ will be supported in [−n, n] and normalized by c 0=1. Reformulating, non-negativity of T translates to positive definiteness of the sequence (c k ), and the extremal problem becomes a maximization problem for the value at 1 of a normalized positive definite function c: ℤ → ℂ, supported in [−n, n]. Boas and Kac, Arestov, Berdysheva and Berens, Kolountzakis and Révész and, recently, Krenedits and Révész investigated the problem in increasing generality, reaching analogous results for all locally compact abelian groups. We prove an extension to all the known results in not necessarily commutative locally compact groups.

We generalize Skriganov’s notion of weak admissibility for lattices to include standard lattices occurring in Diophantine approximation and algebraic number theory, and we prove estimates for the number of lattice points in sets such as aligned boxes. Our result improves on Skriganov’s celebrated counting result if the box is sufficiently distorted, the lattice is not admissible, and, e.g., symplectic or orthogonal. We establish a criterion under which our error term is sharp, and we provide examples in dimensions $2$ and $3$ using continued fractions. We also establish a similar counting result for primitive lattice points, and apply the latter to the classical problem of Diophantine approximation with primitive points as studied by Chalk, Erdős, and others. Finally, we use o-minimality to describe large classes of sets to which our counting results apply.

Based on the abstract version of the Smital property, we introduce an operator $DS$ . We use it to characterise the class of semitopological abelian groups, for which addition is a quasicontinuous operation.

We present a new construction of the $p$ -adic local Langlands correspondence for $\operatorname{GL}_{2}(\mathbb{Q}_{p})$ via the patching method of Taylor–Wiles and Kisin. This construction sheds light on the relationship between the various other approaches to both the local and the global aspects of the $p$ -adic Langlands program; in particular, it gives a new proof of many cases of the second author’s local–global compatibility theorem and relaxes a hypothesis on the local mod $p$ representation in that theorem.

We prove a bound relating the volume of a curve near a cusp in a complex ball quotient $X=\mathbb{B}/\unicode[STIX]{x1D6E4}$ to its multiplicity at the cusp. There are a number of consequences: we show that for an $n$ -dimensional toroidal compactification $\overline{X}$ with boundary $D$ , $K_{\overline{X}}+(1-\unicode[STIX]{x1D706})D$ is ample for $\unicode[STIX]{x1D706}\in (0,(n+1)/2\unicode[STIX]{x1D70B})$ , and in particular that $K_{\overline{X}}$ is ample for $n\geqslant 6$ . By an independent algebraic argument, we prove that every ball quotient of dimension $n\geqslant 4$ is of general type, and conclude that the phenomenon famously exhibited by Hirzebruch in dimension 2 does not occur in higher dimensions. Finally, we investigate the applications to the problem of bounding the number of cusps and to the Green–Griffiths conjecture.

For the groups $\operatorname{SO}(2n+1,F)$, where $F$ is a $p$-adic field, we consider the tempered irreducible representations of unipotent reduction. Lusztig has constructed and parametrized these representations. We prove that they satisfy the expected endoscopic identities which determine the parametrization.

Suppose that $F/F^{+}$ is a CM extension of number fields in which the prime $p$ splits completely and every other prime is unramified. Fix a place $w|p$ of $F$ . Suppose that $\overline{r}:\operatorname{Gal}(\overline{F}/F)\rightarrow \text{GL}_{3}(\overline{\mathbb{F}}_{p})$ is a continuous irreducible Galois representation such that $\overline{r}|_{\operatorname{Gal}(\overline{F}_{w}/F_{w})}$ is upper-triangular, maximally non-split, and generic. If $\overline{r}$ is automorphic, and some suitable technical conditions hold, we show that $\overline{r}|_{\operatorname{Gal}(\overline{F}_{w}/F_{w})}$ can be recovered from the $\text{GL}_{3}(F_{w})$ -action on a space of mod $p$ automorphic forms on a compact unitary group. On the way we prove results about weights in Serre’s conjecture for $\overline{r}$ , show the existence of an ordinary lifting of $\overline{r}$ , and prove the freeness of certain Taylor–Wiles patched modules in this context. We also show the existence of many Galois representations $\overline{r}$ to which our main theorem applies.

Harish-Chandra induction and restriction functors play a key role in the representation theory of reductive groups over finite fields. In this paper, extending earlier work of Dat, we introduce and study generalisations of these functors which apply to a wide range of finite and profinite groups, typical examples being compact open subgroups of reductive groups over non-archimedean local fields. We prove that these generalisations are compatible with two of the tools commonly used to study the (smooth, complex) representations of such groups, namely Clifford theory and the orbit method. As a test case, we examine in detail the induction and restriction of representations from and to the Siegel Levi subgroup of the symplectic group $\text{Sp}_{4}$ over a finite local principal ideal ring of length two. We obtain in this case a Mackey-type formula for the composition of these induction and restriction functors which is a perfect analogue of the well-known formula for the composition of Harish-Chandra functors. In a different direction, we study representations of the Iwahori subgroup $I_{n}$ of $\text{GL}_{n}(F)$, where $F$ is a non-archimedean local field. We establish a bijection between the set of irreducible representations of $I_{n}$ and tuples of primitive irreducible representations of smaller Iwahori subgroups, where primitivity is defined by the vanishing of suitable restriction functors.

In this paper, we consider how to express an Iwahori–Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman–Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation of a $p$-adic group; this corrects a result of Bump–Nakasuji.

We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr{S}$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are nondiscrete. Given $G\in \mathscr{S}$ , we show that compact open subgroups of $G$ involve finitely many isomorphism types of composition factors, and do not have any soluble normal subgroup other than the trivial one. By results of Part I, this implies that the centralizer lattice and local decomposition lattice of $G$ are Boolean algebras. We show that the $G$ -action on the Stone space of those Boolean algebras is minimal, strongly proximal, and microsupported. Building upon those results, we obtain partial answers to the following key problems: Are all groups in $\mathscr{S}$ abstractly simple? Can a group in $\mathscr{S}$ be amenable? Can a group in $\mathscr{S}$ be such that the contraction groups of all of its elements are trivial?

We show that Cannon–Thurston maps exist for degenerate free groups without parabolics, that is, for handlebody groups. Combining these techniques with earlier work proving the existence of Cannon–Thurston maps for surface groups, we show that Cannon–Thurston maps exist for arbitrary finitely generated Kleinian groups without parabolics, proving conjectures of Thurston and McMullen. We also show that point pre-images under Cannon–Thurston maps for degenerate free groups without parabolics correspond to endpoints of leaves of an ending lamination in the Masur domain, whenever a point has more than one pre-image. This proves a conjecture of Otal. We also prove a similar result for point pre-images under Cannon–Thurston maps for arbitrary finitely generated Kleinian groups without parabolics.

Let $G$ be a totally disconnected, locally compact group. A closed subgroup of $G$ is locally normal if its normalizer is open in $G$ . We begin an investigation of the structure of the family of closed locally normal subgroups of $G$ . Modulo commensurability, this family forms a modular lattice ${\mathcal{L}}{\mathcal{N}}(G)$ , called the structure lattice of $G$ . We show that $G$ admits a canonical maximal quotient $H$ for which the quasicentre and the abelian locally normal subgroups are trivial. In this situation ${\mathcal{L}}{\mathcal{N}}(H)$ has a canonical subset called the centralizer lattice, forming a Boolean algebra whose elements correspond to centralizers of locally normal subgroups. If $H$ is second-countable and acts faithfully on its centralizer lattice, we show that the topology of $H$ is determined by its algebraic structure (and thus invariant by every abstract group automorphism), and also that the action on the Stone space of the centralizer lattice is universal for a class of actions on profinite spaces. Most of the material is developed in the more general framework of Hecke pairs.