Source author record

Lucas Mann

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT math.RT

Catalog footprint

Research overview

5works

3topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

$p$ -adic sheaves on classifying stacks, and the $p$ -adic Jacquet-Langlands correspondence

We establish several new properties of the $p$ -adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and show a kind of partial Künneth formula. Using these results, we deduce bounds on Gelfand-Kirillov dimension, together with some new vanishing and nonvanishing results. Our key new tool is the six functor formalism with solid almost $\mathcal{O}^+/p$ -coefficients developed recently by the second author [Man22]. One major point of this paper is to extend the domain of validity of the $!$ -functor formalism developed in [Man22] to allow certain "stacky" maps. In the language of this extended formalism, we show that if $G$ is a $p$ -adic Lie group, the structure map of the classifying small v-stack $B\underline{G}$ is $p$ -cohomologically smooth.

preprint2022arXiv

A $p$ -Adic 6-Functor Formalism in Rigid-Analytic Geometry

We develop a full 6-functor formalism for $p$ -torsion étale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g. rigid-analytic variety) $X$ with pseudouniformizer $π$ an $\infty$ -category $\mathcal D^a_\square(\mathcal O^+_X/π)$ of "derived quasicoherent complete topological $\mathcal O^+_X/π$ -modules" on $X$ . We then construct the six functors $\otimes$ , $\underline{Hom}$ , $f^*$ , $f_*$ , $f_!$ and $f^!$ in this setting and show that they satisfy all the expected compatibilities, similar to the $\ell$ -adic case. By introducing $φ$ -module structures and proving a version of the $p$ -torsion Riemann-Hilbert correspondence we relate $\mathcal O^+_X/π$ -sheaves to $\mathbb F_p$ -sheaves. As a special case of this formalism we prove Poincaré duality for $\mathbb F_p$ -cohomology on rigid-analytic varieties. In the process of constructing $\mathcal D^a_\square(\mathcal O^+_X/π)$ we also develop a general descent formalism for condensed modules over condensed rings.

preprint2022arXiv

The $p$ -adic Corlette-Simpson correspondence for abeloids

For an abeloid variety $A$ over a complete algebraically closed field extension $K$ of $\mathbb Q_p$ , we construct a $p$ -adic Corlette-Simpson correspondence, namely an equivalence between finite-dimensional continuous $K$ -linear representations of the Tate module and a certain subcategory of the Higgs bundles on $A$ . To do so, our central object of study is the category of vector bundles for the $v$ -topology on the diamond associated to $A$ . We prove that any pro-finite-étale $v$ -vector bundle can be built from pro-finite-étale $v$ -line bundles and unipotent $v$ -bundles. To describe the latter, we extend the theory of universal vector extensions to the $v$ -topology and use this to generalise a result of Brion by relating unipotent $v$ -bundles on abeloids to representations of vector groups.

preprint2020arXiv

Local systems on diamonds and $p$ -adic vector bundles

We use Scholze's framework of diamonds to gain new insights in correspondences between $p$ -adic vector bundles and local systems. Such correspondences arise in the context of $p$ -adic Simpson theory in the case of vanishing Higgs fields. In the present paper we provide a detailed analysis of local systems on diamonds for the étale, pro-étale, and the $v$ -topology, and study the structure sheaves for all three topologies in question. Applied to proper adic spaces of finite type over $\mathbb{C}_p$ this enables us to prove a category equivalence between $\mathbb{C}_p$ -local systems with integral models, and modules under the $v$ -structure sheaf which modulo each $p^n$ can be trivialized on a proper cover. The flexibility of the $v$ -topology together with a descent result on integral models of local systems allows us to prove that the trivializability condition in the module category may be checked on any normal proper cover. This result leads to an extension of the parallel transport theory by Deninger and the second author to vector bundles with numerically flat reduction on a proper normal cover.

preprint2020arXiv

Normal and Irreducible Adic Spaces, the Openness of Finite Morphisms and a Stein Factorization

We transfer several elementary geometric properties of rigid-analytic spaces to the world of adic spaces, more precisely to the category of adic spaces which are locally of (weakly) finite type over a non-archimedean field. This includes normality, irreducibility (in particular irreducible components) and a Stein factorization theorem. Most notably we show that finite morphisms of adic spaces are open under mild assumptions on the base and target space.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Lucas Mann

Research overview

Is this your work?

5 publications

$p$ -adic sheaves on classifying stacks, and the $p$ -adic Jacquet-Langlands correspondence

A $p$ -Adic 6-Functor Formalism in Rigid-Analytic Geometry

The $p$ -adic Corlette-Simpson correspondence for abeloids

Local systems on diamonds and $p$ -adic vector bundles

Normal and Irreducible Adic Spaces, the Openness of Finite Morphisms and a Stein Factorization

See the researcher in context

Building this map preview

Lucas Mann

Research overview

Is this your work?

5 publications

ppp-adic sheaves on classifying stacks, and the ppp-adic Jacquet-Langlands correspondence

A ppp-Adic 6-Functor Formalism in Rigid-Analytic Geometry

The ppp-adic Corlette-Simpson correspondence for abeloids

Local systems on diamonds and ppp-adic vector bundles

Normal and Irreducible Adic Spaces, the Openness of Finite Morphisms and a Stein Factorization

See the researcher in context

Building this map preview

$p$ -adic sheaves on classifying stacks, and the $p$ -adic Jacquet-Langlands correspondence

A $p$ -Adic 6-Functor Formalism in Rigid-Analytic Geometry

The $p$ -adic Corlette-Simpson correspondence for abeloids

Local systems on diamonds and $p$ -adic vector bundles