SHEAFIFICATIONS OF THE DE RHAM-WITT COMPLEX

arXiv:1703.08868v1 [math.AC] 26 Mar 2017

VERONIKA ERTL AND LANCE EDWARD MILLER

Abstract. Recent important and powerful frameworks for the study of differential forms by Huber-Jörder and
Huber-Kebekus-Kelly based on Voevodksy’s h-topology have greatly simplified and unified many approaches. This
article builds towards the goal of putting Illusie’s de Rham-Witt complex in the same framework by exploring the hsheafification of the rational de Rham-Witt differentials. Assuming resolution of singularities in positive characteristic
one recovers a complete cohomological h-descent for all terms of the complex. We also provide unconditional hdescent for the global sections and draw the expected conclusions. The approach is to realize that a certain right
Kan extension introduced by Huber-Kebekus-Kelly takes the sheaf of rational de Rham-Witt forms to a qfh-sheaf.
As such, we state and prove many results about qfh-sheaves which are of independent interest.

1. Introduction
Among the most ubiquitous tools for studying varieties over a ﬁeld are diﬀerential forms, or more formally de
Rham cohomology and its Hodge type variants. These are well-known to only be well-behaved for smooth varieties
over the complex numbers or other algebraically closed ﬁelds of characteristic 0; the key facet being Hironaka’s
resolution of singularities. Adding to the diﬃculty in extending these methods, even deﬁning such forms outside the
smooth case becomes a challenge, with many variants tailored to speciﬁc considerations, e.g., reﬂexive diﬀerentials
for the normal setting, log diﬀerentials, the Du Bois complex etc. However, recent work of Huber–Jörder [HJ14] and
Huber–Kebekus–Kelly [HKK15] have described a successful and powerful approach unifying and conceptualizing
studies using diﬀerential forms by introducing sheaf theoretic methods utilizing various Grothendieck topologies,
notably Voevodsky’s h-topology. This approach is built on the intuition that all varieties over a ﬁeld of characteristic
0 are h-locally smooth. The h-topology meets challenges in positive characteristic, where one quickly notes that
the basic Kähler diﬀerentials become zero under h-sheaﬁﬁcation owing to the Frobenius map being an h-cover.
However, more subtle sheaf methods help to overcome this diﬃculty via a speciﬁc right Kan extension.
In p-adic Hodge theory, diﬀerential forms are rarely themselves the right consideration and one notes the ubiquity
of Illusie’s de Rham-Witt complex and its variants. The aim of this article is to consider these complexes and their
sheaﬁﬁcations under the same Grothendieck topologies considered in [HJ14] and [HKK15]. Speciﬁcally, we consider
h-descent statements for the diﬀerentials W ΩnQ = W Ωn ⊗ Q of the rational de Rham–Witt complex. An optimal
result would be a cohomological descent statement analogous to [HJ14, Cor. 6.5]. However, we can only recover it
up to an assumption of resolution of singularities in positive characteristic. In particular, we describe a proof of the
following theorem, which is well-known to experts.
Theorem. Let X be smooth variety over a perfect field of characteristic p. Assume that resolution of singularities
holds. Consider the h-sheaf and W ΩnQ,h . For all i ≥ 0 and n ≥ 0
i
(X, W ΩnQ ).
Hhi (X, W ΩnQ,h ) ∼
= HZar

Avoiding resolution of singularities presents, at present, an insurmountable challenge. Undeterred, we exploit
many of the techniques of [HKK15] to recover a descent statement for all n and i = 0 free of any assumption on
resolution of singularities. This relies strongly on considering the ( )dvr -construction, which is related to the hsheaﬁﬁcation. In particular, for a base scheme S, denote by Sch(S) the category of separated ﬁnite type S-schemes
and Reg(S) the full subcategory of regular schemes. The restriction Sch(S) → Reg(S) has a right adjoint ( )dvr on
the category of presheaves, and this auxiliary sheaf is critical to extending the results of [HJ14] to the de Rham–Witt
setting. The biggest new result of the paper shows that this presheaf is a sheaf for the quasi-ﬁnite or qfh-topology.
Theorem. Let k be a perfect field of characteristic p > 0. The presheaf W ΩnQ,dvr is a qfh-sheaf on Sch(k).
The key point is that under expected circumstances, for sheaves such as these one may establish an h-descent.
Theorem. Fix a base scheme S and a qfh-sheaf F on Sch(S). When F is also an eh-sheaf, F dvr satisfies h-descent
on Sch(S). In particular, for a perfect field of characteristic p, the sheaves W ΩnQ,dvr on Sch(k) satisfy h-descent.
We draw from this many expected consequences, in particular recovering an analogue of [HJ14, Prop. 4.2] for
the rational de Rham-Witt diﬀerentials.
1

Page 2 of 14
Acknowledgments: This paper owes a signiﬁcant intellectual debt to Annette Huber and beneﬁted from many
helpful discussions with David Zureick-Brown, Shane Kelly, and Bhargav Bhatt. The authors would also like to
thank the University of Freiburg, and their home institutions for making key visitations possible.
2. Preliminaries and notational conventions
Throughout this work we consider Grothendeick topologies. We refer to [SP] as a general reference for the
uninitiated reader. All schemes are assumed to be separated. For a ﬁxed noetherian base scheme S denote by
Sch(S) the category of separated schemes of ﬁnite type over S. When S = Spec R is aﬃne, we conﬂate notation
writing Sch(R) for Sch(S). We denote by Reg(S) the full subcategory of Sch(S) of regular schemes, by Nor(S) the
full subcategory of Sch(S) of normal schemes, and by Var(S) the full subcategory of Sch(S) which are reduced and
irreducible. For a Grothendieck topology τ on Sch(S) we denote by Sch(S)τ the associated site and by Sh(S)τ the
associated topos.
Fix a base S. It will be critically important to distinguish various sheaﬁﬁcations involving complexes of sheaves on
Sch(S). Consider τ a topology on the category Sch(S). For a presheaf F on Sch(S), denote by F τ the sheaﬁﬁcation
q
of F . Via functoriality, for a complex C of presheaves, the sheaﬁﬁcations of the terms can be placed into a new
q
complex. We denote by Cτ the complex with terms Cτn . We note that this is not the same thing as considering a
τ -sheaf valued in a category of complexes and often contains less information. Despite this, it carries quite a bit of
information and was the setting considered in [HJ14] which formed the inspiration for this work.
Topologies. Fix a category C. For two Grothendieck topologies τ and µ on C one calls τ finer than µ provided
every µ-cover is a τ -cover. This may be denoted µ → τ and it induces a morphism of sites Cτ → Cµ . In particular,
for any ﬁxed base S and topology τ on Sch(S) ﬁner than the Zariski topology, one has an associated morphism of
sites ρ : Sch(S)τ → Sch(S)Zar inducing a geometric morphism of topoi (ρ∗ , ρ∗ ) : Sh(S)τ → Sh(S)Zar . These also
have extensions to morphisms of bounded derived categories D+ (Sh(S)τ ) → D+ (Sh(S)Zar ). Thus one may consider
q
q
Rρ∗ (C ) of any complex C ∈ D+ (Sh(S)τ ).
Fix a base scheme S and two topologies τ and µ on Sch(S) with µ → τ . For X ∈ Sch(S), we say that a
τ -sheaf F satisﬁes µ-descent for X provided that one has an isomorphism F µ (X) ∼
= F τ (X) and that F satisﬁes
cohomological µ-descent for X provided Hµi (X, F µ ) ∼
= Hτi (X, F ) for all i ≥ 0.
We are primarily concerned with Voevodksy’s h-topology (cf. [Voe96]) in particular the characteristic p case.
An overview geared towards the mixed characteristic setting can also be found in [Bei12]. We review the basic
deﬁnition.
Definition 2.1. A morphism in Sch(S) is called a topological epimorphism, if it is surjective and the Zariski
topology of the target is the quotient topology of the Zariski topology of the source. It is called universal if this
property is preserved by any base change. The h-topology is the Grothendieck topology on Sch(S) with coverings
universal topological epimorphisms of ﬁnite type.
The h-topology is the coarsest topology ﬁner than the proper and Zariski topology. It is also ﬁner than the
étale topology and in fact it is ﬁner than the eh-topology which is generated by étale covers and so called abstract
blow-ups.
Definition 2.2. Let X ∈ Sch(S), f : X ′ → X a proper map and Z ⊂ X a closed subscheme with preimage E ⊂ X ′ .
∼
We say (X ′ , Z) is an abstract blow-up of X, if f induces an isomorphism X ′ \E −
→ X\Z outside Z. We denote an
f

i

→ X, Z −
→ X) or more simply by (X ′ , Z).
abstract blow-up either by (X ′ −
This means all proper birational maps are eh-covers and so h-covers. Moreover, ﬁnite maps are also h-covers. As
such, Beilinson notes that in the presence of resolution of singularities, schemes are h-locally smooth [Bei14, Section
2] and in more general settings de Jong’s alteration theorem gives that schemes over discrete valuations rings are
h-locally regular.
There are several close useful relatives of the h-topology. In particular, to minor extents we will utilize the
Nisnevich topology generated by completely decomposed families of étale morphisms, the cdp or envelope-topology
generated by completely decomposed families of proper morphisms, the rh-topology generated by Zariski, and cdpcovers, and the cdh-topology generated by Nisnevich covers and rh-covers. A much more central topology for our
consideration is the quasi-ﬁnite topology, or qfh-topology generated by étale covers and ﬁnite covers. Throughout,
it will be helpful to keep in mind the following diagram of how many of these diﬀerent topologies on Sch(S) relate
(c.f., [GK15]).
Voevodsky describes a particularly nice decomposition of h-covers which will play a critical role in the proof of
pi
Lemma 4.10. An h-cover {Ui −→ X} is said to be of normal form when it admits a factorization pi = s ◦ f ◦ ιi ,
2

Page 3 of 14
ﬁn

cdp

Zar

Nis

ét

rh

cdh

eh

prop

qfh
h

Figure 1. Topologies on Sch from coarser to ﬁner.
ι

f

s

i
→ X is the blow-up along a closed
U } is a Zariski cover, U −
→ XZ is ﬁnite surjective and XZ −
→
where {Ui −
subscheme Z of X. In relatively mild cases, all h-covers admit reﬁnements of normal form.

pi

Theorem 2.3 (V. Voevodsky). Let {Ui −→ X} be an h-cover of an excellent, noetherian, reduced scheme. There
exists an h-cover of normal form which is a refinement of {pi }.
Review of differential forms. The work of Huber–Jörder and Huber–Kebekus–Kelly describe descent for diﬀerential forms. Fix a ﬁeld k and the base scheme S = Spec(k). Denote by Ω1 the presheaf of Kähler diﬀerential forms
on Sch and for each positive integer q denote by Ωn its n-fold exterior power. Assume k has characteristic 0. For
the relationships cdh → eh → h between the topologies, we have descent Ωneh (X) ∼
= Ωncdh (X) [HJ14, Cor. 2.8] and
n
n
∼
Ωeh (X) = Ωh (X) [HJ14, Thm. 3.6] for any X ∈ Var(k). If X is in addition smooth, one has the descent isomorphisms Ωn (X) ∼
= Ωneh (X) by [Gei06, Thm. 4.7] which depends on resolution of singularities. Thus in characteristic 0
the h-sheaﬁﬁcation of Kähler diﬀerentials agrees with the usual ones in the smooth case. For a klt-base X, one also
has Ωnh (X) ∼
= (Ωn (X))∗∗ the pushforward of the diﬀerentials on the smooth locus [HJ14, Thm. 5.4].
When k is of characteristic p > 0 the situation is more complicated. For example an h-sheaﬁﬁcation F h of a
presheaf F can be zero. This happens when F has p-torsion. However some descent statements can be recovered
at least for the cdh-topology via an auxiliary sheaf constructed using the right adjoint of the natural restriction
Sch → Reg denoted ( )dvr . Notably, when X ∈ Reg(S) one has F dvr (X) = F (X) and when k has characteristic 0
one can show Ωndvr ∼
= Ωnh using [HJ14]. This construction works particularly well under the assumption that F is
unramiﬁed, see [HKK15, Def. 4.5].
The de Rham–Witt complex. As we will primarily be concerned with questions on the de Rham-Witt complex,
q
we set notations here. Fix a perfect ﬁeld k of characteristic p > 0. For a scheme X over k, denote by W ΩX the
q
q
p-typical absolute de Rham-Witt complex of X deﬁned by Illusie [Ill79]. Set W ΩX,Q := W ΩX ⊗ Q. It is a complex
of étale sheaves. For a ﬁxed integer n, consider the presheaf X 7→ W ΩnQ (X) of degree n diﬀerentials of the de
Rham–Witt complex. We abuse terminology and refer to this as the sheaf of rational Witt diﬀerentials. For a
q
topology τ on Sch(k), ﬁner than the étale topology we denote by W ΩQ,τ the complex of τ -sheaves whose n-th term
n
is W ΩQ,τ , which we call τ -Witt diﬀerentials.
3. Cohomological descent for de Rham-Witt complexes assuming resolution of singularities
Our primary interest is in the sheaf W ΩnQ , in particular in its descent properties. For smooth schemes one hopes
i
to establish a cohomological descent for the h-topology, i.e., isomorphisms Hhi (X, W ΩnQ,h ) ∼
(X, W ΩnQ,h ) for
= HZar
each n ≥ 0, i ≥ 0 and X ∈ Sm(k). This is rather easy provided one has resolution of singularities of schemes
in positive characteristic and we warm up with a proof of this which is well-known to experts. Huber and Jörder
in [HJ14, Prop. 6.1] give an h-descent for eh-sheaves of Q-vector spaces which directly applies to our context.
Assuming resolution of singularities, an argument of Geisser [Gei06, Thm. 4.2] goes through for W ΩnQ,h giving
an eh-descent for W ΩnQ,h . This suﬃces to establish the cohomological descent via the usual cohomological étale
descent for de Rham-Witt sheaves. The key point is that factorization of h-covers can be done through smooth
blow-ups. Throughout this section, we work with schemes over a perfect ﬁeld k of characteristic p > 0. A needed
ingredient is the following well-known lemma.
f

i

→ X, Z −
→ X) be an abstract blow-up of k-schemes, and F an h-sheaf
Lemma 3.1. [Blow-up sequence] Let (X ′ −
on Sch(k). The associated blow-up sequence
· · · → Hhi (X, F ) → Hhi (X ′ , F ) ⊕ Hhi (Z, F ) → Hhi (Z ′ , F ) → · · ·
is exact.
3

Page 4 of 14
Proof. In [Gei06, Prop. 3.2], Geisser proves the analogous statement for the eh-topology in characteristic p. Notably
one does not need to assume resolution of singularities. Since every eh-cover is also an h-cover, it follows that the
statement holds also for the h-topology. Thus, the result follows by replacing h with eh in Geisser’s proof.

Theorem 3.2. Assume that resolution of singularities holds. Let X be smooth k-scheme. Consider the h-sheaf
W ΩnQ,h . For all i ≥ 0 and n ≥ 0
i
Hhi (X, W ΩnQ,h ) ∼
(X, W ΩnQ ).
= HZar

Proof. First we note that as in the proof of [HJ14, Prop. 6.1], which does not depend on the characteristic of the
i
base ﬁeld, one deduces the equality Hhi (X, W ΩnQ,h ) ∼
(X, W ΩnQ,eh ).
= Heh
i
i
To obtain the equality Heh
(X, W ΩnQ,eh ) ∼
(X, W ΩnQ ) the strategy of [Gei06, Thm. 4.3] can be applied.
= Hét
Let ρ : Sch(k)eh → Sch(k)ét be the canonical morphism of sites, which induces a morphism of étale sheaves
q
q
i
W Ωn Q → Rρ∗ W Ω. Let C be the cone of this map. One shows by contradiction that Hét
(Y, C ) = 0 for any
q
i
Y ∈ Sm(k). Assume that there is 0 6= y ∈ Hét
(Y, C ) and that moreover Y ∈ Sm(k) is of smallest dimension
q
q
∗
admitting such a non-zero element. It is ρ C = 0 by deﬁnition of C , which means that there is an eh-cover U q of
q
Y , such that C U q = 0. According to [Gei06, Corollary 2.6] U q has, under resolution of singularities a reﬁnement
{Ui → Y ′ → Y }, where {Ui → Y ′ } is an étale cover and Y ′ → Y is a composition of smooth blow-ups. For a given
blow-up Y ′ → Y along a smooth centre Z, we have by Lemma 3.1 the blow-up sequence
i
i
i
i
(Z ′ , W ΩnQ,eh ) → · · ·
(Y ′ , W ΩnQ,eh ) ⊕ Heh
(Z, W ΩnQ,eh ) → Heh
· · · → Heh
(Y, W ΩnQ,eh ) → Heh

On the other hand, a result by Gros [Gro85, IV. Théorème 1.1.9] gives the analogues sequence for étale topology
i
i
i
i
· · · → Hét
(Y, W ΩnQ ) → Hét
(Y ′ , W ΩnQ ) ⊕ Hét
(Z, W ΩnQ ) → Hét
(Z ′ , W ΩnQ ) → · · ·

The canonical map induces a morphism of long exact sequences
···

i
/ Hét
(Y, W ΩnQ )
τY

···


/ H i (Y, W Ωn )
eh
Q,eh

i
i
/ Hét
(Y ′ , W ΩnQ ) ⊕ Hét
(Z, W ΩnQ )
τY ′ τZ


/ H i (Y ′ , W Ωn ) ⊕ H i (Z, W Ωn )
eh
Q,eh
eh
Q,eh

i
/ Hét
(Z ′ , W ΩnQ )

/ ···

τZ ′


/ H i (Z ′ , W Ωn )
eh
Q,eh

/ ···

q
By minimality of Y the maps τZ and τZ ′ are isomorphisms, from which one concludes that 0 6= y Y ′ ∈ H i (Y ′ , C ).
q
′
In particular, C Y ′ is not acyclic. But then it is also not acyclic on the étale cover {Ui → Y }, a contradiction to
q
ρ∗ C = 0.
Finally, it is well known that in the case at hand étale and Zariski cohomology coincide, which together with the
above equalities leads to the desired statement.

We cannot yet establish (smooth) cohomological h-descent for W ΩnQ without assuming resolution of singularities.
The diﬃculty lies in the reliance on Geisser’s work. One is tempted to utilize de Jong’s alterations as a replacement
but technical questions still abound. As we have seen in the proof above, Geisser uses the reﬁnement of an ehcover in en étale cover and a composition of smooth blow-ups. To obtain such a reﬁnement strong resolution of
singularities is needed. If one attempts to use alterations here instead ﬁnite maps are introduced in the process,
which cannot be controlled. Instead, we utilize ideas form [HKK15] to establish h-descent statements avoiding
resolutions of singularities by showing an h-descent for an auxiliary sheaf W ΩnQ,dvr which agrees with W ΩnQ in the
regular case.
4. dvr-Witt differentials
Recall, for a base scheme S the restriction Sch(S) → Reg(S) has a right adjoint ( )dvr on the category of
presheaves, called the extension functor. This functor may be understood using schemes essentially of ﬁnite type in
the sense of [HKK15, Def. 2.5]. Let Sch(S)ess be the category of schemes essentially of ﬁnite type, which contains
Sch(S) as a subcategory, and Dvr(S) the category of schemes essentially of ﬁnite type which are regular, local, and
of dimension at most 1. A presheaf F on Sch(S) can be extended to a presheaf F ess on Sch(S)ess as explained in
[HKK15, Def./Prop. 4.9]. In many cases of interest, F and F ess coincide on Sch(S)ess . As described in [HKK15],
torsion is an important concept in the present context and will be treated in Subsection 4.3.
4

Page 5 of 14
4.1. The extension functor applied to Witt differentials. We summarize the extension functor ( )dvr and
explore results for the rational de Rham-Witt complex. For more details on the extension functor see [HKK15, Sec.
4.1]. Fix a base scheme S.
Definition 4.1. For a presheaf F on Reg(S), let F dvr be the presheaf on Sch(S) given by
F dvr (X) :=

lim
←−

F (Y )

Y ∈Reg(X)

for X ∈ Sch(S).
Huber, Kebekus and Kelly show that F dvr can be expressed in a particularly useful form. This requires the
notion of an unramiﬁed sheaf as introduced by Morel, [HKK15, Def. 4.5].
Definition 4.2. A presheaf F on Sch(S) is unramified provided it is a Zariski sheaf and satisﬁes the following
three conditions for all X and Y in Reg(S)
(i) the natural morphism F (X ⊔ Y ) → F (X) × F (Y ) is an isomorphism,
(ii) For U → X a dense open immersion, F (X) → F (U ) is injective,
(iii) for every open immersion U → X containing all points of codimension at most 1, F (X) → F (U ) is an
isomorphism.
If X ∈ Sch(S) and F is unramiﬁed, then [HKK15, Prop 4.14] guarantees that
F dvr (X) =

lim
←−

F ess (W ).

(4.1)

W ∈Dvr(X)

We set from now on S = Spec k, where k is a perfect ﬁeld of characteristic p > 0 as we now want to apply this
technology to study descent for the de Rham-Witt sheaves W ΩnQ where n ∈ N.
Theorem 4.3. Both the presheaf W Ωn and the presheaf W ΩnQ are unramified on Reg(k).
Proof. It suﬃces to show that W Ωn is unramiﬁed. We have to verify the three conditions deﬁning unramiﬁed
presheaves. As we are working with regular schemes of ﬁnite type, we can take advantage of functoriality properties
of the de Rham–Witt complex. Speciﬁcally, the structure sheaf O is an unramiﬁed presheaf. Note that when
X ∈ Reg(k), global sections of Witt diﬀerentials are given by Γ(X, W Ωn ) = W ΩnΓ(X,O) , [Ill79, I.1.10].
It is well-known, that W Ωn`is an étale sheaf, whence a Zariski sheaf. Let X, Y ∈ Reg(k). Since O is unramiﬁed,
one has by property (i) O(X Y ) = O(X) × O(Y ). With this, we compute
a
W Ωn (X
Y ) = W ΩnO(X ` Y ) = W ΩnO(X)×O(Y ) = W ΩnO(X) × W ΩnO(Y ) = W Ωn (X) × W Ωn (Y ).
Let U → X be a dense open immersion. The induced map O(X) → O(U ) is injective because O is unramiﬁed. It
follows by functoriality of the de Rham–Witt complex, that
W Ωn (X) = W ΩnO(X) → W ΩnO(U) = W Ωn (U )
is also injective. Finally, let U → X be an open immersion which contains all points of codimension at most 1.
The map O(X) → O(U ) is then an isomorphism, and by functoriality the same holds true for the induced map
W Ωn (X) → W Ωn (U ).

We call the presheaf W ΩnQ,dvr obtained by applying the extension functor to the presheaf W ΩnQ of rational Witt
diﬀerentials on Sch(k) the dvr-Witt differentials of degree n.
Corollary 4.4. Let X ∈ Sch(k). The dvr-Witt differentials of X can be written as
W ΩnQ,dvr (X) =

lim
←−

W Ωn,ess
Q (Y ).

Y ∈Dvr(X)

Proof. Theorem 4.3 shows that

W ΩnQ

is unramiﬁed. The claim then follows from equation (4.1).



4.2. dvr-Witt differentials and the h-topology. The dvr-Witt diﬀerentials enjoy may properties that will help
us to show h-descent for Witt diﬀerentials. A prime example is a result of Huber, Kebekus, and Kelly showing
useful descent properties.
Theorem 4.5. (c.f., [HKK15, Prop. 4.18] ) Let S be a noetherian scheme. If F is an unramified presheaf on
Sch(S), then F dvr is an rh-sheaf. In particular, if F is an unramified Nisnevich, respectively étale sheaf on Sch(S),
then F dvr is a cdh-sheaf, respectively eh-sheaf.
Thus for a perfect ﬁeld k of positive characteristic p, the presheaf W ΩnQ,dvr is an eh-sheaf on Sch(k).
5

Page 6 of 14
Remark 4.6. By the universal property of sheafification there are canonical morphisms
W ΩnQ → W ΩnQ,rh → W ΩnQ,cdh → W ΩnQ,eh → W ΩnQ,dvr .
Moreover, if X is regular, W ΩnQ (X) = W ΩnQ,dvr (X) by [HKK15, Rem. 4.3.3] and the above composition is an
isomorphism on X.
Following an approach used in the study of regular group schemes [AHL16, Prop. C.2], we establish preliminary
descent results.
Theorem 4.7. For a perfect field k of characteristic p > 0, the canonical morphism W ΩnQ → W ΩnQ,qfh is an
isomorphism on Nor(k).
Proof. From [HKK15, Lem. 4.4] we know that the extension functor preserves sheaves. When W ΩnQ is a qfh-sheaf
on Nor(k) and therefore on Reg(k), its extension W ΩnQ,dvr is a qfh-sheaf on Sch(k). Hence, it is enough to show that
the sheaf W ΩnQ is a qfh-sheaf on Nor(k), for which we show the canonical morphism W ΩnQ → W ΩnQ,qfh induces an
isomorphism on normal schemes.
To show that W ΩnQ is a qfh-sheaf on Nor(k) we check the sheaf condition for a qfh-cover {Ui → X}i∈I of
normal schemes. Without loss of generality, we may assume that X is connected and therefore integral as it is
noetherian. By a result of Suslin–Voevodsky [SV96, Lem. 10.4] the qfh-cover above has a reﬁnement of the form
{Vj → V → X}j∈J , where V is the normalization of X in a ﬁnite normal extension of its function ﬁeld. In
particular, V → X is ﬁnite surjective and {Vj → V } is a Zariski cover.
The sheaf condition for {Vj → X} is implied by the sheaf condition for {Vj → V } and V → X separately. To
see this we argue as in [AHL16] that W ΩnQ Nor is separated for the qfh-topology. This follows from the fact that
for a dominant morphism f : X → Y the induced morphism W ΩnQ (Y ) → W ΩnQ (X) is injective, as O(Y ) → O(X)
is and using a result due to Voevodsky [Voe96, Prop. 3.1.4].
We know already that W ΩnQ satisﬁes the sheaf condition for a Zariski cover {Vj → V }. Hence it remains to show
the sheaf condition for a ﬁnite surjective morphism π : V → X of normal irreducible schemes.
Let Ve be the normalization of the reduction of V ×X V and consider the sequence
0 → W ΩnQ (X) → W ΩnQ (V ) → W ΩnQ (Ve )
where the rightmost map is induced by the diﬀerence of the two projections Ve → V . Our objective is to show this
sequence is exact.
We may ﬁnd a ﬁnite surjective morphism π ′ : Y → V with Y normal, such that the composition factors into
a generically purely inseparable morphism followed by a generically Galois morphism π ′ π = πs πi . Since W ΩnQ is
qfh-separated for normal schemes, the sheaf condition for π ′ π follows from a veriﬁcation of the sheaf condition for
πi and πs , and this on the other hand induces the sheaf condition for π.
Suppose π is generically Galois with Galois group Gal(κ(V )/κ(X)) = Γ. By deﬁnition V is the normalization
of X in κ(V ) and the action of Γ extends by functoriality from κ(V ) to V . Furthermore, the canonical map
∼
→ (π∗ OV ) is an isomorphism, which induces an isomorphism of Witt diﬀerentials. Hence we have an injection
OX −
W ΩnQ (X) ∼
= W ΩnQ (V )Γ ⊂ W ΩnQ (V ).
To show exactness at the second entry of the sequence, note that W ΩnQ is unramiﬁed and so the morphisms
W ΩnQ (V ) ֒→ W ΩnQ (κ(V )) and W ΩnQ (Ve ) ֒→ W ΩnQ (κ(Ve )) are injective. Thus the kernel of W ΩnQ (V ) → W ΩnQ (Ve ) is
contained in the kernel of W ΩnQ (κ(V )) → W ΩnQ (κ(Ve )) = W ΩnQ (κ(V ) ⊗κ(X) κ(V )). By Galois descent an element
x in the kernel of W ΩnQ (V ) → W ΩnQ (Ve ) is then Γ-invariant, i.e. x ∈ W ΩnQ (κ(V ))Γ ∼
= W ΩnQ (X).
Now we look at the case, when π is generically purely inseparable. By Zariski’s connectedness theorem we
know that since X is normal, π is actually purely inseparable, and hence its diagonal map is a surjective closed
∼
immersion. After reduction, we may assume that it is an isomorphism ∆(π) : V red −
→ (V ×X V )red = Ve . The
n e
n
e
map W ΩQ (V ) → W ΩQ (V ) being induced by the diﬀerence of the two projections V → V consequently is the zero
map, so that it remains to show that π ∗ : W ΩnQ (X) ֒→ W ΩnQ (V ) is surjective. If π is an isomorphism this is clear.
Assume therefore that π is not an isomorphism. Similar to [AHL16] we reduce this to the case where π is a relative
Frobenius as follows.
6

Page 7 of 14
Denote by X (p) the base change of X along the absolute Frobenius Fk of Spec(k). We have a commutative
diagram
FX

}
Xo

ko

W

Fk

FX/k

X (p) o

X

③③
③③
③
③③
 ③
}③
k

where FX is the absolute Frobenius of X, FX/k the relative Frobenius of X over k and W the canonical projection.
From the hypothesis that Fk is an automorphism it follows that X ∼
= X (p) and the relative Frobenius FX/k coincides
with the absolute Frobenius FX up to isomorphism. For a p-power q = pr we obtain a similar diagram by iteration.
By a result due to Kollár [Kol97, Prop. 6.6] there is a p-power q and a morphism π ′ : X → V (q) such that the
r
r
relative Frobenius factors FX/k
= π ′ ◦ π : X → X (q) . Thus it suﬃces to show that (FX/k
)∗ is surjective.
Since X as an irreducible scheme is an Fp -scheme, the Witt vector Frobenius is induced by the absolute Frobenius
∗
FX
= F : W Ωn (X) → W Ωn (X), which commutes with the Verschiebung map. In particular, F V = V F = p.
∗
∗
r
Consequently, after inverting p, F = FX
= FX/k
, as well as (FX/k
)∗ for all q = pr .

Remark 4.8. One notes from the proof that W Ωn is a qfh-sheaf after inverting only the Witt vector Frobenius.
Corollary 4.9. The extension W ΩnQ,dvr is a qfh-sheaf on Sch(k).
Proof. According to [HKK15, Lem. 4.4] the extension functor preserves sheaves. Hence the fact that W ΩnQ is a
qfh-sheaf on Reg(k) because it is one on Nor(k) implies that W ΩnQ,dvr is a qfh-sheaf on Sch(k).

We will utilize the following lemma, which is well-known to experts.
pi

Lemma 4.10. Let X ∈ Sch(k). Every h-cover {Ui −→ X}i has a refinement of the form
{Vi → V → X ′ → X}i
where {Vi → V }i is a Zariski cover, V → X ′ is a modification and X ′ → X is a finite morphism.
Proof. By de Jong’s alteration theorem [dJ96] choose a regular alteration Y → X and consider the pullback
{Ui′ → Y } of the original covering to Y . Let {Vi → V → YZ → Y }i be a reﬁnement of normal form of {Ui′ → Y }
which exists by Voevodsky’s Theorem 2.3, meaning that{Vi → V } is a Zariski cover, V → YZ is ﬁnite surjective
and YZ → Y is the blow-up along a closed subscheme Z of Y . We obtain a reﬁnement of the original cover
{Vi → V → YZ → Y → X}i .
The composition V → YZ → Y → X is an alteration, therefore, it factors using Stein factorization V → X ′ → X,
where V → X ′ is proper with geometrically connected ﬁbers and X ′ → X is ﬁnite. This gives the desired
reﬁnement.

We close this section with a descent result which we hope, it will be of independent interest.
Theorem 4.11. Fix a base scheme S and let F be an unramified étale sheaf on Reg(S). When F is also a
qfh-sheaf, then F dvr satisfies h-descent on Sch(S).
∼ F dvr . It suﬃces to check that F dvr agrees with its
∼ F Q,dvr and (F dvr )qfh =
Proof. By hypothesis (F dvr )eh =
h-sheaﬁﬁcation which may be checked via Čech cohomology. That is for any X ∈ Sch(k), the natural map
F dvr (X) → lim Ȟ 0 (U, F dvr )
U

where U runs through all h-covers U → X, is an isomorphism.
Any h-cover U → X may be reﬁned as {Wi → X ′ → X}i∈I where the ﬁrst is an eh-cover and the latter is a
qfh-cover by Lemma 4.10. As F dvr is both a qfh-sheaf and an eh-sheaf, the sheaf condition holds in the intermediate
steps. More precisely, this means, that the sequences
0 → F dvr (X) → F dvr (X ′ ) → F dvr (X ′ ×X X ′ )
and
0 → F dvr (X ′ ) →

Y
i∈I

F dvr (Wi ) →
7

Y

i,j∈I

F dvr (Wi ×X ′ Wj )

(4.2)
(4.3)

Page 8 of 14
are exact. These exact sequences clearly give injections
F dvr (X) ֒→ F dvr (X ′ ) ֒→

Y

F dvr (Wi )

i∈I

as well as
F dvr (X ′ ×X X ′ ) ֒→

Y

F dvr (Wi ×X Wj ).

i,j∈I

We obtain a commutative diagram


/ F dvr (X) 
0

/ F dvr (X ′ ) 


/



F dvr (X ′ ×X X ′ )

Q

i∈I

F dvr (Wi )

/Q


F
(W
dvr
i ×X Wj )
i,j∈I

Q


F dvr (Wi ×X ′ Wj )

i,j∈I

With a diagram chase, keeping in mind the exact sequences (4.2) and (4.3), we obtain the exact sequence
Y
Y
0 → F dvr (X) →
F dvr (Wi ) →
F dvr (Wi ×X Wj ),
i∈I

which is exactly the sheaf property for the cover {Wi → X ′ → X}i∈I . This shows the claim.
Corollary 4.12. The sheaves

W ΩnQ,dvr ,

(4.4)

i,j∈I



n > 0, on Sch(k) satisfy h-descent.

Proof. We have already seen that W ΩnQ is an unramiﬁed étale sheaf by Theorem 4.3 and by Theorem 4.9 a qfh-sheaf
as well. Thus Theorem 4.11 applies.

4.3. Topological Torsion. For a presheaf F on Sch(S), we denote as in [HKK15] tor F (X) for the sections of
F (X) which vanish on a dense open subscheme and we call a presheaf F torsion free when tor F (X) = 0. After a
general observation we look at the torsion forms for W ΩnQ over a perfect ﬁeld of positive characteristic.
Lemma 4.13. An unramified presheaf F has no torsion forms on Reg(S).
Proof. Let F be an unramiﬁed sheaf on Reg(S) and X ∈ Reg(S). Suppose ω ∈ F is torsion. This means that
there is an open dense subscheme U ֒→ X such that ω U = 0. However, the second characterizing property for
unramiﬁed presheaves gives that the induced morphism F (X) → F (U ) is injective. Thus ω = 0.

This means in particular that the sheaves W Ωn and W ΩnQ have no torsion forms on Reg(k).
Theorem 4.14. Let F be an unramified presheaf and assume in addition that F dvr is an h-sheaf. Then F dvr is
torsion free.
Proof. Let X ∈ Sch(k) and ω ∈ F dvr be a torsion form, meaning that there is an open dense subscheme U ֒→ X
such that ω U = 0. We aim to show that ω = 0. By deﬁnition ω is given by a compatible system (ωY )Y , where
Y ∈ Reg(X). It suﬃces to show ωY = 0 for all such Y . For a morphism f : Y → X, Y ∈ Reg(X), let YU be the
preimage of U under f . The hypothesis ω U = 0 implies that ωY U := ωY Y = 0.
U
If the preimage of U in Y under f is dense, it follows as in Lemma 4.13 that ωY = 0 because Y is regular.
e → X, i.e. X
e ∈ Reg(X). The preimage X
eU of U under g is again dense
Otherwise, choose a regular alteration g : X
e
e be the pullback of Z
in X. The image of Y in X is contained in a subscheme Z where U ∩ Z is not dense. Let Z
e
along g. Furthermore, let Y be the pullback of Y along g, which is again regular. In particular, Ye → Y is as an
alteration and thus an h-cover. We obtain a commutative diagram
Ye

/Y


e
Z


/Z


e
X


/ X.

8

Page 9 of 14
e = F dvr (X)
e constitutes an entry in the system (ωY )Y . Set ω e the image of ωY
By deﬁnition, ωXe := ω Xe ∈ F (X)
Y
e
under the map F (Y ) → F (Y ). We have the following commutative diagram where we have indicated where the
sections ω, ωY , ωXe , and ωYe
ωYe ∈ F dvr (Ye ) = F (Ye ) o
O

F dvr (Y ) = F (Y ) ∋ ωY
O

e = F (X)
e o
ωXe ∈ F dvr (X)

F dvr (X) ∋ ω

e
eU is dense in X
e and ω e
Considering that g −1 (U ) = X
e = 0 because X is regular. By
X U = 0, we know that ωX
e
e
compatibility the image ωYe of ωXe under the morphism F (X) → F (Y ) is also zero. We conclude that ωY being in
the preimage of ωYe under the map F (Y ) → F (Ye ) is 0 as well, since F ndvr is by assumption an h-sheaf and Ye → Y
an h-cover.

Corollary 4.15. The sheaf W ΩnQ,dvr is torsion free on Sch(k).
Proof. As W ΩnQ,dvr is an h-sheaf Theorem 4.14 applies.



5. Properties of h-Witt differentials
The critical property about the sheaves Ωn driving the many useful statements in [HJ14] is that Ωneh satisﬁes
h-descent. Working in characteristic 0, one automatically gets h-descent for Ωn on smooth schemes following work
of Geisser not available in our setting. Instead, we obtain h-descent for regular schemes from the fact that W ΩnQ,dvr
is an h-sheaf.
5.1. Regular descent. As described in [HKK15, Sec. 5], to understand Ωncdh it is critical to understand the
torsion of Ωn . In our case, something similar is true: it is important to understand the torsion of W ΩnQ in order to
understand W ΩnQ,h .
Lemma 5.1. For a base scheme S, let F be a sheaf on Sch(S) which is torsion free on Reg(S). For X ∈ Sch(S)
e → X such that α∗ ω vanishes in F (X).
e
and ω ∈ tor F (X) there is an alteration α : X
e
Moreover, if for each point x ∈ X, ω x = 0, there is an h-morphism α : X → X such that α∗ ω = 0.

e → X is a
Proof. As ω is torsion, there is a Zariski open subset U ⊂ X such that the restriction ω U = 0. If α : X
e vanishes on α−1 U , which is dense open in X.
e But since X
e is regular, F (X)
e
regular alteration, then α∗ ω ∈ F (X)
∗
is torsion free by assumption and thus α ω = 0.
To prove the second claim, we may without loss of generality assume that X is integral by considering each
irreducible component of X separately and using the fact that each scheme is eh-locally and therefore h-locally
reduced. In this case, the assumption that ω x = 0 for all points x of X, means that ω is torsion on X and we can
e → X with α∗ ω = 0.
now apply the ﬁrst part to obtain an h-cover α : X

Definition 5.2. Let τ be a Grothendieck topology on Sch(S). For a presheaf F on Reg(S), we say that it satisﬁes
τ -descent for regular schemes, if F τ (X) = F (X) for X ∈ Reg(k). Equivalently we say that F satisﬁes regular
τ -descent.
Example 5.3. When k is a ﬁeld of characteristic 0, F = Ωn satisﬁes regular h-descent by [HJ14, Thm. 3.6]. Over
any ﬁeld k, any sheaf F for which F dvr which satisﬁes τ -descent automatically satisﬁes regular τ -descent.
We are ready to give the main descent theorem for the Witt diﬀerentials.
Theorem 5.4. Let k be a perfect field of positive characteristic p. The sheaves W ΩnQ , n > 0, on Sch(k) satisfy
regular h-descent. In particular, when X is regular, we have isomorphisms W ΩnQ,h (X) ∼
= W ΩnQ (X).

Proof. Since W ΩnQ,dvr is an h-sheaf, we have by the universal property of sheaﬁﬁcation a sequence of canonical
morphisms
W ΩnQ → W ΩnQ,h → W ΩnQ,dvr .
(5.1)
The ﬁrst step is to show, that the second map is a monomorphism. This follows a similar argument to [HKK15,
Prop. 5.12]. Let X ∈ Sch(k) and let ω be a section in the kernel of W ΩnQ,h (X) → W ΩnQ,dvr (X). Choose an h-cover
f : X ′ → X, such that f ∗ ω is in the image of W ΩnQ (X ′ ) → W ΩnQ,h (X ′ ). This way, we obtain an element ω ′ in the
kernel of W ΩnQ (X ′ ) → W ΩnQ,dvr (X ′ ), and have to show that it vanishes on some h-cover of X ′ . By Lemma 5.1, it is
9

Page 10 of 14
enough to show that ω ′ is trivial on every point x ∈ X ′ . For such a point, let {x} be its closure in X ′ with reduced
scheme structure, and let V be its regular locus. In particular, V ∈ Reg(X ′ ) and its generic point is isomorphic to
x. Since ω ′ is trivial in W ΩnQ,dvr (X ′ ) it vanishes by deﬁnition of the extension functor on every regular scheme over
X ′ , speciﬁcally on V as well on its generic point and therefore on x.
For the second step, let X ∈ Reg(k). Applying the global section functor with X to the composition of maps (5.1)
we obtain a composition of natural maps W ΩnQ (X) → W ΩnQ,h (X) ֒→ W ΩnQ,dvr (X), where the second morphism
is injective by what we have just seen. By Remark 4.6, W ΩnQ,dvr (X) = W ΩnQ (X) and the above composition is
actually an isomorphism, which induces that the second map is surjective, and therefore also an isomorphism, and
it follows right away that the same is true for the ﬁrst map.

Remark 5.5. In the case when n = 0 there are stronger h-descent results known. Specifically, the sheaf W OQ is
an h-sheaf on Sch(k) by [BBE07, Thm. 2.4]. In fact, one even has cohomological descent for W O for any finitely
presented Fp -scheme after just inverting the Witt vector Frobenius [BS16, Thm. 5.40]. This is unlike the situation
for Ω0 = O in characteristic 0, where one has such a result only for semi-normal schemes [HJ14, Prop. 4.5].
It is well known to experts that h-sheaves can be understood as projective limits. The intuition is that sheaves
which satisfy regular h-descent are h-locally smooth. Here a detailed proof of this fact is given and applied to Witt
diﬀerentials.
Lemma 5.6. Let F be a sheaf on the Zariski site of Sch(S) which satisfies regular τ -descent. Suppose X ∈ Sch(S).
Assume there is a regular τ -cover X ′ → X and a regular τ -cover X ′′ → X ′ ×X X ′ . The sequence
0 → F τ (X) → F (X ′ ) → F (X ′′ )
is exact.
Proof. From the sheaf property, we have an exact sequence
0 → F τ (X) → F (X ′ ) → F (X ′ ×X X ′ )
for any τ -cover X ′ → X. For a τ -cover X ′′ → X ′ ×X X ′ , the induced map F τ (X ′ ×X X ′ ) ֒→ F (X ′′ ) is again
injective by the sheaf condition. Together, this gives an exact sequence 0 → F τ (X) → F τ (X ′ ) → F τ (X ′′ ). In the
case when X ′ and X ′′ are regular, by regular τ -descent F τ (X ′ ) = F (X ′ ) and F τ (X ′′ ) = F (X ′′ ) thus the exact
sequence becomes 0 → F τ (X) → F (X ′ ) → F (X ′′ ).

One can now give the analogue of [HJ14, Thm. 1] in suitable generality.
Theorem 5.7. Fix a base scheme S. For X ∈ Sch(S) and an unramified Zariski sheaf F on Reg(S) satisfying
regular h-descent, we have an isomorphism


Y ′❆




❆❆ ′




Y
❆❆f
∗
ψ
∼
❆
′
F h (X) = lim F (Y ) = (αf ) ∈
F (Y )
∀ψ :
⇒
ψ
α
=
α
❆
f
f
❆
←−





Y ∈Reg(X)
f : Y →X


/X


Y
Y regular
f

Proof. The proof follows the same steps as [HJ14, Cor. 3.9]. There is a natural injection F h (X) ֒→ limY ∈Reg(X) F (Y )
←−
as a section β ∈ F h (X) determines uniquely a compatible family βf := f ∗ β ∈ F h (Y ) with f : Y → X and Y
regular. By regular h-descent, it follows βf ∈ F h (Y ) = F (Y ). The theorem follows by demonstrating an injection
limY ∈Reg(X) F (Y ) ֒→ F h (X).
←−
We choose smooth h-covers g : X ′ → X and h : X ′′ → X ′ ×X X ′ , denote by i : X ′ ×X X ′ → X the canonical
map and by pr1,2 X ′ ×X X ′ → X ′ the projections, ﬁtting in the diagram
X ′′ ❏
❏❏❏
❏❏h❏
❏❏❏
%
pr
′ 2
/ X′
X ′ ×X X
❏❏
❏❏ i
❏❏
pr1
g
❏❏
❏❏ 

$
g
/ X.
X′
For a compatible family (αf )f ∈ limY ∈Reg(X) F (Y ) we thus have
←−
(pr1 ◦h)∗ αg = αi◦h = (pr2 ◦h)∗ αg .
10

Page 11 of 14
Consequently β ∈ F h (X) exists such that αg = g ∗ β. This gives us a morphism limY ∈Reg(X) F (Y ) → F h (X). It
←−
remains to check that this morphism is injective.
To check this, it suﬃces to show that for any morphism f : Y → X with Y regular f ∗ (β) = αf holds. Let
p : Y ′ → Y ×X X ′ be a smooth h-cover, denote j : Y ×X X ′ → X the canonical map and prY : Y ×X X ′ → Y
respectively prX ′ : Y ×X X ′ → X ′ the projections, which again ﬁt in a diagram
Y′ ■
■■
■■p
■■
■■
$
pr
′ X′
/ X′
Y ×X X
■■
■■ j
■■
prY
■■ g
■$ 

f
/ X.
Y
We therefore have equalities
(prY ◦p)∗ αf = αj◦p = (prX ′ ◦p)∗ αg = (prX ′ ◦p)∗ g ∗ β = (prY ◦p)∗ f ∗ β.
As F is unramiﬁed, the map (prY ◦p)∗ : F (Y ) → F (Y ) is injective, and we can conclude that αf = f ∗ β. This
shows that the map limY ∈Reg(X) F (Y ) → F h (X) is in fact injective and the theorem follows.

←−
Applying this general framework to Witt diﬀerentials results in the following corollaries. In particular, we will see
that dvr-Witt diﬀerentials and h-Witt diﬀerentials coincide on Sch(k) for a perfect ﬁeld k of positive characteristic
p.
Corollary 5.8. Given an object X in Sch(k), and regular h-covers X ′ → X and X ′′ → X ′ ×X X ′ , the following
sequence is exact
(5.2)
0 → W ΩnQ,h (X) → W ΩnQ (X ′ ) → W ΩnQ (X ′′ ).
Proof. It is enough to apply Lemma 5.6 with F = W ΩnQ . This lemma applies as Theorem 5.4 gives the required
regular h-descent.

Corollary 5.9. For X ∈ Sch(k) and each n > 0,
W ΩnQ,h (X) ∼
=

lim
←−

W ΩnQ (Y ).

Y ∈Reg(X)

Proof. For ﬁxed n > 0 the sheaf W ΩnQ is unramiﬁed by Theorem 4.3 and satisﬁes regular h-descent by Theorem 5.4.

Now apply Theorem 5.7 with F = W ΩnQ .
Corollary 5.10. For a Zariski sheaf F on Reg(S), which satisfies regular h-descent one has
F dvr (X) = lim F (Y ) ∼
= F h (X).
←−
Y ∈Reg(X)

In particular, for X ∈ Sch(k) and n > 0 there is an isomorphism
W ΩnQ,h (X) ∼
= W ΩnQ,dvr (X).
Thus one may identify the sheaves W ΩnQ,h and W ΩnQ,dvr on Sch(k).
Proof. The ﬁrst equality follows from the deﬁnition of the extension functor and the second isomorphism by Theorem 5.7. The other claims follow as W ΩnQ satisﬁes regular h descent by Theorem 5.4.

5.2. Fundamental properties and some examples. After now establishing regular h-descent, we investigate
some properties of h-Witt diﬀerentials in the spirit of [HJ14, Prop. 4.2]. We note that we cannot show a direct
h-descent for eh-sheaves, thus our techniques diﬀer mildly. Throughout this section, ﬁx a perfect k of characteristic
p > 0. For an h-sheaf F and object X in Sch(k), we utilize the notation F X for the push-forward of F to the
Zariski-site of X.
[n]

Theorem 5.11. Let X ∈ Sch(k). Set W ΩQ,X := j∗ W ΩnQ,X reg where j : X reg → X is the inclusion of the regular
locus. The sheaf W ΩnQ,h |X satisfies the following:
(i) The sheaf W Ωnh,Q |X is a quasi-coherent torsion free sheaf of W OQ,X -modules,
(ii) If X is regular, then
W ΩnQ,h X = W ΩnQ,X .
11

Page 12 of 14
(iii) Let r : Xred → X be the reduction. Then
r∗ W ΩnQ,h

Xred

= W ΩnQ,h

X

.

(iv) If X is reduced, there is a natural inclusion
W ΩnQ,X /torsion ⊂ W ΩnQ,h

X

.

(v) Let X be normal and j : X reg → X the inclusion of the regular locus. There is a natural inclusion
[n]

W ΩnQ,h ⊂ W ΩQ,X .
(vi) For n > dim(X), W ΩnQ,h

X

= 0.

Proof. As before we choose smooth h-covers g : X ′ → X and h : X ′′ → X ′ ×X X ′ , denote i : X ′ ×X X ′ → X the
canonical map and e
h = i ◦ h. Without loss of generality, we assume that g and e
h are proper. Hence they are quasicompact and quasi-separated. It follows that the direct image sheaves g∗ W ΩnQ and e
h∗ W ΩnQ are quasi-coherent,
because this is the case for W ΩnQ . According to the exact sequence (5.2) W Ωnh,Q |X is the kernel of a morphism
g ∗ W Ωn → e
h∗ W Ωn of quasi-coherent sheaves, thus in itself quasi-coherent. Torsion freeness for W Ωn
= W Ωn
Q

Q

Q,dvr

Q,h

was already shown in Section 4.3. This completes (i).
Item (ii) follows immediately from regular h-descent in Theorem 5.4. Item (iii) is true as the inclusion of the
reduced subscheme is an h-cover.
For (iv) consider the natural map W ΩnQ,X → W ΩnQ,h X . For reason that W ΩnQ,h X is torsion free by (i), we may
quotient out torsion in the domain to get W ΩnQ,X /torsion → W ΩnQ,h X . Let j : X reg ֒→ X be the regular locus.
By the deﬁnition of torsion freeness we have W ΩnQ,h X ⊂ j∗ W ΩnQ,h X reg = j∗ W ΩnQ,X reg , where the last equality
holds because of (ii). Note that j∗ W ΩnQ,X reg is torsion free and that it agrees with W ΩnQ,X /torsion on X reg . Hence
W ΩnQ,X /torsion ⊂ j∗ W ΩnQ,X reg and the diagram

/ j∗ W Ωn reg
W ΩnQ,h X
Q,X
O
6
♥♥♥
♥
♥
♥♥♥
) ♥♥♥♥
W ΩnQ,X /torsion

commutes, so that the vertical map is injective as well.
Now we consider X to be normal and let again j : X reg ֒→ X be its regular locus. Because W ΩnQ,h X is torsion
free, the restriction W ΩnQ,h (X) ֒→ W ΩnQ,h (X reg ) = W ΩnQ (X reg ) is an injection. By locality this is equally true for
all open subschemes of X, so that we conclude (v).
For (vi), assume without loss of generality that X is reduced, and by torsion freeness restrict to an open subset
where it is smooth. The vanishing of W ΩnQ,h X for n > dim(X) then follows from the vanishing of W ΩnQ for smooth
schemes.

We conclude by addressing expected results in mildly singular cases. We ﬁrst record some facts, that will serve as
useful tools. Recall that an abstract blow-up of a scheme X is the data (X ′ , Z) where X ′ is a scheme, f : X ′ → X
∼
is a proper map, Z ⊂ X a closed subscheme with preimage E ⊂ X ′ , and f induces an isomorphism X ′ \E −
→ X\Z
outside Z. The eh-topology is generated by abstract blow-ups and étale coverings. As such, any abstract blow up
is an h-cover as well and h-sheaves in some sense commute with these.
Lemma 5.12. Let (X ′ , Z) be an abstract blow-up of X ∈ Sch(k). For an h-sheaf F the induced square
F (X)

/ F (X ′ )


F (Z)


/ F (E)

is Cartesian.
Proof. The proof does not diﬀer from the one in characteristic 0 given in [HJ14, Prop. 3.3]. For a more detailed
description see also the ﬁrst part of the proof of [BS16, Prop. 2.8], where a more general situation is discussed. 
Thus one has an exact sequence
0 → F (X) → F (X ′ ) ⊕ F (Z) → F (E).
12

(5.3)

Page 13 of 14
Lemma 5.13. Let X be normal and irreducible, L/K(X) a Galois extension of the function field of X with Galois
groups G and Y a normalization of X in L. Any étale sheaf F with eh-descent has h-descent for f : Y → X. More
precisely,
∼ F h (Y )G .
F h (X) =
Proof. This is well-known to experts and can be proven with essentially the same argument as in [HJ14, Lem. 2.10].
In the case when X is smooth and f : Y → X étale, the statement holds because F is an étale sheaf and thus
satisﬁes Galois descent. The general case follows by restricting to a smooth open subscheme of X where f is étale
and perform the same diagram chase as in loc. cit..

We next recover via Theorem 5.11 results analogous to [HJ14, Prop. 4.9] and [HJ14, Prop. 4.10] concerning
normal crossing varieties and group quotients.
Theorem 5.14. For X ∈ Sch(k) with normal crossings,
W ΩnQ,h

X

= W ΩnQ,X /torsion.

Proof. The proof is a direct translation of [HJ14, Prop. 4.9] with their [HJ14, Prop. 4.2] replaced by Proposition 5.11.
We repeat the argument for convenience of the reader.
By Proposition 5.11(iv) there is an inclusion
W ΩnQ,X /torsion ⊂ W ΩnQ,h

X

because X is reduced. Working étale locally, one may assume that X is a union of smooth hyperplane sections and
use induction with respect to the number of irreducible components c(X) of X.
If c(X) 6 1 then we are in the smooth case, and the statement is just Proposition 5.11(ii). Thus let c(X) > 1.
Choose an irreducible component Z ⊂ X, let X ′ = X\Z and E the inverse image of Z under the map X ′ → X.
Then (X ′ , Z) is an abstract blow-up of X and by Lemma 5.12 there is an exact sequence analogous to (5.3)
0 → W ΩnQ,h

X

→ W ΩnQ,h

X′

⊕ W ΩnQ,h

Z

→ W ΩnQ,h

E

.

As in the classical case, we see that the pull-back of torsion free Witt diﬀerentials is again torsion free. Hence,
the above sequence ﬁts into a commutative diagram
0

/ W Ωn
Q,h
O

/ W Ωn
Q,h

X

?
W ΩnQ,X /torsion

/ W Ωn

Q,X ′

X′

⊕ W ΩnQ,h

Z

/torsion ⊕ W ΩnQ,Z /torsion

/ W Ωn
Q,h
O

E

?
/ W Ωn /torsion
Q,E

where the ﬁrst and last vertical map are inclusions by (iv) of Proposition 5.11 and the middle vertical map is an
isomorphism by (ii).
By local calculations the second line in the diagram is also exact. Thus a diagram chase shows that the ﬁrst
vertical map is an isomorphism as well.

Next we look at quotient singularities, meaning singular varieties that can be expressed as quotients of a smooth
variety by a ﬁnite group action. Although the associated projection is not a modiﬁcation it is of course an alteration.
Corollary 5.15. Let X ∈ Reg(k) be quasi-projective with an operation of a finite group G. One has
W ΩnQ,h

X/G

∼
= (W ΩnQ,X )G .

Proof. The projection X → X/G is ramiﬁed with Galois group G. Hence, the equivalence follows immediately from
Galois descent in Lemma 5.13 and the fact that W ΩnQ is an étale sheaf with eh-descent.

Remark 5.16. Considering that X/G is normal there is according to Proposition 5.11(v) an inclusion
W ΩnQ,h

[n]

X/G

⊂ W ΩQ,X/G .

In analogy to the classical case, one expects this to be an isomorphism.
13

Page 14 of 14
References
[AHL16] Giuseppe Ancona, Annette Huber and Simon Pepin Lehalleur: On the relative motive of a commutative group scheme.
Algebraic Geometry 3 (2), (2016).
[Bei12] Alexander Beilinson: p-adic periods and derived de Rham cohomology. J. of the AMS 25, no. 3, 715–732, (2012).
[Bei14] Alexander Beilinson: On the crystalline period map. Cambridge J. Mat. 1, no. 1, 1–51, (2014).
[BBE07] Pierre Berhtelot, Spencer Bloch and Hélène Esnault: On Witt vector cohomology for singular varieties. Compos.
Math., 143(2), 363–392, (2007).
[BS16] Bhargav Bhatt and Peter Scholze: Projectivity of the Witt vector affine Grassmannian. Invent. Math., to appear,
arXiv:1507.06490v2, (2016).
[dJ96] Aise Johan de Jong: Smoothness, semi-stability and alterations. Publ. Math. IHÉS 83: 51–93, (1996).
[GK15] Ofer Gabber and Shane Kelly: Points in algebraic geometry J. Pure Appl. Algebra, 219, 10, 4667–4680, (2015).
[Gei06] Thomas Geisser: Arithmetic cohomology over finite field and special values of ζ-functions. Duke Math. J., 133(1): 27–57, 05,
(2006).
[Gro85] Michel Gros: Classes de Chern et classes de cycles en cohomologie de de Rham–Witt logarithmique. Mém. Soc. Math. France
2e série, 21: 1–87, (1985).
[HJ14] Annette Huber and Clemens Jörder : Differential forms in the h-topology, Algebr. Geom. 1, no. 4: 449–478, (2014).
[HKK15] Annette Huber, Stefan Kebekus and Shane Kelly: Differential forms in positive characteristic avoiding resolution of
sngularities. to appear (2017).
[Ill79] Luc Illusie: Complexe de de Rham–Witt et cohomologie cristalline. Ann. Sci. de l’E.N.S. 4e série, tome 12, no 4: 501–661,
(1979).
[Kol97] János Kollár: Quotient spaces modulo algebraic groups. Ann. of math. (2), 145(1): 33–79, (1997).
[SP] The Stacks Project Authors: Stacks Project.
[SV96] Andrei Suslin and Vladimir Voevodsky: Singular homology of abstractalgebraic varieties. Invent. Math., 123(1): 61–94,
(1996).
[Voe96] Vladimir Voevodsky: Homology of schemes. Selecta Math. (N.S.), 2(1): 111–153, (1996).

14

