1. Introduction
1.1 Overview
A Lefschetz hyperplane theorem asserts, roughly speaking, that the cohomology groups of a projective variety and one of its hyperplane sections agree in small degrees. There are many such results, e.g. for the Picard group [Reference GrothendieckSGA2, Exp. XII, Corollary 3.6], coherent cohomology [Reference Dieudonné and GrothendieckEGA, III$_{1}$, Theorem 1.3.1], and étale cohomology [Reference Artin, Grothendieck and VerdierSGA4, Exp. XIV, Corollary 3.3]. Our main result is a Lefschetz hyperplane theorem with coefficients in a finite commutative group scheme over a field.
Theorem 1.1.1 (Theorem 3.3.5)
Let $k$ be a field, let
$Y$ be a projective syntomic
$k$-scheme of pure dimension
$N\geqslant d+1$, let
$X\hookrightarrow Y$ be a closed syntomic subscheme, and let
$G$ be a finite commutative
$k$-group scheme. Then the cone
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU1.png?pub-status=live)
lies in $D^{\geqslant d}(\mathbf {Z})$ if:
(i)
$Y = {\bf P}^N_k$ and
$X$ is a global complete intersection of dimension
$d$; or
(ii)
$X\subset Y$ is a strongly ample Cartier divisor (see Definition 2.3.5).
The definition of strongly ample is somewhat technical, but ample Cartier divisors are automatically strongly ample in the following two situations (see Theorem 2.2.3):
(i)
$Y$ is smooth and the characteristic of
$k$ is
$0$;
(ii)
$Y$ is smooth and the characteristic of
$k$ is
$\geqslant d + 1$ and
$Y$ lifts to
$W_2(\overline {k})$.
Moreover, Remark 2.3.6 shows that if $\mathcal {L}$ is an ample line bundle on
$Y$ and either
$Y$ has isolated singularities or
$Y$ is a complete intersection inside a smooth projective variety, then for
$n \gg 0$, any divisor defining
$\mathcal {L}^n$ is strongly ample.
Remark 1.1.2 Example 3.3.6 shows that Theorem 1.1.1 may fail for ample (but not strongly ample) divisors $X\subset Y$. Example 3.3.7 shows that Theorem 1.1.1 may also fail for finite flat commutative
$Y$-group schemes that are not defined over
$k$. The assumption of syntomicity is similar to the assumptions on the Lefschetz theorems proved in [Reference GrothendieckSGA2, Exp. XII, Corollary 3.6].
We expect that there is a version of Theorem 1.1.1 for non-commutative finite $k$-group schemes, but we have not proved it.
Question 1.1.3 Let $X\subset {\bf P}^N_k$ be a complete intersection of dimension at least
$2$, and let
$G$ be a finite (not necessarily commutative)
$k$-group scheme. Is the natural morphism
${\rm H}^1({\bf P}^N_k, G) \to {\rm H}^1(X, G)$ a bijection? The same question may be asked for
$X \subset Y$ a strongly ample Cartier divisor in a projective syntomic
$k$-scheme
$Y$ (possibly with a different definition of ‘strongly ample’).
Remark 1.1.4 If both $X$ and
$Y$ are smooth connected projective
$k$-schemes, and the ground field
$k$ is algebraically closed, then Question 1.1.3 has a positive answer. This follows from the Lefschetz-type result for Nori's fundamental group
$\pi _1^{{\rm N}}(X, x)$ (see [Reference Biswas and HollaBH07, Theorem 1.1]) and the observation that
${\rm H}^1(X, G) = {\rm Hom}_{k\text {-gp}}(\pi _1^{{\rm N}}(X, x), G)$ for any finite
$k$-group scheme
$G$ (see [Reference NoriNor82, Proposition 3.11]).
By dévissage, Theorem 1.1.1 is reduced to the cases $G = \mu _\ell,\ \alpha _p,\ \mu _p,$ and
$\mathbf {Z}/p$, where
$\ell$ is a prime number different from
$p=\operatorname {char} k$. The cases of
$\alpha _p$ and
$\mathbf {Z}/p$ are reduced to questions of coherent cohomology using standard exact sequences. For
$\ell \neq p$, the case of
$\mu _\ell$ is settled using results in the theory of perverse sheaves.
The case of $\mu _p$ will give us the most difficulty. Here we will find it convenient to pivot to proving a Lefschetz hyperplane theorem for the syntomic cohomology of the Tate twists
$\mathbf {Z}_p(i)$. Using the Nygaard filtration, this will ultimately be reduced to proving a Lefschetz hyperplane theorem for each filtered piece in the conjugate filtration on de Rham cohomology, which has been established in [Reference Antieau, Bhatt and MathewABM21]. In particular, we get a Lefschetz hyperplane theorem for the syntomic cohomology of the Tate twists
$\mathbf {Z}_p(i)$ defined in [Reference Bhatt, Morrow and ScholzeBMS19] (see also § 1.2).
Theorem 1.1.5 (Theorem 3.1.1)
Let $k$ be a perfect field of characteristic
$p>0$, let
$Y$ be a projective syntomic
$k$-scheme of pure dimension
$N\geqslant d+1$, let
$X\hookrightarrow Y$ be a closed syntomic subscheme, and let
$i \geqslant 0$. Then the cone
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU2.png?pub-status=live)
lies in $D^{\geqslant d}(\mathbf {Z}_p)$ with
${\rm H}^d(C)$ torsion-free if:
(i)
$Y = {\bf P}^N_k$ and
$X$ is a global complete intersection of dimension
$d$; or
(ii)
$X\subset Y$ is a strongly ample Cartier divisor (see Definition 2.3.5).
As a consequence of Theorem 1.1.1, we prove a Lefschetz hyperplane theorem for the Picard schemes of projective syntomic $k$-schemes.
Theorem 1.1.6 (Theorem 3.4.4)
Let $k$ be a field, let
$Y$ be a projective syntomic
$k$-scheme of pure dimension
$d$, and let
$X \subset Y$ be a strongly ample Cartier divisor. If
$d \geqslant 3$, then
$\mathbf {Pic}^\tau _{Y/k} \to \mathbf {Pic}^\tau _{X/k}$ is an isomorphism.
In Corollary 3.4.5, we combine Theorem 1.1.6 with [Reference GrothendieckSGA2, Exp. XII, Corollary 3.6] to obtain a Lefschetz hyperplane theorem for the full Picard scheme.
Remark 1.1.7 Langer has informed us that an effective version of Theorem 1.1.6 for $\mathbf {Pic}^\tau _{{\rm red}}$ follows from his Lefschetz-type theorem for the
$S$-fundamental group when
$X$ and
$Y$ are smooth (see [Reference LangerLan11, Theorems 10.2 and 10.4]).
Theorem 1.1.6 appears to be new in every dimension, even for smooth $X$ and
$Y$. The main difficulty in deducing it from Theorem 1.1.1 is that the Picard schemes can be highly non-reduced in positive characteristic, so one cannot argue on the level of Picard groups, i.e. on the level of
$k$-points. To overcome this issue, we need to use the structure theory of commutative group schemes over a field to obtain an isomorphism criterion (see Lemma 3.4.3), and to verify the hypotheses of this criterion we need to generalize Theorem 1.1.1 to more general base schemes, at least for
$G=\mu _p$ (see Corollary 3.3.4).
In the case of complete intersections in projective space, we can show that the hypothesis of strong ampleness is not necessary, and we can make a more refined statement, recovering [Reference Česnavičius and ScholzeČS24, Corollary 7.2.3].
Theorem 1.1.8 [Reference Česnavičius and ScholzeČS24, Corollary 7.2.3]
Let $k$ be a field, and
$X \subset {\bf P}^N_k$ be a complete intersection of dimension at least
$2$. Then:
(i)
${\rm Pic}(X)_{{\rm tors}}=0$;
(ii) the class of
$\mathcal {O}_X(1)=i^*\mathcal {O}_{{\bf P}^N}(1)$ is a non-divisible element of
${\rm Pic}(X)$;
(iii) the group scheme
${\bf Pic}^\tau _{X/k}$ is trivial.
If $\dim X \geqslant 3$, then Theorem 1.1.8 was essentially settled by Grothendieck in [Reference GrothendieckSGA2, Exp. XII, Corollary 3.6]. If
$\dim X \geqslant 2$ and
$X$ is smooth, then this was settled by Deligne in [Reference Deligne and KatzSGA7, Exp. XI, Theorem 1.8]. A version for weighted complete intersection surfaces with certain limited singularities can be found in [Reference LangLan84, § 1]. The general case was established in [Reference Česnavičius and ScholzeČS24, Corollary 7.2.3]. However, Theorem 1.1.6 does not seem to follow from their methods. When we started writing this paper, we were not aware that Theorem 1.1.8 was proven in [Reference Česnavičius and ScholzeČS24].
Both proofs of Theorem 1.1.8 share a similar idea of using prismatic techniques to reduce the study of flat cohomology of $\mu _p$ to studying the cohomology of certain coherent sheaves. However, the details of the proofs seem to be fairly different. Our proof is global and is based on the Lefschetz hyperplane theorem from [Reference Antieau, Bhatt and MathewABM21], while the proof in [Reference Česnavičius and ScholzeČS24] is local; in their argument they relate the Picard group of
$X$ to the local Picard group of the vertex
$x$ of the affine cone over
$X$, and then use local techniques to study that Picard group. Namely, if
$R$ is the local ring of
$x$,
${\rm Pic}(X)/\mathbf {Z}[\mathcal {O}_X(1)]$ injects into
${\rm Pic}(\operatorname {Spec} R \smallsetminus \{x\})$, and this is good enough to prove Theorem 1.1.8. However, the failure of the map
${\rm Pic}(X)/\mathbf {Z}[\mathcal {O}_X(1)] \to {\rm Pic}(\operatorname {Spec} R \smallsetminus \{x\})$ to be surjective is the main reason why their methods do not seem to be sufficient to obtain a proof of Theorem 1.1.6. Both proofs treat all syntomic singularities uniformly in arbitrary dimension.
1.2 Terminology
For a fixed prime $p$ and an object
$M\in D(A)$, the derived quotient
$[M/p]$ is the cone of the multiplication by
$p$ map
$M \xrightarrow {p} M$.
For a field $k$ and a
$k$-scheme
$X$ (not necessarily of finite type), we denote the derived de Rham cohomology by
${\rm R}\Gamma _{{\rm dR}}(X/k)={\rm R}\Gamma (X, {\rm dR}_{X/k})$; see [Reference IllusieIll71, § VIII.2] or [Reference BhattBha12, § 2] for more details. We note that [Reference BhattBha12, Corollary 3.10] implies that
${\rm R}\Gamma _{{\rm dR}}(X/k) \simeq {\rm R}\Gamma (X, \Omega ^\bullet _{X/k})$ if
$X$ is smooth over a perfect field
$k$ of characteristic
$p>0$. However, these two complexes are usually different if
$X$ is singular (or
$k$ is of characteristic
$0$).
If $k$ is a perfect field of characteristic
$p>0$ and
$X$ is a
$k$-scheme, we denote the (underived) crystalline cohomology by
${\rm R}\Gamma _{{\rm crys}}(X/W(k))$. We refer to [Reference Berthelot and OgusBO78, § 5] and [Sta21, Tag 07GI] for more details (see also [Reference Bhatt and LurieBL22, Construction F.2]).
For an ${\bf F}_p$-scheme
$X$ and an integer
$i$, we define the syntomic complex
${\rm R}\Gamma _{\rm syn}(X, \mathbf {Z}_p(i))\in D(\mathbf {Z}_p)$ as in [Reference Bhatt and LurieBL22, Variant 7.4.12].
2. Hodge
$d$-equivalences and Kodaira pairs
In this section, we recall the notion of Hodge $d$-equivalences and Kodaira pairs from [Reference Antieau, Bhatt and MathewABM21, § 5]. We further give some interesting examples that will be important for the rest of the paper.
For the rest of the section, we fix a field $k$.
2.1 Syntomic morphisms
The main goal of this section is to recall the definition of syntomic morphisms and discuss some of its basic properties that do not seem to be explicitly stated in the literature. All results of this section are certainly well-known to the experts.
Definition 2.1.1 [Sta21, Tag 00SL] A morphism of schemes $f\colon X \to Y$ is syntomic if
$f$ is flat, of finite presentation, and all fibers are local complete intersections in the sense of [Sta21, Tag 00S9].
The next lemma provides the main source of examples of syntomic morphisms which we use.
Lemma 2.1.3 Let $A$ be a ring and let
$G$ be a flat, finitely presented
$A$-group scheme. Then
$G$ is
$A$-syntomic.
Proof. This follows directly from [Sta21, Tag 00SJ] and [Reference Gille and PoloSGA3, Exp. VII$_{{\rm B}}$, Corollary 5.5.1].
Lemma 2.1.4 A morphism $f\colon A \to B$ is syntomic if and only if it is flat, finitely presented, and
$L_{B/A}\in D(B)$ has Tor amplitude in
$[-1, 0]$.
Proof. If $f$ is syntomic, it is a locally complete intersection morphism by [Sta21, Tag 069K]. Then
$L_{B/A}$ has Tor amplitude in
$[-1, 0]$ by [Sta21, Tag 08SL].
Now we assume that $f$ is flat, finitely presented, and
$L_{B/A}$ has Tor amplitude in
$[-1, 0]$. We want to conclude that the fibers of
$f$ are complete intersections. First, a standard limit argument using [Sta21, Tag 08QQ] and [Reference QuillenQui70, Proposition 4.12] shows that
$L_{B/A}\in D(B)$ is pseudo-coherent. In this case, [Sta21, Tag 068V] and [Sta21, Tag 08QQ] ensure that it suffices to prove the claim when
$A=k$ is a field. Then the result follows from [Reference AvramovAvr99, (1.2) Second Vanishing Theorem].
Remark 2.1.5 Lemma 2.1.4 guarantees that Definition 2.1.1 coincides with the definition of syntomic morphisms given in [Reference Antieau, Bhatt and MathewABM21, Notation 2.1]. In particular, all results of their paper are applicable with the definition of a syntomic morphism that we use.
Corollary 2.1.6 Let $k$ be a field of characteristic
$p>0$, and let
$R$ be a syntomic
$k$-algebra. Then
$R$ is quasisyntomic in the sense of [Reference Bhatt and LurieBL22, Definition C.6 and Ex. C.11].
Proof. First, [Reference Bhatt and LurieBL22, Ex. C.11] implies that it suffices to show that the map $L_{R/{\bf F}_p}$ is concentrated in degrees
$[-1, 0]$. Using the fundamental exact triangle of cotangent complexes (see [Sta21, Tag 08QX]) and Lemma 2.1.4, it suffices to show that
$L_{k/{\bf F}_p}$ is concentrated in degree
$0$. Since any field extension
${\bf F}_p\subset k$ is a filtered colimit of smooth
${\bf F}_p$-algebras, the result follows from [Sta21, Tag 08R5] and [Sta21, Tag 08S9].
2.2 Hodge
$d$-equivalences
We begin with a definition.
Definition 2.2.1 [Reference Antieau, Bhatt and MathewABM21, Definition 5.1]
A morphism of syntomic $k$-schemes
$f\colon X \to Y$ is a Hodge
$d$-equivalence if, for every
$s\geqslant 0$, we have that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU3.png?pub-status=live)
Roughly, Definition 2.2.1 is a formal way to say that a morphism $f$ satisfies the conclusion of the Lefschetz hyperplane theorem for Hodge cohomology groups.
The notion of Hodge $d$-equivalence will play a crucial role in our proof of Lefschetz-type results. In fact, our strategy for proving Theorem 1.1.1 for
$G = \mu _p$ is to reduce to the analogous statement for Hodge cohomology, which follows from the results of [Reference Antieau, Bhatt and MathewABM21] on Hodge
$d$-equivalences.
To proceed, it is important to have a good supply of interesting Hodge $d$-equivalences, and we begin by providing some examples. In the next section, we will provide more examples after reviewing the related notion of Kodaira pairs from [Reference Antieau, Bhatt and MathewABM21].
Definition 2.2.2 We say that a finite type $k$-scheme
$X$ lifts to
$W_2(\overline {k})$ if there is a flat, finite type
$W_2(\overline {k})$-scheme
$\widetilde {X}$ with an isomorphism of
$\overline {k}$-schemes
$\widetilde {X}_{\overline {k}} \simeq X_{\overline {k}}$.
Theorem 2.2.3 Let $i\colon X \hookrightarrow Y$ be a closed immersion of syntomic projective
$k$-schemes.
(i) If
$Y = {\bf P}^N_k$ and
$X \subset Y$ is a
$d$-dimensional (global) complete intersection over
$k$, then
$i$ is a Hodge
$d$-equivalence.
(ii) If
$k$ is a field of characteristic
$0$, the
$k$-scheme
$Y$ is smooth projective of pure dimension
$d+1$, and
$X\subset Y$ is an ample Cartier divisor, then
$i$ is a Hodge
$d$-equivalence.
(iii) If
$k$ is a field of characteristic
$p>0$, the
$k$-scheme
$Y$ is smooth projective of pure dimension
$d+1$ and lifts to
$W_2(\overline {k})$, and
$X\subset Y$ is an ample Cartier divisor, then
$i$ is a Hodge
$({\rm inf}(p, d+1)-1)$-equivalence.
Proof. The first claim is [Reference Antieau, Bhatt and MathewABM21, Proposition 5.3], and the second follows from [Reference Antieau, Bhatt and MathewABM21, Ex. 5.6] and [Reference Antieau, Bhatt and MathewABM21, Proposition 5.7]. Using [Reference Deligne and IllusieDI87, Corollary 2.8], the proof of the third claim is very similar to that of [Reference Antieau, Bhatt and MathewABM21, Proposition 5.7], but we spell out the details at the referee's request.
First, we can assume that $k=\overline {k}$ is algebraically closed. Let
$n = {\rm inf}(p, d+1)$, and denote the ample line bundle
$\mathcal {O}_Y(X)$ simply by
$\mathcal {O}_Y(1)$. Then [Reference Deligne and IllusieDI87, Corollary 2.8] implies that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn1.png?pub-status=live)
for any $s\geqslant 0$ and all
$r>0$. To finish the proof, it suffices to show the following claim.
Claim For all $r, s\geqslant 0$, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn2.png?pub-status=live)
We prove the claim by induction on $s$.
Base of induction: $s=0$. In this case, we have a short exact sequence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn3.png?pub-status=live)
Therefore, (2.1) implies that $C_{0, r} \simeq {\rm R}\Gamma (Y, \mathcal {O}_Y(-r-1))[1] \in D^{\geqslant n-1}(k)$.
Inductive step. We fix an integer $s>0$ and assume that the claim is verified for
$s-1$ and all
$r> 0$. We first note that the claim for
$s-1$ and (2.1) imply that, for
$r>0$,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn4.png?pub-status=live)
For $r\geqslant 0$, we write the map
${\rm R}\Gamma (Y, \Omega ^s_{Y/k}(-r)) \to {\rm R}\Gamma (X, \wedge ^s L_{X/k}(-r))$ as the composition
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU4.png?pub-status=live)
It suffices to see that the cones of $f_s$ and
$g_s$ lie in
$D^{\geqslant n-s-1}(k)$. Note (2.3) implies that the cone of
$f_s$ can be identified with
${\rm R}\Gamma (Y, \Omega ^s_{Y/k}(-r-1))[1]$. This complex lies in
$D^{\geqslant n-s-1}(k)$ due to (2.1). This finishes the proof for
$f_s$.
For the second map $g_s$, we note that the fundamental triangle of cotangent complexes (see [Reference IllusieIll71, (2.1.5.6) on p. 138]) and the computation
$L_{X/Y} \simeq \mathcal {O}_X(-1)[1]$ (see [Reference IllusieIll71, Chapter III, Corollary 3.2.7]) imply that we have a distinguished triangle
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU5.png?pub-status=live)
This allows us to regard $i^*\Omega ^1_{Y/k}$ as a (two-term) filtered object in
$D(X)$. Passing to wedge powers, we obtain a filtration on
$i^*\Omega ^s_{Y/k}$ (see [Reference IllusieIll71, Chapter V, Proposition 4.2.5 and (4.2.7)]). Since
$\mathcal {O}_X(-1)$ is a line bundle, this filtration degenerates to a distinguished triangle
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU6.png?pub-status=live)
By twisting and taking derived global sections, we get the following distinguished triangle:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU7.png?pub-status=live)
Therefore, the claim follows from (2.4), which implies that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU8.png?pub-status=live)
□
2.3 Kodaira pairs
In this subsection, we recall the definition of Kodaira pairs and use them discuss some other examples of Hodge $d$-equivalences which will be important for us.
Definition 2.3.1 [Reference Antieau, Bhatt and MathewABM21, Definition 5.5]
A Kodaira pair is a $d$-dimensional
$k$-scheme
$Y$ and an ample line bundle
$\mathcal {L}$ such that
${\rm R}\Gamma (Y, \wedge ^s L_{Y/k} \otimes \mathcal {L}^{-r})\in D^{\geqslant d-s}(k)$ for all
$s\geqslant 0$ and all
$r>0$.
The main point of Definition 2.3.1 is that, if $(Y, \mathcal {L})$ is a Kodaira pair, then [Reference Antieau, Bhatt and MathewABM21, Proposition 5.7] ensures that any section
$s\in \mathcal {L}(Y)$ defines a Hodge
$(d-1)$-equivalence
$H\,{=}\,{\rm V}_Y(s) \,{\hookrightarrow}\, Y$.
The main goal of this section is to construct enough ‘asymptotic’ examples of Kodaira pairs. For this, we will need a version of Fujita's vanishing theorem for nef bundles. We recall that a vector bundle $\mathcal {E}$ on a projective
$k$-scheme
$X$ is nef if the tautological bundle
$\mathcal {O}_{{\bf P}_X(\mathcal {E})/X}(1)$ is a nef line bundle on
${\bf P}_X(\mathcal {E})$ (see [Reference LazarsfeldLaz04a, Definition 1.4.1] and [Reference LazarsfeldLaz04b, Definition 6.1.1]).
Lemma 2.3.2 Let $X$ be a projective
$k$-scheme,
$\mathcal {F}$ a finite rank vector bundle on
$X$,
$\mathcal {E}$ a nef vector bundle on
$X$, and
$\mathcal {L}$ an ample line bundle on
$X$. Then there is an integer
$n_0\geqslant 0$ such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU9.png?pub-status=live)
for $i>0$,
$a, b\geqslant n_0$.
Proof. We consider the morphism $p\colon P:= {\bf P}_X(\mathcal {E}) \to X$ with antitautological bundle
$\mathcal {O}_P(1)$. Since
$\mathcal {E}$ is nef, the line bundle
$\mathcal {O}_P(1)$ is also nef, so [Reference LazarsfeldLaz04a, Ex. 1.4.4(i)] and the fact that tensor products of nef line bundles are nef ensure that
$\mathcal {O}_P(n) \otimes p^*\mathcal {L}^{\otimes n'}$ is nef for any integers
$n,n'\geqslant 0$. Furthermore, [Sta21, Tag 0892] guarantees that there is an integer
$k>0$ such that
$\mathcal {O}_P(1)\otimes p^*\mathcal {L}^{\otimes \ell }$ is ample for all
$\ell \geqslant k$. Therefore, Fujita's vanishing theorem (see [Reference FujitaFuj83, § 5, Theorem] or [Reference KeelerKee03, Theorem 1.5] and [Reference KeelerKee18]) implies that there is a constant
$m_0\geqslant 0$ such that
${\rm H}^i(P, p^*(\mathcal {F}\otimes \mathcal {L}^{\otimes b}) \otimes \mathcal {O}_P(a))=0$ for
$a\geqslant m_0$,
$b\geqslant km_0$, and
$i>0$. Now the projection formula and Serre's computation (see [Sta21, Tag 01E8] and [Sta21, Tag 01XX]) imply that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU10.png?pub-status=live)
Therefore, we conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU11.png?pub-status=live)
for $a\geqslant m_0$,
$b\geqslant km_0$. This gives the desired vanishing by setting
$n_0=km_0$.
The following lemma gives an important source of examples of Kodaira pairs.
Lemma 2.3.3 Let $Y$ be a smooth projective
$k$-scheme of dimension
$N$, let
$X$ be a syntomic
$k$-scheme of pure dimension
$d$, and let
$\iota \colon X \to Y$ be a closed immersion of
$k$-schemes. Let
$\mathcal {I}_X$ be the ideal sheaf of
$X$ in
$Y$, and
$\mathcal {L}$ an ample line bundle on
$X$. If the normal bundle
$\mathcal {N}:= \mathcal {N}_{X/Y}=(\mathcal {I}_X/\mathcal {I}_X^2)^{\vee }$ is nef, then there is an integer
$r$ such that
$(X, \mathcal {L}^n)$ is a Kodaira pair for any
$n\geqslant r$.
In the proof below, we always use the notation $\operatorname {Sym}^n, \wedge ^n, \Gamma ^n$, and
$(-)^{\vee }={\rm R}\underline {\mathcal {H}om}_X(-, \mathcal {O}_X)$ in the derived sense (see [Reference IllusieIll71, Chapter V, § 4] or [Reference LurieLur18, § 25.2] for the construction and basic properties of these functors). These functors coincide with their naive analogues when applied to vector bundles. We recall that, by definition, if
$\mathcal {E}$ is a vector bundle in degree
$0$, then
$\Gamma ^n(\mathcal {E}) := (\mathcal {E}^{\otimes n})^{\Sigma _n}$.
Proof. First, we note that [Sta21, Tag 0DWA] implies that $X$ is a Gorenstein scheme. Therefore, [Sta21, Tag 0FVV] and [Sta21, Tag 0BFQ] imply that there is a line bundle
$\omega _X$ such that the dualizing complex
$\omega ^\bullet _X$ is isomorphic to
$\omega _X[d]$. Thus, Grothendieck duality (see [Sta21, Tag 0B6I]) and perfectness of
$\wedge ^s L_{X/k}$ imply that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU12.png?pub-status=live)
for all $s$ and
$n$. Therefore, it suffices to show that there is an integer
$r$ such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn5.png?pub-status=live)
for any $s\geqslant 0$ and
$n\geqslant r$.
Note that [Reference IllusieIll71, Chapter III, Corollary 3.2.7] implies that there is an isomorphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU13.png?pub-status=live)
where $\Omega ^1_{Y/k}|_X$ is in degree
$0$. Therefore, this allows us to regard
$L_{X/k}$ as a (two-term) filtered object in
$D(X)$ with associated graded pieces
${\rm gr}^0 L_{X/k}= \mathcal {I}_X/\mathcal {I}_X^2[1] =\mathcal {N}^{\vee }[1]$ and
${\rm gr}^1 L_{X/k}= \Omega ^1_{Y/k}|_{X}$.
Now [Reference IllusieIll71, Chapter V, Proposition 4.2.5 and (4.2.7)] implies that $\wedge ^s L_{X/k}$ admits a finite decreasing filtration with associated graded pieces gives by
${\rm gr}^i\wedge ^s L_{X/k} \simeq \wedge ^{s-i}(\mathcal {N}^{\vee }[1]) \otimes ^L \wedge ^i(\Omega ^1_{Y/k}|_X)$ for
$i=0, \ldots, s$. For brevity, we denote
$\wedge ^i(\Omega ^1_{Y/k}|_X)$ by
$\mathcal {G}_i$.
Now we use [Reference LurieLur18, Remark 25.2.2.4, Proposition 25.2.4.2] to write $\wedge ^j(\mathcal {N}^{\vee }[1]) \simeq \Gamma ^j(\mathcal {N}^{\vee })[j] \simeq \operatorname {Sym}^j(\mathcal {N})^{\vee }[j]$. Passing to duals, we get a finite (increasing) filtration on
$(\wedge ^s L_{X/k})^\vee$ with associated graded pieces
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn6.png?pub-status=live)
for $i=0, \ldots, s$. Combining (2.5) and (2.6), we conclude that it suffices to find an integer
$r\geqslant 0$ such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn7.png?pub-status=live)
for any $s\geqslant 0$,
$0 \leqslant i \leqslant s$, and
$n\geqslant r$. For this, we apply Lemma 2.3.2 to the vector bundles
$\mathcal {F}_j:= \omega _X \otimes \mathcal {G}_{j}^\vee$, the nef vector bundle
$\mathcal {N}$, and the ample line bundle
$\mathcal {L}$ to find
$r_0, \dots, r_N$ such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn8.png?pub-status=live)
for any $0 \leqslant j \leqslant N$ and
$a,b \geqslant r_i$. We set
$r':= {\rm max}(r_0, \dots, r_N)$. Serre vanishing [Sta21, Tag 0B5U] ensures that, for
$0 \leqslant j \leqslant N$ and
$0 \leqslant t \leqslant r'-1$, we can find an integer
$r_{i, j}$ such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn9.png?pub-status=live)
for $n\geqslant r_{i, j}$. Using (2.8), (2.9), and the fact that
$\mathcal {G}_{s-i}^\vee =0$ for
$s-i>N$, we see that
$r={\rm max}(r', r_{i, j})$ does the job.
Now we are ready to give more examples of Hodge $d$-equivalences.
Corollary 2.3.4 Let $\iota \colon X \to Y$ be a closed immersion as in Lemma 2.3.3, and let
$\mathcal {L}$ be an ample line bundle on
$X$. Then there is an integer
$n_0$ such that for all
$n\geqslant n_0$ and any effective Cartier divisor
$X\subset Y$ defined by a section of
$\mathcal {L}^n$, the morphism
$X \to Y$ is a Hodge
$d$-equivalence in either of the following two cases:
(i)
$X$ has isolated singularities and
$Y={\bf P}^N_k$;
(ii)
$Y$ has pure dimension
$N$, and there is a nef rank
$N-d$ vector bundle
$\mathcal {E}$ on
$Y$ with a section
$s\in \Gamma (Y, \mathcal {E})$ such that
$X={\rm V}_Y(s)$.
Proof. Lemma 2.3.3 and [Reference Antieau, Bhatt and MathewABM21, Proposition 5.7] ensure that it suffices to show that the normal bundle $\mathcal {N}_{X/Y}=(\mathcal {I}_X/\mathcal {I}_X^2)^{\vee }$ is nef in either of these two cases. In the first case, this follows directly from [Reference Bhatt, Blickle, Lyubeznik, Singh and ZhangBBLSZ19, Theorem 2.16] and the observation that ample vector bundles are nef.
In the second case, we consider the Koszul complex ${\rm Kos}(\mathcal {E}^\vee ; s)$ associated to the morphism
$s\colon \mathcal {E}^\vee \to \mathcal {O}_Y$ (see [Sta21, Tag 062K] and [Reference FultonFul98, Appendix A.5]). By construction,
$\mathcal {H}^0({\rm Kos}(\mathcal {E}^\vee ; s)) \simeq \mathcal {O}_Y/\mathcal {I}_X$. Furthermore, [Sta21, Tag 02JN] and [Sta21, Tag 063I] imply that
$\mathcal {H}^i({\rm Kos}(\mathcal {E}^\vee ; s))=0$ for
$i > 0$, so
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU14.png?pub-status=live)
is a finite resolution of $\mathcal {I}_X$ by vector bundles. Since all differentials in
${\rm Kos}(\mathcal {E}^\vee ; s)$ vanish on
$X$, we conclude that
$\mathcal {I}_X/\mathcal {I}_X^2 \simeq \mathcal {E}^\vee |_X$. Therefore,
$\mathcal {N}_{X/Y}=\mathcal {E}|_X$ is nef by [Reference LazarsfeldLaz04b, Proposition 6.1.2(ii)].
Corollary 2.3.4 motivates the following definition.
Definition 2.3.5 An effective Cartier divisor $D\subset X$ in a projective
$k$-scheme of pure dimension
$d+1$ is strongly ample if
$D \to X$ is a Hodge
$d$-equivalence and
$X \smallsetminus D$ is an affine subscheme.
Remark 2.3.6 Corollary 2.3.4 implies that an effective divisor $D\subset X$ defined by a sufficiently high power of an ample line bundle is strongly ample provided that
$X$ has isolated singularities, or can be realized as a ‘complete intersection’ inside a smooth projective variety. We do not know whether an analogous statement holds for an arbitrary projective syntomic
$k$-scheme
$X$.
Remark 2.3.7 Theorem 2.2.3 implies that any ample Cartier divisor in a smooth projective variety $Y$ is strongly ample in either of the following situations:
(i) the ground field
$k$ is of characteristic
$0$;
(ii) the ground field
$k$ is of characteristic
$p>0$,
$\dim Y\leqslant p$, and
$Y$ admits a lift over
$W_2(\overline {k})$.
3. Lefschetz hyperplane theorem for flat cohomology
3.1
${\bf Z}_p(i)$ and
$\mu _p$ coefficients
In this section, we prove the Lefschetz hyperplane theorem for $\mu _p$-cohomology groups for Hodge
$d$-equivalences over a perfect field. More generally, we show it for
${\bf Z}_p(i)$-cohomology groups for all
$i\geqslant 0$.
For the rest of the section, we fix a perfect field $k$ of characteristic
$p>0$.
Theorem 3.1.1 Let $X \to Y$ be a Hodge
$d$-equivalence of syntomic
$k$-schemes. For
$i\geqslant 0$, the cone
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU15.png?pub-status=live)
lies in $D^{\geqslant d}({\bf Z}_p)$ and
${\rm H}^d(C)$ is torsion-free.
We will give a proof shortly, but before doing so we discuss its main application for our purposes.
Corollary 3.1.2 Let $X \to Y$ be a Hodge
$d$-equivalence of syntomic
$k$-schemes. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU16.png?pub-status=live)
Proof. We note that [Reference Bhatt and LurieBL22, Proposition 7.5.6] and [Reference GrothendieckGro68, Theorem 11.7] imply that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU17.png?pub-status=live)
and similarly for $X$. Combining these observations with Theorem 3.1.1, we conclude.
Now we turn to the proof of Theorem 3.1.1. The main idea of the proof is to deduce it through a series of reductions from the definition of Hodge $d$-equivalences.
For a syntomic $k$-scheme
$X$, we refer to Corollary 2.1.6, [Reference Bhatt and LurieBL22, Warning 4.6.2 and Proposition 5.1.1]Footnote 1 for the definition of the Nygaard filtration
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU18.png?pub-status=live)
Lemma 3.1.3 Let $X \subset Y$ be a Hodge
$d$-equivalence of syntomic
$k$-schemes. For
$i\geqslant 0$, the cone
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU19.png?pub-status=live)
lies in $D^{\geqslant d}({\bf Z}_p)$ and
${\rm H}^d(C)$ is torsion-free.
Proof. We argue by induction on $i\geqslant 0$. The case of
$i=0$ is clear from [Reference Antieau, Bhatt and MathewABM21, Remark 5.2] since
${\rm Fil}_{\rm N}^0 {\rm R}\Gamma _{{\rm crys}}(X/W(k))\simeq {\rm R}\Gamma _{{\rm crys}}(X/W(k))$ and the same applies to
$Y$.
Now fix $i \geqslant 0$ and suppose we know the claim for
$i$. The global version of [Reference Bhatt and LurieBL22, Remark 5.1.2] and the de Rham comparison theorem (see [Reference Bhatt and LurieBL22, Proposition 5.2.5]) implyFootnote 2 that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU20.png?pub-status=live)
where ${\rm dR}_{X/k}$ is the derived de Rham complex of
$X$ and
$F\colon W(k) \to W(k)$ is the Frobenius morphism. Since the Frobenius morphism
$F$ is an isomorphism and
$\mathbf {Z}_p$-linear, we can choose a
$\mathbf {Z}_p$-linear isomorphism
$(F^*)^{-1} {\rm R}\Gamma (X, {\rm dR}_{X/k}) \simeq {\rm R}\Gamma (X, {\rm dR}_{X/k})$. Therefore, we have the following commutative diagram of exact triangles in
$D(\mathbf {Z}_p)$:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU21.png?pub-status=live)
where ${\rm Fil}^\bullet _{{\rm conj}}{\rm R}\Gamma _{{\rm dR}}(X/k)$ is the conjugate filtration on the derived de Rham complex of
$X$ (and similarly for
$Y$). Denote by
$C$,
$C'$, and
$C''$ cones of the left, middle, and right vertical maps, respectively. Now [Reference Antieau, Bhatt and MathewABM21, Remark 5.2] shows that
$C'' \in D^{\geqslant d}(\mathbf {Z}_p)$ and the induction hypothesis gives that
$C'\in D^{\geqslant d}(\mathbf {Z}_p)$ with
${\rm H}^d(C')$ torsion-free. This formally implies that
$C\in D^{\geqslant d}(\mathbf {Z}_p)$ and that
${\rm H}^d(C)$ is torsion-free.
Now we are ready to prove Theorem 3.1.1.
Proof Proof of Theorem 3.1.1
We note that [Reference Bhatt and LurieBL22, Theorem 5.6.2 and Var. 7.4.12] imply that we have the following commutative diagram of exact triangles:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU22.png?pub-status=live)
Now, as in the proof of Lemma 3.1.3, we see that it suffices to prove the claim for each ${\rm Fil}_{\rm N}^i{\rm R}\Gamma _{{\rm crys}}(-/W(k))$ (including
$i=0$). This follows directly from Lemma 3.1.3.
3.2
$\mu _\ell$ coefficients
In this section, we give a proof of the Lefschetz hyperplane theorem for $\mu _\ell$ coefficients. The proof is probably well-known to the experts, but it seems hard to extract from the literature. The main difficulty is that we do not require the ambient space
$Y$ to be smooth, but only syntomic (see also [Reference Poonen and VolochPV04, Appendix B] for the case of a smooth ambient space
$Y$).
For the rest of the section, we fix a separably closed field $k$ (possibly of characteristic
$0$) and a prime number
$\ell$ not equal to the characteristic of
$k$.
We recall that there is a well-behaved theory of perverse ${\bf F}_\ell$-sheaves on finite type
$k$-schemes; see [Reference Beilinson, Bernstein and DeligneBBD82, Intro to Chapter 4] or [Reference Bhatt and HansenBH22, § 4]Footnote 3 for a more detailed discussion. We only mention two main results that we will need in this section.
Lemma 3.2.1 Let $X$ a finite type
$k$-scheme of pure dimension
$d$. Then:
(i) the sheaf
$\underline {{\bf F}}_\ell [d]$ is a perverse sheaf on
$X$ if
$X$ is
$k$-syntomic;
(ii) for a perverse
${\bf F}_\ell$-sheaf
$\mathcal {L}$, the complex
${\rm R}\Gamma _c(X_{\acute {{\rm e}}{\rm t}}, \mathcal {L})$ lies in
$D^{\geqslant 0}({\bf F}_\ell )$ if
$X$ is affine.
Proof. The first claim is [Reference IllusieIll03, Corolary 1.4]; the second is [Reference IllusieIll03, Theorem 2.4] or [Reference Beilinson, Bernstein and DeligneBBD82, Theorem 4.1.1].
For our next result, we drop the assumption that $k$ is separably closed.
Theorem 3.2.2 Let $k$ be a field, let
$Y$ be a syntomic proper
$k$-scheme of pure dimension
$d+1$, let
$X\subset Y$ be a Cartier divisor such that
$Y\smallsetminus X$ is affine (e.g.
$X$ is an ample Cartier divisor), let
$\ell$ be a prime different from
$\operatorname {char} k$, and let
$G$ be a finite
$\ell ^\infty$-torsion
$k$-group scheme. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU23.png?pub-status=live)
Proof. In this proof, we feel freely use that $G$ is étale, and so fppf cohomology with
$G$-coefficients coincide with analogous étale cohomology (see [Reference GrothendieckGro68, Theorem 11.7]).
We first assume that $k$ is separably closed. In this case,
$G$ has a finite filtration with associated graded pieces isomorphism to
$\underline {{\bf F}}_\ell$. This it suffices to prove the claim for
$G=\underline {{\bf F}}_\ell$. In this case, we then denote the complement of
$X$ in
$Y$ by
$U$. Then [Sta21, Tag 0GKP] and properness of
$Y$ imply that we have an exact triangle
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU24.png?pub-status=live)
By Lemma 3.2.1, $\underline {{\bf F}}_\ell [d+1]$ is a perverse sheaf on
$U$. Therefore, the same lemma implies that
${\rm R}\Gamma _c(U_{\acute {{\rm e}}{\rm t}}, \underline {{\bf F}}_\ell ) \in D^{\geqslant d+1}(\mathbf {Z})$, so
$C$ lies in
$D^{\geqslant d}(\mathbf {Z})$.
If $k$ is an arbitrary field, we denote its absolute Galois group by
${\rm Gal}_k$ and note that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU25.png?pub-status=live)
and similarly for $Y$. Thus, the general result follows from the special case
$k = k^{{\rm sep}}$.
3.3 Finite flat commutative group scheme coefficients
In this section, we prove the general version of the Lefschetz hyperplane theorem. The strategy is to reduce the general case to the cases of finite flat group schemes $G=\mu _\ell$,
$\mu _p$,
$\alpha _p$, and
$\mathbf {Z}/p$, and deal with each case separately.
Lemma 3.3.1 Let $k$ be a perfect field of characteristic
$p> 0$, let
$X \to Y$ be a Hodge
$d$-equivalence of syntomic
$k$-schemes, and let
$G$ be a commutative finite flat
$k$-group scheme with a finite filtration
${\rm Fil}^\bullet G$ such that each
${\rm gr}^i G$ is isomorphic to either
$\mu _p$,
$\alpha _p$, or
${\bf Z}/p$. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU26.png?pub-status=live)
Proof. One easily reduces to the case $G=\mu _p$,
$G=\alpha _p$, or
$G={\bf Z}/p$. The first case is simply Corollary 3.1.2. In the second case, one uses the short exact sequence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU27.png?pub-status=live)
to reduce the claim to Definition 2.2.1 with $s=0$. In the last case, one uses the Artin–Schreier sequence to reduce to Definition 2.2.1 again.
Before we extend Lemma 3.3.1 to more general fields and more general group schemes $G$, we need the following preliminary result.
Lemma 3.3.2 Let $X$ be a finite type
$k$-scheme, let
$X_n$ be the base change
$X_{\overline {k}^{\otimes ^n_k}}$, and let
$G$ be a flat finitely presented commutative group
$X$-scheme. Then the natural morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU28.png?pub-status=live)
is an isomorphism.
Proof. For each finite extension $k\subset k'$, denote by
$X_{n, k'}$ the fiber product
$X_{k'^{\otimes ^n_k}}$. The natural map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU29.png?pub-status=live)
is an equivalence for any finite $k\subset k'$ because fppf cohomology satisfies fppf descent. Now [Reference ČesnavičiusČes15, Lemma 2.1] implies that the natural morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU30.png?pub-status=live)
is an equivalence for any $n\geqslant 0$. Thus, the claim follows from the fact that totalization of coconnective cosimplicial objects commute with filtered (homotopy) colimits.
Corollary 3.3.3 Let $k$ be a field of characteristic
$p>0$, let
$X \to Y$ be a Hodge
$d$-equivalence of syntomic
$k$-schemes, and let
$G$ be a finite commutative
$k$-group scheme of
$p$-power order. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU31.png?pub-status=live)
Proof. Let $X_n = X_{\overline {k}^{\otimes ^n_k}}$ (and similarly for
$Y$). We have a commutative diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU32.png?pub-status=live)
whose horizontal arrows are isomorphisms by Lemma 3.3.2. Thus, it suffices to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU33.png?pub-status=live)
lies in $D^{\geqslant d}(\mathbf {Z})$. For each finite extension
$k\subset k'\subset \overline {k}$, we define
$X_{n, k', \overline {k}} = X_{k'^{\otimes ^{n-1}_k} \otimes _k \overline {k}}$ (and we define
$Y_{n, k', \overline {k}}$ similarly). By [Reference ČesnavičiusČes15, Lemma 2.1], it suffices to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU34.png?pub-status=live)
lies in $D^{\geqslant d}(\mathbf {Z})$.
Since syntomic morphisms are closed under pullbacks and compositions, we conclude from Example 2.1.2 that each $X_{n, k', \overline {k}}$ and
$Y_{n, k', \overline {k}}$ is syntomic over
$\overline {k}$ for every finite extension
$k\subset k' \subset \overline {k}$. Likewise, Example 2.1.2 and [Reference Antieau, Bhatt and MathewABM21, Proposition 5.10(1)] imply that
$X_{n, k', \overline {k}} \to Y_{n, k', \overline {k}}$ is a Hodge
$d$-equivalence for every
$k'$. Furthermore, the classification of commutative finite flat
$\overline {k}$-group schemes implies that
$G_{\overline {k}}$ admits a finite filtration such that each associated graded piece is isomorphic to either
$\mu _p$,
$\alpha _p$, or
$\mathbf {Z}/p\mathbf {Z}$. Therefore, Lemma 3.3.1 implies that
$C_{n, k'}$ lives in
$D^{\geqslant d}(\mathbf {Z})$, as desired.
Corollary 3.3.4 Let $k$ be a field of characteristic
$p>0$, let
$X \to Y$ be a Hodge
$d$-equivalence of syntomic
$k$-schemes, and let
$G$ be a finite commutative
$k$-group scheme of
$p$-power order. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU35.png?pub-status=live)
for any syntomic $k$-scheme
$S$.
Proof. The closed embedding $X_S \to Y_S$ is a Hodge
$d$-equivalence by [Reference Antieau, Bhatt and MathewABM21, Proposition 5.10(i)]. Moreover, both
$X_S$ and
$Y_S$ are syntomic over
$k$ because syntomic morphisms are closed under pullbacks and compositions. Therefore, Corollary 3.3.3 implies the claim.
Theorem 3.3.5 Let $k$ be a field, let
$Y$ be a projective syntomic
$k$-scheme of pure dimension
$N\geqslant d+1$, let
$X\hookrightarrow Y$ be a closed syntomic subscheme, and let
$G$ be a finite commutative
$k$-group scheme. Then the cone
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU36.png?pub-status=live)
lies in $D^{\geqslant d}(\mathbf {Z})$ if:
(i)
$Y = {\bf P}^N_k$ and
$X$ is a global complete intersection of dimension
$d$; or
(ii)
$X\hookrightarrow Y$ is a Cartier divisor such that
$Y\smallsetminus X$ is affine and
$X \hookrightarrow Y$ is a Hodge
$d$-equivalence (e.g.
$X\subset Y$ is a strongly ample Cartier divisor).
Proof. Let $p\geqslant 0$ be the characteristic of
$k$. We consider the short exact sequence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU37.png?pub-status=live)
The group $G' := G/G[p^\infty ]$ is
$p$-torsion-free and finite étale. Therefore, it suffices to prove the claim separately for a
$p$-power torsion
$G[p^\infty ]$ and for a
$p$-torsion-free étale
$G'$.
The case of a $p$-torsion-free étale group scheme follows from Theorem 3.2.2. Thus, we can assume that
$p > 0$ and
$G=G[p^\infty ]$ is
$p$-power torsion. In either case,
$X\to Y$ is a Hodge
$d$-equivalence (see Theorem 2.2.3), so the claim follows from Corollary 3.3.3.
The next example shows that Theorem 3.3.5 does not hold for an arbitrary ample divisor $X\subset Y$.
Example 3.3.6 (Reference Biswas and HollaBH07, § 2 and Reference LangerLan11, Ex. 10.1)
Let $k$ be a perfect field of characteristic
$p>0$, let
$Y$ be a smooth, projective, geometrically connected
$k$-scheme, and let
$X\subset Y$ be an ample Cartier divisor such that:
(i)
${\rm H}^0(X, \mathcal {O}_X)=k$ (e.g.
$X$ is reduced and geometrically connected);
(ii)
$Y$ is of pure dimension
$d+1\geqslant 2$;
(iii)
${\rm H}^1(Y,\mathcal {O}_Y(-X)) \neq 0$ (for examples of such pairs with
$d+1=2$, see [Reference EkedahlEke88, Proposition 2.14]).Footnote 4
Then $r\colon {\rm H}^1_{{\rm fppf}}(Y, \alpha _p) \to {\rm H}^1_{{\rm fppf}}(X, \alpha _p)$ is not injective. In particular,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU38.png?pub-status=live)
does not lie in $D^{\geqslant d}({\bf Z}_p)$.
Proof. Our assumptions on $Y$ imply that
${\rm H}^0(Y, \mathcal {O}_Y)\simeq k$. Therefore, the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU39.png?pub-status=live)
is injective. Thus, any non-trivial class in ${\rm H}^1(Y, \mathcal {O}_Y(-X))$ defines a non-trivial class
$x\in {\rm H}^1(Y, \mathcal {O}_Y)$ such that
$x|_X = 0 \in {\rm H}^1(X, \mathcal {O}_X)$. We claim that
$(F^n_Y)^*(x)=0$ for some
$n\geqslant 0$. Indeed, by functoriality,
$(F^n_Y)^*(x)$ lies in
${\rm H}^1(Y, \mathcal {O}_Y(-((F_Y^n)^*X)))={\rm H}^1(Y, \mathcal {O}_Y(-p^nX))$. Since
$d\geqslant 1$, [Sta21, Tag 0FD8] implies that
${\rm H}^1(Y, \mathcal {O}_Y(-p^nX))=0$ for
$n\gg 0$.
Choose a minimal $n$ such that
$(F_Y^n)^*(x)=0$. Then we replace
$x$ with
$(F_Y^{n-1})^*(x)$ to assume that
$F_Y^*(x)=0$ (and
$x\neq 0$). Since
$F_Y^*$ and
$F_X^*$ are bijective on
${\rm H}^0(Y, \mathcal {O}_Y)$ and
${\rm H}^0(X, \mathcal {O}_X)$ respectively, we may use the Artin–Schreier sequence to conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU40.png?pub-status=live)
and the same for $X$. In particular,
${\rm H}^1_{{\rm fppf}}(Y, \alpha _{p}) \to {\rm H}^1(Y, \mathcal {O}_X)$ is injective (and the same for
$X$). Therefore,
$x$ defines a non-trivial class in
${\rm ker}(r)$. In particular,
$C$ does not lie in
$D^{\geqslant d}(\mathbf {Z}_p)$.
If $G$ is a lisse sheaf of
${\bf F}_\ell$-modules on
$Y_{\acute {{\rm e}}{\rm t}}$ with
$\ell \neq {\rm char} \, k$, then the Lefschetz hyperplane theorem holds for
$G$ if
$Y$ is smooth. One may wonder if there is an analogous result for flat coefficients. In general, we do not know the correct coefficient theory for flat cohomology in which to pose such a question. In any event, Theorem 3.3.5 is false if one does not assume that
$G$ comes from a base field, as the following example shows.
Example 3.3.7 Let $p$ be a prime number, and let
$k={\bf F}_p$ be a finite field with
$p$ elements. Then, for any
$N>1$, there is a commutative finite flat rank
$p$ group scheme
$G$ on
${\bf P}^N_k$ such that:
(i) Zariski-locally on
${\bf P}^N_k$, the group
$G$ is defined over
$k$;
(ii) for any hyperplane
$H\subset {\bf P}^N_k$, the cone
\[ C:= {\rm cone}({\rm R}\Gamma_{{\rm fppf}}({\bf P}^N_k, G) \to {\rm R}\Gamma_{{\rm fppf}}(H, G)) \]
$D^{\geqslant N-1}(\mathbf {Z})$.
Proof. Let ${\bf G}_a(n)$ be the
${\bf P}^N$-group scheme associated with the line bundle
$\mathcal {O}(n)$. Then we define
$G=\ker ({\rm Fr}\colon {\bf G}_a(1)\to {\bf G}_a(p))$. Note, Zariski-locally on
${\bf P}^N$, the group
$G$ is isomorphic to
$\alpha _p$ and in particular defined over
$k$.
Now using that ${\rm H}^i_{{\rm fppf}}({\bf P}^N_k, {\bf G}_a(n))={\rm H}^i({\bf P}^N_k, \mathcal {O}(n))$, Serre's calculation of cohomology groups of
$\mathcal {O}(n)$, and the short exact sequence
$0 \to G \to {\bf G}_a(1) \to {\bf G}_a(p) \to 0$, we conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU42.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU43.png?pub-status=live)
In particular, the map ${\rm H}^1_{{\rm fppf}}({\bf P}^{N}_k, G) \to {\rm H}^1_{{\rm fppf}}(H, G)$ cannot be injective by cardinality reasons. Therefore,
$C$ cannot lie in
$D^{\geqslant N-1}(\mathbf {Z}_p)$ for any
$N>1$.
3.4 The torsion part of the Picard scheme
Fix a field $k$. In this section, we use the results of §§ 3.1 and 3.2 to get a Lefschetz hyperplane theorem for the torsion part of the Picard group. We show that, for a complete intersection
$X\subset {\bf P}^N_k$ scheme of dimension at least
$2$, the torsion part of the Picard group
${\rm Pic}(X)_{{\rm tors}}$ and the torsion component
${\bf Pic}^\tau _{X/k}$ vanish. We also give a version of this result for a general strongly ample divisor.
If $\dim X \geqslant 3$, Grothendieck proved the stronger result
${\rm Pic}(X) \simeq {\bf Z}$ in [Reference GrothendieckSGA2, Exp. XII, Corollary 3.2] which can be also used to deduce that
${\bf Pic}_{X/k} \simeq \underline {\mathbf {Z}}$ as
$k$-group schemes. These results are sharp: for instance, the Segre embedding realizes
${\bf P}^1_k\times {\bf P}^1_k$ as a hypersurface in
${\bf P}^3_k$, but
${\rm Pic}({\bf P}^1_k\times {\bf P}^1_k) \simeq {\bf Z} \oplus {\bf Z}$. However, one can still control the torsion part of Picard group in dimension
$2$. If
$X$ is a smooth surface and
$k$ is algebraically closed, then these results were established in [Reference Deligne and KatzSGA7, Exp. XI, Theorem 1.8]. The general case was proven in [Reference Česnavičius and ScholzeČS24, Corollary 7.2.3] by different methods.
Proof Proof of Theorem 1.1.8
For part (i), it suffices to show that ${\rm Pic}(X)[p]=0$ for every prime number
$p$. Since
${\rm Pic}({\bf P}^N_k)[p]=0$, it suffices to show that the natural morphism
${\rm Pic}({\bf P}^N_k)[p] \to {\rm Pic}(X)[p]$ is an isomorphism. From the Kummer sequence we obtain the following commutative diagram:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU44.png?pub-status=live)
We note that the morphism $\mathcal {O}({\bf P}^N_k) \to \mathcal {O}(X)$ is an isomorphism due to Theorem 2.2.3 (and Definition 2.2.1 with
$s=0$). In particular,
$\alpha$ is an isomorphism as well. In addition,
$\beta$ is an isomorphism by Theorems 2.2.3 and 3.3.5. By the five lemma,
$\gamma$ is an isomorphism, and part (i) holds.
Now we show part (ii). It suffices to show that the class of $[\mathcal {O}_X(1)] \in {\rm Pic}(X)$ has non-zero image in
${\rm Pic}(X)/p$ for every prime
$p$. Let
$c^X_1\colon {\rm Pic}(X)/p \to {\rm H}^2_{{\rm fppf}}(X,\mu _p)$ be the connecting map from the Kummer exact sequence. By definition,
$c^X_1$ is injective, so it is enough to show that
$c^X_1([\mathcal {O}_X(1)]) \neq 0$ in
${\rm H}^2_{{\rm fppf}}(X, \mu _p)$. The commutative square
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU45.png?pub-status=live)
shows that we have $c_{1}^X([\mathcal {O}_X(1)])={\rm res}^{{\rm fppf}}(c_{1}^{{\bf P}^n}([\mathcal {O}_{{\bf P}^N}(1)]))$. Then we conclude that
$c_1^X([\mathcal {O}_X(1)]) \neq 0$ because
$c_1^{{\bf P}^N}([\mathcal {O}_{{\bf P}^N}(1)])$ is a generator of
${\rm Pic}({\bf P}^N_k)\simeq {\bf Z}$, and
${\rm res}^{{\rm fppf}}$ is injective by Theorem 3.3.5.
Finally, we show part (iii). For this, we can and do assume that $k=\overline {k}$. By [Reference GrothendieckSGA6, Exp. XII, Corollary 1.5; Exp. XIII, Theorem 4.7],
${\bf Pic}^\tau _{X/k}$ is a finite type
$k$-group scheme and an open subfunctor of
${\bf Pic}_{X/k}$, so
${\rm T}_e({\bf Pic}^\tau _{X/k})={\rm T}_e({\bf Pic}_{X/k})\simeq {\rm H}^1(X, \mathcal {O}_X)$. Theorem 2.2.3 implies that
${\rm H}^1(X, \mathcal {O}_X)=0$ and so
${\bf Pic}^\tau _{X/k}$ is étale. Since
$k = \overline {k}$, we have
${\bf Pic}^\tau _{X/k}(\overline {k}) = {\rm Pic}(X)_{{\rm tors}} = 0$ by the above, and part (iii) follows.
Our next aim is to prove an analogue of Theorem 1.1.6 for strongly ample divisors (see Theorem 3.4.4). The derivation of this is slightly more involved than in the previous case, and we must begin with a series of results about algebraic groups.
Lemma 3.4.1 Let $G$ be a commutative group scheme locally of finite type over a field
$k$, and let
$H$ be a finite type closed
$k$-subgroup scheme of
$G$. Let
$n$ be a positive integer. For each
$M \geqslant 1$, there exists a closed subgroup scheme
$G_M$ of
$G$ killed by some power of
$n$ such that the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU46.png?pub-status=live)
factors through $(G/H)[n^M]$ and such that the factored map is an epimorphism of fppf sheaves.Footnote 5 (Note that
$G/H$ exists as a group scheme by [Reference Gille and PoloSGA3, Exp. VI
$_{{\rm A}}$, Theorem 3.2].)
Proof. Fixing the positive integer $M$, we may replace
$G$ by the schematic preimage of
$(G/H)[n^M]$ in
$G$ to assume that
$G/H$ is
$n^M$-torsion. Consider for any
$N$ the commutative diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU47.png?pub-status=live)
with exact rows. By the snake lemma, this gives an exact sequence of group schemes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU48.png?pub-status=live)
Thus, it suffices to show that there is some $N \geqslant M$ such that
$H/n^N H \to G/n^N G$ is a monomorphism. Equivalently, one must show that there is some
$N \geqslant M$ such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU49.png?pub-status=live)
To prove the existence of some such $N$, note that the sequence
$\{n^N H\}$ of closed
$k$-subgroup schemes of
$H$ is decreasing, so the fact that
$H$ is noetherian (being finite type over
$k$) implies that there exists some
$N_0$ such that
$n^{N_0} H = n^{N_0+1} H$. Since
$G/H$ is
$n^M$-torsion, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU50.png?pub-status=live)
by the choice of $N_0$. Thus, taking
$N := N_0 + M$ completes the proof.
Lemma 3.4.2 Let $G$ be a commutative group scheme of finite type over an algebraically closed field
$k$ of characteristic
$p \geqslant 0$.
(i) The natural map
$G(k)_{{\rm tors}} \to G(k)/G^0(k)$ is surjective.
(ii) For some integer
$N \geqslant 1$, the map
$G[p^N] \to G/G_{{\rm red}}$ is an epimorphism of fppf sheaves.
(iii) If
$G$ is smooth and
$p > 0$, then
$G(k)_{{\rm tors}}$ is schematically dense in
$G$.
Proof. For part (i), it suffices to show that for every integer $n \geqslant 1$, the natural map
$G(k)[n^\infty ] \to (G(k)/G^0(k))[n^\infty ]$ is surjective, and this follows from Lemma 3.4.1.
For part (ii), there is nothing to prove if $p = 0$. If instead
$p > 0$, then
$G/G_{{\rm red}}$ is a finite
$k$-group scheme whose order is a power of
$p$. By a theorem of Deligne [Reference Tate and OortTO70, § 1], the group scheme
$G/G_{{\rm red}}$ is killed by its order, so the result follows again from Lemma 3.4.1.
Finally, we consider part (iii). By part (i), we may and do reduce to the case that $G$ is connected, in which case we will show that if
$\ell \neq p$ is any prime number then
$G(k)[(\ell p)^\infty ]$ is schematically dense in
$G$. By a theorem of Chevalley [Reference ConradCon02, Theorem 1.1], since
$k$ is perfect there is a short exact sequence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU51.png?pub-status=live)
where $H$ is a linear algebraic group over
$k$ and
$A$ is an abelian variety over
$k$. Moreover, since
$H$ is a commutative linear algebraic group over a perfect field, we have
$H = T \times U$ for some
$k$-torus
$T$ and a smooth commutative unipotent
$k$-group scheme
$U$. It is standard that
$T(k)[\ell ^\infty ]$ and
$A(k)[\ell ^\infty ]$ are schematically dense in
$T$ and
$A$, respectively, and
$U = U[p^M]$ for some
$M \geqslant 1$. (This is where we use that
$p > 0$; in characteristic
$0$, the group
$\mathbf {G}_a$ has no torsion.)
Let $G_0$ denote the schematic closure of
$G(k)[(\ell p)^\infty ]$ in
$G$, so that
$G_0$ is a smooth closed
$k$-subgroup scheme of
$G$. We aim to show that
$G_0 = G$. Every connected commutative finite-type
$k$-group scheme is
$\ell$-divisible, so by the snake lemma the natural map
$G(k)[\ell ^\infty ] \to A(k)[\ell ^\infty ]$ is surjective. By schematic density of
$A(k)[\ell ^\infty ]$ in
$A$, the induced map
$G_0 \to A$ is dominant, hence surjective by [Reference Gille and PoloSGA3, Exp. VI
$_{{\rm B}}$, Proposition 1.2]. It suffices therefore to show that
$H$ is contained in
$G_0$. However,
$H(k)[(\ell p)^\infty ]$ is schematically dense in
$H$, so indeed
$H \subset G_0$ and so
$G_0 = G$, establishing the result.
Lemma 3.4.3 Let $f\colon G \to H$ be a homomorphism of commutative group schemes of finite type over a field
$k$ of characteristic
$p \geqslant 0$. Suppose that:
(i)
$f[\ell ^n](\overline {k})\colon G[\ell ^n](\overline {k}) \to H[\ell ^n](\overline {k})$ is an isomorphism for every prime
$\ell$ and every
$n \geqslant 1$;
(ii)
$\operatorname {Lie} f\colon \operatorname {Lie} G \to \operatorname {Lie} H$ is an isomorphism;
(iii) if
$p > 0$, then
$f[p^n]\colon G[p^n] \to H[p^n]$ is an epimorphism of fppf sheaves for every
$n \geqslant 1$.
Then $f$ is an isomorphism.
Proof. We may and do assume that $k$ is algebraically closed. Part (ii) shows that
$\ker f$ is finite etale, and so part (i) implies that
$\ker f = 0$. Thus,
$f$ is a closed embedding by [Reference Gille and PoloSGA3, Exp. VI
$_{{\rm B}}$, Corollary 1.4.2]. Moreover, Lemma 3.4.2(i) shows that the image of
$f$ intersects each connected component of
$H$ nontrivially. If
$p = 0$, then
$G$ and
$H$ are smooth, so
$f$ is an isomorphism. Thus, from now on we assume
$p > 0$.
Let $\overline {G} = G/G_{{\rm red}}$ (which is a scheme by [Reference Gille and PoloSGA3, Exp. VI
$_{{\rm A}}$, Theorem 3.2]) and consider the commutative diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU52.png?pub-status=live)
with exact rows. Since $p> 0$ and
$f$ is surjective on torsion, Lemma 3.4.2(iii) shows that
$f$ is dominant, and thus it is surjective by [Reference Gille and PoloSGA3, Exp. VI
$_{{\rm B}}$, Proposition 1.2]. Now
$G_{{\rm red}}$ and
$H_{{\rm red}}$ are both smooth over
$k$, so because
$f$ is a surjective closed embedding it follows that
$f_{{\rm red}}$ is an isomorphism. Thus, to show that
$f$ is an isomorphism, it suffices to show that
$\overline {f}$ is an isomorphism.
Now by Lemma 3.4.2(ii), there is some integer $N \geqslant 1$ such that the natural maps
$G[p^N] \to \overline {G}$ and
$H[p^N] \to \overline {H}$ are faithfully flat. Thus, we find a commutative diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU53.png?pub-status=live)
with exact rows. By part (iii) and the fact that $\ker f = 0$, the map
$f[p^N]$ is an isomorphism. The previous paragraph shows that
$f_{{\rm red}}[p^N]$ is an isomorphism, so also
$\overline {f}$ is an isomorphism. Since both
$f_{{\rm red}}$ and
$\overline {f}$ are isomorphisms, we see that
$f$ is an isomorphism, as desired.
With these preliminaries in hand, we can finally prove the following theorem.
Theorem 3.4.4 Let $\,Y$ be a projective syntomic
$k$-scheme of pure dimension
$\geqslant 3$, and let
$X \subset Y$ be a Cartier divisor such that
$Y\smallsetminus X$ is affine and
$X \hookrightarrow Y$ is a Hodge
$2$-equivalence. The natural map
$f\colon \mathbf {Pic}^\tau _{Y/k} \to \mathbf {Pic}^\tau _{X/k}$ is an isomorphism.
Proof. We may and do assume that $k$ is algebraically closed of characteristic
$p \geqslant 0$ by [Reference Antieau, Bhatt and MathewABM21, Proposition 5.10]. We need only verify the hypotheses of Lemma 3.4.3 applied to
$G = \mathbf {Pic}^\tau _{Y/k}$ and
$H = \mathbf {Pic}^\tau _{X/k}$ (which are finite type
$k$-group schemes by [Reference GrothendieckSGA6, Exp. XII, Corollary 1.5; Exp. XIII, Theorem 4.7(iii)]). Condition (ii) follows from the fact that the natural map
${\rm H}^1(Y, \mathcal {O}) \to {\rm H}^1(X, \mathcal {O})$ is an isomorphism by Definition 2.3.5.
Let $\ell$ be a prime number and let
$S$ be a syntomic
$k$-scheme. We have a commutative diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn10.png?pub-status=live)
with exact rows. The leftmost vertical arrow of (
3.1) is an isomorphism by Definition 2.2.1 and [Reference Antieau, Bhatt and MathewABM21, Proposition 5.10], since ${\rm H}^0(Y_S, \mathbf {G}_m) = {\rm H}^0(Y_S, \mathcal {O})^*$. Moreover, the map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU54.png?pub-status=live)
is an isomorphism by Theorem 3.3.5. Thus, ${\rm Pic}(Y_S)[\ell ^n] \to {\rm Pic}(X_S)[\ell ^n]$ is an isomorphism by the five lemma. Since
$X$ has a rational point (
$k$ being algebraically closed), we have
$\mathbf {Pic}_{Y/k}(S) = {\rm Pic}(Y_S)/{\rm Pic}(S)$, and similarly for
$X$. Letting
$S = \operatorname {Spec} k$, we see that
$\mathbf {Pic}^\tau _{Y/k}[\ell ^n](k) \to \mathbf {Pic}^\tau _{X/k}[\ell ^n](k)$ is an isomorphism and we have verified part (i).
Now set $S = P_{X,n} := \mathbf {Pic}_{X/k}[p^n]$, which is a syntomic
$k$-scheme by Lemma 2.1.3. Define
$P_{Y,n}$ similarly. Since
${\rm Pic}(P_{X,n}) = 0$ (as
$P_{X, n}$ is an extension of a finite
$k$-group scheme by a unipotent group scheme), the argument above shows
$P_{X,n}(P_{X,n}) = {\rm Pic}(X_{P_{X,n}})[p^n]$, and similarly for
$P_{Y,n}(P_{X,n})$. Thus, the previous paragraph shows that the natural map
$P_{Y,n}(P_{X,n}) \to P_{X,n}(P_{X,n})$ is an isomorphism, and so there is a morphism
$g\colon P_{X,n} \to P_{Y,n}$ such that
$f \circ g = {\rm id}_{P_{X,n}}$. Therefore,
$f$ is an epimorphism of fppf sheaves, so Lemma 3.4.3 shows that
$\mathbf {Pic}^\tau _{Y/k} \to \mathbf {Pic}^\tau _{X/k}$ is an isomorphism.
Corollary 3.4.5 Let $Y$ be a projective syntomic
$k$-scheme of pure dimension
$\geqslant 4$, and let
$X \subset Y$ be a Cartier divisor such that
$Y\smallsetminus X$ is affine,
$X \hookrightarrow Y$ is a Hodge
$2$-equivalence, and
${\rm H}^i(Y, \mathcal {O}_Y(-nX)) = 0$ for all
$n > 0$ and
$i = 1, 2$. The map
$\mathbf {Pic}_{Y/k} \to \mathbf {Pic}_{X/k}$ is an isomorphism.
Proof. We may and do assume $k = \overline {k}$. In view of Theorem 3.4.4, we see that
$\mathbf {Pic}^\tau _{Y/k} \to \mathbf {Pic}^\tau _{X/k}$ is an isomorphism. Considering the commutative diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqnU55.png?pub-status=live)
we see that it suffices to show that the natural map ${\rm Num}(Y) \to {\rm Num}(X)$ is an isomorphism, and for this it suffices to show that
${\rm Pic}(Y) \to {\rm Pic}(X)$ is an isomorphism, a consequence of [Reference GrothendieckSGA2, Exp. XII, Corollary 3.6] (which applies because
$Y$ is syntomic and
${\rm H}^i(Y, \mathcal {O}_Y(-nX))=0$ for
$n>0$ and
$i=1,2$).
We note that Corollary 2.3.4 and Theorem 2.2.3 (together with [Reference Deligne and IllusieDI87, Corollary 2.8]) produce many interesting examples when the assumptions of the two above theorems are satisfied.
The following example provides some evidence that Theorem 3.4.4 and Corollary 3.4.5 are probably false for a general ample divisor.
Example 3.4.6 Let $X\subset Y$ be a pair as in Example 3.3.6 with
$d+1\geqslant 3$ (respectively,
$d+1\geqslant 4$). Then:
(i) the map
${\bf Pic}^\tau _{Y/k} \to {\bf Pic}^\tau _{X/k}$ (respectively,
${\bf Pic}_{Y/k} \to {\bf Pic}_{X/k}$) is not an isomorphism;
(ii) if
$X$ is also smooth and the natural morphism
${\rm H}^0(Y,\Omega ^1_Y)\to {\rm H}^0(X, \Omega ^1_X)$ is an isomorphism, then
${\rm Pic}(Y)[p] \to {\rm Pic}(X)[p]$ is not an isomorphism.Footnote 6
Proof. First, we note that the proof of Example 3.3.6 implies that the natural morphism ${\rm H}^1(Y, \mathcal {O}_Y) \to {\rm H}^1(X, \mathcal {O}_X)$ is not an isomorphism. Thus, the morphism
${\bf Pic}^\tau _{Y/k} \to {\bf Pic}^\tau _{X/k}$ (respectively,
${\bf Pic}_{Y/k} \to {\bf Pic}_{X/k}$) does not induce an isomorphism of Lie algebras.
For part (ii), we note that the Kummer exact sequence implies that ${\rm H}^1(Y, \mu _p) = {\rm Pic}(Y)[p]$ and the same for
$X$. Therefore, it suffices to show the analogous claim for
${\rm H}^1(-, \mu _p)$. Let
$Y'$ be the Frobenius twist of
$Y$, and let
$\Omega ^1_{Y'/k, {\rm cl}}$ denote the sheaf of closed
$1$-forms on
$Y'$ (and similarly for
$X$ and
$X'$). Now we note that [Reference Artin and MilneAM76, Proposition 2.4] implies that there are exact sequences
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn11.png?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240910155843389-0939:S0010437X24007231:S0010437X24007231_eqn12.png?pub-status=live)
and similarly for $X$ (we note that
$\psi _1$ and
$\psi _2$ are different maps). Now (the proof of) Example 3.3.6 ensures that the natural morphism
${\rm H}^1(Y, \alpha _p) \to {\rm H}^1(X, \alpha _p)$ is not injective. Thus, (3.3) formally implies that the natural morphism
${\rm H}^0(Y, \Omega ^1_{Y'/k, {\rm cl}}) \to {\rm H}^0(X, \Omega ^1_{X'/k, {\rm cl}})$ is not injective. Now (3.2) and our assumption imply that
${\rm H}^1(Y, \mu _p) \to {\rm H}^1(X, \mu _p)$ is not injective either. This finishes the proof.
Acknowledgements
We are very grateful to B. Bhatt for many fruitful discussions. In particular, we thank him for the suggestion to use the results from [Reference Bhatt, Morrow and ScholzeBMS19] to attack Theorem 1.1.1 and for explaining the relevant background. We are also grateful to D. Kubrak, S. Mondal, S. Petrov, and A. Prikhodko for many useful conversations. We thank A. Langer for several useful comments on an earlier draft. We thank the referee for many useful suggestions which greatly improved this paper. Finally, we would like to thank S. Naprienko for creating the website Thuses.com, without which this collaboration would likely not have taken place.
Conflicts of interest
None.
Financial support
BZ acknowledges funding through the Max Planck Institute for Mathematics in Bonn, Germany, during the preparation of this work.
Journal information
Compositio Mathematica is owned by the Foundation Compositio Mathematica and published by the London Mathematical Society in partnership with Cambridge University Press. All surplus income from the publication of Compositio Mathematica is returned to mathematics and higher education through the charitable activities of the Foundation, the London Mathematical Society and Cambridge University Press.