3
$\begingroup$

Let $K$ be a field of characteristic $0$ (number fields is a sufficient generality), $A/K$ an abelian variety, and $X\subseteq A$ a closed reduced subscheme.

I am looking for a reference for the statement that the stablizer of $X$ in $A$ is a $K$-abelian subvariety of $A$.

I hope that the reference will also include a discussion on the notion of stabilizers. I have two naive options in mind: The first is the group stabilizer of $X(\bar{K})$ in $A(\bar{K})$ together with the Galois action of $G_K$; maybe taking Zariski closure is needed? The second is just $\{a\in A: a+X \subseteq X\}$.

$\endgroup$
3
  • 1
    $\begingroup$ There should be some connexity/irreducibility assumption on $X$, otherwise take $X$ to be the $n$-torsion points of $A$ for any $n$, and the stabilizer will be equal to $X$. In general, the connected component of the stabilizer containing the identity will be an abelian subvariety, but I don't know whether it will be defined over $K$. $\endgroup$
    – Chris
    Commented Apr 3, 2022 at 9:52
  • $\begingroup$ Thanks @Chris. Do you know a reference to "the connected component of the stabilizer containing the identity will be an abelian subvariety, but I don't know whether it will be defined over 𝐾" $\endgroup$ Commented Apr 3, 2022 at 10:04
  • 4
    $\begingroup$ @LiorBary-Soroker the stabilizer is by definition a group, it is not hard to see that it is closed and you are in characteristic 0 so every group is smooth so the natural component is an abelian variety(smooth complete group variety). it is defined over $K$ if $X$ is defined over $K$. You can look at the milne book on group schemes to see a discocision of stabilizer $\endgroup$
    – ali
    Commented Apr 3, 2022 at 10:24

1 Answer 1

5
$\begingroup$

This is not true: it does not need to be connected even if $X$ is smooth connected over an algebraically closed field $K$ of characteristic zero. Indeed, if there is an isogeny $\pi \colon A \to B$ and a (necessarily smooth and connected) subscheme $Y \subseteq B$ such that $X = \pi^*Y$ (the scheme-theoretic inverse image), then $a \in A(K)$ fixes $X$ if and only if $\pi(a)$ fixes $Y$, so we get a short exact sequence $$0 \to \ker \pi \to \operatorname{Stab}_A(X) \to \operatorname{Stab}_B(Y) \to 0.$$ (Exactness on the right follows from surjectivity of $\pi$.) If moreover $\operatorname{Stab}_B(Y)$ is finite, then we see that $\operatorname{Stab}_A(X)$ is a nonzero finite étale algebraic group.

But example of such $X$ are aplenty; for instance we can start with a nontrivial isogeny $\pi \colon A \to B$ and take $Y \subseteq B$ a smooth complete intersection of dimension $1$ of very ample divisors. Then $X$ is a complete intersection of ample divisors [Hart, Exc. III.5.7], so $X$ is connected [Hart, Cor. III.5.7]. Since $Y$ is smooth and $X \to Y$ is finite étale, $X$ is smooth as well (see for instance Tag 01VA). But $Y$ is a curve generating $B$, so it cannot contain a positive-dimensional translate of an abelian subvariety, so $\operatorname{Stab}_B(Y)$ is finite.


Remark. However, it is true that the stabiliser is a smooth closed subgroup of $A$ that is defined over $K$, so its identity component is an abelian variety. Here's how to set this up scheme-theoretically:

We should first say what is being stabilised. I think the natural candidate is the point $X$ in the Hilbert scheme $\mathbf{Hilb}_A$ of closed subschemes of $A$ (see for instance [FGAE, Ch. 5]). The multiplication action $A \times A \to A$ of $A$ on itself naturally defines an action of $A$ on $\mathbf{Hilb}_A$ using the functor of points, and one considers the stabiliser of $X \in \mathbf{Hilb}_A(K)$, i.e. the pullback $$\begin{array}{ccc}\operatorname{Stab}_A(X) & \to & \mathbf{Hilb}_A \\ \downarrow & & \downarrow \\ A & \to & \mathbf{Hilb}_A \times \mathbf{Hilb}_A,\!\end{array}$$ where the bottom arrow is given on functor of points by $a \mapsto (X,aX)$ and the right vertical map is the diagonal $\Delta_{\mathbf{Hilb}_A}$. (This formula is taken from Milne's notes on algebraic groups [MilneNotes, §9c].)

Then the functor of points point of view immediately shows that $\operatorname{Stab}_A(X)$ is a subgroup functor of $A$, which is a closed subgroup scheme since $\Delta_{\mathbf{Hilb}_A}$ is a closed immersion (see also the remark below). It is smooth since every algebraic group in characteristic $0$ is smooth [MilneNotes, Cor. 10.36] (but a better proof is given in Tag 047N), hence its identity component is an abelian subvariety of $A$ [MilneNotes, Def. 10.13].

Since formation of Hilbert schemes and the pullback square above commute with base change along $\operatorname{Spec} \bar K \to \operatorname{Spec} K$ (see [FGAE, 5.1.5(5)] for the statement about Hilbert schemes), we get $$\operatorname{Stab}_{A_{\bar K}}(X_{\bar K}) = \operatorname{Stab}_A(X) \underset{\operatorname{Spec} K}\times \operatorname{Spec} \bar K.$$ The Nullstellensatz says that reduced subschemes of $A_{\bar K}$ are uniquely determined by their $\bar K$-points, so $\operatorname{Stab}_{A_{\bar K}}(X_{\bar K})$ could be defined simply as the (set-theoretic) stabiliser of $X_{\bar K}$ in $A_{\bar K}$.

Remark. It's a little dissatisfying that we need properness of $A$ to get representability of the Hilbert scheme, so the same argument doesn't work for affine algebraic groups. But in fact we don't really use representability of $\mathbf{Hilb}_A$, only that the diagonal $\Delta_{\mathbf{Hilb}_A}$ is representable by closed immersions (in the sense of Tags 0023 and 025V). It's possible that this holds for a larger class of algebraic groups, but I don't immediately see whether or not this is true.


References.

[FGAE] B. Fantechi, L. Göttsche, L. Illusie, S. L. Kleiman, N. Nitsure, and A. Vistoli, Fundamental algebraic geometry: Grothendieck’s FGA explained. Mathematical Surveys and Monographs 123. American Mathematical Society (AMS), Providence, RI (2005).

[Hart] R. Hartshorne, Algebraic geometry. Graduate Texts in Mathematics 52. Springer-Verlag, New York-Heidelberg-Berlin (1983).

[Milne] J. S. Milne, Algebraic groups. The theory of group schemes of finite type over a field. Cambridge Studies in Advanced Mathematics 170. Cambridge University Press (2017).

A variant is available online as lecture notes (which I cite because I don't have the book available to me at the moment):

[MilneNotes] J. S. Milne, Algebraic groups. Lecture notes.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .