Varietà abeliana

funzione analitica uniforme

In matematica, in particolare in geometria algebrica, in analisi complessa e in teoria algebrica dei numeri, una varietà abeliana è una varietà algebrica proiettiva che è anche un gruppo algebrico, cioè ha una legge di gruppo che può essere definita da funzioni regolari. Le varietà abeliane sono tra gli oggetti più studiati della geometria algebrica e sono anche strumenti indispensabili per molte ricerche su altri argomenti in geometria algebrica e teoria dei numeri.

Una varietà abeliana può essere definita da equazioni aventi coefficienti in qualsiasi campo; si dice quindi che la varietà è definita su quel campo. Storicamente le prime varietà abeliane a essere studiate furono quelle definite sul campo dei numeri complessi. Tali varietà abeliane risultano essere esattamente quei tori complessi che possono essere immersi in uno spazio proiettivo complesso. Le varietà abeliane definite su campi di numeri algebrici sono un caso speciale, importante anche dal punto di vista della teoria dei numeri. Le tecniche di localizzazione portano naturalmente da varietà abeliane definite su campi numerici a quelle definite su campi finiti e vari campi locali. Poiché un campo di numeri è il campo delle frazioni di un dominio di Dedekind, per ogni ideale primo diverso da zero del dominio di Dedekind, esiste una funzione dal dominio di Dedekind al quoziente del dominio di Dedekind per il primo, che è un campo finito per tutti i primi finiti. Ciò induce una funzione dal campo delle frazioni a qualsiasi campo finito di questo tipo. Data una curva con equazione definita sul campo di numeri, possiamo applicare questa funzione ai coefficienti per ottenere una curva definita su un campo finito, dove le scelte di campo finito corrispondono ai primi finiti del campo di numeri.

Le varietà abeliane appaiono naturalmente come varietà jacobiane (le componenti connesse dello zero nelle varietà di Picard) e varietà di Albanese di altre varietà algebriche. La legge di gruppo di una varietà abeliana è necessariamente commutativa e la varietà è non singolare. Una curva ellittica è una varietà abeliana di dimensione 1. Le varietà abeliane hanno dimensione di Kodaira 0.

Storia e motivazioneModifica

All'inizio del diciannovesimo secolo, la teoria delle funzioni ellittiche riuscì a fornire una base per la teoria degli integrali ellittici, e questo lasciò aperto un naturale percorso di ricerca. Le forme standard per gli integrali ellittici coinvolgevano le radici quadrate di polinomi cubici e quartici. Quando questi sarebbero stati sostituiti da polinomi di grado superiore, diciamo quintici, cosa sarebbe successo?

Nel lavoro di Niels Abel e Carl Jacobi, è stata formulata la risposta: ciò implicherebbe funzioni di due variabili complesse, aventi quattro periodi indipendenti (cioè vettori periodo). Questo ha dato il primo assaggio di una varietà abeliana di dimensione 2 (una superficie abeliana): quello che ora sarebbe chiamato lo Jacobiano di una curva iperellittica di genere 2.

Dopo Abel e Jacobi, alcuni dei più importanti contributi alla teoria delle funzioni abeliane furono dati da Riemann, Weierstrass, Frobenius, Poincaré e Picard. L'argomento era molto popolare all'epocae aveva già un'ampia letteratura.

Entro la fine del XIX secolo, i matematici avevano iniziato a utilizzare metodi geometrici nello studio delle funzioni abeliane. Alla fine, negli anni '20, Lefschetz pose le basi per lo studio delle funzioni abeliane in termini di tori complessi. Sembra anche essere il primo a usare il termine "varietà abeliana". Fu André Weil negli anni Quaranta a dare all'argomento le sue moderne basi nel linguaggio della geometria algebrica.

Oggi, le varietà abeliane costituiscono uno strumento importante nella teoria dei numeri, nei sistemi dinamici (più precisamente nello studio dei sistemi hamiltoniani) e nella geometria algebrica (specialmente le varietà di Picard e le varietà di Albanese).

Teoria analiticaModifica

DefinizioneModifica

Un toro complesso di dimensione   è un toro di dimensione reale   con una struttura di una varietà complessa. Può sempre essere ottenuto come quoziente di uno spazio vettoriale complesso  -dimensionale con un reticolo di rango   Una varietà abeliana complessa di dimensione   è un toro complesso di dimensione   che è anche una varietà algebrica proiettiva nel campo dei numeri complessi. Poiché sono tori complessi, le varietà abeliane hanno una struttura di gruppo. Un morfismo di varietà abeliane è un morfismo delle varietà algebriche sottostanti che preserva l'elemento neutro della struttura di gruppo. Un'isogenia è un morfismo suriettivo con nucleo finito.

Quando un toro complesso ha una struttura di una varietà algebrica, questa struttura è necessariamente unica. Nel caso   la nozione di varietà abeliana è la stessa di quella di curva ellittica, e ogni toro complesso dà origine a una curva ellittica. Per   è noto da Riemann che la condizione di ammettere una struttura di varietà algebrica impone dei vincoli aggiuntivi su un toro complesso.

Condizioni di RiemannModifica

Il seguente criterio di Riemann decide se un dato toro complesso è o meno una varietà abeliana, cioè se può essere immerso o meno in uno spazio proiettivo. Sia   un toro  -dimensionale dato da   dove   è uno spazio vettoriale complesso di dimensione   e   è un reticolo in   Allora   è una varietà abeliana se e solo se esiste una forma hermitiana definita positiva su   la cui parte immaginaria assume valori interi su   Una tale forma su   è solitamente chiamata forma di Riemann (non degenere). Scegliendo una base per   e   si può rendere questa condizione più esplicita. Esistono diverse formulazioni equivalenti tutte conosciute come le condizioni di Riemann.

La jacobiana di una curva algebricaModifica

Ogni curva algebrica   di genere   è associata a una varietà abeliana   di dimensione   mediante una funzione analitica di   in   Come toro,   ha una struttura di gruppo commutativa e l'immagine di   genera   come gruppo. Lo studio delle forme differenziali su   che danno origine agli integrali abeliani con cui è iniziata la teoria, può essere derivato dalla più semplice teoria dei differenziali invarianti per traslazione su   La varietà abeliana   è chiamata varietà jacobiana di   per ogni curva non singolare   sui numeri complessi. Dal punto di vista della geometria birazionale, il suo campo di funzioni è il campo fissato dal gruppo simmetrico su   lettere che agisce sul campo di funzioni di  

Funzioni abelianeModifica

 Lo stesso argomento in dettaglio: Funzione abeliana.

Una funzione abeliana è una funzione meromorfa su una varietà abeliana, che può essere considerata come una funzione periodica di   variabili complesse, aventi   periodi indipendenti. Equivalentemente, è una funzione nel campo di funzioni di una varietà abeliana. Ad esempio, nel diciannovesimo secolo c'era molto interesse per gli integrali iperellittici che possono essere espressi in termini di integrali ellittici. Ciò si riduce a chiedere che   sia o meno un prodotto di curve ellittiche, a meno di isogenia.

Teorema di MatsusakaModifica

Un importante teorema di struttura delle varietà abeliane è il teorema di Matsusaka. Esso afferma che su un campo algebricamente chiuso ogni varietà abeliana   è il quoziente dello jacobiano di una curva; ossia esiste un morfismo suriettivo di varietà abeliane   con   uno jacobiano di qualche curva algebrica. Questo teorema rimane vero se il campo base è infinito.[1]

Definizione algebricaModifica

Due definizioni equivalenti di varietà abeliana su un campo arbitrario   sono comunemente in uso:

Quando il campo base è il campo dei numeri complessi, queste nozioni coincidono con la definizione precedente. Su ogni campo base, le curve ellittiche sono varietà abeliane di dimensione 1.

All'inizio degli anni Quaranta, Weil usò la prima definizione (su un campo base arbitrario) ma non poté in un primo momento provare che implicasse la seconda. Solo nel 1948 dimostrò che gruppi algebrici completi possono essere immersi nello spazio proiettivo. Nel frattempo, per dimostrare l'ipotesi di Riemann per curve su campi finiti che aveva annunciato nel lavoro del 1940, dovette introdurre la nozione di varietà astratta e riscrivere i fondamenti della geometria algebrica per poter lavorare con varietà senza immersioni proiettive.

Struttura del gruppo di puntiModifica

Secondo le definizioni, una varietà abeliana è una varietà gruppo. È possibile dimostrare che il gruppo dei suoi punti è commutativo.

Per   e quindi, per il principio di Lefschetz, per ogni campo algebricamente chiuso di caratteristica zero, il gruppo di torsione di una varietà abeliana di dimensione   è isomorfo a   Quindi, la sua parte  -torsione è isomorfa a   cioè il prodotto di   copie del gruppo ciclico di ordine  

Quando il campo base è un campo algebricamente chiuso di caratteristica   la  -torsione è ancora isomorfa a   se   e   sono coprimi. Se   e   non sono coprimi, lo stesso risultato può essere recuperato a condizione che lo si interpreti dicendo che la  -torsione definisce uno schema gruppo piatto finito di rango   Se invece di guardare l'intera struttura di schema sulla  -torsione si considerano solo i punti geometrici, si ottiene un nuovo invariante per le varietà in caratteristica   (il cosiddetto  -rango quando  ).

Il gruppo dei punti  -razionali per un campo globale   è finitamente generato per il teorema di Mordell-Weil. Quindi, per il teorema di struttura per gruppi abeliani finitamente generati, è isomorfo al prodotto di un gruppo abeliano libero   con un gruppo commutativo finito per qualche intero non negativo   chiamato rango della varietà abeliana. Risultati simili valgono per altre classi di campi  

Prodotti di varietà abelianeModifica

Il prodotto di una varietà abeliana   di dimensione   e di una varietà abeliana   di dimensione   sullo stesso campo, è una varietà abeliana di dimensione   Una varietà abeliana è semplice se non è isogena a un prodotto di varietà abeliane di dimensione inferiore. Ogni varietà abeliana è isogena a un prodotto di varietà abeliane semplici.

Polarizzazione e varietà abeliana dualeModifica

Varietà abeliana dualeModifica

A una varietà abeliana   su un campo   si associa una varietà abeliana duale   (definita sullo stesso campo), che è la soluzione al seguente problema di moduli. Una famiglia di fibrati lineari di grado 0 parametrizzati da una  -varietà   è un fibrato lineare   su   tale che

  1. per ogni   in   la restrizione di   ad   è un fibrato lineare di grado 0;
  2. la restrizione di   a   è un fibrato lineare banale (qui 0 è l'elemento neutro di  ).

Esiste una varietà   e una famiglia   di fibrati lineari di grado 0, detto fibrato di Poincaré, parametrizzata da   tale che a ogni famiglia   su   è associato un unico morfismo   tale che   è isomorfo al pullback di   rispetto al morfismo   Applicando questo al caso in cui   è un punto, si osserva che i punti di   corrispondono a fibrati lineari di grado 0 su   Quindi c'è un'operazione di gruppo naturale su   data dal prodotto tensoriale di fibrati lineari, che la rende una varietà abeliana.

Questa associazione è una dualità nel senso che esiste un isomorfismo naturale tra il doppio duale   e   (definito tramite il fibrato di Poincaré) e che è funtoriale in modo controvariante, cioè si associa a ogni morfismo   un morfismo duale   in modo compatibile. La  -torsione di una varietà abeliana e la  -torsione del suo duale sono duali l'una all'altra se   è coprimo con la caratteristica del campo base. In generale, per ogni   lo schema gruppo  -torsione di una varietà abeliana e lo schema gruppo  -torsione della corrispondente varietà abeliana duale sono duali di Cartier l'uno dell'altro. Questo generalizza l'accoppiamento di Weil per le curve ellittiche.

PolarizzazioniModifica

Una polarizzazione di una varietà abeliana è un'isogenia da una varietà abeliana alla sua duale che è simmetrica rispetto alla doppia dualità di varietà abeliane e tale che il pullback del fibrato di Poincaré rispetto al morfismo del grafico associato è ampio (quindi è analoga a una forma quadratica definita positiva). Le varietà abeliane polarizzate hanno gruppi degli automorfismi finiti. Una polarizzazione principale è una polarizzazione che è un isomorfismo. Le jacobiane delle curve sono naturalmente dotate di una polarizzazione principale data dalla scelta di un punto base razionale arbitrario sulla curva. La curva può essere ricostruita dalla sua jacobiana polarizzata quando il genere è maggiore di 1. Non tutte le varietà abeliane principalmente polarizzate sono jacobiane di curve (si veda il problema di Schottky). Una polarizzazione induce un'involuzione di Rosati sull'anello degli endomorfismi   di  

Polarizzazioni sui numeri complessiModifica

Sui numeri complessi, una varietà abeliana polarizzata può anche essere definita come una varietà abeliana   con una scelta di una forma di Riemann   Due forme di Riemann   e   sono chiamate equivalenti se esistono due numeri interi positivi   e   tali che   Una scelta di una classe d'equivalenza di forme di Riemann su   è chiamata polarizzazione di   Un morfismo di varietà abeliane polarizzate è un morfismo   di varietà abeliane tale che il pullback ad   della forma di Riemann su   è equivalente alla forma data su  

Schema abelianoModifica

Si può anche definire una varietà abeliana come schema e come schema su uno schema base. Ciò consente un trattamento uniforme di fenomeni come la riduzione modulo   delle varietà abeliane (si veda aritmetica delle varietà abeliane) e lo studio di famiglie parametrizzate di varietà abeliane. Uno schema abeliano su uno schema di base   di dimensione relativa   è uno schema gruppo liscio e proprio su   le cui fibre geometriche sono connesse e di dimensione   Le fibre di uno schema abeliano sono varietà abeliane, quindi si potrebbe pensare a uno schema abeliano su   come a una famiglia di varietà abeliane parametrizzate da  

Per uno schema abeliano   su   il gruppo dei punti  -torsione forma uno schema gruppo finito piatto. L'unione dei punti  -torsione, per ogni   forma un gruppo  -divisibile. Le deformazioni degli schemi abeliani sono determinate, per il teorema di Serre-Tate, dalle proprietà di deformazione dei gruppi  -divisibili associati.

EsempioModifica

Siano   tali che   non ha radici complesse ripetute. Allora il discriminante   è diverso da zero. Sia  , allora   è un sottoschema aperto di   e   è uno schema abeliano su   Questo schema abeliano può essere esteso a un modello di Néron su   che è uno schema gruppo liscio su   ma il modello di Néron non è proprio e quindi non è uno schema abeliano su  

Non esistenzaModifica

V. A. Abrashkin[2] e Jean-Marc Fontaine[3] hanno dimostrato indipendentemente che non ci sono varietà abeliane diverse da zero su   con buona riduzione su tutti i numeri primi. Allo stesso modo, non ci sono schemi abeliani diversi da zero su   La dimostrazione consiste nel mostrare che le coordinate dei punti  -torsione generano campi di numeri con poca ramificazione e quindi con discriminante piccolo e che ci sono dei limiti inferiori sui discriminanti dei campi di numeri.[4]

Varietà semiabelianaModifica

Una varietà semiabeliana è una varietà gruppo commutativa che è un'estensione di una varietà abeliana con un toro.

NoteModifica

  1. ^ Milne, J.S., Jacobian varieties, in Arithmetic Geometry, eds Cornell and Silverman, Springer-Verlag, 1986
  2. ^ www.mathnet.ru, http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=8998&option_lang=eng. URL consultato il 23 agosto 2020.
  3. ^ Fontaine, Jean-Marc, Il n'y a pas de variété abélienne sur Z., OCLC 946402079.
  4. ^ web.math.princeton.edu, https://web.math.princeton.edu/~gyujino/abschZ.pdf.

BibliografiaModifica

Voci correlateModifica

Controllo di autoritàLCCN (ENsh85000130 · GND (DE4140992-9 · NDL (ENJA00560041
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica