Skip to main content
1 of 3
Wille Liu
  • 1.1k
  • 5
  • 17

For $X$ projective, we have that $\mathrm{Aut}(X)$ finite implies $\mathrm{Aut}(X^n)$ finite.

In this case, $\mathrm{Aut}(X)$ is representable by a group scheme of finite type over $\mathbf{C}$ and its Lie algebra is identified with global tangent fields $H^0(X, T_X)$. According to this post, the group scheme $\mathrm{Aut}(X)$ is reduced, so the condition that $\mathrm{Aut}(X)$ being finite is equivalent to that $H^0(X, T_X) = 0$. It then suffices to observe that $H^0\left(X^n, T_{X^n}\right) \cong H^0(X, T_X)^{\otimes n}$.

Wille Liu
  • 1.1k
  • 5
  • 17