Processing math: 100%

1 votos

Mapa de A1A2

Que el mapa φn:A1A2 se define por t(t2,tn) .

-Demostrar que si n es par, la imagen de φn es isomorfo a A1 y φn está a 2:1 de 0.

-Demostrar que si n es impar, φn es biyectiva, y dar una inversa racional de la misma.

Para el caso par: Creo que he demostrado que φn es exactamente 2:1, y creo que he demostrado que la curva estándar dada por y=xn2 es la imagen de φn . ¿Cómo puedo demostrar que esto es isomorfo a A1 ?

Para el caso impar: No estoy muy seguro de por dónde empezar aquí, he utilizado el mismo proceso que para el caso par, y creo que la función t=yxm donde (x,y)=(t2,tn)=(t2,t2m+1) para algún m. ¿Cómo demostrar que esto es biyectivo? ¡Gracias por cualquier ayuda que podáis ofrecerme!

2voto

Nir Puntos 136

0) En primer lugar, es probable que quieras asumir que el campo base es algebraicamente cerrado: si el campo base es R y n=2 la imagen de ϕ2 ¡ni siquiera es algebraico! Así que supongamos que k=ˉk .

1) n=2k incluso
Está claro que la imagen de ϕn es la curva AnA2 con la ecuación y=xk obviamente es isomorfo a A1 ya que es el gráfico de A1A1:zzk .
Que el mapa es 2:1 lejos de cero también es fácil: dado un punto (x,xk)An elegir una raíz cuadrada ξk de x y comprobar que la preimagen de su punto es el conjunto {ξ,ξ} .

2) n=2k+1 impar
El morfismo ϕn es una biyección sobre la curva con ecuación y2=xn .
La biyección inversa se restringe a un isomorfismo ψn:C{(0,0)}A1{0}:(x,y)yxk lo que demuestra que ϕn es un morfismo biracional.
Sin embargo, no sólo puede ψn no se extienda regularmente a toda la Cn pero Cn no es isomorfo a A1 bajo cualquier isomorfismo porque Cn es singular (con (0,0) como una singularidad), mientras que A1 es regular.

0voto

Jones Puntos 79

Para el caso par, está demostrando que la imagen es isomorfa a A1 . No es necesario (ni cierto) que φn es el isomorfismo. De hecho, su respuesta casi contiene el mapa de A1 a φn(A1) y el mapa en la otra dirección. (Tendrás que comprobar que son inversos mutuos, por supuesto).

En el caso de impar, creo que quieres demostrar que es biyectiva sobre su imagen ( φn no es suryente hacia A2 porque |y| se determina por |x| ). Elige un punto (x,y) a imagen y semejanza de φn . Utilizando lo que ha dicho en su pregunta, tiene que demostrar que yxm=t2m+1(t2)m le da un inverso al mapa φn .

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