Para una curva elíptica E sobre Q (o un cuerpo de números), una prima p de buena reducción se llama anómala si el número de puntos sobre F_p satisface #E(F_p) ≡ 1 (mod p), equivalente a que la traza de Frobenius a_p cumpla a_p ≡ 0 (mod p), lo que produce un comportamiento aritmético y algorítmico excepcional.

Principio

En las primas de buena reducción se estudia la acción de Frobenius en la reducción; las primas anómalas son aquellas en las que la traza de Frobenius se anula módulo p, de modo que el grupo E(F_p) tiene orden congruente con 1 modulo p, con consecuencias para la p-torsión y las propiedades de elevación de puntos.

Demostración

Si E tiene buena reducción en p y la traza de Frobenius a_p es múltiplo de p (en la práctica a_p ≡ 0 mod p), entonces #E(F_p)=p+1−a_p ≡ 1 (mod p); tales primas pueden darse y son precisamente las primas anómalas que conducen a que E(F_p) contenga un punto de orden p u otros fenómenos de torsión excepcionales.

Aplicación incorrecta

Confundir primas anómalas con primas de mala reducción o con primas supersingulares sin comprobar las definiciones; anómala es una condición de congruencia sobre el recuento de puntos en buena reducción y se distingue lógicamente del tipo de reducción o de la supersingularidad en general.

Consecuencia

Las primas anómalas pueden crear debilidades aritméticas y criptográficas: curvas con primas anómalas pueden ser vulnerables a ataques que explotan la presencia de p-torsión sobre F_p; complican las heurísticas de recuento de puntos y afectan argumentos locales de deformación y descenso.

Inversión

Prima no anómala: #E(F_p) no es congruente con 1 módulo p (equivalente a que a_p no sea divisible por p), de modo que el comportamiento congruente excepcional en p está ausente y las propiedades locales estándar se mantienen sin esta patología de torsión específica.

Límite

El término tiene sentido solo para primas de buena reducción de la curva elíptica y se refiere a congruencias del recuento de puntos módulo p; excluye primas de mala reducción y debe distinguirse de nociones relacionadas como supersingularidad u ordinariedad, que se definen de forma diferente.

Tensión semántica

Existe tensión entre primas anómalas y supersingulares: en casos especiales pueden coincidir ciertos criterios, pero anómala es una congruencia sobre el recuento de puntos en buena reducción mientras que supersingular se refiere a la estructura del esquema de p-torsión y a las pendientes de Frobenius; son fenómenos relacionados pero distintos.

Síntesis

Una prima anómala para una curva elíptica es una prima de buena reducción en la que la traza de Frobenius se anula módulo p, de modo que #E(F_p) ≡ 1 (mod p); esta congruencia simple encapsula una patología concreta de torsión y algorítmica que debe tratarse separadamente de cuestiones generales sobre el tipo de reducción.