440 likes | 573 Views
UMI, Bari 24/09/07. S TRUTTURE COMPLESSE e GEOMETRIA CONFORME. Simon Salamon http://calvino.polito.it/~salamon. TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A. Org. oppure Geometria Hermitiana conformemente piatta. TexPoint fonts used in EMF.
E N D
UMI, Bari24/09/07 STRUTTURE COMPLESSE e GEOMETRIA CONFORME Simon Salamon http://calvino.polito.it/~salamon TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA
Org oppure Geometria Hermitiana conformemente piatta TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA
oppure Geometria Hermitiana senza tantissimi tensori TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA
Il caso classico: dimensione 2 Strutture complesse ortogonali Il caso Euclideo: dimensione 4 Il caso Euclideo: dimensione 4 Teoremi di tipo Liouville Classificazione di quadriche
Il caso classico: dimensione 2 Strutture complesse ortogonali Il caso Euclideo: dimensione 4 Il caso Euclideo: dimensione 4 Teoremi di tipo Liouville Classificazione di quadriche
Ogni superficie reale ammette una metrica Riemanniana indotta: Superficie di Riemann
La scelta di un versore normale definisce una struttura complessa sullo spazio tangente: anche nel senso analitico… Superficie di Riemann
Teorema Esistono coordinate per cui diventa una varietà complessa e una funzione olomorfa Coordinate isoterme
Teorema Esistono coordinate per cui In dimensione (reale) 2, una struttura conforme orientata è equivalente ad una struttura complessa Coordinate isoterme
Teorema Esistono coordinate per cui La curvatura Gaussiana è Coordinate isoterme
Se allora è la proiezione stereografica sul piano equatoriale La proiezione di Mercatore
Il caso classico: dimensione 2 Strutture complesse ortogonali Il caso Euclideo: dimensione 4 Teoremi di tipo Liouville Classificazione di quadriche
Sia una varietà orientata con una struttura conforme fissata Problema Trovare (anche su ) una struttura complessa ortogonale(SCO): Dimensioni superiori
Data la scelta di determina un sottogruppo cioè un punto dello spazio è la varietà di spinori “puri” Scelte puntuali
è lo spazio totale di un fibrato su una sfera con fibra Spazi “twistor”
è una SCO su Si annulla una componente, chiamata del tensore di Weyl. Inoltre per è conformemente piatta se ammette 8 SCO “indipendenti” Via un “ottavo” della curvatura
dim 4 Il tensore determina le possibili SCO su Ogni superficie di Del Pezzo ammette una struttura bi-Hermitiana dim 6 ? Via un “ottavo” della curvatura è conformemente piatta se ammette 8 SCO “indipendenti”
Il caso classico: dimensione 2 Strutture complesse ortogonali Il caso Euclideo: dimensione 4 Teoremi di tipo Liouville Classificazione di quadriche
Una struttura complessa ortogonale su è determinata da un’applicazione è una funzione olomorfa in Deformazioni con il seguente sistema di integrabilità
definita su tutto definita su definita su è una funzione olomorfa in Tre soluzioni esplicite
Problema Su quali altri domini esistono strutture complesse ortogonali (SCO)? Tre soluzioni esplicite definita su tutto definita su definita su
è una submersione Riemanniana. La geometria di è compatibile con lo splitting Il “grafico” di una SCO
Lemma Data una SCO su la sua immagine è una superficie complessa in . Viceversa, ogni sezione complessa in ha la forma dove è una SCO su è una submersione Riemanniana. La geometria di è compatibile con lo splitting Il “grafico” di una SCO
Un piano contiene esattamente una fibra La quadrica contiene per Le soluzioni precedenti
Il caso classico: dimensione 2 Strutture complesse ortogonali Il caso Euclideo in dimensione 4 Teoremi di tipo Liouville Classificazione di quadriche
Teorema 0 I seguenti teoremi (di S.S. + J.Viaclovsky) caratterizzano le soluzioni di tipo Sia una SCO definita su . Allora (cioè ) è costante Strutture “intere”
Teorema 1 Teorema 0 Sia una SCO su un aperto Se allora è conformemente costante (e si estende a ) Strutture “intere” Sia una SCO definita su . Allora (cioè ) è costante
Teorema 1 Sia una SCO su un aperto Se allora è conformemente costante (e si estende a ) Strutture “intere” Misura di Hausdorff
Il grafico di è un insieme analitico Shiffman 1968 è analitico Basato su Bishop 1964, generalizzazione di Remmert-Stein 1955 Eliminazione delle singolarità
Il grafico di è un insieme analitico è analitico Chow, Mumford è algebrico, di deg 1 Eliminazione delle singolarità Shiffman 1968
Teorema 2 Sia una SCO su (che non estende a ). Il grafico di in è contenuto in una quadrica con dove agisce su ammette una metrica Kähleriana completa conformemente piatta Quadriche “reali”
Il caso classico: dimensione 2 Strutture complesse ortogonali Il caso Euclideo in dimensione 4 Teoremi di tipo Liouville Classificazione di quadriche
Si consideri una quadrica nondegenere è bi-olomorfa a Superfici quadriche inCP3
Trovare le orbite di sullo spazio delle quadriche Problema Il risultato dovrebbe dipendere da parametri reali Il gruppo conforme
Trovare le orbite di sullo spazio delle quadriche Problema Basta studiare l’azione del sottogruppo sullo spazio delle matrici reali 3x3 SVD Diagonalizzazione Il gruppo conforme
Qualsiasi quadrica nondegenere in è equivalente a quella associata a Teorema 3 per qualche Forma canonica
…è l’unione dove Il luogo discriminante in S4
Teorema 4 Sia una quadrica nondegenere. Ci sono tre possibilità: è una circonferenza in è un 2-toro liscio snodato è un 2-toro pinzato in 2-tori in S4
ha 2 componenti COROLLARIO un toro solido Esiste una SCO con dominio massimale Il caso generico è un 2-toro liscio snodato
Caratterizzazione conforme dei 2-tori disciminanti in Studio di superfici cubiche e quartiche in contando rette “verticali” Un teorema di Liouville per basato sull’area Problemi aperti
Bibliografia Apostolov-Gauduchon-Grantcharov, PLMS 1999 Atiyah-Hitchin-Singer,P Roy Soc Lond 1978 Bishop, Mich Math J 1964 Hitchin,arXiv:math/0608213 Pontecorvo,Diff Geom Appl 1992 Salamon-Viaclovsky,arXiv:0704.3422Schoen-Yau,Invent Math 1988 Shiffman, Mich Math J 1968 Slupinski,J Geom Phys1996 Tricerri-Vanhecke, TAMS 1981
Bibliografia Apostolov-Gauduchon-Grantcharov, PLMS 1999 Atiyah-Hitchin-Singer,P Roy Soc Lond 1978 Bishop, Mich Math J 1964 Hitchin,arXiv:math/0608213 Pontecorvo,Diff Geom Appl 1992 Salamon-Viaclovsky,arXiv:0704.3422Schoen-Yau,Invent Math 1988 Shiffman, Mich Math J 1968 Slupinski,J Geom Phys 1996 Tricerri-Vanhecke, TAMS 1981