Bloch and Esnault defined additive higher Chow groups with modulus (m+1) on the level of zero cycles over a field k, denoted by TH^n(k,n;m), n,m >0. They prove that TH^n(k,n;1) is isomorphic to the group of absolute Kaehler differentials of degree n-1 over k. In this paper we generalize their result and show that TH^n(k,n;m) is isomorphic to W_mΩ^{n-1}_k, the group of degree n-1 elements in the generalized de Rham-Witt of length m over k. This complex was defined by Hesselholt and Madsen and generalizes the p-typical de Rham-Witt complex of Bloch-Deligne-Illusie. Before we can prove this theorem we have to generalize some classical results to the de Rham-Witt complex. We give a construction of the generalized de Rham-Witt complex for \bbmath{Z}_(p)-algebras analogous to the construction in the p-typical case. We construct a trace for finite field extensions L / k and if K is the function field of a smooth projective curve C over k and P in C is a point we define a residue map Res_P: W_mΩ^1_K --> W_m(k), which satisfies a "sum-of-residues-equal-zero" theorem.
We introduce the category of finite Chow-Witt correspondences over a perfect field k of characteristic not 2. We then use them to define bigraded generalized motivic cohomology groups of a smooth scheme over k and begin the study of their relationship with ordinary motivic cohomology groups.
In this paper, we consider the weight $i$ de Rham--Gauss--Manin bundles on a smooth variety arising from a smooth projective morphism $f:X\_U\lrar U$ for $i\geq 0$. We associate to each weight $i$ de Rham bundle, a certain parabolic bundle on $S$ and consider their parabolic Chern characters in the rational Chow groups, for a good compactification $S$ of $U$. We show the triviality of the alternating sum of these parabolic bundles in the (positive degree) rational Chow groups. This removes the hypothesis of semistable reduction in the original result of this kind due to Esnault and Viehweg.
We provide a new formalism of de Rham--Witt complexes in the logarithmic setting. This construction generalizes a result of Bhatt--Lurie--Mathew, and agrees with those of Hyodo--Kato and Matsuue for log-smooth schemes of log-Cartier type. We then apply our formalism to obtain a more direct proof of the log crystalline comparison of A_inf-cohomology in the case of semistable reduction, which is established by Cesnavicius--Koshiwara.
Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with coefficients. This result generalizes the classical comparison theorem of Bloch-Illusie for proper and smooth schemes. In the proof, the key step is an extension of the Bloch-Illusie theorem to the case of cohomologies relative to $W_n$ with coefficients in a crystal that is only supposed to be flat over $W_n$.
The goal of this small note is to extend a result by Christopher Davis and David Zureick-Brown on the comparison between integral Monsky-Washnitzer cohomology and overconvergent de~Rham-Witt cohomology for a smooth variety over a perfect field of positive characteristic $p$ to all cohomological degrees independent of the dimension of the base or the prime number $p$. Le but de ce travail est de prolonger un résultat de Christopher Davis et David Zureick-Brown concernant la comparaison entre la cohomologie de Monsky-Washnitzer entière et la cohomologie de de~Rham-Witt surconvergente d'une varié…
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying graded abelian groups satisfying $dF = pFd$, whose homological algebra we study in detail. To any such object satisfying an abstract analog of the Cartier isomorphism, an elementary homological process associates a generalization of the de Rham-Witt construction. Abstractly, the homological algebra can be viewed as a calculation of the fixed points of the Be…
We apply the previous calculations of Chow-Witt rings of Grassmannians to develop an oriented analogue of the classical Schubert calculus. As a result, we get complete diagrammatic descriptions of the ring structure in Chow-Witt rings and twisted Witt groups. In the resulting arithmetic refinements of Schubert calculus, the multiplicity of a solution subspace is a quadratic form encoding additional orientation information. We also discuss a couple of applications, such as a Chow-Witt version of the signed count of balanced subspaces of Fehér and Matszangosz.
This PhD manuscript focuses on the study of a variation of the graded loop space construction for mixed graded derived schemes endowed with a Frobenius lift. We developed a theory of derived Frobenius lifts on a derived stack which are homotopy theoretic analogues of delta-structures for commutative rings. This graded loop space construction is the first step towards a definition of the de Rham-Witt complex for derived schemes. In this context, a loop is given by an action of the "crystalline circle", which is a formal analogue of the topological circle, endowed with its natural endomorphism g…
In this article we prove a fundamental inequality between Artin-Mazur heights and Yobuko heights of certain proper log smooth schemes of Cartier type over a fine log scheme whose underlying scheme is the spectrum of a perfect field $κ$ of characteristic $p>0$. We also prove that the cohomologies of Witt-sheaves of them are finitely generated ${\cal W}(κ)$-modules if the Yobuko heights of them are finite. As an application, we prove that the $p$-primary torsion parts of the Chow groups of codimension $2$ of proper smooth threefolds over $κ$ is of finite cotype if the Yobuko heights of them are …
In these lectures, we provide a toolkit to work with Chow-Witt groups, and more generally with the homology and cohomology of the Rost-Schmid complex associated to Milnor-Witt $K$-theory.
For a polynomial ring over a commutative ring of positive characteristic, we define on the associated de Rham-Witt complex a set of functions, and show that they are pseudovaluations in the sense of Davis, Langer and Zink. To achieve it, we explicitly compute products of basic elements on the complex. We also prove that the overconvergent de Rham-Witt complex can be recovered using these pseudovaluations.
A construction of tame sheaves and tame de Rham--Witt cohomology
Institut für Mathematik, Universität Heidelberg（海德堡大学数学研究所）；School of Mathematics and Natural Sciences, University of Wuppertal（伍珀塔尔大学数学与自然科学学院）；Graduate School of Mathematical Sciences, the University of Tokyo（东京大学数理科学研究科）
本文提出了一种构造 tame sheaves 的一般方法，应用于大 de Rham--Witt sheaves 和 reciprocity sheaves，并比较了 tame syntomic cohomology 与 tame de Rham--Witt 复合物上的 Nygaard 过滤。
We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham-Witt sheaves. Several applications are derived.
We answer negatively an open problem of Illusie on the DR-decomposability of the log de Rham complex of the special fiber of a semi-stable reduction over the Witt ring. We also show that $E_1$ degeneration of the Hodge to log de Rham spectral sequence does not imply DR-decomposability of semi-stable varieties.
In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result covers the case where the base fs log scheme is etale locally log smooth over a scheme with trivial log structure or the case where the base fs log scheme is hollow, and so it generalizes the previously known results of Matsuue. In Appendix, we prove that our relative log de Rham-Witt complex and our comparison map are compatible with those of Hyodo-Kato.
Let $X$ be a smooth projective $R$-scheme, where $R$ is a smooth $\Z$-algebra. As constructed by Hesselholt, we have the absolute big de Rham-Witt complex $\WΩ^*_X$ of $X$ at our disposal. There is also a relative version $\WΩ^*_{X/R}$ with $\W(R)$-linear differential. In this paper we study the hypercohomology of the relative (big) de Rham-Witt complex after truncation with finite truncation sets $S$. We show that it is a projective $\W_S(R)$-module, provided that the de Rham cohomology is a flat $R$-module. In addition, we establish a Poincaré duality theorem.
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 is a modification of the logarithmic de Rham-Witt sheaves of $X$ depending on effective divisors $D$ supported in $X-U$. Then we establish a perfect duality between cohomology groups of the logarithmic de Rham-Witt cohomology of $U$ and an inverse limit of those of the mentioned modified sheaves. Over a finite field, the duality can be used to study wild ramification class field theory for the open su…
For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of Fontaine's strongly divisible lattices. Frobenius-divisibilty is induced by the Nygaard filtration on the relative de Rham-Witt complex. For a nilpotent PD-thickening $S/R$ we also consider the associated relative display and can describe it explicitly by a relative version of the Nygaard filtration on the de Rham-Witt complex associated to a lifting of $X$ over…
We construct the crystalline fundamental group of a semi-stable variety over a field of positive characteristic using the log De Rham-Witt complex and Navarro-Aznar's derived Thom-Whitney functor. This approach gives a relatively direct comparison theorem with the De Rham fundamental group in the liftable case. Also, we get a natural weight filtration which makes the coordinate ring of the crystalline fundamental group into a mixed isocrystal when the variety is defined over a finite field. Finally, the monodromy operator on the crystalline fundamental group is used to prove a crystalline anal…
We define an overconvergent version of the Hyodo-Kato complex for semistable varieties $Y$ over perfect fields of positive characteristic, and prove that its hypercohomology tensored with $\mathbb{Q}$ recovers the log-rigid cohomology when $Y$ is quasi-projective. We then describe the monodromy operator using the overconvergent Hyodo-Kato complex. Finally, we show that overconvergent Hyodo-Kato cohomology agrees with log-crystalline cohomology in the projective semistable case.
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the maximal abelian quotient $π^{\text{ab}}_1(U)$ of the étale fundamental groups $π_1(U)$ of an open subscheme $U \subseteq X$, which gives a measure of ramification along a divisor $D$ with normal crossing and $\text{Supp}(D) \subseteq X-U$. This filtration coincides with the Brylinski-Kato-Matsuda filtration in the relative dimension zero case.
We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the computation of cohomology with $\mathbf{I}^j$-coefficients is done closely along the lines of Brown's computation of integral cohomology for special orthogonal groups. The computations for the symplectic groups show that Chow-Witt groups are a symplectically oriented ring cohomology theory. Using our computations for special linear groups, we also discuss the question…
We compute the Chow-Witt rings of split quadrics over a field of characteristic not two. We even determine the full bigraded I-cohomology and Milnor-Witt cohomology rings, including twists by line bundles. The results on I-cohomology corroborate the general philosophy that I-cohomology is an algebro-geometric version of singular cohomology of real varieties: our explicit calculations confirm that the I-cohomology ring of a split quadric over the reals is isomorphic to the singular cohomology ring of the space of its real points.
In their paper which introduced Monsky-Washnitzer cohomology, Monsky and Washnitzer described conditions under which the definition can be adapted to give integral cohomology groups. It seems to be well-known among experts that their construction always gives well-defined integral cohomology groups, but this fact also does not appear to be explicitly written down anywhere. In this paper, we prove that the integral Monsky-Washnitzer cohomology groups are well-defined, for any nonsingular affine variety over a perfect field of characteristic p. We then compare these cohomology groups with overco…
In this paper, we define a certain Hodge-theoretic structure for an arbitrary variety X over the complex number field by using the theory of mixed Hodge module due to Morihiko Saito. We call it an arithmetic Hodge structure of X. It is shown that extension groups of arithmetic Hodge structure do not vanish even for degree $\geq2$. Moreover, we define higher Abel-Jacobi maps from Bloch's higher Chow groups of X to these extension groups. These maps essentially involve the classical Abel-Jacobi maps by Weil and Griffiths, and Mumford's infinitesimal invariants of 0-cycles on surfaces.
We introduce in this note the notion of the category of twisted Chow-Witt correspondences $CHW(k)$ over a field $k$ of characteristic different from $2$. Moreover, we show that over an infinite perfect field this category $CHW(k)$ admits a fully faithful embedding into the geometric stable $\A^1$-derived category $D_{\A^1,gm}(k)$ after taking $\Q$-localization. We also prove a conjecture of F. Morel about the rational splitting of stable $\A^1$-cohomology over an essentially smooth scheme $S$ over a field $k$ of $char(k) \neq 2$.
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 the author and Madsen relied on the adjoint functor theorem and accordingly was very indirect. (The construction given here also corrects the 2-torsion which was not quite correct in the original version.) The new construction is based on the theory of modules and derivations over a lambda-ring which is developed first. The main result in this first part of the paper is that the universal derivation of a lambda-ring is g…
The cosimplicial scheme $$Delta^bullet = Δ^0 smallmatrix \to smallmatrix Δ^1 smallmatrix to smallmatrix ...;\quad Δ^n :=\Spec\Big(k[t_0,...c,t_n]/(\sum t_i -t)\Big)$$ was used in B to define higher Chow groups. In this note, we let t tend to 0 and replace Δ^\bullet by a degenerate version $$Q^\bullet = Q^0 smallmatrix to smallmatrix Q^1 smallmatrix to smallmatrix ...;\quad Q^n := \Spec\Big(k[t_0,...c,t_n]/(\sum t_i)\Big) $$ to define an additive version of the higher Chow groups. For a field k, we show the Chow group of 0-cycles on $Q^n$ in this theory is isomorphic to the absolute $(n-1)$-Käh…
In this paper we develop a novel approach to Witt vector rings and to the (relative) de Rham Witt complex. We do this in the generality of arbitrary commutative algebras and arbitrary truncation sets. In our construction of Witt vector rings the ring structure is obvious and there is no need for universal polynomials. Moreover a natural generalization of the construction easily leads to the relative de Rham Witt complex. Our approach is based on the use of free or at least torsion free presentations of a given commutative ring $R$ and it is an important fact that the resulting objects are inde…
We give a proof of Pixton's generalized Faber-Zagier relations in the tautological Chow ring of $\overline M_{g,n}$. The strategy is very similar to the work of Pandharipande-Pixton-Zvonkine, who have given a proof of the same result in cohomology. The main tool is the Givental-Teleman classification of semisimple cohomological field theories, which, while in general only known in cohomology, via virtual localization can be shown to be also valid in Chow for the equivariant Gromov-Witten theory of the projective line. We obtain the relations just from this theory.
We show that the multivariate additive higher Chow groups of a smooth affine $k$-scheme $\Spec (R)$ essentially of finite type over a perfect field $k$ of characteristic $\not = 2$ form a differential graded module over the big de Rham-Witt complex $\W_mΩ^{\bullet}_{R}$. In the univariate case, we show that additive higher Chow groups of $\Spec (R)$ form a Witt-complex over $R$. We use these structures to prove an étale descent for multivariate additive higher Chow groups.
