programma dettagliato
Transcript
programma dettagliato
Corso di Superfici di Riemann e curve algebriche Programma (1) Carta complessa, compatibilità di carte complesse, atlante complesso. Definizione di superficie di Riemann. Primi esempi di superfici di Riemann: il piano complesso C, la sfera S 2 . Proprietà topologiche di una superficie di Riemann: connessione, orientabilità, genere topologico. Esempi di superfici di Riemann: la retta proiettiva complessa P1C , il toro complesso T , i grafici di funzioni olomorfe. Definizione di curva piana affine complessa non singolare. Teorema: una curva piana affine non singolare è una superficie di Riemann. Definizione di curva piana proiettiva complessa non singolare. Teorema: una curva piana proiettiva complessa non singolare è una superficie di Riemann compatta. (2) Funzioni olomorfe su una superficie di Riemann. Esempi di funzioni olomorfe su superfici di Riemann. Funzioni meromorfe su una superficie di Riemann e loro caratterizzazione. Gli spazi O(W ) e M(W ), per un aperto W di una superifice di Riemann. Esempi: funzioni meromorfe su S 2 , P1C , sul toro complesso e su una curva proiettiva non singolare. Definizione di ordine di una funzione meromorfa f in un punto: ordp (f ). Teorema: gli zeri e i poli di una funzione meromorfa non nulla su una superficie di Riemann sono un sottoinsieme discreto. Teorema: una funzione olomorfa su una superficie di Riemann compatta è costante. Applicazioni olomorfe tra superfici di Riemann. Biolomorfismi e superfici di Riemann biolomorfe. Esempio: S 2 è biolomorfa a P1C . Teorema: sia F : X → Y un’ applicazione olomorfa non costante, se X è compatta, F è suriettiva e Y è compatta. Corrispondenza tra le funzioni meromorfe su una superficie compatta X e le applicazioni olomorfe di X in P1C . Descrizione della fibra di un’ applicazione olomorfa non costante tra superfici di Riemann compatte. Teorema della forma locale normale per un’applicazione olomorfa non costante tra superfici di Riemann compatte. Definizione di molteplicità di un’ applicazione F in un punto: multp (F ). Definizione di punto di ramificazione e di punto di diramazione. Teorema del rivestimento e definizione del grado di un’applicazione olomorfa tra superfici di Riemann compatte. Formula di Hurwitz. (3) Lo spazio E(U ) delle funzioni derivabili infinite volte in x e y, z = x+iy, (1) coordinata locale in U . Lo spazio cotangente Ta ad una superficie di Riemann in un punto a. Il differenziale di una funzione f ∈ E(U ). (1) Basi per lo spazio Ta . Vettori cotangenti di tipo (1, 0) e di tipo (0, 1). Definizione di 1-forma differenziale definita su un aperto W di una superficie di Riemann, forme differenziali C ∞ , olomorfe e merofomorfe: 1 2 E (1) (W ), Ω(1) (W ), M(1) (W ). Forme differenziali assegnate su un ri(2) (1) coprimento e regola di incollamento. Lo spazio Ta = ∧2 Ta . Basi (2) per Ta . Definizione di 2-forma differenziale definita su un aperto W di una superficie di Riemann, 2-forme C ∞ : E (2) (W ). Regola di incollamento per 2-forme differenziali assegnate su un ricoprimento. Gli ¯ d e le regole di derivazione. Definizione operatori di derivazione ∂, ∂, di 1-forma esatta e chiusa. Esempi: una forma esatta è chiusa, una forma olomorfa è chiusa. Teorema di Poincaré e lemma di Dolbeault (solo enunciati). Pull back di una forma differenziale ω: F ∗ (ω), per un ’aplicazione olomorfa F . Definizione di ordine di una 1-forma meromorfa ω in un punto: ordp (ω). Calcolo dell’ordine di F ∗ (ω). Definizione di cammino su una superficie di Riemann. Integrale di una 1−forma ω ∈ E (1) (X) lungo un cammino γ. Proprietà elementari dell’integrale. Definizione di residuo di una 1−forma ω ∈ M(1) (U ) in un punto: Resp (ω). Relazione tra il residuo e l’integrale di ω lungo cammini semplici chiusi. Integrale di una 2−forma η ∈ E (2) (X) su un sottoinsieme chiuso D triangolabile. Teorema di Stokes P (solo enunciato). Teorema dei residui: su una superficie compatta Resp (ω) = 0, ∀ ω ∈ M(1) (X). Omotopia tra cammini. Teorema: l’integrale di una 1-forma chiusa non dipende dal cammino scelto in una classe di omotopia. (4) Definizione di divisore su una superficie di Riemann. Il gruppo Div(X) su una superficie di Riemann X. Grado di un divisore per una superficie compatta. Divisore principale associato ad una funzione meromorfa non nulla f : div(f ). Il grado di un divisore principale. Divisori effettivi. Relazione di equivalenza lineare tra divisori. Esempio: due punti p e q su P1C sono linearmente equivalenti. Il gruppo di Picard di una superficie di Riemann X: P ic(X). Divisore canonico associato ad una 1-forma meromorfa ω non nulla: div(ω). Esempio: trovare un divisore canonico su P1C . Proprietà: due divisori canonici su una superficie di Riemann sono linearmente equivalenti. Pull back di un divisore D: F ∗ (D), per un’applicazione non costante olomorfa F . Proprietà elementari del pull back. Definizione del divisore di ramificazione e del divisore di diramazione per un’applicazione olomorfa non costante F : X → Y tra superfici compatte. Teorema di Riemann-Hurwitz. Esempio: calcolo del grado del divisore canonico per una superficie di Riemann compatta X (nell’ipotesi dell’esistenza di una funzione meromorfa f ∈ M(X)). Definizione del divisore di intersezione tagliato da una forma omogenea G su una curva piana proiettiva non singolare: div(G) e relative proprietà. Teorema di Bezout. Formula di Plcker. Lo spazio vettoriale L(D) delle funzioni meromorfe limitate dal divisore D. Proprietà: L(D1 ) isomorfo a L(D2 ) se D1 e D2 sono linearmente equivalenti, L(D) = {0} se degD < 0. Teorema: se X è una superficie di Riemann compatta L(D) è finitamente generato. Lo spazio vettoriale L(1) (D) delle 1−forme meromorfe limitate dal divisore D. 3 Proprietà: L(1) (D) è isomorfo a L(D + KX ), dove KX è un divisore canonico sulla superficie X. Definizione di sistema lineare completo |D| associato ad un divisore D. Relazione tra |D| e P(L(D)) per una superficie compatta. Definizione di sistema lineare W di grado d e dimensione r su una superficie compatta. Definizione di punto base per un sistema lineare. Condizioni necessarie e sufficienti affinchè un sistema lineare sia privo di punti base. (5) Prefasci di gruppi anelli campi. Assioma di fascio. Esempi di fasci: fasci di funzioni, fasci di forme, fascio associato ad un divisore, fasci localmente costanti, fasci grattacielo, fasci di divisori, fasci totalmente discontinui. Esempi di prefasci che non soddisfano l’assioma di fascio: prefasci costanti, prefasci di di forme esatte. Spiga di un prefascio, esempi: fascio delle funzioni olomorfe e fascio localmente costante. Fascio delle sezioni discontinue di F. Fascificazione di un prefascio.Esempio: fascificazione del prefascio delle funzioni costanti, e del prefascio delle forme esatte. Morfismi di fasci, esempi: inclusione, operatori differenziali. Fascio nucleo e prefascio immagine. Iniettività e suriettività di un morfismo. Fascio immagine come fascificazione del prefascio immagine. (6) Coomologia di Cech. Nozione di co-catene di un fascio subordinate ad un ricoprimento. Operatore di cobordo δ : C p (U, F) → C p+1 (U, F) Proprietà del cobordo: δ2 = 0. Nozione astratta di complessi di cocatene e coomologia del complesso. Coomologia di Cech del fascio F subordinata ad un ricoprimento. Iosomorfismo canonico tra H 0 (U, F) e F(X). Relazione di pre-ordinamento sull’insieme dei ricoprimenti: mappa di raffinamento. Se V ≺ U, ogni mappa di raffinamento induce un morfismo σ : H p (U, F) → H p (V, F). La mappa σ non dipende dal raffinamento. Sistemi diretti di gruppi e limite diretto. Definizione di coomologia del fascio. Fasci aciclici. Morfismi dei gruppi di coomologia associati a morfismi di fasci. Successione esatta lunga in coomologia associata ad una successione esatta corta di fasci: morfismo di connessione. Data una successione esatat corta di fasci 0 → K → F → G → 0, se H 1 (X, K) = 0 allora la mappa indotta F(X) → G(X) è suriettiva. Calcolo dei gruppi di coomologia. Teorema di Serre (solo enunciato): dato un ricoprimento U, se le restrizioni di F alle intersezioni finite degli aperti di U sono tutti fasci aciclici, allora H p (X, F) = H p (U, F). Fasci fini: partizione dell’unità. Esempi: fasci di funzioni e forme C ∞ , fasci grattacielo, il fascio dei divisori. I fasci fini sono aciclici. Risoluzioni fini di un fascio e teorema di de Rham astratto. Esempi: risoluzione esatta del fascio delle funzioni localmente costanti e il fascio delle funzioni e delle forme olomorfe. Complessi di de Rham e p q,p Dolbeuat. H p (X, C) = HDR (X) e H p (X, Ωq ) = HD (X) 4 (7) Divisori e fibrati lineari. Successione esatta corta 0 → O∗ → M∗ → Div → 0. Il problema di Mittag-Leffler. Teorema del teorema di Weierstrass: se X è un aperto del piano ogni divisore su X è principale. Il gruppo H 1 (X, O∗ ) dei fibrati lineari. Esempio: il fibrato canonico κ. Dato un fibrato lineare ξ, il fascio delle sezioni (olomorfe, meromorfe, C ∞ ) di ξ. Il divisore associato ad una sezione meromorfa del fascio ξ. I divisori associati a sezioni meromorfe dello stesso fibrato solo linearmente equivalenti. Successione esatta corta 0 → Z → O → O∗ → 0 e mappa di connessione δ : Div(X) → H 1 (X, O∗ ). Isomorfismo canonico tra O(δ(D)) e O(−D). Se ξ = δ(D) allora ξ ammette una sezione meromorfa σ e div(σ) è linearmente equivalente a −D. Se ξ ammette una sezione meromorfa σ e D = divσ allora ξ = δ(−D). Forme a volori in un fibrato lineare. Fasci Ω(ξ) E p,q (ξ). Risoluzione di Dolbeaut di O(ξ). H p (X, O(ξ)) = 0 se p ≥ 2 e H 1 (X, O(ξ)) = 0,1 (X, ξ). Teoremi di finitezza H p (X, O(ξ)) ha dimensione finita per HD p = 0, 1. Accoppiamento di Serre tra H 1 (X, O(ξ)) e H 0 (X, Ω(ξ −1 )). Teorema di Serre (solo enunciato): H 1 (X, O(ξ)) = H 0 (X, Ω(ξ −1 ))∗ . Isomorfismo canonico Ω(ξ) = O(κξ −1 ). Riformulazione del teorema di Serre: H 1 (X, O(ξ)) = H 0 (X, O(κξ −1 ))∗ . (8) Mappe olomorfe non degeneri di una superficie di Riemann compatta in spazi proiettivi. Corrispondenza biunivoca tra i sistemi lineari privi di punti base di dimensione n su una superficie di Riemann X e le mappe olomorfe non degeneri X → Pn . Nozione di embedding di una superficie di Riemann X in uno spazio proiettivo. Esempi. Definizione di divisore molto ampio. Condizione necessaria e sufficiente affinchè un divisore sia molto ampio. Teorema: la mappa definita da un sistema lineare completo |D| è un embedding se e solo se D è molto ampio. Definizione di curva algebrica proiettiva irriducibile liscia in uno spazio proiettivo. Il Lemma di Chow (solo enunciato). Esempi: la curva razionale normale di grado n in Pn . Definizione di genere analitico per una superficie di Riemann compatta. Il Teorema di RiemannRoch. Corollari del Teorema di Riemann-Roch. Il genere analitico ed il genere topologico di una superficie di Riemann compatta coincidono. Definizione di superficie di Riemann iperellittica. Studio della mappa canonica per una superficie di Riemann non iperellittica. (9) Classe di Chern di un fibrato lineare. Identificazione canonica H 2 (X, Z) = Z. Calcolo della classe di Chern. Se ξ = δ(D) allora c(ξ) = −deg(D). Definizione di χ(ξ) = dim H 0 (X, O(ξ)) − dim H 1 (X, O(ξ)). Se η = δ(D) allora χ(ξ) = χ(ξη). Ogni fibrato lineare ammette una sezione meromorfa. La mappa δ : Div(X) → H 1 (X, O∗ ) è suriettiva. H 1 (X, M∗ ) = 0. 5 (10) Teoria di Abel-Jacobi. Descrizione topologica di una superficie di genere g attraverso l’attaccamento dei lati di un 4g-gono. Presentazione del gruppo fondamentale di una superificie S e base della omologia. Mappa dei periodi H1 (X, Z) → Ω1 (X)∗ . Sottogruppo dei periodi Λ e Jacobiana di X. Mappa di Abel A : X → Jac(X) ed estensione della mappa di Abel A : Div(X) → Jac(X). Dipendenza della mappa di Abel dal punto base. La restrizione di A a Div0 (X) non dipende dal punto base. Teorema di Abel con dimostrazione. Il reticolo dei periodi è discreto. La mappa di Abel-Jacobi per le superfici di genere 1. Il gruppo P ic0 (X) e identificazione tra Jac(X) e P ic0 (X). Interpretazione della mappa di Abel in termini di fibrati lineari. Teorema di Jacobi.