We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the Langlands correspondence over function fields from $\ell$-adic to $p$-adic coefficients. We also discuss a motivic variant and a local variant of Drinfeld's lemma.

Following ideas of Lurie, we give a general construction of equivariant elliptic cohomology without restriction to characteristic zero. Specializing to the universal elliptic curve we obtain, in particular, equivariant spectra of topological modular forms. We compute the fixed points of these spectra for the circle group and more generally for tori.

Let $F$ be a non-Archimedean locally compact field of residual characteristic $p$ with Weil group ${\mathcal{W}}_{F}$. Let $\unicode[STIX]{x1D70E}$ be an irreducible smooth complex representation of ${\mathcal{W}}_{F}$, realized as the Langlands parameter of an irreducible cuspidal representation $\unicode[STIX]{x1D70B}$ of a general linear group over $F$. In an earlier paper we showed that the ramification structure of $\unicode[STIX]{x1D70E}$ is determined by the fine structure of the endo-class $\unicode[STIX]{x1D6E9}$ of the simple character contained in $\unicode[STIX]{x1D70B}$, in the sense of Bushnell and Kutzko. The connection is made via the Herbrand function $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6E9}}$ of $\unicode[STIX]{x1D6E9}$. In this paper we concentrate on the fundamental Carayol case in which $\unicode[STIX]{x1D70E}$ is totally wildly ramified with Swan exponent not divisible by $p$. We show that, for such $\unicode[STIX]{x1D70E}$, the associated Herbrand function satisfies a certain functional equation, and that this property essentially characterizes this class of representations. We calculate $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6E9}}$ explicitly, in terms of a classical Herbrand function arising naturally from the classification of simple characters. We describe exactly the class of functions arising as Herbrand functions $\unicode[STIX]{x1D6F9}_{\unicode[STIX]{x1D6EF}}$, as $\unicode[STIX]{x1D6EF}$ varies over the set of totally wild endo-classes of Carayol type. In a separate argument, we derive a complete description of the restriction of $\unicode[STIX]{x1D70E}$ to any ramification subgroup and hence a detailed interpretation of the Herbrand function. This gives concrete information concerning the Langlands correspondence.

We propose a conjecture refining the Stark conjecture St($K/k,S$) in the function-field case. Of course St($K/k,S$) in this case is a theorem due to Deligne and independently to Hayes. The novel feature of our conjecture is that it involves two- rather than one-variable algebraic functions over finite fields. As the conjecture is formulated in the language and framework of Tate's thesis, we have powerful standard techniques at our disposal to study it. We build a case for our conjecture by: (i) proving a parallel result in the framework of adelic harmonic analysis, which we dub the adelic Stirling formula; (ii) proving the conjecture in the genus-zero case; and (iii) explaining in detail how to deduce St($K/k,S$) from our conjecture. In the genus-zero case the class of two-variable algebraic functions thus arising includes all the solitons over a genus-zero global field previously studied and applied by the author, collaborators and others. Ultimately the inspiration for this paper comes from striking examples given some years ago by Coleman and Thakur.

Let $E/\mathbb {Q}$ be a number field of degree $n$. We show that if $\operatorname {Reg}(E)\ll _n |\!\operatorname{Disc}(E)|^{1/4}$ then the fraction of class group characters for which the Hecke $L$-function does not vanish at the central point is $\gg _{n,\varepsilon } |\!\operatorname{Disc}(E)|^{-1/4-\varepsilon }$. The proof is an interplay between almost equidistribution of Eisenstein periods over the toral packet in $\mathbf {PGL}_n(\mathbb {Z})\backslash \mathbf {PGL}_n(\mathbb {R})$ associated to the maximal order of $E$, and the escape of mass of the torus orbit associated to the trivial ideal class.

In a series of three earlier papers, we considered a family of restriction problems for classical groups (over local and global fields) and proposed precise answers to these problems using the local and global Langlands correspondence. These restriction problems were formulated in terms of a pair $W \subset V$ of orthogonal, Hermitian, symplectic, or skew-Hermitian spaces. In this paper, we consider a twisted variant of these conjectures in one particular case: that of a pair of skew-Hermitian spaces $W = V$.

Let K be a complete discrete valuation field of mixed characteristic (0,p) with a perfect residue field k. For a semi-stable scheme over the ring of integers OK of K or, more generally, for a log smooth scheme of semi-stable type over k, we define nearby cycles as a single 𝒟-module endowed with a monodromy ∂logt, whose cohomology should give the log crystalline cohomology. We also explicitly describe the monodromy filtration of the 𝒟-module with respect to the endomorphism ∂logt, and construct a weight spectral sequence for the cohomology of the nearby cycles.

It is shown that the Steinitz invariants of the cubic extensions of a number field are uniformly distributed in the class group when the cubic extensions are ordered by the ideal norm of their relative discriminants. This remains true even if the extensions are restricted by specifying their splitting type at a finite number of places. The same statement is also proved for quadratic extensions.

We prove a generic smoothness result in rigid analytic geometry over a characteristic zero non-archimedean field. The proof relies on a novel notion of generic points in rigid analytic geometry which are well adapted to ‘spreading out’ arguments, in analogy with the use of generic points in scheme theory. As an application, we develop a six-functor formalism for Zariski-constructible étale sheaves on characteristic zero rigid spaces. Among other things, this implies that characteristic zero rigid spaces support a well-behaved theory of perverse sheaves.

Let $G$ be a reductive group, and let $\check {G}$ be its Langlands dual group. Arkhipov and Bezrukavnikov proved that the Whittaker category on the affine flags ${\operatorname {Fl}}_G$ is equivalent to the category of $\check {G}$-equivariant quasi-coherent sheaves on the Springer resolution of the nilpotent cone. This paper proves this theorem in the quantum case. We show that the twisted Whittaker category on ${\operatorname {Fl}}_G$ and the category of representations of the mixed quantum group are equivalent. In particular, we prove that the quantum category $\mathsf {O}$ is equivalent to the twisted Whittaker category on ${\operatorname {Fl}}_G$ in the generic case. The strong version of our main theorem claims a motivic equivalence between the Whittaker category on ${\operatorname {Fl}}_G$ and a factorization module category, which holds in the de Rham setting, the Betti setting, and the $\ell$-adic setting.

We define integral formulas which produce certain matrix coefficients of cohomologically induced representations of real reductive groups. They are analogous to Harish-Chandra's Eisenstein integrals for matrix coefficients of ordinary induced representations, and generalize Flensted-Jensen's fundamental functions for discrete series.

We construct inhomogeneous isoparametric families of hypersurfaces with non-austere focal set on each symmetric space of non-compact type and rank ${\geq }3$. If the rank is ${\geq }4$, there are infinitely many such examples. Our construction yields the first examples of isoparametric families on any Riemannian manifold known to have a non-austere focal set. They can be obtained from a new general extension method of submanifolds from Euclidean spaces to symmetric spaces of non-compact type. This method preserves the mean curvature and isoparametricity, among other geometric properties.

Referring to Tits′ alternative, we develop a necessary and sufficient condition to decide whether the normalizer of a finite group of integral matrices is polycyclic-by-finite or is containing a non-Abelian free group. This result is of fundamental importance to conclude whether the (outer) automorphism group of a Bieberbach group is polycyclic-by-finite or has a non-cyclic free subgroup.

The tempered fundamental group of a p-adic variety classifies analytic étale covers that become topological covers for Berkovich topology after pullback by some finite étale cover. This paper constructs cospecialization homomorphisms between the (p′) versions of the tempered fundamental group of the fibers of a smooth morphism with polystable reduction. We study the question for families of curves in another paper. To construct them, we will start by describing the pro-(p′) tempered fundamental group of a smooth and proper variety with polystable reduction in terms of the reduction endowed with its log structure, thus defining tempered fundamental groups for log polystable varieties.

Given a connected graph $H$ which is not a star, we show that the number of copies of $H$ in a dense uniformly random regular graph is asymptotically Gaussian, which was not known even for $H$ being a triangle. This addresses a question of McKay from the 2010 International Congress of Mathematicians. In fact, we prove that the behavior of the variance of the number of copies of $H$ depends in a delicate manner on the occurrence and number of cycles of $3,4,5$ edges as well as paths of $3$ edges in $H$. More generally, we provide control of the asymptotic distribution of certain statistics of bounded degree which are invariant under vertex permutations, including moments of the spectrum of a random regular graph. Our techniques are based on combining complex-analytic methods due to McKay and Wormald used to enumerate regular graphs with the notion of graph factors developed by Janson in the context of studying subgraph counts in $\mathbb {G}(n,p)$.

Alexander Premet has stated the following problem: what is a relation between subregular nilpotent representations of a classical semisimple restricted Lie algebra and non-commutative deformations of the corresponding singularities? We solve this problem for type A.

We describe generators of disguised residual intersections in any commutative Noetherian ring. It is shown that, over Cohen–Macaulay rings, the disguised residual intersections and algebraic residual intersections are the same, for ideals with sliding depth. This coincidence provides structural results for algebraic residual intersections in a quite general setting. It is shown how the DG-algebra structure of Koszul homologies affects the determination of generators of residual intersections. It is shown that the Buchsbaum–Eisenbud family of complexes can be derived from the Koszul–Čech spectral sequence. This interpretation of Buchsbaum–Eisenbud families has a crucial rule to establish the above results.

In this article, we present a conjectural formula describing the cokernel of the Albanese map of zero-cycles of smooth projective varieties $X$ over $p$ -adic fields in terms of the Néron–Severi group and provide a proof under additional assumptions on an integral model of $X$ . The proof depends on a non-degeneracy result of Brauer–Manin pairing due to Saito–Sato and on Gabber–de Jong’s comparison result of cohomological and Azumaya–Brauer groups. We will also mention the local–global problem for the Albanese cokernel; the abelian group on the ‘local side’ turns out to be a finite group.