Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold...

310
Mass, Scalar Curvature, & ahler Geometry, II Claude LeBrun Stony Brook University Seminario de Geometr´ ıa ICMAT, November 5, 2018

Transcript of Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold...

Page 1: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Mass, Scalar Curvature, &

Kahler Geometry, II

Claude LeBrunStony Brook University

Seminario de GeometrıaICMAT, November 5, 2018

1

Page 2: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(R

n −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

........

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

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

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

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

2

Page 3: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(R

n −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

........

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

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

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

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

3

Page 4: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(R

n −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

........

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

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

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

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

4

Page 5: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(Rn −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.....

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

........

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

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

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

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

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

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

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

....

5

Page 6: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(Rn −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.....

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

........

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

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

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

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

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

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

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

....

6

Page 7: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(Rn −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

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

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

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

........

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7

Page 8: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(Rn −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.....

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

........

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

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

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

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

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

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

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

....

8

Page 9: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(Rn −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

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

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

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

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

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

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

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.....

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

........

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

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

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

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

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

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

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

....

gjk = δjk + O(|x|1−n2−ε)

gjk,` = O(|x|−n2−ε), s ∈ L1

9

Page 10: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Why consider ALE spaces?

10

Page 11: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

11

Page 12: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

12

Page 13: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

13

Page 14: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

Data: ` points in R3. =⇒ V with ∆V = 0

14

Page 15: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

Data: ` points in R3. =⇒ V with ∆V = 0

V =∑j=1

1

2%j

15

Page 16: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

Data: ` points in R3. =⇒ V with ∆V = 0

V =∑j=1

1

2%j

F = ?dV curvature θ on P → R3 − {pts}.

16

Page 17: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

Data: ` points in R3. =⇒ V with ∆V = 0

g = V h + V −1θ2

F = ?dV curvature θ on P → R3 − {pts}.

17

Page 18: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

Data: ` points in R3. =⇒ V with ∆V = 0

g = V (dx2 + dy2 + dz2) + V −1θ2

F = ?dV curvature θ on P → R3 − {pts}.

18

Page 19: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

Data: ` points in R3. =⇒ V with ∆V = 0

g = V h + V −1θ2

F = ?dV curvature θ on P → R3 − {pts}.

19

Page 20: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

.......

.......

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

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

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

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

Data: ` points in R3. =⇒ V with ∆V = 0

g = V h + V −1θ2

on P . Then take M4 = Riemannian completion.

20

Page 21: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

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

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

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

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

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

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

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

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

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

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

..........

Data: ` points in R3. =⇒ V with ∆V = 0

g = V h + V −1θ2

on P . Then take M4 = Riemannian completion.

21

Page 22: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

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

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

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

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

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

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

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

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

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

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

..........

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

Data: ` points in R3. =⇒ V with ∆V = 0

g = V h + V −1θ2

on P . Then take M4 = Riemannian completion.

22

Page 23: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

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

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

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

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

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

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

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

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

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

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

..........

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

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

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

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

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

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

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

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

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

Data: ` points in R3. =⇒ V with ∆V = 0

g = V h + V −1θ2

on P . Then take M4 = Riemannian completion.

23

Page 24: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

vv

vvv

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

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

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

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

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

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

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

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

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

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

..........

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Data: ` points in R3. =⇒ V with ∆V = 0

g = V h + V −1θ2

on P . Then take M4 = Riemannian completion.

24

Page 25: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,

25

Page 26: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,each with self-intersection −2,

26

Page 27: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,each with self-intersection −2,meeting transversely, & forming connected set:

27

Page 28: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,each with self-intersection −2,meeting transversely, & forming connected set:

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

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

28

Page 29: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,each with self-intersection −2,meeting transversely, & forming connected set:

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

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

Configuration dual to Dynkin diagram Ak:

29

Page 30: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,each with self-intersection −2,meeting transversely, & forming connected set:

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

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

Configuration dual to Dynkin diagram Ak:

• • • •.............................................................................................................................................................................................................................................................................................................

30

Page 31: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,each with self-intersection −2,meeting transversely, & forming connected set:

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

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

Configuration dual to Dynkin diagram Ak:

• • • •.............................................................................................................................................................................................................................................................................................................

Diffeotype:

31

Page 32: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Deform retracts to k = `− 1 copies of S2,each with self-intersection −2,meeting transversely, & forming connected set:

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

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

Configuration dual to Dynkin diagram Ak:

• • • •.............................................................................................................................................................................................................................................................................................................

Diffeotype:

Plumb together k copies of T ∗S2

according to diagram.

32

Page 33: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

33

Page 34: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

Their examples have just one end, with

Γ ∼= Z` ⊂ SU(2) ⊂ O(4).

34

Page 35: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

Their examples have just one end, with

Γ ∼= Z` ⊂ SU(2) ⊂ O(4).

The G-H metrics are hyper-Kahler, and were soonindependently rediscovered by Hitchin.

35

Page 36: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

36

Page 37: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

37

Page 38: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

38

Page 39: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

39

Page 40: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

40

Page 41: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

41

Page 42: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

42

Page 43: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

43

Page 44: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

44

Page 45: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

45

Page 46: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

46

Page 47: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

47

Page 48: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

48

Page 49: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

49

Page 50: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

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

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

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

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

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

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

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

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

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................

..........................................

..................

............................................

.........................................

..............

................................................

........................................................

............................................

.........................................

..............

........................................

..........................................

..................

..............................................................................

...................

.........................................................................................................................

................................................................................................

....................................................................................................

...................................................................................................

..................................................................................................

......................................................................................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

50

Page 51: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

51

Page 52: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(Mn, g): Kahler ⇐⇒ holonomy ⊂ O(n)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

52

Page 53: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g): Kahler ⇐⇒ holonomy ⊂ U(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

53

Page 54: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

54

Page 55: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

U(m) := O(2m) ∩GL(m,C)

55

Page 56: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Makes tangent space a complex vector space!

56

Page 57: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Makes tangent space a complex vector space!

J : TM → TM, J2 = −identity

“almost-complex structure”

57

Page 58: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Makes tangent space a complex vector space!

Invariant under parallel transport!

58

Page 59: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

59

Page 60: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

60

Page 61: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

dω = 0

61

Page 62: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

[ω] ∈ H2(M)

“Kahler class”

62

Page 63: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

63

Page 64: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

⇐⇒ In local complex coordinates (z1, . . . , zm), ∃f (z)

g = −m∑

j,k=1

∂2f

∂zj∂zk

[dzj ⊗ dzk + dzk ⊗ dzj

]

64

Page 65: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

⇐⇒ In local complex coordinates (z1, . . . , zm), ∃f (z)

g = −m∑

j,k=1

∂2f

∂zj∂zk

[dzj ⊗ dzk + dzk ⊗ dzj

]

65

Page 66: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

⇐⇒ In local complex coordinates (z1, . . . , zm), ∃f (z)

ω = im∑

j,k=1

∂2f

∂zj∂zkdzj ∧ dzk

66

Page 67: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

⇐⇒ In local complex coordinates (z1, . . . , zm), ∃f (z)

g = −m∑

j,k=1

∂2f

∂zj∂zk

[dzj ⊗ dzk + dzk ⊗ dzj

]

67

Page 68: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

Kahler magic:

r = −m∑

j,k=1

∂2

∂zj∂zklog det[gpq]

[dzj⊗dzk+dzk⊗dzj

]

68

Page 69: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g) Kahler ⇐⇒ holonomy ⊂ U(m)

⇐⇒ ∃ almost complex-structure J with ∇J = 0and g(J ·, J ·) = g.

⇐⇒ (M2m, g) is a complex manifold & ∃ J -invariantclosed 2-form ω such that g = ω(·, J ·).

Kahler magic:

If we define the Ricci form by

ρ = r(J ·, ·)then iρ is curvature of canonical line bundle Λm,0.

69

Page 70: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g): Ricci-flat Kahler⇐= holonomy⊂ SU(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

70

Page 71: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g): Ricci-flat Kahler⇐= holonomy⊂ SU(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

71

Page 72: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g): Ricci-flat Kahler⇐= holonomy⊂ SU(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

SU(m) ⊂ U(m) : {A | detA = 1}

72

Page 73: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g): Ricci-flat Kahler⇐= holonomy⊂ SU(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

73

Page 74: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Kahler metrics:

(M2m, g): Ricci-flat Kahler⇐⇒ holonomy⊂ SU(m)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

if M is simply connected.

74

Page 75: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

75

Page 76: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

76

Page 77: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(`) := O(4`) ∩GL(`,H)

77

Page 78: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(`) ⊂ SU(2`)

78

Page 79: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(`) ⊂ SU(2`)

in many ways! (For example, permute i, j, k. . . )

79

Page 80: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(`) ⊂ SU(2`)

in many ways! (For example, permute i, j, k. . . )

80

Page 81: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(`) ⊂ SU(2`)

Ricci-flat and Kahler,

for many different complex structures!

81

Page 82: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4`, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(`)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(`) ⊂ SU(2`)

82

Page 83: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(1)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(1) = SU(2)

83

Page 84: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(1)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(1) = SU(2)

When (M4, g) simply connected:

hyper-Kahler ⇐⇒ Ricci-flat Kahler.

84

Page 85: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(1)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(1) = SU(2)

85

Page 86: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(1)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(1) = SU(2)

Ricci-flat and Kahler,

for many different complex structures!

86

Page 87: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

87

Page 88: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

88

Page 89: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

89

Page 90: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Complex structure faithfully encodes the metric.

90

Page 91: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Complex structure encodes metric mod homothety.

91

Page 92: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Complex structure faithfully encodes the metric.

92

Page 93: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Complex structure faithfully encodes the metric.

Constructing twistor space suffices for existence.

93

Page 94: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

94

Page 95: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

H0(CP1,O(2)) = C3⊃ R3.

95

Page 96: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

H0(CP1,O(2)) = C3 ⊃ R3.

96

Page 97: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

H0(CP1,O(2)) = C3 ⊃ R3.

vv

vvv

So ` points determine P1, . . . , P` ∈ H0(CP1,O(2)).

97

Page 98: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

H0(CP1,O(2)) = C3 ⊃ R3.

vv

vvv

So ` points determine P1, . . . , P` ∈ H0(CP1,O(2)).

Small resolution Z of Z ⊂ O(`)⊕O(`)⊕O(2)

98

Page 99: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

H0(CP1,O(2)) = C3 ⊃ R3.

vv

vvv

So ` points determine P1, . . . , P` ∈ H0(CP1,O(2)).

Small resolution Z of Z ⊂ O(`)⊕O(`)⊕O(2)

xy = (z − P1) · · · (z − P`)

99

Page 100: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

H0(CP1,O(2)) = C3 ⊃ R3.

vv

vvv

So ` points determine P1, . . . , P` ∈ H0(CP1,O(2)).

Small resolution Z of Z ⊂ O(`)⊕O(`)⊕O(2)

xy = (z − P1) · · · (z − P`)

100

Page 101: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hitchin’s Twistor Spaces:

H0(CP1,O(2)) = C3 ⊃ R3.

vv

vvv

So ` points determine P1, . . . , P` ∈ H0(CP1,O(2)).

Small resolution Z of Z ⊂ O(`)⊕O(`)⊕O(2)

xy = (z − P1) · · · (z − P`)is the twistor space of a Gibbons-Hawking metric.

101

Page 102: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

Their examples have just one end, with

Γ ∼= Z` ⊂ SU(2) ⊂ O(4).

The G-H metrics are hyper-Kahler, and were soonindependently rediscovered by Hitchin.

102

Page 103: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

Their examples have just one end, with

Γ ∼= Z` ⊂ SU(2) ⊂ O(4).

The G-H metrics are hyper-Kahler, and were soonindependently rediscovered by Hitchin.

Hitchin conjectured that similar metrics would existfor each finite Γ ⊂ SU(2).

103

Page 104: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

Their examples have just one end, with

Γ ∼= Z` ⊂ SU(2) ⊂ O(4).

The G-H metrics are hyper-Kahler, and were soonindependently rediscovered by Hitchin.

Hitchin conjectured that similar metrics would existfor each finite Γ ⊂ SU(2).

This conjecture was proved by Kronheimer, 1986.

104

Page 105: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

105

Page 106: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

106

Page 107: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

107

Page 108: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ mathbbC3 by

108

Page 109: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ C3 by

choosing 3 generators of Γ-invariant polynomials.

109

Page 110: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ C3 by

choosing 3 generators of Γ-invariant polynomials.

110

Page 111: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ C3 by

choosing 3 generators of Γ-invariant polynomials.

Example.

[e2πi/m

e−2πi/m

]∈ SU(2)

111

Page 112: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ C3 by

choosing 3 generators of Γ-invariant polynomials.

Example.

[e2πi/m

e−2πi/m

]∈ SU(2)

generates Γ ∼= Zm.

112

Page 113: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ C3 by

choosing 3 generators of Γ-invariant polynomials.

Example.

[e2πi/m

e−2πi/m

]∈ SU(2)

generates Γ ∼= Zm. Setting

u = zm1 , v = zm2 , y = z1z2,

113

Page 114: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ C3 by

choosing 3 generators of Γ-invariant polynomials.

Example.

[e2πi/m

e−2πi/m

]∈ SU(2)

generates Γ ∼= Zm. Setting

u = zm1 , v = zm2 , y = z1z2,

then identifies C2/Γ with

uv = ym.

114

Page 115: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Given Γ ⊂ SU(2) finite subgroup,

the orbifold C2/Γ can be viewed as

singular complex surface ⊂ C3 by

choosing 3 generators of Γ-invariant polynomials.

Example.

[e2πi/m

e−2πi/m

]∈ SU(2)

generates Γ ∼= Zm. Setting

w =1

2(zm1 −z

m2 ), x =

i

2(zm1 +zm2 ), y = z1z2,

then identifies C2/Γ with

w2 + x2 + ym = 0.

115

Page 116: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Felix Klein’s Table of Singularities (1884)

116

Page 117: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Felix Klein’s Table of Singularities (1884)

Zm ←→ w2 + x2 + ym = 0

117

Page 118: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Felix Klein’s Table of Singularities (1884)

Zm ←→ w2 + x2 + ym = 0

Dih∗m ←→ w2 + y(x2 + ym) = 0

118

Page 119: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Felix Klein’s Table of Singularities (1884)

Zm ←→ w2 + x2 + ym = 0

Dih∗m ←→ w2 + y(x2 + ym) = 0

T ∗ ←→ w2 + x3 + y4 = 0

119

Page 120: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Felix Klein’s Table of Singularities (1884)

Zm ←→ w2 + x2 + ym = 0

Dih∗m ←→ w2 + y(x2 + ym) = 0

T ∗ ←→ w2 + x3 + y4 = 0

O∗ ←→ w2 + x3 + xy3 = 0

120

Page 121: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Felix Klein’s Table of Singularities (1884)

Zm ←→ w2 + x2 + ym = 0

Dih∗m ←→ w2 + y(x2 + ym) = 0

T ∗ ←→ w2 + x3 + y4 = 0

O∗ ←→ w2 + x3 + xy3 = 0

I∗ ←→ w2 + x3 + y5 = 0

121

Page 122: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Prototypical Klein singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = 0

122

Page 123: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = 0

123

Page 124: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = 0

124

Page 125: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

125

Page 126: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

126

Page 127: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

127

Page 128: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

128

Page 129: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

129

Page 130: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

130

Page 131: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

131

Page 132: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

132

Page 133: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

133

Page 134: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

134

Page 135: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

135

Page 136: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

136

Page 137: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

137

Page 138: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

138

Page 139: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

139

Page 140: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

140

Page 141: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

141

Page 142: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

142

Page 143: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

143

Page 144: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

Usually these are topologically different.

144

Page 145: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

Usually these are topologically different.

But for Klein singularities, they are diffeomorphic!

145

Page 146: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

Usually these are topologically different.

But for Klein singularities, they are diffeomorphic!

Gorenstein singularities. Crepant Resolutions.

146

Page 147: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Two ways to get rid of a singularity:

• Smooth it, by deformation:

w2 + x2 + y2 = ε

• Resolve it, by blowing up, iteratively:

w2 + x2 + y2 = 0

O(−2) → O(−1)↓ ↓

CP1 ↪→ CP2

Usually these are topologically different.

But for Klein singularities, they are diffeomorphic!

Gorenstein singularities. Crepant Resolutions.

147

Page 148: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

148

Page 149: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

149

Page 150: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

150

Page 151: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

151

Page 152: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

152

Page 153: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

153

Page 154: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

154

Page 155: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

155

Page 156: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

Intersection pattern dual to Dynkin diagram!

• • • • •••

........................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................

156

Page 157: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

Intersection pattern dual to Dynkin diagram!

• • • • •••

........................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................

157

Page 158: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

•.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

Intersection pattern dual to Dynkin diagram!

• • • • •••

........................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................

158

Page 159: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

Intersection pattern dual to Dynkin diagram!

• • • • •••

........................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................

159

Page 160: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Resolutions of Klein Singularities:

∀ Klein singularity V ⊂ C3, ∃! resolution

V → V

with c1(T 1,0V ) = 0.

Replaces origin with a union of CP1’s,each with self-intersection −2,meeting transversely, & forming connected set:

.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................................................................................................................................................................................

Intersection pattern dual to Dynkin diagram!

• • • • •••

........................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................................................

160

Page 161: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Zk+1←→Ak • • • •.......................................................................................................................................................

161

Page 162: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Zk+1←→Ak • • • •.......................................................................................................................................................

Dih∗k−2←→Dk • • • ••.................................................................................................................

................................................

...........................................................

162

Page 163: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Zk+1←→Ak • • • •.......................................................................................................................................................

Dih∗k−2←→Dk • • • ••.................................................................................................................

................................................

...........................................................

T ∗←→E6 • • • •••................................................................................................................................................................................................................

.......

.......

.......

.......

.......

....

163

Page 164: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Zk+1←→Ak • • • •.......................................................................................................................................................

Dih∗k−2←→Dk • • • ••.................................................................................................................

................................................

...........................................................

T ∗←→E6 • • • •••................................................................................................................................................................................................................

.......

.......

.......

.......

.......

....

O∗←→E7 • • • ••• •..................................................................................................................................................................................................................................................................

.......

.......

.......

.......

.......

....

164

Page 165: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Zk+1←→Ak • • • •.......................................................................................................................................................

Dih∗k−2←→Dk • • • ••.................................................................................................................

................................................

...........................................................

T ∗←→E6 • • • •••................................................................................................................................................................................................................

.......

.......

.......

.......

.......

....

O∗←→E7 • • • ••• •..................................................................................................................................................................................................................................................................

.......

.......

.......

.......

.......

....

I∗←→E8 • • • ••• • •....................................................................................................................................................................................................................................................................................................................

.......

.......

.......

.......

.......

....

165

Page 166: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Key examples:

Term ALE coined by Gibbons & Hawking, 1979.

They wrote down various explicit Ricci-flat ALE4-manifolds they called gravitational instantons.

Their examples have just one end, with

Γ ∼= Z` ⊂ SU(2) ⊂ O(4).

The G-H metrics are hyper-Kahler, and were soonindependently rediscovered by Hitchin.

Hitchin conjectured that similar metrics would existfor each finite Γ ⊂ SU(2).

Proved by Kronheimer, who also showed (1989) thisgives complete classification of ALE hyper-Kahlers.

166

Page 167: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Hyper-Kahler metrics:

(M4, g) hyper-Kahler ⇐⇒ holonomy ⊂ Sp(1)

s

...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

...................................................

....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................

...........................................................

...................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................

........................................

........................................

.....................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ .................................................................................................................................................................................

Sp(1) = SU(2)

Ricci-flat and Kahler,

for many different complex structures!

167

Page 168: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

168

Page 169: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

All these complex structures can be repackaged as

Penrose Twistor Space (Z6, J),

which is a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.......................................................................................................................................................

................. .................................................................................................

...........................

.........................

...........................................

....................................r

.............

..........

......................................

...................................

........................

......................

r

r Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

......................................................................................

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.......................................................................

..................

..................

..................

.................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

But similar for scalar-flat Kahler surfaces (M4, g, J)!

169

Page 170: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z6, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

170

Page 171: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z6, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Integrability condition for twistor space: W+ ≡ 0.

171

Page 172: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z6, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Integrability condition for twistor space: W+ ≡ 0.

For Kahler surfaces, |W+|2 = s2/24.

172

Page 173: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z6, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Integrability condition for twistor space: W+ ≡ 0.

For Kahler surfaces, integrable ⇐⇒ scalar-flat!

173

Page 174: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z6, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Integrability condition for twistor space: W+ ≡ 0.

For Kahler surfaces, integrable ⇐⇒ scalar-flat!

Leads to constructions of explicit examples.

174

Page 175: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z6, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Integrability condition for twistor space: W+ ≡ 0.

For Kahler surfaces, integrable ⇐⇒ scalar-flat!

Many simple examples are AE or ALE.

175

Page 176: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

176

Page 177: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

(L ’91)

177

Page 178: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

f

vv

vvv

........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

....................................................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................

......................................................

........................................

...............................

......................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

178

Page 179: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

f

vv

vvv

........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

....................................................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................

......................................................

........................................

...............................

......................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Data: k points inH3 and one point at infinity. =⇒V with ∆V = 0

179

Page 180: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3 = upper half-space model.

180

Page 181: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

V = 1 +

k∑j=1

Gj

181

Page 182: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

V = 1 +

k∑j=1

1

e2%j − 1

182

Page 183: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

V = 1 +

k∑j=1

Gj

183

Page 184: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

F = ?dV curvature θ on P → H3 − {pts}.

184

Page 185: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

185

Page 186: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

g = z2

(Vdx2 + dy2 + dz2

z2+ V −1θ2

)

186

Page 187: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

g = V (dx2 + dy2 + dz2) + z2V −1θ2

187

Page 188: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

188

Page 189: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.......

.......

........................................................

..............................

.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

Riemannian completion is AE scalar-flat Kahler.

g = z2(V h + V −1θ2

)

189

Page 190: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

......

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

190

Page 191: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

C×× ×××

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

......

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

191

Page 192: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

C2

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.............................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............. C×× ×××

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

192

Page 193: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

193

Page 194: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

C2

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.............................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............. C×× ×××

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

194

Page 195: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

C2

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.............................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............

−1−1 −1−1−1

........................................................................................................

........................................................................................................

........................................................................................................

........................................................................................................

........................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

195

Page 196: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

vv

vvv

C×× ×××

.................................................................................................................................................................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

......

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

.............

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

196

Page 197: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some AE Scalar-Flat Kahler Surfaces:

C2

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.............................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............

−1−1 −1−1−1

........................................................................................................

........................................................................................................

........................................................................................................

........................................................................................................

........................................................................................................

Data: k points in H3. =⇒ V with ∆V = 0

g = z2(V h + V −1θ2

)

197

Page 198: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

198

Page 199: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

(L ’91)

199

Page 200: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

200

Page 201: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Data: k + 1 points in H3. =⇒ V with ∆V = 0

201

Page 202: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Data: k + 1 points in H3. =⇒ V with ∆V = 0

V = 1 + `G0 +

k∑j=1

Gj

202

Page 203: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Data: k + 1 points in H3. =⇒ V with ∆V = 0

V = 1 +`

e2%0 − 1+

k∑j=1

1

e2%j − 1

203

Page 204: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Data: k + 1 points in H3. =⇒ V with ∆V = 0

V = 1 + `G0 +

k∑j=1

Gj

204

Page 205: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.......

....................................

..............................................................................................................................................................................................................................................................................

....

.......

........................................

..............................................................................................................................................................................................................................................................................................................................................................................

..........

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Data: k + 1 points in H3. =⇒ V with ∆V = 0

F = ?dV curvature θ on P → H3 − {pts}.

205

Page 206: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Data: k + 1 points in H3. =⇒ V with ∆V = 0

g =1

4 sinh2 %0

(V h + V −1θ2

)

206

Page 207: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Riemannian completion is ALE scalar-flat Kahler.

g =1

4 sinh2 %0

(V h + V −1θ2

)

207

Page 208: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

Riemannian completion is ALE with Γ = Z`.

V = 1 +`

e2%0 − 1+

k∑j=1

1

e2%j − 1

208

Page 209: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

.................................................................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ......

..........................

..........................

............................................

.................................................................

×

×

×

×

×

Riemannian completion is ALE with Γ = Z`.

V = 1 +`

e2%0 − 1+

k∑j=1

1

e2%j − 1

209

Page 210: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

Blow up of Chern-class −` line bundle over CP1 atk points on zero section Σ.

......................................................................................................................................................................................................................................................................................

..................................

................

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

Σ−`

...................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................

Riemannian completion is ALE with Γ = Z`.

V = 1 +`

e2%0 − 1+

k∑j=1

1

e2%j − 1

210

Page 211: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

Blow up of Chern-class −` line bundle over CP1 atk points on zero section Σ.

......................................................................................................................................................................................................................................................................................

..................................

................

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

×× × Σ−`

...................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................

Riemannian completion is ALE with Γ = Z`.

V = 1 +`

e2%0 − 1+

k∑j=1

1

e2%j − 1

211

Page 212: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Some ALE Scalar-Flat Kahler Surfaces:

Blow up of Chern-class −` line bundle over CP1 atk points on zero section Σ.

......................................................................................................................................................................................................................................................................................

..................................

................

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

E1

−1−1−1

E2Ek

Σ−`− k

...................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

......

Riemannian completion is ALE with Γ = Z`.

V = 1 +`

e2%0 − 1+

k∑j=1

1

e2%j − 1

212

Page 213: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

213

Page 214: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4⊃ R1,3 ⊃ H3

214

Page 215: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3⊃ H3

215

Page 216: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

216

Page 217: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

So k + 1 points in H3 give rise to

217

Page 218: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

f

vv

vvv

.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

............................................

...................................

..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................

....................

......................

.......................

.........................

...........................

...............................

......................................

....................................................

..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................

...............................................................

..............................................

....................................

....................................................................................

...................

............. .............

..........................

............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ............. ..........................

.............

So k + 1 points in H3 give rise to

P0, P1, . . . , Pk ∈ H0(CP1 × CP1,O(1, 1)).

218

Page 219: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

219

Page 220: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

InO(k + `− 1, 1)⊕O(1, k + `− 1)→ CP1×CP1,

220

Page 221: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

InO(k + `− 1, 1)⊕O(1, k + `− 1)→ CP1×CP1,

let Z be the hypersurface

xy = P `0 P1 · · · Pk.

221

Page 222: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

InO(k + `− 1, 1)⊕O(1, k + `− 1)→ CP1×CP1,

let Z be the hypersurface

xy = P `0 P1 · · · Pk.

Then twistor space Z obtained from Z by

222

Page 223: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

InO(k + `− 1, 1)⊕O(1, k + `− 1)→ CP1×CP1,

let Z be the hypersurface

xy = P `0 P1 · · · Pk.

Then twistor space Z obtained from Z by

• removing curve in zero section cut out by P0,

223

Page 224: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

InO(k + `− 1, 1)⊕O(1, k + `− 1)→ CP1×CP1,

let Z be the hypersurface

xy = P `0 P1 · · · Pk.

Then twistor space Z obtained from Z by

• removing curve in zero section cut out by P0,

• adding two rational curves at infinity, and

224

Page 225: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Twistor Spaces for These Metrics:

H0(CP1 × CP1,O(1, 1)) = C4 ⊃ R1,3 ⊃ H3

InO(k + `− 1, 1)⊕O(1, k + `− 1)→ CP1×CP1,

let Z be the hypersurface

xy = P `0 P1 · · · Pk.

Then twistor space Z obtained from Z by

• removing curve in zero section cut out by P0,

• adding two rational curves at infinity, and

•making small resolutions of isolated singularities.

225

Page 226: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

226

Page 227: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Lots more ALE scalar-flat Kahler surfaces now known:

227

Page 228: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Lots more ALE scalar-flat Kahler surfaces now known:

Joyce, Calderbank-Singer, Lock-Viaclovsky. . .

228

Page 229: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Any scalar-flat Kahler surface (M4, g, J) has a

Penrose Twistor Space (Z, J),

which is once again a complex 3-manifold.

.....................................................................................................................................................................................................................................................................................................................................................................................................................................

............................

.......................

.........................

.......................................................................................................................................................

.................

.............

..........

......................................

...................................

........................

.................................................................

....................................

r

rr Z

M 4

.......................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............................................................................................................................................................

..................

..................

..................

................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

........................................................................................ .................

......................................................................................

.......................................................................

............................... ...............................

..................................................................................................................................................

......................................................................................................................

.....................................................

......................................................................

...................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................

.............................................................................

...............................................................................................................................................................................................................................................................................................................................................................................................................

Lots more ALE scalar-flat Kahler surfaces now known:

Joyce, Calderbank-Singer, Lock-Viaclovsky. . .

But full classification remains an open problem.

229

Page 230: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. Complete, non-compact n-manifold(Mn, g) is asymptotically locally Euclidean (ALE)if ∃ compact set K ⊂ M such that M − K ≈∐i(Rn −Dn)/Γi, where Γi ⊂ O(n), such that

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....................................................................................................................

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

....

............................

............................

............................

............................

...............................................................................................................................................................................................................................................................................................................................

...............................................................................................................................................................................................................................................................................................................................

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.....

.................................................................................................................................................

........................................................

...................................................................................................................................

........................................................

............................

............................

............................

............................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.........................................................................................................................................................

.........................................................................................................................................................

.......................................

.......................................

................................................................................. .....................................................

.................................................................

......................................................................................................................

..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

..................................

..................................

..................................

.............................

.............................

..................................

........

..........................

..................................................

.....................

...............................

.............................

................................................

................................................................................................................................................................................................................................... .......

....

gjk = δjk + O(|x|1−n2−ε)

gjk,` = O(|x|−n2−ε), s ∈ L1

230

Page 231: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

231

Page 232: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

232

Page 233: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

233

Page 234: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

234

Page 235: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

235

Page 236: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

236

Page 237: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

...............................................................................................................................................................................................................................................................................................................................

...............................................................................................................................................................................................................................................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................. .....................................................

..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

..................................

..................................................

.....................

...............................

237

Page 238: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

...............................................................................................................................................................................................................................................................................................................................

...............................................................................................................................................................................................................................................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................. .....................................................

..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

..................................

..................................................

.....................

...............................

238

Page 239: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

239

Page 240: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

240

Page 241: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

Bartnik/Chrusciel (1986): With weak fall-offconditions, the mass is well-defined & coordinateindependent.

241

Page 242: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

Bartnik/Chrusciel (1986): With weak fall-offconditions, the mass is well-defined & coordinateindependent.

242

Page 243: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

gjk = δjk + O(|x|1−n2−ε)

gjk,` = O(|x|−n2−ε), s ∈ L1

243

Page 244: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

Bartnik/Chrusciel (1986): With weak fall-offconditions, the mass is well-defined & coordinateindependent.

244

Page 245: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

Bartnik/Chrusciel (1986): With weak fall-offconditions, the mass is well-defined & coordinateindependent.

245

Page 246: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

Chrusciel-type fall-off:

gjk − δjk ∈ C1−τ , τ >

n− 2

2

246

Page 247: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

Bartnik/Chrusciel (1986): With weak fall-offconditions, the mass is well-defined & coordinateindependent.

247

Page 248: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Definition. The mass (at a given end) of anALE n-manifold is defined to be

m(M, g) := lim%→∞

Γ(n2)

4(n− 1)πn/2

∫Σ(%)

[gij,i − gii,j

]νjαE

where

• Σ(%) ≈ Sn−1/Γi is given by |~x| = %;

• ν is the outpointing Euclidean unit normal;and

• αE is the volume (n− 1)-from induced by theEuclidean metric.

We’ll see a new proof of this in the Kahler case.

248

Page 249: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

In fact, we’ll eventually prove:

249

Page 250: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

In fact, we’ll eventually prove:

Theorem C. Any ALE Kahler manifold (M, g, J)of complex dimension m has mass given by

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

250

Page 251: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

In fact, we’ll eventually prove:

Theorem C. Any ALE Kahler manifold (M, g, J)of complex dimension m has mass given by

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

where

• s = scalar curvature;

• dµ = metric volume form;

• c1 = c1(M,J) ∈ H2(M) is first Chern class;

• [ω] ∈ H2(M) is Kahler class of (g, J); and

• 〈 , 〉 is pairing between H2c (M) and H2m−2(M).

251

Page 252: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

In fact, we’ll eventually prove:

Theorem C. Any ALE Kahler manifold (M, g, J)of complex dimension m has mass given by

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

where

• s = scalar curvature;

• dµ = metric volume form;

• c1 = c1(M,J) ∈ H2(M) is first Chern class;

• [ω] ∈ H2(M) is Kahler class of (g, J); and

• 〈 , 〉 is pairing between H2c (M) and H2m−2(M).

• ♣ : H2(M)∼=−→ H2

c (M) inverse of natural map.

252

Page 253: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

253

Page 254: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler case:

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

254

Page 255: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

255

Page 256: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Today: What does this mean in practice?

256

Page 257: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

257

Page 258: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

258

Page 259: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Gravitational instantons?

259

Page 260: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Gravitational instantons?

Ricci flat! =⇒ c1 = 0.

260

Page 261: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Gravitational instantons?

Ricci flat! =⇒ c1 = 0.

261

Page 262: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Gravitational instantons?

Ricci flat! =⇒ c1 = 0.

Mass automatically vanishes!

262

Page 263: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Gravitational instantons?

Ricci flat! =⇒ c1 = 0.

Mass automatically vanishes!

Bartnik: Ricci-flat =⇒ faster fall-off of metric!

263

Page 264: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Gravitational instantons?

Ricci flat! =⇒ c1 = 0.

Mass automatically vanishes!

Bartnik: Ricci-flat =⇒ mass vanishes!

264

Page 265: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Today: What does this mean in practice?

265

Page 266: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Today: Exploit Poincare duality. . .

266

Page 267: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by

267

Page 268: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by

268

Page 269: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by

269

Page 270: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by

270

Page 271: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

271

Page 272: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

then the mass of (M, g) is given by

272

Page 273: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

then the mass of (M, g) is given by

m(M, g) = − 1

∑j=1

aj

∫Ej

[ω]

273

Page 274: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

then the mass of (M, g) is given by

m(M, g) = − 1

∑j=1

aj

∫Ej

[ω]

where [ω] denotes the Kahler class of (M, g, J).

274

Page 275: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

275

Page 276: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

276

Page 277: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

...........................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............×× ×××

277

Page 278: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

...........................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............

×××××

278

Page 279: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

...........................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............×× ×××

279

Page 280: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

...........................

......................

............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

.............

−1−1 −1−1−1

E4E3 E5E2E1 ........................................................................................................

........................................................................................................

........................................................................................................

........................................................................................................

........................................................................................................

280

Page 281: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

then the mass of (M, g) is given by

m(M, g) = − 1

∑j=1

aj

∫Ej

[ω]

where [ω] denotes the Kahler class of (M, g, J).

281

Page 282: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

m(M, g) =1

∑j=1

∫Ej

[ω]

282

Page 283: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

m(M, g) =1

∑j=1

∫Ej

[ω]

Always positive! (AE): Positive mass theorem.

283

Page 284: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up C2 at k points.

m(M, g) =1

∑j=1

∫Ej

[ω]

Always positive! (AE): Positive mass theorem.

284

Page 285: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

285

Page 286: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up Chern-class −` line bundleover CP1 at k points on zero section Σ.

......................................................................................................................................................................................................................................................................................

..................................

................

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

Σ−`

...................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................

286

Page 287: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up Chern-class −` line bundleover CP1 at k points on zero section Σ.

......................................................................................................................................................................................................................................................................................

..................................

................

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

×× × Σ−`

...................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................

287

Page 288: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up Chern-class −` line bundleover CP1 at k points on zero section Σ.

......................................................................................................................................................................................................................................................................................

..................................

................

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

............................................................................................................................................................................................................................................................................................................................................................

............................................

........................

.............

E1

−1−1−1

E2Ek

Σ−`− k

...................................................................................................................................................................................................................................................................................

...................................................................................................................................................................................................................................................................................

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

......

.......

.......

.......

.......

.......

.......

.......

.......

.......

.......

......

288

Page 289: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

then the mass of (M, g) is given by

m(M, g) = − 1

∑j=1

aj

∫Ej

[ω]

where [ω] denotes the Kahler class of (M, g, J).

289

Page 290: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up Chern-class −` line bundleover CP1 at k points on zero section Σ.

m(M, g) =

290

Page 291: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up Chern-class −` line bundleover CP1 at k points on zero section Σ.

m(M, g) =1

3π`

(2− `)∫

Σω+2

k∑j=1

∫Ej

ω

.

291

Page 292: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

Example. Blow up Chern-class −` line bundleover CP1 at k points on zero section Σ.

m(M, g) =1

3π`

(2− `)∫

Σω + 2

k∑j=1

∫Ej

ω

.

292

Page 293: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

then the mass of (M, g) is given by

m(M, g) = − 1

∑j=1

aj

∫Ej

[ω]

where [ω] denotes the Kahler class of (M, g, J).

293

Page 294: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then zapm(M, g) ≤ 0, with = iff g is Ricci-flat.

294

Page 295: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then zapm(M, g) ≤ 0, with = iff g is Ricci-flat.

295

Page 296: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then zapm(M, g) ≤ 0, with = iff g is Ricci-flat.

Examples: Hirzebruch-Jung resolution of C2/Z`.

296

Page 297: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then zapm(M, g) ≤ 0, with = iff g is Ricci-flat.

Examples: Hirzebruch-Jung resolution of C2/Z`.

(z1, z2) 7→ (e2πi/`z1, e2πik/`z2)

297

Page 298: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then zapm(M, g) ≤ 0, with = iff g is Ricci-flat.

Examples: Hirzebruch-Jung resolution of C2/Z`.

Calderbank-Singer metrics generalize for k 6= ±1.

298

Page 299: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then zapm(M, g) ≤ 0, with = iff g is Ricci-flat.

299

Page 300: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then m(M, g) ≤ 0, with = iff g is Ricci-flat.

300

Page 301: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then m(M, g) ≤ 0, with = iff g is Ricci-flat.

301

Page 302: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Proposition. Let (M, g, J) be an ALE scalar-flat Kahler surface. Let E1, . . . E` be a basis forH2(M,R), and let Q = [Qjk] = [Ej · Ek] be thecorresponding intersection matrix. If we definea1, . . . , a` by a1

...a`

= Q−1∫E1c1

...∫E`c1

then the mass of (M, g) is given by

m(M, g) = − 1

∑j=1

aj

∫Ej

[ω]

where [ω] denotes the Kahler class of (M, g, J).

302

Page 303: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then m(M, g) ≤ 0, with = iff g is Ricci-flat.

V. Alexeev: Q−1 term-by-term ≤ 0 for these.

303

Page 304: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Theorem B. Let (M4, g, J) be an ALE scalar-flat Kahler surface, and suppose that (M,J) isthe minimal resolution of a surface singularity.Then m(M, g) ≤ 0, with = iff g is Ricci-flat.

V. Alexeev: Q−1 term-by-term ≤ 0 for these.

Brought to our attention by C. Spotti.

304

Page 305: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

Scalar-flat Kahler surface:

m(M, g) = − 1

3π〈♣(c1), [ω]〉

305

Page 306: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

306

Page 307: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

...............................................................................................................................................................................................................................................................................................................................

...............................................................................................................................................................................................................................................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................. .....................................................

..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

..................................

..................................................

.....................

...............................

307

Page 308: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

308

Page 309: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

m(M, g) = −〈♣(c1), [ω]m−1〉(2m− 1)πm−1

+(m− 1)!

4(2m− 1)πm

∫Msgdµg

...............................................................................................................................................................................................................................................................................................................................

...............................................................................................................................................................................................................................................................................................................................

.....................................................................................................................................................................................................................................................................................................................................................................................................

................................................................................. .....................................................

..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

..................................

..................................

..................................................

.....................

...............................

309

Page 310: Stony Brook University Seminario de Geometr a ICMAT ...De nition.Complete, non-compact n-manifold (Mn;g) is asymptotically locally Euclidean (ALE) if‘ 9compact set K ˆM such that

End, Part II

310