Related papers: Prismatization
The aim of this paper is to define the structure of a ring on a graded cohomology group of a precubical set in coefficients in a ring with unit.
The purpose of this paper is to introduce an algebraic cohomology and formal deformation theory of left alternative algebras. Connections to some other algebraic structures are given also.
Part of these notes was written as the author's 2013 master thesis. For proper flat schemes over a complete discrete valuation ring of mixed characteristic, we construct an isomorphism of certain subgroups of the Picard group and the first…
This extended abstract is about an effort to build a formal description of a triangulation algorithm starting with a naive description of the algorithm where triangles, edges, and triangulations are simply given as sets and the most complex…
In local relative $p$-adic Hodge theory, we show that the Galois cohomology of a finite height crystalline representation (up to a twist) is essentially computed via the (Fontaine--Messing) syntomic complex with coefficients in the…
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 construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits…
In this paper, we introduce the concept and representation of modified $\lambda$-differential Lie triple systems. Next, we define the cohomology of modified $\lambda$-differential Lie triple systems with coefficients in a suitable…
This paper has been withdrawn and replaced by arXiv:1309.5035. In this paper we describe some examples of so called spherical functors between triangulated categories, which generalize the notion of a spherical object. We also give…
We reformulate Fourier-space crystallography in the language of cohomology of groups. Once the problem is understood as a classification of linear functions on the lattice, restricted by a particular group relation, and identified by gauge…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
This paper provides the technical tools needed in ongoing work of the authors to compute p-adic \'etale Abel-Jacobi maps in order to obtain explicit reciprocity laws for GSp4. In particular, we define and study syntomic polynomial…
We review the linearization of Poisson brackets and related problems, in the formal, analytic and smooth categories.
A three-functor formalism is the half of a six-functor formalism that supports the projection and base change formulas. In this paper, we provide a three-functor formalism for commutative von Neumann algebras and their modules. Using the…
We study some basic properties of schematic homotopy types and the schematization functor. We describe two different algebraic models for schematic homotopy types: co-simplicial Hopf alegbras and equivariant co-simplicial algebras, and…
Let $Y$ be a locally complete intersection over $\mathcal{O}_K$ containing a $p$-power root of unity $\zeta_p$. We classify the derived category of prismatic crystals on the absolute prismatic site of $Y$ by studying quasi-coherent…
For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…
In this paper, we introduce variants of formal nearby cycles for a locally noetherian formal scheme over a complete discrete valuation ring. If the formal scheme is locally algebraizable, then our nearby cycle gives a generalization of…
In this paper we prove the existence of a formal dynamical twist quantization for any triangular and non-modified formal classical dynamical $r$-matrix in the reductive case. The dynamical twist is constructed as the image of the dynamical…
The primary goal of this paper is to identify syntomic complexes with the $p$-adic \'etale Tate twists of Geisser--Schneider--Sato on regular $p$-torsionfree schemes. Our methods apply naturally to a broader class of schemes that we call…