## Automorphism groups and vector fields

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

If the projective automorphism group of a smooth complex projective algebraic variety $X$ has positive dimension, then $X$ admits a nonzero holomorphic vector field i.e. $H^0(X,T_X)\neq 0$. This is easy to prove using analytic methods: every subgroup of $PGL_{n}(\mathbf{C})$ of positive dimension contains a $Ga$ or a $Gm$; both give analytic vector fields on $\mathbf{P}^{n-1}(\mathbf{C})$ tangent to $X$.

There is probably an algebraic proof along the same lines which would work over any algebraically closed field (of any characteristic). I'd like to ask: is there a reference for that? Is there a generalization of this for smooth varieties which are not necessarily complete and/or are not necessarily embedded in any projective space?

upd: settled by BCnrd and Francesco Polizzi in the comments.

-

1
The standard observation to prove this is that the tangent space to the automorphism scheme at its identity point is the space of global vector fields (consider how to describe a $\mathbf{C}[\epsilon]$-automorphism of $X_ {\mathbf{C}[\epsilon]}$ which lifts the identity modulo $\epsilon$), and a non-etale locally finite type group scheme has a non-zero tangent space at the identity point. If you don't assume completeness for $X$ then the automorphism functor is generally not represented by a scheme (nor is it even an algebraic space); consider the automorphism functor of an affine space. – BCnrd Aug 4 2010 at 2:09
BCnrd: re the automorphisms of the affine space: true, but the affine space does have nonzero vector fields (and the automorphism functor has representable subfunctors). – algori Aug 4 2010 at 2:37
algori: in the absence of representability, how do you propose to replace the hypothesis that the automorphism scheme has positive dimension? Could demand that the automorphism functor contains a representable subfunctor locally of finite type with positive dimension, and then use the same argument as above, but is that satisfactory to you? Curiously, in the affine case the aut functor is always a direct limit of representable affine finite type subfunctors; this follows by the same method used to prove Lemma A.8.13 in the book "Pseudo-reductive groups". – BCnrd Aug 4 2010 at 2:46
BCnrd -- I'm not sure what the "right" generalization is. The problem is how to translate the notion of discrete. (But I guess the version you mention would suffice for most practical purposes). Re the observations on the automorphism schemes: is there a reference for that? – algori Aug 4 2010 at 3:22
algori: the interpretation of the tangent space to the identity of the automorphism functor is something I think I first learned from either examples near the end of Schlessinger's first paper on versal deformations (from his thesis) or perhaps from Grothendieck's Seminaire Cartan expose on Hilbert schemes (in which he discusses Aut schemes near the end, as an application). – BCnrd Aug 4 2010 at 3:51
show 4 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9176047444343567, "perplexity_flag": "head"}