3 votos

Biracional entre afín y proyectivo

Me piden que demuestre que $\mathbb{A}^n$ es birracional a $\mathbb{P}^n$ . Sé que debo encontrar una función racional cuya inversa sea también una función racional. Pero no tengo ni idea de por dónde empezar. Tal vez sea porque me cuesta creer que este resultado sea cierto. Esto es porque sé que $\mathbb{A}^n$ es birracional a $\mathbb{P}^{n}$ con una de las coordenadas fijada como $1$ .

6voto

Asko Puntos 21

Usted menciona que $\mathbb{A}^n$ es birracional a cualquiera de los subconjuntos $U$ de $\mathbb{P}^n$ obtenido fijando una coordenada en 1, por ejemplo $$U = \{[x_0:x_1:\cdots:x_{n-1}:1]: x_i\in k\}]\subset \mathbb{P}^n$$ donde $k$ es el campo sobre el que estamos trabajando. De hecho, son isomorfo no sólo birracional: el mapa habitual $\mathbb{A}^n\to U$ dado por $(x_0,\ldots,x_{n-1})\mapsto [x_0:\cdots:x_{n-1}:1]$ es un isomorfismo. Por la definición que diste, esto define un mapa racional $\phi:\mathbb{A}^n\dashrightarrow\mathbb{P}^n$ (componiendo con el mapa de inclusión $U\hookrightarrow \mathbb{P}^n$ ). A ver si puedes escribir un mapa racional de $\mathbb{P}^n$ a $\mathbb{A}^n$ que es un inverso de $\phi$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X