Una curva algebraica proyectiva lisa de género uno junto con un punto racional distinguido (el origen); sobre un cuerpo de característica distinta de 2 y 3 se suele presentar mediante una cúbica de Weierstrass y^2 = x^3 + ax + b, y posee una ley de grupo abeliana natural en sus puntos racionales.

Principio

Una cúbica no singular de género uno con un punto racional elegido permite una construcción geométrica por cuerdas y tangentes que define una estructura de grupo conmutativo algebraico sobre el conjunto de puntos racionales; invariantes aritméticos (rango, torsión, conductor) resumen sus propiedades diofánticas.

Demostración

Sobre Q, el conjunto E(Q) de puntos racionales de una curva elíptica E es un grupo abeliano de tipo finito (Mordell–Weil): por ejemplo la curva y^2 = x^3 − x tiene puntos racionales explícitos que generan un subgrupo cuya estructura puede calcularse y cuyo rango mide la parte libre.

Aplicación incorrecta

Llamar curva elíptica a una cúbica singular (con nudo o cuspide) o aplicar la ley de grupo por cuerdas y tangentes a un modelo reducible o singular; confundir curvas elípticas con funciones elípticas o con curvas de género uno sin punto racional base.

Consecuencia

Las curvas elípticas conectan geometría algebraica, aritmética y análisis complejo: conocer E sobre distintos cuerpos da información sobre el grupo, representaciones de Galois y modularidad; en la práctica, la estructura de grupo posibilita algoritmos para buscar puntos racionales, construcciones criptográficas y el estudio de funciones L.

Inversión

La inversión es una cúbica singular (nodal o cuspidal) o una curva de género cero: la estructura de grupo geométrica y aritmética se degenera, el género desciende y se pierde la estructura de variedad abeliana que define una curva elíptica.

Límite

La definición depende del cuerpo base y exige no singularidad y un punto racional especificado; excluye cúbicas singulares, curvas de mayor género y taus puramente analíticos complejos considerados sin estructura algebraica; las afirmaciones aritméticas varían según cuerpos, modelos enteros y reducciones modulo primos.

Tensión semántica

Conceptos cercanos son los tori complejos y las funciones elípticas: analíticamente toda curva elíptica sobre C es un toro complejo, pero algebraicamente 'curva elíptica' enfatiza un modelo algebraico y puntos racionales, mientras 'función elíptica' enfatiza periodicidad analítica; las perspectivas se solapan pero resaltan estructuras distintas.

Síntesis

Una curva elíptica es a la vez una curva algebraica lisa de género uno con un punto base elegido y un grupo abeliano algebraico concreto: proporciona un modelo cúbico con una ley de grupo cuya aritmética (rango, torsión) e invariantes analíticos (función L, uniformización compleja) conectan geometría, teoría de números y análisis.