Related papers: Completed tensor products and a global approach to…

We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…

We introduce a sheaf of infinite order differential operators D-cap on smooth rigid analytic spaces that is a rigid analytic quantisation of the cotangent bundle. We show that the sections of this sheaf over sufficiently small affinoid…

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 prove that any smooth rigid analytic variety $X$ admits an affinoid covering $\{U_i\}$ such that the Banach algebras involved in the Fr\'echet--Stein presentation of the completed ring of differential operators D-cap$(U_i)$ are Auslander…

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…

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.…

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 study the behaviour of D-cap-modules on rigid analytic varieties under pushforward along a proper morphism. We prove a D-cap-module analogue of Kiehl's Proper Mapping Theorem, considering the derived sheaf-theoretic pushforward from…

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…

Let ${\mathfrak o}$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ and ${\mathfrak X}_0$ a smooth formal scheme over the formal spectrum of ${\mathfrak o}$. Given an admissible formal blow-up ${\mathfrak X}$ of…

This paper is a complement to the paper "On $p$-adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully…

We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…

We show that for quasi-compact smooth rigid analytic spaces, the extension functor sends holonomic D-modules to coadmissible D-cap-modules which are of finite length as weakly holonomic D-cap-modules. Using this, we show that the…

Let $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 a smooth open of $X$.…

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ''conformal vertex algebra'' or even more generally,…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length…

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally,…

We show that if $\mathcal{U}$ and $\mathcal{V}$ are locally finite abelian categories of modules for vertex operator algebras $U$ and $V$, respectively, then the Deligne tensor product of $\mathcal{U}$ and $\mathcal{V}$ can be realized as a…

We establish a duality between flat affine group schemes and rigid tensor categories equipped with a neutral fiber functor (called Tannakian lattice), both defined over a Dedekind ring. We use this duality and the known Tannakian duality…