8
$\begingroup$

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$.

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)

$\endgroup$

1 Answer 1

6
$\begingroup$

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).

[Update: Charles Siegel asked for references, and I have none to hand, although this is all well known.]

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.

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.

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$.

$\endgroup$
2
  • $\begingroup$ Do you have a reference? I'd like to be able to either cite these or read through proofs. $\endgroup$ Commented Aug 22, 2010 at 1:06
  • 1
    $\begingroup$ The statement about extension of birational maps in the absents of rational curves can be found in Debarre "Higher dimensional algebraic geometry"(It has a chapter about (bi)rational maps). In case $X$ is a smooth and proper surface, one can extend an rational automorphism, given the Kodaira dimension is not $-\infty$. This is in Badescu "Algebraic surfaces". $\endgroup$ Commented Aug 22, 2010 at 17:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .