Welcome to MathOverflow

Question

2

1

Hi friends,

Let $X$ be a projective variety over a field $k$ of characteristic zero. Assume that $X$ comes with the action of a finite group $G$. Now let $Z$ be a closed subvariety stable under the action of $G$. Let $\pi: \tilde{X} \to X$ be the blow-up of $X$ along $Z$.

How can one extend the action of $G$ from $X$ to $\tilde{X}$?

Any help will be appreciated.

flag	asked Feb 25 at 20:10 blp 21●1

6

Perhaps you can use the fact that $G$ acts on the Rees algebra $R(I)=\bigoplus_{m\ge 0}I_Z^m$ and that $\tilde{X}=Proj R(I)$.. – J.C. Ottem Feb 25 at 20:21

isn't a blow-up a proper birational morphism? meaning that on $\bar{X} - \pi^{-1}(Z)$ the group action must be induced canonically via the isomorphism $\bar{X} - \pi^{-1}(Z) \cong X $. Thus, you could extend by acting on fibers in $Z$ $g\pi^{-1}(z) = \pi^{-1}(gz)$ for all $g\in G$ and all $Z\in Z$. well, this is a start anyway. – Andrew Stout Feb 25 at 20:23

edit: all $z \in Z$ – Andrew Stout Feb 25 at 20:23

1

I guess it depends what kind of answer you want. J.C. Ottem's answer is the correct one, but more simplemindedly, and geometrically, if Z is smooth: Think of the exceptional divisor E as the projectivised normal bundle of Z in X. The differential of the map corresponding to $g \in G$ gives a linear aut. of the normal bundle, which then descends to E. – Artie Prendergast-Smith Feb 25 at 20:43

Daniel Loughran · Answer 1 · 2013-02-26 09:05:25Z UTC

Yes you can extend the action. One can prove this using the universal property of blow-ups (see Hartshorne Corollary II.7.15).

As $Z$ is invariant under the action of $G$, the inverse image of $Z$ with respect to the morphism $G \times X \to X$ is $G \times Z$. Therefore on applying the universal property of blow-ups to this morphism we obtain a morphism $G \times \widetilde{X} \to \widetilde{X}$. Now, by assumption this morphism satisifies the identities $$(gh)x = g(hx), \quad ex = x$$ for all $x$ in $\widetilde{X}\setminus E$, where $E$ denotes the exceptional divisor of the blow-up. However since any two morphisms which are equal on an open dense subset must be equal on the whole space, we see that these identities hold for all $x$ in $\widetilde{X}$, i.e. the morphism $G \times \widetilde{X} \to \widetilde{X}$ gives an action of $G$ on $X$.

Note that in this argument we did not use the fact that $G$ was finite, it works for any algebraic group.

group actions on blow-ups

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

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.