Related papers: Prisms and Prismatic Cohomology
We construct a natural filtration on $T(1)$-local $\mathrm{TC}$ for any animated commutative rings using prismatic cohomology and descent theory. In the course of the construction, we also study some general properties of prismatic…
The boolean elements of a Coxeter group have been characterized and shown to possess many interesting properties and applications. Here we introduce "prism permutations," a generalization of those elements, characterizing the prism…
We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact…
We give an example of proper smooth fourfold over a perfect field k of characteristic p > 0 with asymmetric Hodge--Witt numbers in total degree 3. Our example is sharp both in terms of dimension and total degree. We arrive at our example by…
The de Rham comparison theorem for varieties, first proved by Faltings, gives the de Rham cohomology of a variety in terms of its p-adic etale cohomology. We extend this theorem to proper, smooth Deligne-Mumford stacks. Two approaches are…
Using Morse theory and a new relative homological linking of pairs, we prove a ``homological linking principle'', thereby generalizing many well known results in critical point theory.
We give numerous examples of almost Lie algebroids arising as Dirac structures in pre-Courant algebroids, e.g. from twisted Poisson structures, as well as from twisted actions of a Lie algebra. We moreover define a cohomology for them,…
Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.
To initiate a systematic study on the applications of perfectoid methods to Noetherian rings, we introduce the notions of perfectoid towers and their tilts. We mainly show that the tilting operation preserves several homological invariants…
We introduce a logarithmic variant of the notion of $\delta$-rings, which we call $\delta_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to…
We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily p-divisible by passage to proper covers (for a fixed prime p). Under some extra conditions, we also show that p-torsion can be killed…
This chapter sets out preliminaries for the duality theory in later chapters. An underlying idea is that local cohomology functors are higher derived functors of colocalizations (a.k.a.~coreflections). Predominantly well-known facts about…
We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…
In this paper, the new concept of quasi-prime ideal is introduced which at the same time generalizes the `prime ideal' and `primary ideal' notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which…
Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of…
Hesselholt and Madsen in [7] define and study the (absolute, p-typical) de Rham-Witt complex in mixed characteristic, where p is an odd prime. They give as an example an elementary algebraic description of the de Rham-Witt complex over…
The first part of the paper is a survey of recent results about the cohomology of $(\phi,\Gamma)$-modules and its applications to the theory of Selmer complexes. In the second part we formulate a version of the Main Conjecture for $p$-adic…
For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice…
We describe the cohomology ring of toric wonderful models for arbitrary building set, including the case of non well-connected ones. Our techniques are based on blowups of posets, on Gr\"obner basis over rings and admissible functions.
We show how the Z_p(r)-cohomologies of a smooth projective algebraic variety can be obtained via its de Rham-Witt complex.