arXiv subjects

Linus Hamann

Publications and source records attributed to Linus Hamann.

11 recordsLinked to original sources

arXiv2026

Intersection Cohomology of Igusa Stacks

We study the intersection cohomology of minimally compactified Shimura varieties of PEL type AC using Igusa stacks and the work of Fargues-Scholze. More precisely, we construct a sheaf on the moduli stack of $G$-bundles on the Fargues-Fontaine curve, which recovers this intersection cohomology after applying a Hecke operator in the sense of geometric Langlands. We show that this sheaf has several desirable properties; for example, it is Verdier self-dual and perverse. This leads to several applications to intersection cohomology, including a version of the Mantovan product formula, as well as torsion-vanishing and Eichler-Shimura relations. Along the way, we investigate the interaction between Baily-Borel and Newton stratifications on minimally compactified Igusa stacks, and we study perverse t-structures on stratified v-stacks.

math.NT↗

arXiv2026

On the Schematic and Analytic Constructions of the Local Langlands Category

We prove a folklore conjecture identifying two categorical enhancements of the automorphic side of the local Langlands correspondence. Concretely, we construct an equivalence for torsion coefficients between the category considered by Zhu and the one considered by Fargues-Scholze. To achieve this, we revisit Scholze's analytification functor and apply the first author's theory of kimberlites. We discuss unconditional applications to the splitting of the semi-orthogonal decomposition on BunG, and the compatibility with Eisenstein functors. Finally, we formulate a linearity conjecture for our functor with which we can show new vanishing statements for the cohomology of local Shimura varieties, and perverse exactness statements for Hecke operators.

math.NT↗

arXiv2024

Geometric Eisenstein series I: finiteness theorems

We develop the theory of geometric Eisenstein series and constant term functors for $\ell$-adic sheaves on stacks of bundles on the Fargues-Fontaine curve. In particular, we prove essentially optimal finiteness theorems for these functors, analogous to the usual finiteness properties of parabolic inductions and Jacquet modules. We also prove a geometric form of Bernstein's second adjointness theorem, generalizing the classical result and its recent extension to more general coefficient rings proved in [Dat-Helm-Kurinczuk-Moss]. As applications, we decompose the category of sheaves on $\mathrm{Bun}_G$ into cuspidal and Eisenstein parts, and show that the gluing functors between strata of $\mathrm{Bun}_G$ are continuous in a very strong sense.

math.NT↗

arXiv2024

Dualizing complexes on the moduli of parabolic bundles

For a non-archimedean local field $F$ and a connected reductive group $G$ over $F$ equipped with a parabolic subgroup $P$, we show that the dualizing complex on $\mathrm{Bun}_P$, the moduli stack of $P$-bundles on the Fargues--Fontaine curve, can be described explicitly in terms of the modulus character of $P$. As applications, we identify various characters appearing in the theory of local and global Shimura varieties, show the Harris--Viehmann conjecture in the Hodge--Newton reducible case, and carry out some computations of the geometric Eisenstein functors for general parabolics.

math.NT↗

arXiv2023

Torsion Vanishing for Some Shimura Varieties

We generalize the torsion vanishing results of Caraiani-Scholze and Koshikawa. Our results apply to the cohomology of general Shimura varieties $(\mathbf{G},X)$ of PEL type $A$ or $C$, localized at a suitable maximal ideal $\mathfrak{m}$ in the spherical Hecke algebra at primes $p$ such that $\mathbf{G}_{\mathbb{Q}_{p}}$ is a group for which we know the Fargues-Scholze local Langlands correspondence is the semi-simplification of a suitably nice local Langlands correspondence. This is accomplished by combining Koshikawa's technique, the theory of geometric Eisenstein series over the Fargues-Fontaine curve, the work of Santos describing the structure of the fibers of the minimally and toroidally compactified Hodge-Tate period morphism for general PEL type Shimura varieties of type $A$ or $C$, and ideas developed by Zhang on comparing Hecke correspondences on the moduli stack of $G$-bundles with the cohomology of Shimura varieties. In the process, we also establish a description of the generic part of the cohomology that bears resemblance to the work of Xiao-Zhu. Moreover, we also construct a filtration on the compactly supported cohomology that differs from Manotovan's filtration in the case that the Shimura variety is non-compact, allowing us to circumvent some of the circumlocutions taken by Cariani-Scholze. Our method showcases a very general strategy for proving such torsion vanishing results, and should bear even more fruit once the inputs are generalized. Motivated by this, we formulate an even more general torsion vanishing conjecture.

math.NT↗

arXiv2022

Geometric Eisenstein Series, Intertwining Operators, and Shin's Averaging Formula

In the geometric Langlands program over function fields, Braverman-Gaitsgory and Laumon constructed geometric Eisenstein functors which geometrize the classical construction of Eisenstein series. Fargues and Scholze very recently constructed a general candidate for the local Langlands correspondence, via a geometric Langlands correspondence occurring over the Fargues-Fontaine curve. We carry some of the theory of geometric Eisenstein series over to the Fargues-Fontaine setting. Namely, given a quasi-split connected reductive group $G/\mathbb{Q}_{p}$ with simply connected derived group and maximal torus $T$, we construct an Eisenstein functor $\mathrm{nEis}(-)$, which takes sheaves on $Bun_{T}$ to sheaves on $Bun_{G}$. We show that, given a sufficiently nice $L$-parameter $\phi_{T}: W_{\mathbb{Q}_{p}} \rightarrow \phantom{}^{L}T$, there is a Hecke eigensheaf on $Bun_{G}$ with eigenvalue $\phi$, given by applying $\mathrm{nEis}(-)$ to the Hecke eigensheaf $\mathcal{S}_{\phi_{T}}$ on $Bun_{T}$ attached to $\phi_{T}$ by Fargues and Zou. We show that $\mathrm{nEis}(\mathcal{S}_{\phi_{T}})$ interacts well with Verdier duality, and, assuming compatibility of the Fargues-Scholze correspondence with a suitably nice form of the local Langlands correspondence, provide an explicit formula for the stalks of the eigensheaf in terms of parabolic inductions of the character $\chi$ attached to $\phi_{T}$. This has several surprising consequences. First, it recovers special cases of an averaging formula of Shin for the cohomology of local Shimura varieties with rational coefficients, and generalizes it to the non-minuscule case. Second, it refines the averaging formula in the cases where the parameter $\phi$ is sufficiently nice, giving an explicit formula for the degrees of cohomology that certain parabolic inductions sit in, and this refined formula holds even with torsion coefficients.

math.NT↗

arXiv2022

A Jacobian Criterion for Artin $v$-stacks

We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces of sections of a smooth Artin stack over the (schematic) Fargues-Fontaine curve obtained by taking the stack quotient of a smooth quasi-projective variety by the action of a linear algebraic group. As an application, we show various moduli stacks appearing in the Fargues-Scholze geometric Langlands program are cohomologically smooth Artin $v$-stacks and compute their $\ell$-dimensions.

math.AG↗

arXiv2022

Compatibility of the Fargues--Scholze correspondence for unitary groups

We study unramified unitary and unitary similitude groups in an odd number of variables. Using work of the first and third named authors on the Kottwitz Conjecture for the similitude groups, we show that the Fargues--Scholze local Langlands correspondence agrees with the semi-simplification of the local Langlands correspondences constructed by Mok for the groups we consider. This compatibility result is then combined with the spectral action constructed by Fargues--Scholze, to verify their categorical form of the local Langlands conjecture for supercuspidal $\ell$-parameters. We deduce Fargues' eigensheaf conjecture and prove the strongest form of Kottwitz's conjecture for the groups we consider, even in the case of non minuscule $\mu$.

math.NT↗

arXiv2021

Compatibility of the Fargues-Scholze and Gan-Takeda Local Langlands

Given a prime $p$, a finite extension $L/\mathbb{Q}_{p}$, a connected $p$-adic reductive group $G/L$, and a smooth irreducible representation $\pi$ of $G(L)$, Fargues-Scholze recently attached a semisimple Weil parameter to such $\pi$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues-Scholze and Hansen-Kaletha-Weinstein showed that the correspondence is compatible with the correspondence of Harris-Taylor/Henniart. We verify a similar compatibility for $G = \mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where $D$ is the quaternion division algebra over $L$, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan-Takeda and Gan-Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated to $\mathrm{GSp}_{4}$, using basic uniformization of abelian type Shimura varieties due to Shen, combined with various global results of Kret-Shin and Sorensen on Galois representations in the cohomology of global Shimura varieties associated to inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues-Scholze construction explored recently by Hansen, to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.

math.NT↗

arXiv2021

Zelevinsky Duality on Basic Local Shimura Varieties

We give a simple proof of a general result describing the action of the Zelevinsky involution on the cohomology of certain basic local Shimura varieties, using the machinery of Fargues-Scholze. As an application, we generalize earlier results of Fargues and Mieda on the action of the Zelevinsky involution on the cohomology of $GL_{n}$ and $GSp_{4}$ type basic local Shimura varieties, respectively.

math.NT↗

arXiv2014

Non-left-orderable surgeries on twisted torus knots

Boyer, Gordon, and Watson have conjectured that an irreducible rational homology 3-sphere is an L-space if and only if its fundamental group is not left-orderable. Since large classes of L-spaces can be produced from Dehn surgery on knots in the 3-sphere, it is natural to ask what conditions on the knot group are sufficient to imply that the quotient associated to Dehn surgery is not left-orderable. Clay and Watson develop a criterion for determining the left-orderability of this quotient group and use it to verify the conjecture for surgeries on certain L-space twisted torus knots. We generalize a recent theorem of Ichihara and Temma to provide another such criterion. We then use this new criterion to generalize the results of Clay and Watson and to verify the conjecture for a much broader class of L-space twisted torus knots.

math.GT↗