The de Rham-Witt complex and p-adic vanishing cycles
@article{Geisser2003TheDR, title={The de Rham-Witt complex and p-adic vanishing cycles}, author={Thomas H. Geisser and Lars Hesselholt}, journal={Journal of the American Mathematical Society}, year={2003}, volume={19}, pages={1-36} }
We determine the structure modulo p of the de Rham-Witt complex of a smooth scheme X over a discrete valuation ring of mixed characteristic with log-poles along the special fiber Y and show that the sub-sheaf fixed by the Frobenius is isomorphic to the sheaf of p-adic vanishing cycles. We use this together with results of the second author and Madsen to evaluate the $K$-theory with finite coefficients of the quotient field K of the henselian local ring of X at a generic point of Y. The result…
31 Citations
Duality for Relative Logarithmic de Rham-Witt Sheaves on Semistable Schemes over F q [ [ t ] ]
- Mathematics
- 2019
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes X over a local ring Fq[[t]], where Fq is a finite field. As an application, we obtain a new…
Integral p-adic Hodge theory
- Mathematics
- 2016
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously…
The absolute de Rham-Witt complex
- Mathematics
- 2005
This note is a brief survey of the absolute de Rham-Witt complex. We explain the structure of this complex for a smooth scheme over a complete discrete valuation ring of mixed characteristic (0, p)…
Duality for relative logarithmic de Rham–Witt sheaves and wildly ramified class field theory over finite fields
- MathematicsCompositio Mathematica
- 2018
In order to study $p$ -adic étale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$ , we introduce new $p$ -primary torsion sheaves. It…
p-adic deformation of algebraic cycle classes
- Mathematics
- 2012
We study the p-adic deformation properties of algebraic cycle classes modulo rational equivalence. We show that the crystalline Chern character of a vector bundle on the closed fibre lies in a…
Integral p$p$-adic Hodge theory
- MathematicsPublications mathématiques de l'IHÉS
- 2018
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of Cp$\mathbf {C}_{p}$. It takes values in a mixed-characteristic analogue of Dieudonné modules,…
$p$-adic vanishing cycles as Frobenius-fixed points
- Mathematics
- 2018
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.
The big de Rham–Witt complex
- Mathematics
- 2010
This paper gives a new and direct construction of the multi-prime big de Rham–Witt complex, which is defined for every commutative and unital ring; the original construction by Madsen and myself…
On K(1)-local TR
- Mathematics
- 2021
We discuss some general properties of TR and its K(1)-localization. We prove that after K(1)-localization, TR of HZ-algebras is a truncating invariant in the Land–Tamme sense, and deduce h-descent…
References
SHOWING 1-10 OF 37 REFERENCES
On the K-theory of local fields
- Mathematics
- 1999
In this paper we establish a connection between the Quillen K-theory of certain local fields and the de Rham-Witt complex of their rings of integers with logarithmic poles at the maximal ideal. The…
Algebraic Jf-theory and Trace Invariants
- Mathematics
- 2002
The cyclotomic trace of Bokstedt-Hsiang-Madsen, the subject of Bokstedt's lecture at the congress in Kyoto, is a map of pro-abelian groups K-fiA) ^.TR;(A;p) from Quillen's algebraic A"-theory to a…
p-adic Etale Cohomology
- Mathematics
- 1986
What follows is a report on joint work with O. Gabber and K. Kato.* A manuscript with complete proofs exists and is currently being revised. For compelling physical reasons (viz. time, space, and…
The cyclotomic trace and algebraic K-theory of spaces
- Mathematics
- 1993
The cyclotomic trace is a map from algebraic K-theory of a group ring to a certain topological refinement of cyclic homology. The target is naturally mapped to topological Hochschild homology, and…
ON A THEOREM OF HUREWICZ AND $ K$-THEORY OF COMPLETE DISCRETE VALUATION RINGS
- Mathematics
- 1987
It is proved that for a complete discrete valuation ring of zero characteristic with residue field of positive characteristic and maximal ideal , the natural homomorphism of -groups with coefficients…
Topological Cyclic Homology of Schemes
- Mathematics
- 2003
In recent years, the topological cyclic homology functor of [4] has been used to study and to calculate higher algebraic K-theory. It is known that for finite algebras over the ring of Witt vectors…
On the $K$-theory and topological cyclic homology of smooth schemes over a discrete valuation ring
- Mathematics
- 2004
We show that for a smooth and proper scheme over a henselian discrete valuation ring of mixed characteristic (0,p), the p-adic etale K-theory and p-adic topological cyclic homology agree.
DE RHAM–WITT COHOMOLOGY FOR A PROPER AND SMOOTH MORPHISM
- MathematicsJournal of the Institute of Mathematics of Jussieu
- 2004
We construct a relative de Rham–Witt complex $W\varOmega^{\cdot}_{X/S}$ for a scheme $X$ over a base scheme $S$. It coincides with the complex defined by Illusie (Annls Sci. Ec. Norm. Super.12…
the absolute and relative de rham–witt complexes
- MathematicsCompositio Mathematica
- 2005
we compare the absolute and relative de rham–witt complexes considered by hesselholt and madsen (ann. sci. école norm. sup. 37 (2004), 1–43; ann. of math. (2) 158 (2003), 1–113) and by langer and…