Related papers: A $p$-Adic 6-Functor Formalism in Rigid-Analytic G…

In this article, we introduce fundamental notions and results about pullback formalisms, building on work of Drew-Gallauer. Our main application is producing a pullback formalism $\mathbf{SH}^{\mathrm{hol}}$ that encodes a version of…

In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings…

We prove $v$-descent for solid quasi-coherent sheaves on perfectoid spaces as a key technical input for the development of a $6$-functor formalism with values in solid quasi-coherent sheaves on relative Fargues--Fontaine curves.

We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-etale site, which makes all constructions…

Let $\mathcal{V}$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be an open…

We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a…

This is the second in a sequence of three articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. Given a topological space $X,$ we construct, in a manner…

Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…

We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…

In this paper, we associate to every $p$-adic representation $V$ a $p$-adic differential equation $\mathbf{D}^{\dagger}_{\mathrm{rig}}(V)$, that is to say a module with a connection over the Robba ring. We do this via the theory of…

We study Poincar\'e Duality in the context of abstract 6-functor formalisms. In particular, we give a small and simple list of assumptions that implies Poincar\'e Duality. As an application, we give new uniform (and essentially formal)…

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…

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…

This paper is part of a series of articles in which we reproduce the statements regarding the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem, which is an $\infty$-categorical version for defining…

We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge…

In order to define a geometric Fourier transform, one usually works with either $\ell$-adic sheaves in characteristic $p>0$ or with $D$-modules in characteristic 0. If one considers $\ell$-adic sheaves on the stack quotient of a vector…

We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via…

We introduce the theory of inscribed $v$-sheaves, a differentiable extension of the theory of diamonds and $v$-sheaves with internal tangent bundles that are often relative inscribed Banach-Colmez spaces, then apply this theory to the study…