Curva elíptica

Curva elíptica

Curva elíptica

En matemáticas, las curvas elípticas se definen mediante ecuaciones cúbicas (de tercer grado). Han sido usadas para probar el último teorema de Fermat y se emplean también en criptografía (para más detalles ver el artículo criptografía de curvas elípticas) y en factorización de enteros. Estas curvas no son elipses.

Las curvas elípticas son "regulares", es decir, no tienen "vértices" ni autointersecciones, y se puede definir una operación binaria para el conjunto de sus puntos de una manera geométrica natural, lo que hace de dicho conjunto un grupo abeliano.

Las curvas elípticas sobre el cuerpo de los números reales vienen dadas por las ecuaciones y² = x³ − x y por y² = x³ − x + 1.

ECexamples01.png

Las curvas elípticas pueden definirse sobre cualquier cuerpo K; la definición formal de una curva elíptica es la de una curva algebraica proyectiva no singular sobre K de género 1.

Si la característica de K no es ni 2 ni 3, entonces toda curva elíptica sobre K puede escribirse en la forma :y² = x³ − pxq donde p y q son elementos de K tales que el polinomio del miembro derecho x³ − pxq no tenga ninguna raíz doble. Si la característica es 2 o 3 harán falta más términos.

Normalmente se define la curva como el conjunto de todos los puntos (x,y) que satisfacen la ecuación anterior, y tales que x e y sean elementos de la cerradura algebraica de K. Los puntos de la curva cuyas coordenadas pertenezcan ambas a K se llaman puntos K-racionales.

Si añadimos un punto en el "infinito", obtenemos la versión proyectiva de tal curva. Si tenemos dos puntos de la curva, P y Q entonces podemos describir de forma unívoca un tercer punto que sea la intersección de la curva con la línea que contiene los dos puntos P y Q. Si la línea es tangente a la curva en un punto, entonces, ese punto la contará dos veces; y si la línea es paralela al eje y, definimos el tercer punto como en el infinito. Entonces una de tales condiciones será la que cumpla cualquier par de puntos de una curva elíptica.

ECClines.svg subgrupo de este grupo. Si la curva se denota por E, este subgrupo se denota a menudo como E(K).

El grupo de arriba se puede describir geométrica y algebraicamente. Dada la curva y² = x³ - px - q sobre el cuerpo K (cuya característica asumimos que no es ni 2 ni 3), y los puntos P = (xP, yP) (subíndice P) y Q = (xQ, yQ) en la curva, asumimos primero que xPxQ. Sea s = (yP - yQ)/(xP - xQ); ya que K es un cuerpo, s está bien definido. Entonces podemos definir R = P + Q = (xR, yR) mediante

xR = s2xPxQ
yR = − yP + s(xPxR)

Si xP = xQ, entonces hay dos opciones: si yP = -yQ, entonces la suma se define como 0; así que el inverso de cada punto de la curva se encuentra reflejándolo en el eje x. Si yP = yQ ≠ 0, entonces R = P + P = 2P = (xR, yR) vendrá dado por

s = {(3{x_P}^2 - p)}/{(2y_P)}
xR = s2 − 2xP
yR = − yP + s(xPxR)

Si yP = yQ = 0, entonces P + P = 0.

El teorema de Mordell-Weil establece que si el cuerpo subyacente K es el de los racionales (o más en general un cuerpo numérico), entonces el grupo de puntos K-racionales será finitamente generado. Mientras que se puede determinar fácilmente el subgrupo de torsión de E(K), no se conoce un algoritmo general para computar su rango. Una fórmula para dicho rango viene dada por la conjetura de Birch y Swinnerton-Dyer.

La prueba reciente del último teorema de Fermat se lleva a cabo probando un caso especial de la profunda conjetura de Taniyama-Shimura que relaciona las curvas elípticas sobre los racionales con las formas modulares; dicha conjetura ha sido también completamente demostrada.

Si el cuerpo subyacente K es el de los complejos, toda curva elíptica podrá ser parametrizada por cierta función elíptica y su derivada. Específicamente, a cada curva elíptica E se le asocia un reticulado L y una función elíptica de Weierstrass correspondiente \wp, tal que la aplicación

φ : C/LE

con

\varphi(z) = \mathbf{C}(\wp(z), \wp'(z))

sea un isomorfismo de grupos y un isomorfismo de superficies de Riemann. Lo que prueba en particular que topológicamente, E semeja un toro (ya que C/L es un toro). Si el reticulado L está relacionado con otro reticulado cL mediante la multiplicación por un número complejo distinto de cero c, entonces las curvas correspondientes son isomorfas. Las clases de isomorfismo de curvas elípticas se especifican mediante el j-invariante.

Mientras que el número de puntos racionales de una curva elíptica E sobre un cuerpo finito Fp es difícil de computar en general, un teorema de Hasse dice que

 \left| \sharp E( \mathbb{F} ) - p - 1 \right| < 2 \sqrt{p}

Este hecho puede entenderse y demostrarse con algo de teoría general; ver función zeta local, cohomología étale.

Para desarrollos ulteriores ver aritmética de variedades abelianas.

Las curvas elípticas sobre cuerpos finitos se usan en algunas aplicaciones en criptografía así como en la factorización de enteros. La idea general en esas aplicaciones es que si tenemos un algoritmo que usa ciertos grupos finitos podemos reescribirlo usando los grupos de puntos racionales de curvas elípticas.

Véase también

  • criptografía de curvas elípticas
  • curva elíptica DSA
  • factorización Lenstra de curvas elípticas.

Enlaces externos

Obtenido de "Curva el%C3%ADptica"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Criptografía de curva elíptica — Saltar a navegación, búsqueda La Criptografía de Curva Elíptica (CCE) es una variante de la criptografía asimétrica o de clave pública basada en las matemáticas de las curvas elípticas. Sus autores argumentan que la CCE puede ser más rápida y… …   Wikipedia Español

  • Criptografía de curva elíptica — La Criptografía de Curva Elíptica (CCE) es una variante de la criptografía asimétrica o de clave pública basada en las matemáticas de las curvas elípticas. Sus autores argumentan que la CCE puede ser más rápida y usar claves más cortas que los… …   Enciclopedia Universal

  • Órbita elíptica — En el espacio, un cuerpo orbita otro más grande (como un planeta alrededor del Sol) describiendo una órbita elíptica. El mayor estará localizado en uno de los focos de la elipse. Se denomina órbita elíptica a la de un astro que gira en torno a… …   Wikipedia Español

  • Teorema de Ribet — En matemáticas, el teorema de Ribet (antes llamado conjetura épsilon o conjetura ε de Serre) es un enunciado en teoría de números relativo a las propiedades de las representaciones de Galois asociadas a las formas modulares.[1] Fue propuesto por… …   Wikipedia Español

  • Complejidad y criptografía — La criptografía es la ciencia encargada del estudio y diseño de sistemas que permiten ocultar información. Desde sus inicios, esta capacidad de encubrimiento se ha basado en la dificultad que supondría a una entidad no autorizada el obtener la… …   Wikipedia Español

  • Andrew Wiles — Sir Andrew Wiles Sir Andrew John Wiles Nacimiento 11 de abril de 1953 (58 años) Cambridge, Inglaterra …   Wikipedia Español

  • Teorema de Taniyama-Shimura — La conjetura de Taniyama Shimura es una conjetura muy importante dentro de las matemáticas modernas, que conecta las curvas elípticas definidas sobre el Shimura Weil.[1] En 1995, Andrew Wiles y Richard Taylor probaron un caso especial de la… …   Wikipedia Español

  • Criptografía asimétrica — La criptografía asimétrica es el método criptográfico que usa un par de claves para el envío de mensajes. Las dos claves pertenecen a la misma persona que ha enviado el mensaje. Una clave es pública y se puede entregar a cualquier persona, la… …   Wikipedia Español

  • Clave (criptografía) — Para otros usos de este término, véase clave. Una clave, palabra clave o clave criptográfica es una pieza de información que controla la operación de un algoritmo de criptografía. Habitualmente, esta información es una secuencia de números o… …   Wikipedia Español

  • Conjetura de Birch y Swinnerton-Dyer — La conjetura de Birch y Swinerton Dyer es una conjetura matemática, enunciada en 1965 por los matemáticos ingleses Bryan Birch y Peter Swinerton Dyer. Es uno de los siete problemas del milenio, cuya solución premia el Instituto Clay de… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”