相关论文: $p$-adic sheaves on classifying stacks, and the $p…
We develop a full 6-functor formalism for $p$-torsion \'etale 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.…
We study the locally analytic theory of infinite level local Shimura varieties. As a main result, we prove that in the case of a duality of local Shimura varieties, the locally analytic vectors of different period sheaves at infinite level…
We prove a finiteness result for the p-adic cohomology of the Lubin-Tate tower. For any n>=1 and p-adic field F, this provides a canonical functor from admissible p-adic representations of GL_n(F) towards admissible p-adic representations…
We develop a 6-functor formalism $\mathcal{D}_{[0,\infty)}(-)$ with $\mathbb{Z}_p$-linear coefficients on small v-stacks, and discuss consequences for duality and finiteness for pro-\'etale cohomology of rigid-analytic varieties of general…
In their paper Scholze and Weinstein show that a certain diagram of perfectoid spaces is Cartesian. In this paper, we generalize their result. This generalization will be used in a forthcoming paper of ours to compute certain non-trivial…
Applying the new theory of analytic stacks of Clausen and Scholze we introduce a general notion of derived Tate adic spaces. We use this formalism to define the analytic de Rham stack in rigid geometry, extending the theory of…
We construct $p$-adic $L$-functions associated with $p$-refined cohomological cuspidal Hilbert modular forms over any totally real field under a mild hypothesis. Our construction is canonical, varies naturally in $p$-adic families, and does…
For a finite extension $F$ of ${\mathbf Q}_p$, Drinfeld defined a tower of coverings of ${\mathbb P}^1\setminus {\mathbb P}^1(F)$ (the Drinfeld half-plane). For $F = {\mathbf Q}_p$, we describe a decomposition of the $p$-adic geometric…
In arXiv:0805.0157v5, the authors define a class of derived stacks, called "perfect stacks" and show that for this class the categories of quasi-coherent sheaves satisfy a categorical K\"unneth formula. Motivated to extend their results to…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…
In the previous paper of the author, motivated by the categorical $p$-adic local Langlands correspondence, the author studied families of $G_K$-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid…
We prove the Gersten conjecture for $p$-adic \'etale Tate twists for a smooth scheme $X$ in mixed characteristic in the Nisnevich topology. Our main observation is that, while $p$-adic \'etale Tate twists are not $\mathbb A^1$-invariant,…
We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…
We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…
We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and…
Recently, H\"ubner-Schmidt defined the tame site of a scheme. We define $p$-adic tame Tate twists in the tame topology and prove some first properties. We establish a framework analogous to the Beilinson-Lichtenbaum conjectures in the tame…
In the classical theory for coherent sheaves, the only missing piece in the Grothendieck six-functor formalism picture is $j_!$ for an open immersion $j$. Towards fixing this gap, Deligne proposed a construction of $j_!$ by extending the…
For two distinct primes p and l, we investigate the Z_l-cohomology of the Lubin-Tate towers of a p-adic field. We prove that it realizes some version of Langlands and Jacquet-Langlands correspondences for flat families of irreducible…
We establish a "matrix simultaneous diagonalization theorem" for disconnected reductive groups which relaxes both the semisimplicity condition and the commutativity condition. As an application, we prove the following basic results…