Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-23T23:38:16.307Z Has data issue: false hasContentIssue false

Corrigendum: The affine part of the Picard scheme

Published online by Cambridge University Press:  06 October 2021

Thomas Geisser*
Affiliation:
Department of Mathematics, Rikkyo University, Tokyo171-8501, [email protected]
Rights & Permissions [Opens in a new window]

Abstract

We give a corrected version of Theorem 3, Lemma 4, and Proposition 9 in the above-mentioned paper, which are incorrect as stated (as was pointed out by O. Gabber).

Type
Corrigendum
Copyright
© 2021 The Author(s). The publishing rights in this article are licensed to Foundation Compositio Mathematica under an exclusive licence

In [Reference GeisserGei09, Lemma 4] it was incorrectly stated that extensions of abelian group schemes in the category of group schemes and in the category of big étale sheaves agree, but an epimorphism of group schemes may not induce a surjection of étale sheaves. The remaining part of Lemma 4 is correct, and this is sufficient for the rest of the paper.

To restate Theorem 3, we recall the notation of [Reference GeisserGei09]. Let $p:X\to k$ be a proper scheme over a perfect field $k$ of characteristic exponent $p$ with algebraic closure $\bar k$, and let $\operatorname {Pic}_X$ be its Picard scheme representing the functor $T\mapsto H^0(T_{\rm {\unicode{x00E9}t}},R^1p_*{\mathbb {G}}_m)$. Its reduced connected component $\operatorname {Pic}_X^{0,\text{red}}$ is an extension of an abelian variety $A_X$ by the direct product of a torus $T_X$ and a unipotent group $U_X$. We assume that $X$ is reduced, and consider the semi-normalization $X^{+}\to X$, that is, the initial object among strongly universal homeomorphisms $X'\to X$. Here a strongly universal homeomorphism is a universal homeomorphism which induces isomorphisms on residue fields. By [Reference GeisserGei09, Corollary 8], $U_{X^+}$ vanishes.

Theorem 3 Let $X$ be reduced and proper over a perfect field and let $X'\to X$ be a universal homeomorphism of proper $k$-schemes with $X'$ seminormal.

  1. (a) We have a short exact sequence

    (1)\begin{equation} 0\to K\to \operatorname{Pic}_X^{0,{\rm red}} \to \operatorname{Pic}_{X'}^{0,{\rm red}}\to 0, \end{equation}
    and inclusions of unipotent group schemes
    \[ U_X\subseteq K \subseteq p_*({\mathbb{G}}_{m,X'}/{\mathbb{G}}_{m,X}) \]
    with quotients finite unipotent group schemes.
  2. (b) The group scheme $p_*({\mathbb {G}}_{m,X'}/{\mathbb {G}}_{m,X})$ represents the functor

    \[ T\mapsto \{{\mathcal{O}}_{X\times T}\text{-line bundles } {\mathcal{L}}\subseteq {\mathcal{O}}_{X'\times T}\text{ which are invertible in } {\mathcal{O}}_{X'\times T} \}. \]

Proof. The proof of (b) is as in [Reference GeisserGei09, Lemma 4]. To prove (a), we can assume that $k$ is algebraically closed because a group scheme is unipotent if and only if it is after a base extension. We need the following lemma, whose easy proof we omit.

Lemma Any universal homeomorphism $f: X'\to X$ induces isomorphisms $H^i_{{\rm \unicode{x00E9}t}}(X,{{\mathbb {Z}}})\cong H^i_{{\rm \unicode{x00E9}t}}(X',{{\mathbb {Z}}})$ as well as isomorphisms $H^i_{{\rm \unicode{x00E9}t}}(X,\mu _m)\cong H^i_{{\rm \unicode{x00E9}t}}(X',\mu _m)$ for all $m$ prime to $p$.

Combining this with [Reference GeisserGei09, Corollary 6],

\begin{align*} \operatorname{colim}\operatorname{Hom}_{k}(\mu_m,T_X)&\cong H^1_{\rm {\unicode{x00E9}t}}(X,{{\mathbb{Z}}})\otimes{{\mathbb{Q}}}/{{\mathbb{Z}}},\\ \operatorname {colim}\operatorname{Hom}_{k}(\mu_m,A_X)&\cong \operatorname{Div}({}_{\text{tor}} H^2_{\rm {\unicode{x00E9}t}}(X,{{\mathbb{Z}}})), \end{align*}

we obtain that the canonical map $f^*: \operatorname {Pic}_X^{0,{\text{red}}}\to \operatorname {Pic}_{X'}^{0,{\text{red}}}$ induces an isomorphism on the torus components, and is an isogeny with kernel a finite unipotent group scheme $P$ on the abelian variety parts by the following lemma. (Gabber showed in a letter to the author of November 2020 that, conversely, any finite unipotent commutative group scheme can appear as $P$ with $X'=X^+$.)

Lemma A $p$-primary finite group scheme $F$ over an algebraically closed field $k$ with $\operatorname {Hom}_{k}(\mu _p,F)=0$ is unipotent.

Proof. It suffices to show that the dual of $F$ is connected. Since $F$ is $p$-primary, its étale component has connected dual. If the connected-étale component $V$ was non-trivial, then there would be a non-trivial homomorphism $V^D\to {{\mathbb {Z}}}/p$, or equivalently there would be a non-trivial homomorphism $\mu _p\to V$, a contradiction.

We conclude that $f^*$ is surjective with unipotent kernel $K$, an extension of $P$ by $U_X$. To prove the remaining statements, we use the following proposition, which replaces [Reference GeisserGei09, Proposition 9]. Its proof is identical to the proof of [Reference GeisserGei09, Proposition 9(a)].

Proposition 9 Let $p:X\to k$ be proper over a perfect field and $f:X'\to X$ be a universal homeomorphism. If $X$ and $X'$ are reduced, then $f$ induces an isomorphism $p_*{\mathbb {G}}_{m,X}\cong p_*{\mathbb {G}}_{m,X'}$.

Applying the proposition to the exact sequence of étale sheaves

\[ 0\to p_*{\mathbb{G}}_{m,X} \to p_*{\mathbb{G}}_{m,X'}\to p_*({\mathbb{G}}_{m,X'}/{\mathbb{G}}_{m,X}) \to \operatorname{Pic}_X\to \operatorname{Pic}_{X'} \]

on $\operatorname {Spec} k$, we obtain the following commutative diagram with short exact sequences as columns.

Since $v$ is injective, so is $u$. The Néron–Severi group schemes are extensions of finitely generated étale group schemes $\operatorname {NS}_X^{\rm {\unicode{x00E9}t}}$ and $\operatorname {NS}_{X'}^{\rm {\unicode{x00E9}t}}$ by finite connected group schemes $\operatorname {NS}_X^0$ and $\operatorname {NS}_{X'}^0$, respectively (see [Reference Berthelot, Grothendieck and IllusieSGA6, XIII 5.1]). The isomorphism $H^2_{\rm {\unicode{x00E9}t}}(X,\mu _m)\cong H^2_{\rm {\unicode{x00E9}t}}(X',\mu _m)$ implies that $\operatorname {Pic}_X(\bar k)/m\to \operatorname {Pic}_{X'}(\bar k)/m$ is injective for any $m>0$ prime to $p$, and since $\operatorname {Pic}_X^{0,{\text{red}}}(\bar k)$ and $\operatorname {Pic}_{X'}^{0,{\text{red}}}(\bar k)$ are $m$-divisible, the same holds for $\operatorname {NS}_X(\bar k)/m\to \operatorname {NS}_{X'}(\bar k)/m$. Consequently the kernel of $\operatorname {NS}_X^{\rm {\unicode{x00E9}t}}\to \operatorname {NS}_{X'}^{\rm {\unicode{x00E9}t}}$, and hence $\operatorname {coker} u$ is a finite $p$-primary group.

It remains to prove unipotence of $\operatorname {coker} u$. From $H^i_{\rm {\unicode{x00E9}t}}(X,{{\mathbb {Z}}})\cong H^i_{\rm {\unicode{x00E9}t}}(X',{{\mathbb {Z}}})$ we conclude that $H^1_{\rm {\unicode{x00E9}t}}(X,{{\mathbb {Z}}}/p)\cong H^1_{\rm {\unicode{x00E9}t}}(X',{{\mathbb {Z}}}/p)$, or equivalently $\operatorname {Hom}_{\bar k}(\mu _p ,\operatorname {Pic}_X)\cong \operatorname {Hom}_{\bar k}(\mu _p ,\operatorname {Pic}_{X'})$, and hence we obtain $\operatorname {Hom}_{\bar k}(\mu _p,p_*({\mathbb {G}}_{m,X'}/{\mathbb {G}}_{m,X}))=0$. Since there are no non-trivial commutative extensions of the group of multiplicative type $\mu _p$ by unipotent groups, we see that $\operatorname {Hom}_{\bar k}(\mu _p ,\operatorname {coker} u)=0$ and we can conclude by the lemma.

Remark In [Reference GeisserGei09, Theorem 3] we mistakenly stated that $\operatorname {Pic}_X\to \operatorname {Pic}_{X^{+}}$ is surjective. We reproduce a counterexample due to O. Gabber. Let $C$ be a smooth projective irreducible curve of genus greater than zero over the algebraically closed field $k$ with $k$-rational point $p$. Let $C'$ be the following push-out.

Then $C\times C\to C\times C'$ is the semi-normalization, but the line bundle ${\mathcal {L}}\in \operatorname {Pic}_{C\times C}(k)$ on $C\times C$ defined by the diagonal is not the pull-back of a line bundle on $C\times C'$, that is, not in the image of $\operatorname {Pic}_{C\times C'}(k)$. Indeed, regarding ${\mathcal {L}}$ as an element of $\operatorname {Pic}_{C}(C)$ defines a morphism $C\to \operatorname {Pic}_{C}$, which is a closed embedding and does not factor through $C'$.

Acknowledgements

We thank O. Gabber for pointing out the mistake in the original paper, and for helpful comments on a first draft of this corrigendum.

References

Geisser, T., The affine part of the Picard scheme, Compositio Math. 145 (2009), 415422.CrossRefGoogle Scholar
Milne, J. S., Étale cohomology, Princeton Math. Series, vol. 33 (Princeton University Press, Princeton, NJ, 1980).Google Scholar
Berthelot, P., Grothendieck, A. and Illusie, L., Séminaire de Géométrie Algébrique du Bois Marie 1966/67. Théorie des intersections et théorème de Riemann-Roch, Lecture Notes in Mathematics, vol. 225 (Springer, Berlin, 1971).Google Scholar