Skip to main content
1 of 6
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

Sorry for the delay. I had an overly elaborate example starting with an Enriques surface in characteristic $2$. In fact, K3 surfaces in characteristic $0$ give even simpler examples.

Let $\overline{B}$ be a K3 surface over $\mathbb{C}$. Recall by Mumford's Theorem that the group $\text{CH}_0(\overline{B})$ is uncountably generated, in fact, it cannot even be parameterized by any (finite dimensional) algebraic variety, in an appropriate and precise sense.

MR0249428
Mumford, D.
Rational equivalence of 0-cycles on surfaces.
J. Math. Kyoto Univ. 9 (1968), 195–204.
https://projecteuclid.org/journals/journal-of-mathematics-of-kyoto-university/volume-9/issue-2/Rational-equivalence-of-0-cycles-on-surfaces/10.1215/kjm/1250523940.full

Moreover, in every ample divisor class on $\overline{B}$, there exists a divisor $D$ whose irreducible components have normalization isomorphic to $\mathbb{P}^1$, cf. Beauville's exposition of the Yau-Zaslow theorem.

MR1682284
Beauville, Arnaud
Counting rational curves on K3 surfaces.
Duke Math. J. 97 (1999), no. 1, 99–108.
https://arxiv.org/pdf/alg-geom/9701019.pdf

In fact, by a theorem of Beauville-Voisin, the subgroup of $\text{CH}_0(\overline{B})$ generated by all pushforwards of all $0$-cycles on (possibly singular) rational curves in $\overline{B}$ is a cyclic subgroup commensurate with the cyclic subgroup generated by the cycle class $c_2(T_{\overline{B}})$ and containing all cup products of first Chern classes of divisors.

MR2047674
Beauville, Arnaud; Voisin, Claire
On the Chow ring of a K3 surface.
J. Algebraic Geom. 13 (2004), no. 3, 417–426.
https://arxiv.org/abs/math/0111146

Thus, for the affine surface $B=\overline{B}\setminus D$, the image of the following restriction map is still uncountably generated, $$ \text{CH}_0(\overline{B}) \to \text{CH}_0(B). $$ Thus, there exists a closed point $p\in B$ such that the cycle class of $\{p\}$ in $\text{CH}_0(B)$ is nontorsion.

Now apply Serre's construction to the ideal sheaf $\mathcal{I}_p\subset \mathcal{O}_{\overline{B}}$ with determinant invertible sheaf $\mathcal{L}=\mathcal{O}_{\overline{B}}(D)$, i.e., consider the local-to-global spectral sequence computing $\text{Ext}^*_{\mathcal{O}_{\overline{B}}}(\mathcal{I}_p,\mathcal{L})$. The long exact sequence of low degree terms is $$ 0 \to H^1(\overline{B},\mathcal{L}) \to \text{Ext}^1_{\mathcal{O}_{\overline{B}}(\mathcal{I}_p,\mathcal{L}) \to L|_p \to H^2(\overline{B},\mathcal{L}) . $$ Here $L|_p$ is the $1$-dimensional vector space that is, essentially, the fiber at $p$ of $\mathcal{L}$. If the invertible sheaf $\mathcal{L}$ is chosen to be appropriately ample, then both $H^q(\overline{B},\mathcal{L})$ is the zero vector space for $q=1,2$. Thus, there is a unique isomorphism class of a nontrivial extension $\mathcal{E}$ of $\mathcal{I}_p$ by $\mathcal{L}$.

The sheaf $\mathcal{E}$ is a locally free $\mathcal{O}_{\overline{B}}$-module of rank $2$ whose first Chern class equals $c_1(\mathcal{L})$ and whose second Chern class equals the cycle class of $\{p\}$. In particular, the restriction $\mathcal{E}|_B$ is a locally free $\mathcal{O}_B$-module of rank $2$ whose first Chern class is zero and whose second Chern class is the nonzero class of $\{p\}$.

Consider the group scheme $G$ over $\overline{B}$ parameterizing $\mathcal{O}_B$-automorphisms of $\mathcal{E}$ such that the induced automorphism of $\text{det}(\mathcal{E}) \cong \mathcal{L}$ is the identity automorphism. This is an inner form of $\textbf{SL}_2$ over $\overline{B}$. Since $\mathcal{E}$ is locally free, this inner form is Zariski locally isomorphic to $\textbf{SL}_2$, and thus has split maximal tori Zariski locally. However, the restriction over $B$ does not have a maximal torus. If it did, the corresponding representation $\mathcal{E}|_B$ would split as a direct sum of locally free sheaves of rank $1$. Then, by the Whitney sum formula, the second Chern class of $\mathcal{E}|_B$ would be in the image of the cyclic subgroup of Beauville-Voisin, i.e., the second Chern class would be a torsion class in $\text{CH}_0(B)$, contrary to the choice of $p$.

Now consider the projective space bundle over $\overline{B}$ that parameterizes invertible quotients of the pullback of $\mathcal{E}$. This is a projective scheme. By Bertini theorems, an intersection of this projective scheme with a sufficiently general hyperplane is a smooth closed subscheme $\overline{A}$ whose projection to $\overline{B}$ is finite surjective, and thus finite flat. In particular, the restriction $A$ over $B$ is a finite, flat cover of $B$. The pullback of $\mathcal{E}|_B$ to $A$ has an invertible quotient. Since $A$ is affine, thus surjection automatically splits, so that the pullback of $\mathcal{E}|_B$ to $A$ is isomorphic to a direct sum of two invertible sheaves. Thus, the pullback of $G$ to $A$ does have a maximal torus.

Jason Starr
  • 4.1k
  • 1
  • 93
  • 111