The question Are automorphism groups of hypersurfaces reduced ? reminded me of the following related question that I have not seen discussed.

If $X$ is a smooth projective variety over an algebraically closed field $k$ of characteristic $p$ such that the canonical bundle $K_X$ is ample, then is the automorphism group of $X$ reduced?

Some observations:

  1. It is equivalent to ask if $H^0(X,T_X) = 0$.
  2. When $X$ is a hypersurface in $\mathbb{P}^n$, this is exactly the question answered in the link above.
  3. If $d := \mathrm{dim}(X) < p$ and $X$ lifts flatly to $W_2(k)$, then the answer is "yes" as $H^0(X,T_X) = (H^d(X, \Omega^1_X \otimes K_X))^\vee = 0$ by Kodaira vanishing (which holds because of Deligne-Illusie-Raynaud under these hypotheses).

Arguments or references or counterexamples would be very appreciated!

  • $\begingroup$ What does "reduced" mean (for the automorphism group)? Is it always a group scheme in a natural way (in which case I understand what "reduced" means)? $\endgroup$
    – YCor
    Jan 21, 2013 at 12:38
  • $\begingroup$ I think the automorphism functor is representable by a finite type group scheme since $K_X$ is ample (look at the action on sections of $K_X^n$). Also, $\mathrm{Aut}(X)$ is always represented by a locally finitely presented group scheme for $X$ projective (look inside the Hilbert scheme of $X \times X$), so "reducedness" makes sense. However, I don't want to worry about these issues too much here, so I'm happy to take reducedness to mean that $H^0(X,T_X) = 0$. $\endgroup$
    – anon
    Jan 21, 2013 at 13:51

2 Answers 2


William Lang produced examples of surfaces of general type in positive characteristic with non-zero vector fields. Since surfaces of general type must have finite automorphism groups, this gives examples. See William Lang, "Examples of surfaces of general type with vector fields", Arithmetic and geometry, Vol. II, Progr. Math., 36, Birkhäuser, pp. 167–173

  • $\begingroup$ Ah, thanks. I don't have access to Lang's paper, so I just wanted to check: do Lang's examples also have $K_X$ ample (as opposed to say big)? $\endgroup$
    – anon
    Jan 21, 2013 at 18:43
  • $\begingroup$ If I remember correctly, Lang's examples are fibrations $X \to C$, where $C$ is a curve of genus at least 2, $X$ is a smooth surface of general type, and the geometric fibers of $X \to C$ are irreducible rational curves with a single higher-order cusp. I believe that for these surfaces the canonical has to be ample. $\endgroup$
    – Angelo
    Jan 21, 2013 at 21:59

I suspect that there are examples. Here is an example, relative to the existence of a smooth, projective morphism $\pi:X\to \mathbb{P}^n$ with $\omega_X\otimes \pi^*\mathcal{O}(1)$ ample, for some integer $n\geq 1$. There are examples due to Moret-Bailly of smooth, projective morphisms to $\mathbb{P}^n$ that might do the trick -- I need to double-check the canonical bundle. Anyway, given such a morphism, consider the induced morphism $$ \pi \times \text{Id}_{\mathbb{P}^n}: X\times \mathbb{P}^n \to \mathbb{P}^n\times \mathbb{P}^n.$$ This is also a smooth, projective morphism. Let $d\geq 1$ be an integer such that $pd > n+1$, and consider the closed subscheme, $$ Z = \{ ([x_0,\dots,x_n],[y_0,\dots,y_n])\in \mathbb{P}^n\times \mathbb{P}^n | x_0y_0^{pd} + \dots + x_ny_n^{pd} = 0\}. $$ Define $Y$ to be the inverse image of $Z$ under $\pi\times \text{Id}_{\mathbb{P}^n}$. Of course $Z$ is everywhere smooth. Since $\pi$ is smooth, also $Y$ is smooth. By adjunction, $\omega_Y$ is the restriction to $Y$ of $$ \text{pr}_X^*(\omega_X \otimes \pi^* \mathcal{O}(1)) \otimes \text{pr}_{\mathbb{P}^n}^* \mathcal{O}(dp-n-1), $$ which is ample by hypothesis. On the other hand, there is an action of $\mathbf{\mu}_{pd}^n$ by $$(\lambda_1,\dots,\lambda_n)\cdot ([x_0,\dots,x_n],[y_0,\dots,y_n]) = ([x_0,\dots,x_n],[y_0, \lambda_1y_1,\dots,\lambda_ny_n]).$$


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.