In matematica, in particolare in teoria algebrica dei numeri, un numero primo è detto supersingolare per una curva ellittica definita sui numeri razionali se la riduzione di modulo è una curva ellittica supersingolare sul campo finito .
Più in generale, se è un qualsiasi campo globale, cioè un'estensione finita di o di , e se è una varietà abeliana definita su , allora un primo supersingolare per è un posto finito di tale che la riduzione di modulo è una varietà abeliana supersingolare.
Alternativamente, il termine primo supersingolare è usato per un divisore primo dell'ordine del gruppo mostro , il più grande dei gruppi eccezionali semplici. In questo caso ci sono precisamente 15 primi supersingolari: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, e 71.
Sebbene queste due definizioni siano sicuramente distinte (la prima è relativa a una particolare curva ellittica, mentre la seconda no), esse sono relazionate. Infatti, per un numero primo , le seguenti affermazioni sono equivalenti:
(i) La curva modulare ha genere zero.
(ii) Ogni curva ellittica supersingolare di caratteristica può essere definita sopra il sottocampo del primo .
(iii) L'ordine del gruppo mostro è divisibile per .
L'equivalenza è dovuta a Andrew Ogg. Più precisamente, nel 1975 Ogg mostrò che i numeri primi che soddisfano (i) sono esattamente i 15 primi elencati sopra e in breve intuì dell'esistenza di un gruppo eccezionale semplice avente esattamente questi numeri primi come divisori. Questa strana coincidenza diede avvio alla teoria del Monstrous Moonshine.
Bibliografia
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Primi supersingolari, in MathWorld, Wolfram Research.
- Joseph H. Silverman, The Arithmetic of Elliptic Curves, Springer, 1986.
- Ogg, A. P. "Modular Functions." In The Santa Cruz Conference on Finite Groups. Held at the University of California, Santa Cruz, Calif., June 25-July 20, 1979 (Ed. B. Cooperstein and G. Mason). Providence, RI: Amer. Math. Soc., pp. 521–532, 1980.