Nilmanifolds [Elektronische Ressource] : complex structures, geometry and deformations / Sönke Rollenske

Description

Nilmanifolds: complex structures,geometry and deformationsVon der Universit¨at Bayreuthzur Erlangung des Grades einesDoktors der Naturwissenschaften (Dr. rer. nat.)genehmigte AbhandlungvonS¨onke Rollenskeaus Bonn1. Gutachter: Prof. Dr. Fabrizio Catanese2. Gutachter: Prof. Dr. Jo¨rg Winkelmann3. Gutachter: Prof. Dr. Simon SalamonTag der Einreichung: 31. Mai 2007Tag des Kolloquiums: 13. Juli 2007AbstractWe consider nilmanifolds with left-invariant complex structure and provethat in the generic case small deformations of such structures are againleft-invariant.The relation between nilmanifolds and iterated principal holomorphictorus bundles is clarified and we give criteria under which deformationsin the large are again of such type. As an application we obtain a fairlycomplete picture in dimension three.WeshowbyexamplethattheFr¨olicherspectralsequenceofanilmanifoldmay be arbitrarily non degenerate thereby answering a question mentionedin the book of Griffith and Harris.On our way we prove Serre Duality for Lie algebra Dolbeault cohomol-ogy and classify complex structures on nilpotent Lie algebras with smallcommutator subalgebra.MS Subject classification: 32G05; (32G08, 17B30, 53C30, 32C10)Erklarung¨Hiermit erkl¨are ich, dass ich die vorliegende Dissertation mit dem Titel Nil-manifolds: complex structures, geometry and deformations selbststa¨ndig an-gefertigt habe.

Sujets

• Mathematics

Informations

• Publié par: universitat_bayreuth
• Publié le: 01 janvier 2007
• Nombre de lectures: 45
• Langue: English

Extrait

Nilmanifolds: complex structures, geometry and deformations

VonderUniversit ¨ atBayreuth zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) genehmigte Abhandlung

von

S¨ ke Rollenske on aus Bonn

1. Gutachter: Prof. Dr. Fabrizio Catanese 2.Gutachter:Prof.Dr.Jo ¨ rgWinkelmann 3. Gutachter: Prof. Dr. Simon Salamon

Tag der Einreichung: Tag des Kolloquiums:

31. Mai 2007 13. Juli 2007

Abstract

We consider nilmanifolds with left-invariant complex structure and prove that in the generic case small deformations of such structures are again left-invariant. The relation between nilmanifolds and iterated principal holomorphic torus bundles is clarified and we give criteria under which deformations in the large are again of such type. As an application we obtain a fairly complete picture in dimension three. WeshowbyexamplethattheF¨olicherspectralsequenceofanilmanifold r may be arbitrarily non degenerate thereby answering a question mentioned in the book of Griffith and Harris. On our way we prove Serre Duality for Lie algebra Dolbeault cohomol- ogy and classify complex structures on nilpotent Lie algebras with small commutator subalgebra. MS Subject classification: 32G05; (32G08, 17B30, 53C30, 32C10)

Erkl¨ arung

Hiermiterkla ¨ reich,dassichdievorliegendeDissertationmitdemTitelNil- manifolds: complex structures, geometry and deformationsstd ¨ itasnnb-sgeal gefertigt habe. Alle benutzten Quellen und Hilfsmittel habe ich nach bestem Wissen und Gewissen kenntlich gemacht. DiesistmeinersterVersuch,dieseodereinegleichartigeDoktorpr ¨ ufung abzulegen.

S ¨ onkeRollenske

Bayreuth, den 31. Mai 2007

Applications 6.1 The Main Theorem . . . . . . . . . . . . . . . . . . . . . . . . 6.2 Deformations and geometric structure in dimension three . .

6

. . . . . . . .

. . . .

58 58 60

Complex structures on certain Lie algebras 5.1 Notations and basic results . . . . . . . . . . 5.2 The case dim(C 1 g) = 1 . . . . . . . . . . . . . 5.3 The case dim(C 1 g) = 2 . . . . . . . . . . . . . 5.4 The case dim(C 1 g . . . . . . . . . . . . .) = 3

. . . .

. . . .

45 45 48 50 52

. . . .

. . . .

. . . .

. . . .

. .

. .

4

32 32 38

. . . .

5

Albanese Quotients and deformations in the large 4.1 Definitions and results . . . . . . . . . . . . . . . . . 4.2 Proof of Theorem 4.11 . . . . . . . . . . . . . . . . .

. .

. . . . . . . .

. . . .

16 16 19 21 24

. . . . . . . . . . . .

Dolbeault cohomology tions

of nilmanifolds and small deforma- 27

Lie algebra Dolbeault cohomology 2.1 Integrable representations and modules . . . . . . . 2.2 Integrable modules and vector bundles . . . . . . . 2.3 Lie algebra Dolbeault cohomology . . . . . . . . . 2.4 Cohomology with invariant forms . . . . . . . . . .

3

1 1 2 3 4 6 9 12

1

2

Nilpotent Lie algebras and nilmanifolds with left-invariant complex structure 1.1 Lie algebras with a complex structure . . . . . . . . . . . . . 1.2 Nilmanifolds with left-invariant complex structure . . . . . . 1.2.1 The real structure of Γ\G. . . . . . . . . . . . . .. . 1.2.2 The complex geometry of the universal covering G . . 1.2.3 The complex geometry ofM= Γ\G. . . . . . . . .. 1.3 Examples and Counterexamples . . . . . . . . . . . . . . . . . 1.4TheFr¨olicherSpectralSequenceforTorusbundles......

Introduction

Zusammenfassung

x

References

62

Contents

i

Zusammenfassung

Zusammenfassung

i

In dieser Arbeit werden wir eine spezielle Klasse von kompakten komplexen Mannigfaltigkeiten genauer studieren. Seit Bernhard Riemann den Begriff der Mannigfaltigkeit in seiner Habi- ¨ litationsschriftUber die Hypothesen, welche der Geometrie zugrunde liegen ausdemJahr1854[Rie19]eingefu ¨ hrthat,istdieTheoriederdifferenzierba- ren und komplexen Mannigfaltigkeiten ein zentrales Thema der Mathematik. EinesolcheMannigfaltigkeitistein(genu ¨ gendguter)topologischerRaum, der aus offenen Teilmengen desR n bzw.C n mittels differenzierbarer bzw. holomorpherAbbildungenzusammengeklebtistundsomiteinenat ¨ urliche Verallgemeinerung desR n oderC n . Da Mannigfaltigkeiten lokal aussehen wie derR n bzw.C n lassen sich die ¨ ublichenMethodenderDifferential-undIntegralrechnungaufMannigfaltig- keitenu ¨ bertragen;estretenjedochqualitativneuePh ¨ anomeneauf,wenn mandieglobaleGeometriemitber ¨ ucksichtigt. Die Theorie der differenzierbaren Mannigfaltigkeiten beeinflusste und erm ¨ oglichtedieEntwicklungderklassischenMechanikundderRelativit ¨ ats- theorie.DasStudiumvonFunktionenineinerkomplexenVariablenfu ¨ hrte nachderEntwicklungderanalytischenFortsetzungaufnat ¨ urlicheWeise zur Definition von eindimensionalen komplexen Mannigfaltigkeiten, die man heutezuEhrenRiemannsalsRiemannscheFla ¨ chenbezeichnet.

C

C=R 2

EineRiemannscheFl ¨ achemitlokalerKarte.

Ho ¨ herdimensionalekomplexeMannigfaltigkeitentratenimplizitschon Anfang des 19. Jahrhunderts in den Arbeiten von Abel und Jacobi zu ellip- tischen Integralen auf: Eine Funktionfder Form f(t Z 0 t p( 1 x) d −1 +  +a 1 x+a 0 ) =x, p(x) =x n +a n−1 x n

la ¨ sstsichimallgemeinennichtdurchelementareFunktionenausdru ¨ cken.

ii

Nilmanifolds

BetrachtetmanjedochdieRiemannscheFla ¨ cheCinP 2 C gegeben als Nullstellenmenge der Gleichungy 2 =p(x) so erscheint die Funktionfals das Kurvenintegral Z dx

y aufCZieliche ¨ urlrnat.eDinkompakteritknnenodtsiennaumraurf ¨ lcsoFuhe komplexerTorus,dieJacobischeVarieta ¨ tzuCnitieDefifonauered,siza ¨ rpn LefschetzindenzwanzigerJahrendesletztenJahrhundertszuru ¨ ckgeht. Die Entwicklung der modernen Theorie der komplexen und differenzier- baren Mannigfaltigkeiten setzte dann Anfang des 20. Jahrhunderts ein, ge- tragen von der Entwicklung der Topologie und den fortschreitenden Erkennt- nisseninderkomplexenAnalysisinmehrerenVera ¨ nderlichen,derDifferen- tialtopologie und Differentialgeometrie. Weil wirC n mitR 2n deitinkFuheonholomorpnundjedene ¨ knoentnfiiizre insbesonderedifferenzierbarist,k ¨ onnenwirjeden-dimensionale komplexe MannigfaltigkeitXauch als 2n-dimensionale differenzierbare Mannigfaltig- keitMbetrachten. In jedem Punktx∈Mist der TangentialraumT x Mein komplexer Vektorraum und die Multiplikation mitiliefert einen Endomor- phismus des Tangentialraumes

J:T x M→T x M,

J ξ=iξ

FasstmandieTangentialra ¨ umeindeneinzelnenPunktenzumTangenti- ˙ albu ¨ ndelT M= S x∈M T x Mzusammen, so erhalten wir einen globalen En- domorphismus J:T M→ JT M, 2 =−id T M ,

der in jedem Punkt durch die Multiplikation mitiwirkt. Ein solcher EndomorphismusJmitJ 2 =−id T M auf einer differenzier- baren MannigfaltigkeitMgerader Dimension heißt fast komplexe Struktur. Nach einem Resultat von Newlander und Nierenberg induziert eine fast komplexe StrukturJgenau dann eine (in diesem Fall eindeutig bestimmte) Struktur einer komplexen Mannigfaltigkeit aufM, falls sie integrabel ist, d.h.f ¨ uralleVektorfelderX, YaufMgilt

[J X, J Y] = [X, Y] +J[J X, y] +J[X, J Y]

wobei [,] die Lieklammer ist. DieseIntegrabilita ¨ tsbedingungwirdinunserenUntersuchungeneinegro- ße Rolle spielen, denn sie erlaubt uns, die Existenz einer globalen komplexen Struktur aufManhand einer lokalen Bedingung zu testen, die sich mit MethodenderlinearenAlgebrastudierenl ¨ asst. SchonbeimStudiumderRiemannschenFla ¨ chenwurdebemerkt,dass zwei verschiedene komplexe Mannigfaltigkeiten die gleiche zugrundeliegende differenzierbareMannigfaltigkeithabenk ¨ onnenoder,mitanderenWorten,

Zusammenfassung

iii

auf einer differenzierbaren MannigfaltigkeitMkann es essentiell unterschied- liche integrable fast komplexe Strukturen geben. Eine sehr allgemeine Frage in der Theorie der komplexen Mannigfaltig- keiten ist nun die folgende: SeiMeine kompakte, differenzierbare Mannig- faltigkeit und sei

C:={J∈End(T M)|J 2 =−id T M , Jintegrable fast komplexe Struktur}

der Raum aller komplexen Strukturen aufM;wask ¨ onnenwi ¨ rbureCund seine Elemente sagen, fallsCnicht leer ist? FallsMreelle Dimension 2 hat und orientierbar ist, so sind der Raum der komplexen StrukturenCund verfeinerte Versionen davon detailiert studiert und beschrieben worden; unter anderen hatCgenau zwei Komponenten, die denbeidenmo ¨ glichenOrientierungenentsprechen.EingeeigneterQuotient, der die integrablen fast komplexen Strukturen effektiv parametrisiert, ist biholomorph zu einer offenen Teilmenge desC n esgnetegieernifu ¨ n, das nur von der topologischen Gestalt vonMh ¨ .abgtan Im allgemeinen ist die Situation wesentlich komplizierter. UmdieFragestellungeneinzugrenzen,k ¨ onnenwirmiteinerkompak- ten, komplexen MannigfaltigkeitX= (M, J), betrachtet als differenzierba- re MannigfaltigkeitMmit integrabler fast komplexer StrukturJ, beginnen und versuchen, alle komplexen Strukturen aufMin einer kleinen Umgebung vonJ(kleine Deformationen) beziehungsweise in der gleichen Zusammen- hangskomponente wieJ(Deformationen im Großen) zu verstehen. Vom geometrischen Standpunkt aus sagen wir: Zwei kompakte, kom- plexe MannigfaltigkeitenXundX ′ emiaohrnodnßteiekireftdtnelqa ¨ saviu X∼ def X ′ , wenn es eine eigentliche, flache Familieπ:M → Bvon kom- pakten,komplexenMannigfaltigkeitenu ¨ bereinemirreduziblenkomplex- analytischen RaumBgibt, so dassX ∼ = π −1 (b) undX ′ ∼ = π −1 (b ′ u ¨ f)iewzr Punkteb, b ′ ∈ BNach einem Satz von Ehresmann sind alle Fasern von. π diffeomorph und betrachtet man den FallB= Δ ={z∈C| |z|<1}, so hat man eine Familie von komplexen Strukturen, die von einem Parameter t∈.tgna ¨ hbaΔ Die MannigfaltigkeitX ′ heißt Deformation im Großen vonX, falls beide ¨ ¨ indergleichenAquivalenzklassebez ¨ uglichdervon∼ def erzeugten Aquiva- lenzrelation sind. Dies ist genau dann der Fall, wennXundX ′ in der gleichen Zusammenhangskomponente vonCliegen. Die Deformationen einer gegebenen Mannigfaltigkeit zu studieren, ist im Allgemeinensehrschwer;w ¨ ahrendesabereineuniverselleMethode,entwi- ckelt von Kuranishi, Kodaira und Spencer [KS58, Kur62], zur Bestimmung allerkleinenDeformationengibt,fehlteinsolcherallgemeinerAnsatzf ¨ ur Deformationen im Großen. Sogardiescheinbarselbstverst ¨ andlicheTatsache,dassjedeDeformation im Großen eines komplexen Torus wieder ein solcher ist, wurde erst 2002 von

iv

Nilmanifolds

Catanese[Cat02]vollsta ¨ ndigbewiesen.DerAusgangspunktf ¨ urdieseDisser- tation waren seine darauf folgenden Untersuchungen zu Deformationen im GroßenvonTorus-Prinzipalbu ¨ ndelnin[Cat04]. Es stellt sich heraus [CF06], dass der richtige Kontext zur Verallgemeine- rung dieser Ergebnisse die Theorie der linksinvarianten komplexen Struktu- ren auf Nilmannigfaltigkeiten, d.h. kompakten Quotienten reeller nilpotenter Liegruppen, ist. Nilmannigfaltigkeiten mit linksinvarianter komplexer Struktur sind eine wichtige Quelle von Beispielen in der komplexen Differentialgeometrie. In diese Klasse fallen unter anderem die Kodaira-Thurston-Mannigfaltigkeiten, die die ersten Beispiele von Mannigfaltigkeiten sind, die sowohl eine kom- plexealsaucheinesymplektischeStruktur,jedochkeineK ¨ ahlerstrukturzu- lassen. Genauer gilt, dass eine NilmannigfaltigkeitMgenau dann mit einer Ka ¨ hlerstrukturversehenwerdenkann,wennMein Torus ist [BG88, Has89]. DieAnzahlderSchritte,nachdenendieFro ¨ licher-Spektralsequenz,die Dolbeault-Kohomologie mit deRham-Kohomologie verbindet, degeneriert, isteinMaßdafu ¨ r,wieweiteineMannigfaltigkeitdavonentferntist,eine Ka ¨ hlermannigfaltigkeitzusein.InAbschnitt1.4werdenwiranhandeines Beispiels zeigen, dass Nilmannigfaltigkeiten in diesem Sinne beliebig weit entferntvonK ¨ ahlermannigfaltigkeitenseinko ¨ nnen. ObwohlsichjedesiterierteholomorpheTorus-Prinzipalb ¨ undelalsNil- mannigfaltigkeitmitlinksinvarianterkomplexerStrukturschreibenl ¨ asst,ist dasumgekehrtnichtmo ¨ glich.Esstelltsichsogarheraus,dasseinekleine DeformationeinesiteriertenPrinzipalbu ¨ ndelsnichtnotwendigeinsolches ist (Beispiel 1.14). Wirmu ¨ ssenunsalsomitdenfolgendendreiFragenbefassen:

•Welches sind die kleinen Deformationen einer Nilmannigfaltigkeit mit linksinvarianter komplexer Struktur?

•Wann induziert eine linksinvariante komplexe Struktur auf einer Nil- mannigfaltigkeit eine Struktur als iteriertes holomorphes Torus-Prin- zipalbu ¨ ndel?

•Unter welchen Bedingungen kann man die Deformationen im Großen einesiteriertenholomorphenTorus-Prinzipalb ¨ undelskontrollieren?

Die fundamentalen Ergebnisse der Theorie der linksinvarianten komple- xen Strukturen auf Nilmannigfaltigkeiten finden sich vor allem in den im Li- teraturverzeichnis zitierten Arbeiten von Console, Cordero, Fernandez, Fino, Grantcharov, Gray, McLaughlin, Pedersen, Poon, Salamon und Ugarte. In Abschnitt 1 werden wir die bekannten Resultate zusammenfassen, wobei wir den Aspekt der komplex-geometrischen Struktur besonders be- tonen. Wir werden Nilmannigfaltigkeiten durch ein TripelM= (g, J,Γ) beschreiben, wobeig,nende ¨ angmenhusamueazerinnfeihzacLeidlaeirbeg