Utente:Mat4free/Funzione abeliana: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 26:
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 <math>X</math> un toro <math>g</math>-dimensionale dato da <math>X=V/L,</math> dove <math>V</math> è uno spazio vettoriale complesso di dimensione <math>g</math> e <math>L</math> è un [[Reticolo (gruppo)|reticolo]] in <math>V.</math> Allora <math>X</math> è una varietà abeliana se e solo se esiste una [[Forma sesquilineare|forma hermitiana]] definita positiva su <math>V</math> la cui [[Numero complesso|parte immaginaria]] assume valori [[Numero intero|interi]] su <math>L\times L.</math> Una tale forma su <math>X</math> è solitamente chiamata [[forma di Riemann]] (non degenere). Scegliendo una base per <math>V</math> e <math>L,</math> si può rendere questa condizione più esplicita. Esistono diverse formulazioni equivalenti tutte conosciute come le ''condizioni di Riemann''.
===
Ogni curva algebrica <math>C</math> di [[Genere (matematica)|genere]] <math>g\ge 1</math> è associata a una varietà abeliana <math>J</math> di dimensione <math>g,</math> mediante una funzione analitica di <math>C</math> in <math>J.</math> Come toro, <math>J</math> ha una [[Gruppo (matematica)|struttura di gruppo]] commutativa e l'immagine di <math>C</math> genera <math>J</math> come gruppo. Lo studio delle [[forma differenziale|forme differenziali]] su <math>C,</math> che danno origine agli [[integrale abeliano|integrali abeliani]] con cui è iniziata la teoria, può essere derivato dalla più semplice teoria dei differenziali invarianti per traslazione su <math>J.</math> La varietà abeliana <math>J</math> è chiamata ''varietà jacobiana'' di <math>C,</math> per ogni curva non singolare <math>C</math> sui numeri complessi. Dal punto di vista della [[geometria birazionale]], il suo campo di funzioni è il campo fissato dal [[gruppo simmetrico]] su <math>g</math> lettere che agisce sul campo di funzioni di <math>C^g.</math>
Riga 73:
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 <math>\mathrm{End}(A)\otimes\mathbb{Q}</math> di <math>A.</math>
=== Polarizzazioni sui numeri complessi
== Schema abeliano ==
Si può anche definire
Per uno schema abeliano
=== Esempio?????? ===
Permettere <math>A,B\in \mathbb{Z}</math> essere tale <math>x^3+Ax+B</math> non ha radici complesse ripetute. Quindi il discriminante <math>\Delta=-16(4A^3+27B^2)</math> è diverso da zero. Permettere <math>R=\Z[1/\Delta]</math>, così <math>\operatorname{Spec} R</math> è un sottoschema aperto di <math>\operatorname{Spec} \mathbb{Z}</math> . Poi <math>\operatorname{Proj} R[x,y,z]/(y^2 z - x^3 - A x z^2 - B z^3)</math> è uno schema abeliano finito <math>\operatorname{Spec} R</math> . Può essere esteso a un modello Néron oltre <math>\operatorname{Spec} \mathbb{Z}</math>, che è uno schema di gruppo fluido <math>\operatorname{Spec} \mathbb{Z}</math>, ma il modello di Néron non è corretto e quindi non è uno schema abeliano finito <math>\operatorname{Spec} \mathbb{Z}</math> .
|