Example 109.7.2 (Smooth positive dimensional automorphism group). Let $k$ be an algebraically closed field. If $X$ is a smooth genus $0$, resp. $1$ curve, then the automorphism group has dimension $3$, resp. $1$. Namely, in the genus $0$ case we have $X \cong \mathbf{P}^1_ k$ by Algebraic Curves, Proposition 53.10.4. Since
as functors we see that the dimension is $3$. On the other hand, if the genus of $X$ is $1$, then we see that the map $X = \underline{\mathrm{Hilb}}^1_{X/k} \to \underline{\mathrm{Pic}}^1_{X/k}$ is an isomorphism, see Picard Schemes of Curves, Lemma 44.6.7 and Algebraic Curves, Theorem 53.2.6. Thus $X$ has the structure of an abelian variety (since $\underline{\mathrm{Pic}}^1_{X/k} \cong \underline{\mathrm{Pic}}^0_{X/k}$). In particular the (co)tangent bundle of $X$ are trivial (Groupoids, Lemma 39.6.3). We conclude that $\dim _ k H^0(X, T_ X) = 1$ hence $\dim \mathit{Aut}(X) \leq 1$. On the other hand, the translations (viewing $X$ as a group scheme) provide a $1$-dimensional piece of $\text{Aut}(X)$ and we conlude its dimension is indeed $1$.
Comments (0)