We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions, which appear in recent advances in the geometric Langlands program. The key technical tools in our arguments are a new descent theory for coherent sheaves or ${\mathcal{D}}$-modules with prescribed singular support and the theory of integral transforms for coherent sheaves developed in the companion paper by Ben-Zvi et al. [Integral transforms for coherent sheaves, J. Eur. Math. Soc. (JEMS), to appear].

Conditionally on the generalized Lindelöf hypothesis, we obtain an asymptotic for the fourth moment of Hecke–Maass cusp forms of large Laplacian eigenvalue for the full modular group. This lends support to the random wave conjecture.

We correct the proof of the main result of the paper, Theorem 5.7. Our corrected proof relies on weaker versions of a number of intermediate results from the paper. The original, more general, versions of these statements are not known to be true.

We develop a theory of commensurability of groups, of rings, and of modules. It allows us, in certain cases, to compare sizes of automorphism groups of modules, even when those are infinite. This work is motivated by the Cohen–Lenstra heuristics on class groups.

Let $C$ be a Petri general curve of genus $g$ and $E$ a general stable vector bundle of rank $r$ and slope $g-1$ over $C$ with $h^{0}(C,E)=r+1$. For $g\geqslant (2r+2)(2r+1)$, we show how the bundle $E$ can be recovered from the tangent cone to the generalised theta divisor $\unicode[STIX]{x1D6E9}_{E}$ at ${\mathcal{O}}_{C}$. We use this to give a constructive proof and a sharpening of Brivio and Verra’s theorem that the theta map $\mathit{SU}_{C}(r){\dashrightarrow}|r\unicode[STIX]{x1D6E9}|$ is generically injective for large values of $g$.

We provide an explicit formula for localizing $\mathbb{A}^{1}$-homotopy invariants of topological Fukaya categories of marked surfaces. Following a proposal of Kontsevich, this differential $\mathbb{Z}$-graded category is defined as global sections of a constructible cosheaf of dg categories on any spine of the surface. Our theorem utilizes this sheaf-theoretic description to reduce the calculation of invariants to the local case when the surface is a boundary-marked disk. At the heart of the proof lies a theory of localization for topological Fukaya categories which is a combinatorial analog of Thomason–Trobaugh’s theory of localization in the context of algebraic $K$-theory for schemes.

We give an algorithm for removing stackiness from smooth, tame Artin stacks with abelian stabilisers by repeatedly applying stacky blow-ups. The construction works over a general base and is functorial with respect to base change and compositions with gerbes and smooth, stabiliser-preserving maps. As applications, we indicate how the result can be used for destackifying general Deligne–Mumford stacks in characteristic $0$, and to obtain a weak factorisation theorem for such stacks. Over an arbitrary field, the method can be used to obtain a functorial algorithm for desingularising varieties with simplicial toric quotient singularities, without assuming the presence of a toroidal structure.

We use Hamiltonian Floer theory to recover and generalize a classic rigidity theorem of Ekeland and Lasry. That theorem can be rephrased as an assertion about the existence of multiple closed Reeb orbits for certain tight contact forms on the sphere that are close, in a suitable sense, to the standard contact form. We first generalize this result to Reeb flows of contact forms on prequantization spaces that are suitably close to Boothby–Wang forms. We then establish, under an additional nondegeneracy assumption, the same rigidity phenomenon for Reeb flows on any closed contact manifold. A natural obstruction to obtaining sharp multiplicity results for closed Reeb orbits is the possible existence of fast closed orbits. To complement the existence results established here, we also show that the existence of such fast orbits cannot be precluded by any condition which is invariant under contactomorphisms, even for nearby contact forms.

Khovanov–Lauda–Rouquier (KLR) algebras of finite Lie type come with families of standard modules, which under the Khovanov–Lauda–Rouquier categorification correspond to PBW bases of the positive part of the corresponding quantized enveloping algebra. We show that there are no non-zero homomorphisms between distinct standard modules and that all non-zero endomorphisms of a standard module are injective. We present applications to the extensions between standard modules and modular representation theory of KLR algebras.

We show that any Kawamata log terminal del Pezzo surface over an algebraically closed field of large characteristic is globally $F$-regular or it admits a log resolution which lifts to characteristic zero. As a consequence, we prove the Kawamata–Viehweg vanishing theorem for klt del Pezzo surfaces of large characteristic.

If $(G,V)$ is a polar representation with Cartan subspace $\mathfrak{c}$ and Weyl group $W$, it is shown that there is a natural morphism of Poisson schemes $\mathfrak{c}\oplus \mathfrak{c}^{\ast }/W\rightarrow V\oplus V^{\ast }/\!\!/\!\!/G$. This morphism is conjectured to be an isomorphism of the underlying reduced varieties if$(G,V)$ is visible. The conjecture is proved for visible stable locally free polar representations and some other examples.

Fix an integer $n\geqslant 2$. To each non-zero point $\mathbf{u}$ in $\mathbb{R}^{n}$, one attaches several numbers called exponents of Diophantine approximation. However, as Khintchine first observed, these numbers are not independent of each other. This raises the problem of describing the set of all possible values that a given family of exponents can take by varying the point $\mathbf{u}$. To avoid trivialities, one restricts to points $\mathbf{u}$ whose coordinates are linearly independent over $\mathbb{Q}$. The resulting set of values is called the spectrum of these exponents. We show that, in an appropriate setting, any such spectrum is a compact connected set. In the case $n=3$, we prove moreover that it is a semi-algebraic set closed under component-wise minimum. For $n=3$, we also obtain a description of the spectrum of the exponents $(\text{}\underline{\unicode[STIX]{x1D711}}_{1},\text{}\underline{\unicode[STIX]{x1D711}}_{2},\text{}\underline{\unicode[STIX]{x1D711}}_{3},\overline{\unicode[STIX]{x1D711}}_{1},\overline{\unicode[STIX]{x1D711}}_{2},\overline{\unicode[STIX]{x1D711}}_{3})$ recently introduced by Schmidt and Summerer.

A result of André Weil allows one to describe rank $n$ vector bundles on a smooth complete algebraic curve up to isomorphism via a double quotient of the set $\text{GL}_{n}(\mathbb{A})$ of regular matrices over the ring of adèles (over algebraically closed fields, this result is also known to extend to $G$-torsors for a reductive algebraic group $G$). In the present paper we develop analogous adelic descriptions for vector and principal bundles on arbitrary Noetherian schemes, by proving an adelic descent theorem for perfect complexes. We show that for Beilinson’s co-simplicial ring of adèles $\mathbb{A}_{X}^{\bullet }$, we have an equivalence $\mathsf{Perf}(X)\simeq |\mathsf{Perf}(\mathbb{A}_{X}^{\bullet })|$ between perfect complexes on $X$ and cartesian perfect complexes for $\mathbb{A}_{X}^{\bullet }$. Using the Tannakian formalism for symmetric monoidal $\infty$-categories, we conclude that a Noetherian scheme can be reconstructed from the co-simplicial ring of adèles. We view this statement as a scheme-theoretic analogue of Gelfand–Naimark’s reconstruction theorem for locally compact topological spaces from their ring of continuous functions. Several results for categories of perfect complexes over (a strong form of) flasque sheaves of algebras are established, which might be of independent interest.

We prove that the direct image complex for the $D$-twisted $\text{SL}_{n}$ Hitchin fibration is determined by its restriction to the elliptic locus, where the spectral curves are integral. The analogous result for $\text{GL}_{n}$ is due to Chaudouard and Laumon. Along the way, we prove that the Tate module of the relative Prym group scheme is polarizable, and we also prove $\unicode[STIX]{x1D6FF}$-regularity results for some auxiliary weak abelian fibrations.

We study tautological rings for high-dimensional manifolds, that is, for each smooth manifold $M$ the ring $R^{\ast }(M)$ of those characteristic classes of smooth fibre bundles with fibre $M$ which is generated by generalised Miller–Morita–Mumford classes. We completely describe these rings modulo nilpotent elements, when $M$ is a connected sum of copies of $S^{n}\times S^{n}$ for $n$ odd.

We prove the Green–Lazarsfeld secant conjecture [Green and Lazarsfeld, On the projective normality of complete linear series on an algebraic curve, Invent. Math. 83 (1986), 73–90; Conjecture (3.4)] for extremal line bundles on curves of arbitrary gonality, subject to explicit genericity assumptions.