Automorphism group of a scheme, 2 - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T18:00:33Z http://mathoverflow.net/feeds/question/85797 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/85797/automorphism-group-of-a-scheme-2 Automorphism group of a scheme, 2 THC 2012-01-16T11:11:28Z 2012-01-16T12:19:08Z <p>Hi,</p> <p>I have the following two questions about automorphism groups of schemes. First of all, let $S$ be a scheme, and $S^c$ its set of closed points. What is the connection between $Aut(S)$ and $Aut(S^c)$ ? Secondly, let $S$ be a $\mathbb{Z}$-scheme, and $S_k$ the base-extension to some field k. What is the precise relation between their automorphism groups ? Thanks,</p> <pre><code>THC </code></pre> http://mathoverflow.net/questions/85797/automorphism-group-of-a-scheme-2/85798#85798 Answer by Sándor Kovács for Automorphism group of a scheme, 2 Sándor Kovács 2012-01-16T11:15:28Z 2012-01-16T11:52:21Z <p>It depends on what kind of scheme $S$ is. If $S$ is (reduced) of finite type over a field, then the set of closed points is dense in $S$, so all morphisms are determined by their behaviour on the closed points. On the other hand if $S$ is a local scheme, then it has a single closed point, so you can't say much about automorphisms just from the closed points.</p> http://mathoverflow.net/questions/85797/automorphism-group-of-a-scheme-2/85800#85800 Answer by S. Carnahan for Automorphism group of a scheme, 2 S. Carnahan 2012-01-16T12:13:49Z 2012-01-16T12:19:08Z <p>The functor from schemes to sets, given by taking the set of closed points, is neither full nor faithful. For example, the spectrum of a field with nontrivial automorphisms has a single closed point, but its automorphism group is nontrivial. On the other hand, the complex projective line has automorphism group $PGL_2(\mathbb{C})$, but the set of closed points is an abstract set of cardinality $2^{\aleph_0}$, and has an automorphism group of strictly larger cardinality. What you can say is that the functor induces a homomorphism (that may be neither injective nor surjective).</p> <p>If you want to consider automorphism groups of base extensions, you might as well assemble them into the automorphism group sheaf <code>$\underline{\operatorname{Aut}} (S)$</code>, which eats a scheme $T$, and returns the automorphism group of $S \times T$ (as a $T$-scheme). When $S$ is projective, this sheaf is represented by a scheme, whose $k$-points are precisely the automorphisms of $S_k$. For example, $\mathbb{P}^1$ has automorphism group scheme $PGL_2$.</p>