Estoy estudiando un campo de funciones especial para mi investigación que es un subcampo del campo de funciones de la superficie de Kummer de la jacobiana de una curva hiperelíptica $latex C$ de género 2 sobre un campo finito $latex \mathbb{F}_q$.
Esto lo escribo meramente para poder saber si yo lo entiendo, pero cualquier duda escríbanme en los comentarios, ya que el tema es muy interesante.
Para poder construir este subcampo primero necesito conocer bien el campo de funciones de la superficie de Kummer asociada a la Jacobiana que realmente es sólamente considerar los puntos de la jacobiana módulo la involución en sus elementos, es decir estamos pegando los puntos opuestos en la Jacobiana, lo que ya no nos permitirá diferenciar $latex P$ de $latex -P$ con $latex P\in \mathbb{J}_{\mathbb{F}_q(C)}$.
La superficie de Kummer es cuártica en el espacio proyectivo de dimensión 3 $latex \mathbb{P}^3$ que tiene exactamente 16 singularidades nodales (es decir que si ese punto en una superficie en $latex \mathbb{P}^3$ es tal que si lo tomas como el origen de un sistema de coordenadas afín, la ecuación de esa superficie tiene la forma $latex 0=\alpha(x,y,z)+$ términos más grandes en grado con $latex \alpha$ una fórma cuadrática homogénea no degenerada.
Vamos a construir la superficie de Kummer $latex K(C)$ asociada a $latex P\in\mathbb{J}_{\mathbb{F}_q(C)}$.
Sea $latex C$ la curva hiperelíptica de género 2 con modelo no singular sobre $latex \mathbb{F}_q$ de característica diferente de 2 dada por
$latex y^2=f(x)=x^5+a_4x^4+a_3x^3+a_2x^2+a_1x+a_0$ donde $latex a_i \in \mathbb{F}_q$
donde $latex f$ no tiene raíces múltiples, entonces $latex C$ tiene un sólo punto al $latex \infty$ denotado por $latex P_\infty$ tal que si $latex \iota \in Aut_{\mathbb{F}_q}(C)$ es la involución hiperelíptica dada por el mapeo $latex (x,y)\mapsto (x,-y)$ y $latex \iota(P_\infty)=P_\infty$.
La clase de divisores canónicos $latex [\omega]\in Pic^0(C)\cong \mathbb{J}_{\mathbb{F}_q(C)}$. en $latex C$ está dada por líneas verticales cortando la curva por lo que $latex 2P_\infty$ junto con estos 5 puntos $latex 2W_i$ donde $latex W_i$ es uno de los 5 puntos de Weierstrass son divisores canónicos.
Tenemos ahora que como grupo abeliano $latex \mathbb{J}_{\mathbb{F}_q(C)}:= Div^0(C)/Pr(C)$, es decir los divisores de orden 0 (grupo abeliano libre de las sumas formales de puntos cuyos elementos cumplen que la suma de sus coeficientes sobre $latex \mathbb{Z}$ da 0) modulo los divisores principales que están formados por los divisores de orden cero nacidos de la intersección de funciones de la curva cuyos puntos tienen coeficiente el órden de intersección de ésta con la función.)
$latex \mathbb{J}_{\mathbb{F}_q(C)}$ se obtiene via $latex Sym^2(C)$, es decir es la variedad de pares de puntos no ordenados de $latex C$ (es decir, el producto cartesiano de $latex C$ con sigo misma olvidando el orden), es fácil demostrar que $latex \Phi:Sym^2(C)\rightarrow \mathbb{J}_{\mathbb{F}_q(C)}$ con $latex \lbrace P,Q\rbrace\mapsto [P+Q-2\infty]$ donde $latex P,Q\in C$ donde la fibra sobre $latex 0\in \mathbb{J}_{\mathbb{F}_q(C)}$ es $latex \Phi^{-1}(0)=\lbrace \lbrace P,Q \rbrace \in Sym^2(C) \mid P+Q\in [\omega]\rbrace$ y la fibra sobre otro punto es solo otro punto.
Ahora vamos a identificar el campo de funciones de $latex Sym^2(C)$ denotado por $latex \mathbb{F}_q(Sym^2(C))$ que es también el campo de funciones de $latex \mathbb{J}_{\mathbb{F}_q(C)}$ .
Comenzamos, considera el producto cartesiano de la curva con si misma $latex C\times C$ y entonces metiendo ot
Esto lo hice más para mi, pero pretendo complementar la construcción de esto mediante divisores de Mumford.
ra nueva variable $latex z$ donde $latex z^2=f(z)$ es la misma curva $latex C$ tenemos que :
$latex \mathbb{F}_q(C\times C)=\mathbb{F}_q(x,z,\sqrt{f(x)}, \sqrt{f(z)})$
Por otro lado el campo de funciones de $latex Sym^2(C)$ son las funciones que son invariantes bajo permutacion de variables $latex (x,\sqrt{f(x)}) \leftrightarrow (z,\sqrt{f(z))$ es decir
$latex \mathbb{F}_q(Sym^2(C))$ es el campo fijo de $latex \mathbb{F}_q(C\times C)$ bajo la acción del automorfismo $latex \tau\in Aut(C)$ dado por intercambiar $latex x$ por $latex z$ es decir $latex \tau(x)=z$ y $latex \tau(z)=x$ por lo que tenemos que
$latex \mathbb{F}_q(Sym^2(C))=\mathbb{F}_q(x+z,xz,z\sqrt{f(x)}, x\sqrt{f(z)})$
Puedes demostrar que $latex [\mathbb{F}_q(C\times C):\mathbb{F}_q(Sym^2(C))]=2$
Ahora, el punto base $latex P_\infty$ implica que la involución de divisores $latex \hat \iota(D)=-D\in \mathbb{J}_{\mathbb{F}_q(C)} $ está inducida por la involución hiperelíptica $latex \iota$, de tal manera que el automorfismo inducido de $latex \mathbb{F}_q(Sym^2(C))$ está dado por el cambio de signo de los radicales, por lo que el automorfismo cambia el signo de $latex x\sqrt{f(z)}+z\sqrt{f(x)}$ y deja a los otros generadores fijos, por lo que el campo fijo es finalmente es el campo de funciones de la superficie de Kummer que queríamos construir partiendo de la construcción de la jacobiana módulo involución:
$latex \mathbb{J}_{\mathbb{F}_q(C)}/(\hat\iota)=\mathcal{K}(\mathbb{J}_{\mathbb{F}_q(C)})=\mathbb{F}_q(x+z,xz,z\sqrt{f(x)}\cdot x\sqrt{f(z)})$
Y este es el campo de funciones de la superficie de Kummer asociada a la Jacobiana de una curva hiperelíptica de Género 2.
Puedes probar Más explícitamente con esto:
Corolario:
Sea $latex f(x)=\prod_{i=1}^5{(x-\alpha_i)}$
entonces $latex f(x)f(u)=\prod_{i=1}^5{(x-\alpha_i)(z-\alpha_i)}=\prod_{i=1}^5{(xz-(x+z)\alpha_i+\{\alpha_i}^2)}=\Delta(x,z)$
Entonces tenemos que la superficie de Kummer de la jacobiana de una curva hiperelíptica de género 2 dada por $latex y^2=f(x)$ tiene como campo de funciones:
$latex \mathbb{F}_q(x,z,t)$ tal que $latex t^2=\Delta(x,z)$
Esto lo hice más para mi, pero pretendo complementar la construcción de esto mediante divisores de Mumford.
Eduardo Ruíz Duarte
twitter @toorandom
