Why do automorphism groups of algebraic varieties have natural algebraic group structure? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T16:14:52Z http://mathoverflow.net/feeds/question/8812 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/8812/why-do-automorphism-groups-of-algebraic-varieties-have-natural-algebraic-group-st Why do automorphism groups of algebraic varieties have natural algebraic group structure? Fei YE 2009-12-14T00:04:35Z 2010-10-26T20:59:04Z <p>I am not sure that all automorphism groups of algebraic varieties have natrual algebraic group structure. But if the automorphism group of a variety has algebraic group structure, how do I know the automorphism group is an algebraic group. For example, the automorphism group of an elliptic curve $A$ is an extension of the group $G$ of automorphisms which preserve the structure of the elliptic curve, by the group $A(k)$ of translations in the points of $A$, i.e. the sequence of groups $0\to A(k)\to \text{Aut}(A)\to G \to 0$ is exact, see <a href="http://eom.springer.de/a/a011740.htm#a011740_00c2" rel="nofollow">Springer online ref - automorphism group of algebraic variaties</a>. In this example, how do I know $\text{Aut}(A)$ is an algebraic group.</p> http://mathoverflow.net/questions/8812/why-do-automorphism-groups-of-algebraic-varieties-have-natural-algebraic-group-st/8820#8820 Answer by David Speyer for Why do automorphism groups of algebraic varieties have natural algebraic group structure? David Speyer 2009-12-14T01:32:23Z 2010-10-26T20:59:04Z <p>It is not always true that the automorphism group of an algebraic variety has a natural algebraic group structure. For example, the automorphism group of $\mathbb{A}^2$ includes all the maps of the form $(x,y) \mapsto (x, y+f(x))$ where $f$ is any polynomial. I haven't thought through how to say this precisely in terms of functors, but this subgroup morally should be a connected infinite dimensional object, and is thus not a subobject of an algebraic group.</p> <p>On the other hand, I believe that the automorphism group of a projective algebraic variety, $X$, can be given the structure of algebraic group in a fairly natural way. This is something I've thought about myself, but not written down a careful proof nor found a reference for: For any automorphism $f$ of $X$, consider the graph of $f$ as a subscheme of $X \times X$, and thus a point of the Hilbert scheme of $X\times X$. In this way, we get an embedding of point sets from $\mathrm{Aut}(X)$ into $\mathrm{Hilb}(X\times X)$. </p> <p>I believe that it should be easy to show that (1) $\mathrm{Aut}(X)$ is open in $\mathrm{Hilb}(X\times X)$, and thus acquires a natural scheme structure and (2) composition of automorphisms is a map of schemes.</p> http://mathoverflow.net/questions/8812/why-do-automorphism-groups-of-algebraic-varieties-have-natural-algebraic-group-st/8823#8823 Answer by Mariano Suárez-Alvarez for Why do automorphism groups of algebraic varieties have natural algebraic group structure? Mariano Suárez-Alvarez 2009-12-14T01:59:31Z 2009-12-14T02:09:43Z <p>In [Matsusaka, T. Polarized varieties, fields of moduli and generalized Kummer varieties of polarized abelian varieties. Amer. J. Math. 80 1958 45--82.] it is proved that a non-singular projective variety has a maximal algebraic group of automorphisms (that is, every group which acts on the variety by automorphisms contains a maximal algebraic subgroup)</p> <p>[Matsumura, Hideyuki; Oort, Frans. Representability of group functors, and automorphisms of algebraic schemes. Invent. Math. 4 1967 1--25.] shows the automorphism group (of an algebraic proper scheme over a field) is representable by a group scheme.</p> http://mathoverflow.net/questions/8812/why-do-automorphism-groups-of-algebraic-varieties-have-natural-algebraic-group-st/8873#8873 Answer by Mikhail Bondarko for Why do automorphism groups of algebraic varieties have natural algebraic group structure? Mikhail Bondarko 2009-12-14T14:33:54Z 2009-12-14T14:33:54Z <p>If A is an elliptic curve then G (in your notation) is finite. Yet it seems that for a square of an elliptic curve you get something infinite and very far from being algebraic. If $A=B\times B$, $B$ is a 'general' elliptic curve, then it seems that $G(A)=GL_2(\Bbb Z)$; this is a 'large' discrete group. Another example is an abelian variety with complex multplication: you get the group of units in some order in some CM-field over $\Bbb Q$, and this is infinite if this field is not quadratic. I think, in these examples it is not difficult to prove that Aut(A) is not an algebraic group.</p> http://mathoverflow.net/questions/8812/why-do-automorphism-groups-of-algebraic-varieties-have-natural-algebraic-group-st/16398#16398 Answer by BCnrd for Why do automorphism groups of algebraic varieties have natural algebraic group structure? BCnrd 2010-02-25T14:50:38Z 2010-02-25T14:50:38Z <p>This is really a comment on Pete's comment for Mikhail's answer, but I am making it an answer because it raises a question which I think should be more widely known.</p> <p>The construction of Aut-scheme uses the entire Hilbert scheme, which has countably many components (due to varying Hilbert polynomials), and it is not obvious how many of these intervene in the construction. Mikhail's answer illustrates the basic example showing it can be infinite. But this leads to the following problem (suggested by what is known about Neron-Severi groups, whose construction encounters the same issue via construction of Pic schemes in terms of Hilbert schemes, at least in the original Grothendieck construction): </p> <p>Q. Does the Aut scheme of a proper scheme over an alg. closed field have finitely generated component group? (This is a more basic question than finiteness, which is really Pete's comment to Mikhail's answer.) </p> <p>Incredibly, even for smooth projective varieties over C this appears to be a wide open problem!! I have mentioned this to several experts in alg. geom. (including Oort), and nobody has an idea. If anyone has an idea or a solution, please let me know right away. </p>