5 votos

Rango de $x (x^2 - 1) = c (c^2 - 1) y^2 $ en $\mathbb{Q}$ para determinados valores racionales de $c$

¿Se puede decir algo en general sobre el rango, etc.? $\mathbb{Q}$ de la familia de ecuaciones de Weierstrass (en forma ligeramente no estándar) $x (x^2 - 1) = c (c^2 - 1) y^2$ para varios valores racionales dados de $c$ ? Tengo una buena razón para preguntar, así que no se trata de una curiosidad ociosa.

Naturalmente, lo más sencillo sería que la ecuación de Weierstrass tuviera el mismo comportamiento para cada uno de estos valores de $c$ o al menos con una cantidad manejable (finita) de variación. Obviamente, siempre hay una solución $x, |y| = c, 1$ pero eso podría ser una solución trivial de un caso de rango 0.

16voto

Honza Puntos 2771

Primero se utiliza $c$ como parámetro, es decir, considerar su ecuación como una curva elíptica sobre $\mathbb{Q}(c)$ . También se puede considerar esta ecuación como una ecuación de una superficie elíptica $S$ . Ahora se demuestra fácilmente que $S$ es una superficie K3, y que es el cociente de $E\times E$ por un grupo de orden 2, con $E$ la curva elíptica $y^2=x^3-x$ . De esto se deduce que el número de Picard de $S$ es 20. Utilizando la fórmula de Shioda-Tate se deduce que el $\overline{\mathbb{Q}}(c)$ rango de $y^2c(c^2-1)=x(x^2-1)$ es dos. Como esta superficie elíptica tiene 4 $I_0^*$ fibras, el grupo de torsión tiene que ser un subgrupo de $(\mathbb{Z}/2\mathbb{Z})^2$ Por lo tanto $(x,y)=(c,1)$ es un punto de orden infinito. (Por supuesto, se puede demostrar esto mostrando que $2(c,1)$ , $4(c,1)$ , $6(c,1)$ y $8(c,1)$ son distintos de cero).

Tenga en cuenta que $(x,y)=(-c,\sqrt{-1})$ es también un punto de orden infinito, y que este punto no está en el subgrupo generado por $(c,1)$ . Esto implica $E(\mathbb{Q}(c))$ está generada por los cuatro puntos de dos torsiones y $(c,1)$ . Así que el punto $(c,1)$ es de orden infinito y este es el único punto que se obtiene de forma gratuita.

Para valores especiales de $c$ el rango puede ser mayor. Si usted fuera capaz de controlar de la manera que pide en su pregunta entonces esto sería muy grande, porque significa más o menos que usted es capaz de controlar el rango de las curvas elípticas bajo torsión cuadrática.

Sin embargo, hay un resultado más débil, usando el 2descenso se puede obtener un límite en el rango dependiendo del número de primos que dividen $2c(c^2-1)$ Véase, por ejemplo, la sección X.5 del libro de Silverman sobre la aritmética de las curvas elípticas.

2voto

Peter Puntos 1681

No es una respuesta, sólo una imagen de las curvas de Weierstrass para varios valores de $c \in (1,3]$ :
       Weierstrass curves
(Tenía curiosidad por ver cómo varía la curva con $c$ .)

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