Skip to main content
formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

To any variety $X$ over a field of characteristic zero, say $k$, one can attach a resolution of singularities, say $X'\to X$, with the following properties:

  1. $X'\to X$ is an isomorphism over $X_{reg}$$X_{\mathrm{reg}}$.
  2. if $\Theta:X\rightarrow Y$ is an isomorphism of schemes (not necessarily defined over $k$), then $\Theta$ can be extended to an isomorphism $\Theta':X'\rightarrow Y'$ compatible with $\Theta$ and the resolutions.

It follows from 1. and 2. that if $\Psi:Y\rightarrow Z$ is a second isomorphism of schemes, then $(\Psi\circ\Phi)'$ and $\Psi'\circ\Phi'$ coincide on the inverse image of $X_{reg}$$X_{\mathrm{reg}}$ in $X'$, and hence they coincide on $X'$. With a similar argument, we have $(id_X)'=id_{X'}$$(\mathrm{id}_X)'=\mathrm{id}_{X'}$. In particular, if $G$ is any group of automorphisms of $X$ (not necessarily defined over $k$), the action of $G$ on $X$ can be lifted to an action on $X'$.

For a reference, see:

O. Villamayor: Equimultiplicity, algebraic elimination, and blowing-up. Adv. in Math. 262 (2014) 313-369. (ArXiv link, DOI link)

To any variety $X$ over a field of characteristic zero, say $k$, one can attach a resolution of singularities, say $X'\to X$, with the following properties:

  1. $X'\to X$ is an isomorphism over $X_{reg}$.
  2. if $\Theta:X\rightarrow Y$ is an isomorphism of schemes (not necessarily defined over $k$), then $\Theta$ can be extended to an isomorphism $\Theta':X'\rightarrow Y'$ compatible with $\Theta$ and the resolutions.

It follows from 1. and 2. that if $\Psi:Y\rightarrow Z$ is a second isomorphism of schemes, then $(\Psi\circ\Phi)'$ and $\Psi'\circ\Phi'$ coincide on the inverse image of $X_{reg}$ in $X'$, and hence they coincide on $X'$. With a similar argument, we have $(id_X)'=id_{X'}$. In particular, if $G$ is any group of automorphisms of $X$ (not necessarily defined over $k$), the action of $G$ on $X$ can be lifted to an action on $X'$.

For a reference, see:

O. Villamayor: Equimultiplicity, algebraic elimination, and blowing-up. Adv. in Math. 262 (2014) 313-369.

To any variety $X$ over a field of characteristic zero, say $k$, one can attach a resolution of singularities, say $X'\to X$, with the following properties:

  1. $X'\to X$ is an isomorphism over $X_{\mathrm{reg}}$.
  2. if $\Theta:X\rightarrow Y$ is an isomorphism of schemes (not necessarily defined over $k$), then $\Theta$ can be extended to an isomorphism $\Theta':X'\rightarrow Y'$ compatible with $\Theta$ and the resolutions.

It follows from 1. and 2. that if $\Psi:Y\rightarrow Z$ is a second isomorphism of schemes, then $(\Psi\circ\Phi)'$ and $\Psi'\circ\Phi'$ coincide on the inverse image of $X_{\mathrm{reg}}$ in $X'$, and hence they coincide on $X'$. With a similar argument, we have $(\mathrm{id}_X)'=\mathrm{id}_{X'}$. In particular, if $G$ is any group of automorphisms of $X$ (not necessarily defined over $k$), the action of $G$ on $X$ can be lifted to an action on $X'$.

For a reference, see:

O. Villamayor: Equimultiplicity, algebraic elimination, and blowing-up. Adv. in Math. 262 (2014) 313-369. (ArXiv link, DOI link)

Source Link
Diego Sulca
  • 657
  • 4
  • 12

To any variety $X$ over a field of characteristic zero, say $k$, one can attach a resolution of singularities, say $X'\to X$, with the following properties:

  1. $X'\to X$ is an isomorphism over $X_{reg}$.
  2. if $\Theta:X\rightarrow Y$ is an isomorphism of schemes (not necessarily defined over $k$), then $\Theta$ can be extended to an isomorphism $\Theta':X'\rightarrow Y'$ compatible with $\Theta$ and the resolutions.

It follows from 1. and 2. that if $\Psi:Y\rightarrow Z$ is a second isomorphism of schemes, then $(\Psi\circ\Phi)'$ and $\Psi'\circ\Phi'$ coincide on the inverse image of $X_{reg}$ in $X'$, and hence they coincide on $X'$. With a similar argument, we have $(id_X)'=id_{X'}$. In particular, if $G$ is any group of automorphisms of $X$ (not necessarily defined over $k$), the action of $G$ on $X$ can be lifted to an action on $X'$.

For a reference, see:

O. Villamayor: Equimultiplicity, algebraic elimination, and blowing-up. Adv. in Math. 262 (2014) 313-369.