Extending group actions on varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T12:05:12Z http://mathoverflow.net/feeds/question/36321 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36321/extending-group-actions-on-varieties Extending group actions on varieties Charles Siegel 2010-08-21T19:34:19Z 2010-08-22T14:30:43Z <p>Let $X$ be a (irreducible) variety (over $\mathbb{C}$ if necessary, smooth orbifold if necessary), and $U\subset X$ a nonempty open subset, and let $G$ be a finite group with an algebraic action on $U$.</p> <p>When does the action extend to an action of $G$ on $X$? Are there any conditions that are reasonable to verify, as I'd prefer to avoid having to construct the action on $X\setminus U$ (I know the action exists for other reasons, but the method I'm using gives easily that I have an action on a nonempty open, rather than the whole thing)</p> http://mathoverflow.net/questions/36321/extending-group-actions-on-varieties/36337#36337 Answer by inkspot for Extending group actions on varieties inkspot 2010-08-21T23:24:42Z 2010-08-22T14:30:43Z <p>Well, not always, e.g. take $X=\mathbb P^2$ with homogeneous co-ordinates $x,y,z$, $U$ the locus defined by $xyz\ne 0$ and $\sigma$ the involution of $U$ defined by $(x,y,z)\mapsto (yz,xz,xy)$ (the standard quadratic Cremona transformation of $X$). Then $\sigma$ is of order $2$ and does not extend to $X$. On the other hand some sufficient conditions, in characteristic zero, are: there are no rational curves in $X\setminus U$; $X$ has ample canonical class and is smooth (this can be weakened to having canonical singularities).</p> <p>[Update: Charles Siegel asked for references, and I have none to hand, although this is all well known.] </p> <p>For the Cremona example, recall that every automorphism of $\mathbb P^2$ is linear, and $\sigma$ clearly isn't. More geometrically, $\sigma$ blows up the vertices of the triangle $xyz =0$ and collapses its sides.</p> <p>No rational curves in $X\setminus U$: fix $g\in G$ and think of it as a rational map $g:X\to X$. By Hironaka, there is a minimal composite $p:Z\to X$ of blow-ups such that $g\circ p$ is regular. If $X\setminus U$ has no rational curves, then the rational curves in the exceptional divisor of the last blow-up are contracted, so the last blow-up was redundant, contradicting minimality.</p> <p>Ample canonical class $\omega_X$: then $X=Proj(R(X,\omega_X))$, with $R(X)= \oplus_{n\ge 0}H^0(X,\omega_X^{\otimes n})$, the canonical ring. This is a birational invariant of $X$, so $G$ acting on $U$ acts on $R(X)$, so on $X$.</p>