Search arXiv⌕ Search

arXiv subjects

David Helm

Publications and source records attributed to David Helm.

At least 19 recordsLinked to original sources
arXiv2026

A generic categorical local Langlands correspondence for quasi-split reductive groups

We $\textit{unconditionally}$ prove a $\textit{generic}$ categorical local Langlands conjecture for a large class of quasi-split reductive $p$-adic groups $G$, including all quasi-split classical groups and some non-classical groups. More precisely, we construct a natural fully faithful functor from the stable $\infty$-category of $\textit{generic}$ Bernstein blocks on the automorphic side to the stable $\infty$-category of ind-coherent sheaves on the moduli stack of (arithmetic) $L$-parameters, generalizing earlier work of the first author with Ben-Zvi, Chen and Nadler [BZCHN24] for $\mathrm{GL}_n$. Moreover, for an $\textit{arbitrary}$ quasi-split reductive $p$-adic group $G$, we formulate a classical local Langlands framework under which a classical correspondence can be lifted to an $\infty$-categorical correspondence. Our result builds upon the phenomenal recent work of Zhu [Zhu25] on the unipotent block, as well as structure results such as [Sol22] on the automorphic side and [DHKM25] on the spectral side. In particular, our work establishes [HM26,Conjecture 8.2.1], which implies that the conditional proof of [HM26] for the Fargues-Scholze categorical local Langlands equivalence [FS24] (conditional on the conjectured compatibility of the Fargues-Scholze construction with spectral Eisenstein series) applies as well to a large class of quasi-split reductive $p$-adic groups $G$.

math.NT↗
arXiv2026

Cuspidal endo-support and strong beta extensions

Let $G$ be an inner form of a general linear group or classical group over a non-archimedean local field of residual characteristic $p$, assumed odd in the classical case. We prove that every smooth representation of $G$ over an algebraically closed field $R$ of characteristic $\ell\neq p$ contains a maximal semisimple character, i.e., one for which the point in the building of the corresponding centralizer is a vertex. Further, for every endo-parameter adapted to $G$, we define its support, which leads also to the notion of cuspidal endo-support of an irreducible representation, and we relate this to its cuspidal support. We also introduce beta extensions for strong facets in the building of a centralizer, and show these are sufficient for the construction of types. These results are used in a subsequent paper to decompose the category of smooth $R$-representations of $G$.

math.RT↗
arXiv2025

On families of degenerate representations of GL_n(F)

We consider the stratification of the category of smooth representations of $\mbox{GL}_n(F)$ (for $F$ a $p$-adic field) induced by degenerate Whittaker models. We show that, remarkably, the successive quotient categories in this stratification turn out to be module categories over commutative rings. In fact these rings turn out to be infinite products of smooth algebras over the ground field. We further obtain explict descriptions of these rings in terms of the Zelevinsky classification; these descriptions closely resemble the Bernstein-Deligne description of the Bernstein center.

math.RT↗
arXiv2024

Local Langlands in families: The banal case

We state a conjecture, local Langlands in families, connecting the centre of the category of smooth representations on $\mathbb{Z}[\sqrt{q}^{-1}]$-modules of a quasi-split $p$-adic group $\mathrm{G}$ (where $q$ is the cardinality of the residue field of the underlying local field), the ring of global functions on the stack of Langlands parameters for $\mathrm{G}$ over $\mathbb{Z}[\sqrt{q}^{-1}]$, and the endomorphisms of a Gelfand-Graev representation for $\mathrm{G}$. For a class of classical $p$-adic groups (symplectic, unitary, or split odd special orthogonal groups), we prove this conjecture after inverting an integer depending only on $\mathrm{G}$. Along the way, we show that the local Langlands correspondence for classical $p$-adic groups (1) preserves integrality of $\ell$-adic representations; (2) satisfies an "extended" (generic) packet conjecture; (3) is compatible with parabolic induction up to semisimplification (generalizing a result of Moussaoui), hence induces a semisimple local Langlands correspondence; and (4) the semisimple correspondence is compatible with automorphisms of $\mathbb{C}$ fixing $\sqrt{q}$.

math.RT↗
arXiv2024

Block decompositions for $p$-adic classical groups and their inner forms

For an inner form $\mathrm{G}$ of a general linear group or classical group over a non-archimedean local field of odd residue characteristic, we decompose the category of smooth representations on $\mathbb{Z}[\mu_{p^{\infty}},1/p]$-modules by endo-parameter. We prove that parabolic induction preserves these decompositions, and hence that it preserves endo-parameters. Moreover, we show that the decomposition by endo-parameter is the $\overline{\mathbb{Z}}[1/p]$-block decomposition; and, for $\mathrm{R}$ an integral domain, introduce a graph whose connected components parameterize the $\mathrm{R}$-blocks, in particular including the cases $\mathrm{R}=\overline{\mathbb{Z}}_{\ell}$ and $\mathrm{R}=\overline{\mathbb{F}}_\ell$ for $\ell\neq p$. From our description, we deduce that the $\overline{\mathbb{Z}_\ell}$-blocks and $\overline{\mathbb{F}_\ell}$-blocks of $\mathrm{G}$ are in natural bijection, as had long been expected. Our methods also apply to the trivial endo-parameter (i.e., the depth zero subcategory) of any connected reductive $p$-adic group, providing an alternative approach to results of Dat and Lanard in depth zero. Finally, under a technical assumption (known for inner forms of general linear groups) we reduce the $\mathrm{R}$-block decomposition of $\mathrm{G}$ to depth zero.

math.RT↗
arXiv2023

Between Coherent and Constructible Local Langlands Correspondences

Refined forms of the local Langlands correspondence seek to relate representations of reductive groups over local fields with sheaves on stacks of Langlands parameters. But what kind of sheaves? Conjectures in the spirit of Kazhdan-Lusztig theory (due to Vogan and Soergel) describe representations of a group and its pure inner forms with fixed central character in terms of constructible sheaves. Conjectures in the spirit of geometric Langlands (due to Fargues, Zhu and Hellmann) describe representations with varying central character of a large family of groups associated to isocrystals in terms of coherent sheaves. The latter conjectures also take place on a larger parameter space, in which Frobenius (or complex conjugation) is allowed a unipotent part. In this article we propose a general mechanism that interpolates between these two settings. This mechanism derives from the theory of cyclic homology, as interpreted through circle actions in derived algebraic geometry. We apply this perspective to categorical forms of the local Langlands conjectures for both archimedean and non-archimedean local fields. In the nonarchimedean case, we describe how circle actions relate coherent and constructible realizations of affine Hecke algebras and of all smooth representations of $GL_n$, and propose a mechanism to relate the two settings in general. In the archimedean case, we explain how to use circle actions to derive the constructible local Langlands correspondence (in the form due to Adams-Barbasch-Vogan and Soergel) from a coherent form (a real counterpart to Fargues' conjecture): the tamely ramified geometric Langlands conjecture on the twistor line, which we survey.

math.RT↗
arXiv2022

Chronos and CRS: Design of a miniature car-like robot and a software framework for single and multi-agent robotics and control

From both an educational and research point of view, experiments on hardware are a key aspect of robotics and control. In the last decade, many open-source hardware and software frameworks for wheeled robots have been presented, mainly in the form of unicycles and car-like robots, with the goal of making robotics accessible to a wider audience and to support control systems development. Unicycles are usually small and inexpensive, and therefore facilitate experiments in a larger fleet, but they are not suited for high-speed motion. Car-like robots are more agile, but they are usually larger and more expensive, thus requiring more resources in terms of space and money. In order to bridge this gap, we present Chronos, a new car-like 1/28th scale robot with customized open-source electronics, and CRS, an open-source software framework for control and robotics. The CRS software framework includes the implementation of various state-of-the-art algorithms for control, estimation, and multi-agent coordination. With this work, we aim to provide easier access to hardware and reduce the engineering time needed to start new educational and research projects.

cs.RO↗
arXiv2022

Finiteness for Hecke algebras of $p$-adic groups

Let $G$ be a reductive group over a non-archimedean local field $F$ of residue characteristic $p$. We prove that the Hecke algebras of $G(F)$ with coefficients in a ${\mathbb Z}_{\ell}$-algebra $R$ for $\ell$ not equal to $p$ are finitely generated modules over their centers, and that these centers are finitely generated $R$-algebras. Following Bernstein's original strategy, we then deduce that "second adjointness" holds for smooth representations of $G(F)$ with coefficients in any ring $R$ in which $p$ is invertible. These results had been conjectured for a long time. The crucial new tool that unlocks the problem is the Fargues-Scholze morphism between a certain "excursion algebra" defined on the Langlands parameters side and the Bernstein center of $G(F)$. Using this bridge, our main results are representation theoretic counterparts of the finiteness of certain morphisms between coarse moduli spaces of local Langlands parameters that we also prove here, which may be of independent interest

math.RT↗
arXiv2020

Coherent Springer theory and the categorical Deligne-Langlands correspondence

Kazhdan and Lusztig identified the affine Hecke algebra $\mathcal{H}$ with an equivariant $K$-group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of irreducible representations of reductive groups over nonarchimedean local fields $F$ with an Iwahori-fixed vector. We apply techniques from derived algebraic geometry to pass from $K$-theory to Hochschild homology and thereby identify $\mathcal{H}$ with the endomorphisms of a coherent sheaf on the stack of unipotent Langlands parameters, the coherent Springer sheaf. As a result the derived category of $\mathcal{H}$-modules is realized as a full subcategory of coherent sheaves on this stack, confirming expectations from strong forms of the local Langlands correspondence (including recent conjectures of Fargues-Scholze, Hellmann and Zhu). In the case of the general linear group our result allows us to lift the local Langlands classification of irreducible representations to a categorical statement: we construct a full embedding of the derived category of smooth representations of $\mathrm{GL}_n(F)$ into coherent sheaves on the stack of Langlands parameters.

math.RT↗
arXiv2020

An ordinary abelian variety with an etale self-isogeny of p-power degree and no isotrivial factors

We construct, for every prime p, a function field K of characteristic p and an ordinary abelian variety A over K, with no isotrivial factors, that admits an etale self-isogeny of p-power degree. As a consequence, we deduce that there exist ordinary abelian varieties over function fields whose groups of points over the maximal purely inseparable extension is not finitely generated, answering in the negative a question of Thomas Scanlon.

math.AG↗
arXiv2020

Moduli of Langlands Parameters

Let $F$ be a nonarchimedean local field of residue characteristic $p$, let $\hat{G}$ be a split reductive group over $\mathbb{Z}[1/p]$ with an action of $W_F$, and let $^LG$ denote the semidirect product $\hat{G}\rtimes W_F$. We construct a moduli space of Langlands parameters $W_F \to {^LG}$, and show that it is locally of finite type and flat over $\mathbb{Z}[1/p]$, and that it is a reduced local complete intersection. We give parameterizations of the connected components and the irreducible components of the geometric fibers of this space, and parameterizations of the connected components of the total space over $\overline{\mathbb{Z}}[1/p]$ (under mild hypotheses) and over $\overline{\mathbb{Z}}_{\ell}$ for $\ell\neq p$. In each case, we show precisely how each connected component identifies with the "principal" connected component attached to a smaller split reductive group scheme. Finally we study the GIT quotient of this space by $\hat{G}$ and give a complete description of its fibers up to homeomorphism, and a complete description of its ring of functions after inverting an explicit finite set of primes depending only on $^LG$.

math.NT↗
arXiv2018

Potential automorphy over CM fields

Let $F$ be a CM number field. We prove modularity lifting theorems for regular $n$-dimensional Galois representations over $F$ without any self-duality condition. We deduce that all elliptic curves $E$ over $F$ are potentially modular, and furthermore satisfy the Sato--Tate conjecture. As an application of a different sort, we also prove the Ramanujan Conjecture for weight zero cuspidal automorphic representations for $\mathrm{GL}_2(\mathbf{A}_F)$.

math.NT↗
arXiv2016

Converse theorems and the local Langlands correspondence in families

We prove a descent criterion for certain families of smooth representations of GL_n(F) (F a p-adic field) in terms of the gamma factors of pairs constructed in previous work of the second author. We then use this descent criterion, together with a theory of gamma factors for families of representations of the Weil group W_F (developed previously by both authors), to prove a series of conjectures, due to the first author, that give a complete description of the integral Bernstein center in terms of Galois theory and the local Langlands correspondence. An immediate consequence is the conjectural "local Langlands correspondence in families" of Emerton and Helm.

math.NT↗
arXiv2016

Curtis homomorphisms and the integral Bernstein center for GL_n

We describe two conjectures, one strictly stronger than the other, that give descriptions of the integral Bernstein center for GL_n(F) (that is, the center of the category of smooth W(k)[GL_n(F)]-modules, for F a p-adic field and k an algebraically closed field of characteristic l different from p) in terms of Galois theory. Moreover, we show that the weak version of the conjecture (for m at most n) implies the strong version of the conjecture. In a companion paper [HM] we show that the strong conjecture for n-1 implies the weak conjecture for n; thus the two papers together give an inductive proof of both conjectures. The upshot is a description of the integral Bernstein center for GL_n in purely Galois-theoretic terms; previous work of the author shows that such a description implies the conjectural "local Langlands correspondence in families" of Emerton and the author.

math.NT↗
arXiv2015

Deligne--Langlands gamma factors in families

Let F be a p-adic field, W_F its absolute Weil group, and let k be an algebraically closed field of prime characteristic l different from p. Attached to any l-adic representation of W_F are local epsilon- and L-factors. There are natural notions of families of l-adic representations of W_F, such as the theory of Galois deformations or, more generally, families over arbitrary Noetherian W(k)-algebras. However, the epsilon and L-factors do not interpolate well in such families. In this paper it is shown that the gamma factor, which is the product of the epsilon factor with a ratio of L-factors, interpolates over such families.

math.NT↗
arXiv2014

On Tate conjecture for the special fibers of some unitary Shimura varieties

Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s \in \mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) \times U(s,r))$-Shimura variety. We construct cycles which we conjecture to generate the Tate classes and verify our conjecture in the case of $G(U(1,s) \times U(s,1))$. We also discuss the general conjecture regarding special cycles on the special fibers of unitary Shimura varieties.

math.NT↗
arXiv2012

Whittaker models and the integral Bernstein center for GL_n

We establish integral analogues of results of Bushnell and Henniart for spaces of Whittaker functions arising from the groups GL_n(F) for F a p-adic field. We apply the resulting theory to the existence of representations arising from the conjectural "local Langlands correspondence in families" of Emerton-Helm, and reduce the question of the existence of such representations to a natural conjecture relating the integral Bernstein center of GL_n(F) to the deformation theory of Galois representations.

math.NT↗