Einstein Metrics, Minimizing Sequences, and the. Differential Topology of Four-Manifolds. Claude LeBrun SUNY Stony Brook
|
|
- Marcus Quinn
- 5 years ago
- Views:
Transcription
1 Einstein Metrics, Minimizing Sequences, and the Differential Topology of Four-Manifolds Claude LeBrun SUNY Stony Brook
2 Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature ie
3 Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature ie r = λg for some constant λ R
4 Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature ie r = λg for some constant λ R the greatest blunder of my life! A Einstein, to G Gamow
5 Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature ie r = λg for some constant λ R the greatest blunder of my life! A Einstein, to G Gamow Die Mathematiker sind eine Art Franzosen: redet man zu ihnen, so übersetzen sie es in ihre Sprache, und dann ist es alsobald ganz etwas anderes JW von Goethe
6 Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature ie r = λg for some constant λ R the greatest blunder of my life! A Einstein, to G Gamow Die Mathematiker sind eine Art Franzosen: redet man zu ihnen, so übersetzen sie es in ihre Sprache, und dann ist es alsobald ganz etwas anderes JW von Goethe
7 Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature ie r = λg for some constant λ R the greatest blunder of my life! A Einstein, to G Gamow Die Mathematiker sind eine Art Franzosen: redet man zu ihnen, so übersetzen sie es in ihre Sprache, und dann ist es alsobald ganz etwas anderes JW von Goethe
8 Definition A Riemannian metric is said to be Einstein if it has constant Ricci curvature ie r = λg for some constant λ R the greatest blunder of my life! A Einstein, to G Gamow Die Mathematiker sind eine Art Franzosen: redet man zu ihnen, so übersetzen sie es in ihre Sprache, und dann ist es alsobald ganz etwas anderes JW von Goethe
9 Ricci curvature measures volume distortion by exponential map: p v exp(v)
10 Ricci curvature measures volume distortion by exponential map: p v exp(v) In geodesic normal coordinates metric volume measure is dµ g = [ ] r jk x j x k + O( x 3 ) dµ Euclidean, where r is the Ricci tensor r jk = R i jik
11 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric?
12 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric? What we know:
13 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric? What we know: When n = 2: Yes! (Riemann)
14 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric? What we know: When n = 2: Yes! (Riemann) When n = 3: Poincaré conjecture
15 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric? What we know: When n = 2: Yes! (Riemann) When n = 3: Poincaré conjecture Hamilton, Perelman, Yes!
16 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric? What we know: When n = 2: Yes! (Riemann) When n = 3: Poincaré conjecture Hamilton, Perelman, Yes! When n = 4: No! (Hitchin)
17 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric? What we know: When n = 2: Yes! (Riemann) When n = 3: Poincaré conjecture Hamilton, Perelman, Yes! When n = 4: No! (Hitchin) When n = 5: Yes?? (Boyer-Galicki-Kollár)
18 Question (Yamabe) Does every smooth compact 1-connected n-manifold admit an Einstein metric? What we know: When n = 2: Yes! (Riemann) When n = 3: Poincaré conjecture Hamilton, Perelman, Yes! When n = 4: No! (Hitchin) When n = 5: Yes?? (Boyer-Galicki-Kollár) When n 6, wide open Maybe???
19 Four Dimensions is Exceptional
20 Four Dimensions is Exceptional When n = 4, existence for Einstein depends delicately on smooth structure
21 Four Dimensions is Exceptional When n = 4, existence for Einstein depends delicately on smooth structure There are topological 4-manifolds which admit an Einstein metric for one smooth structure, but not for others
22 Four Dimensions is Exceptional When n = 4, existence for Einstein depends delicately on smooth structure There are topological 4-manifolds which admit an Einstein metric for one smooth structure, but not for others But seems related to geometrizations of 4-manifolds by decomposition into Einstein and collapsed pieces
23 Four Dimensions is Exceptional When n = 4, existence for Einstein depends delicately on smooth structure There are topological 4-manifolds which admit an Einstein metric for one smooth structure, but not for others But seems related to geometrizations of 4-manifolds by decomposition into Einstein and collapsed pieces By contrast, high-dimensional Einstein metrics too common, so have little to do with geometrization
24 Variational Problems If M smooth compact n-manifold, n 3, G M = { smooth metrics g on M}
25 Variational Problems If M smooth compact n-manifold, n 3, G M = { smooth metrics g on M} then Einstein metrics = critical points of normalized total scalar curvature functional
26 Variational Problems If M smooth compact n-manifold, n 3, G M = { smooth metrics g on M} then Einstein metrics = critical points of normalized total scalar curvature functional G M R g V (2 n)/n M s g dµ g where V = Vol(M, g) inserted to make scale-invariant
27 If g G M with s > 0, = any metric minimizing must be Einstein G M R g M s g n/2 dµ g
28 If g G M with s > 0, = any metric minimizing must be Einstein G M R g M s g n/2 dµ g If such Einstein minimizer exists, also minimizes g r n/2 g dµ g M
29 If g G M with s > 0, = any metric minimizing must be Einstein G M R g M s g n/2 dµ g If such Einstein minimizer exists, also minimizes g r n/2 g dµ g since M r g 2 = s2 g n + r 2 g s2 g n with Einstein
30 Two soft Invariants: I s (M) = inf g M s g n/2 dµ g
31 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g
32 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g which satisfy [ ] Ir(M) n n/4 Is(M)
33 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g which satisfy [ ] Ir(M) n n/4 Is(M) with = = Einstein minimizer
34 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g which satisfy [ ] Ir(M) n n/4 Is(M) with = = Einstein minimizer Some other goals of this talk:
35 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g which satisfy [ ] Ir(M) n n/4 Is(M) with = = Einstein minimizer Some other goals of this talk: compute these invariants for many 4-manifolds;
36 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g which satisfy [ ] Ir(M) n n/4 Is(M) with = = Einstein minimizer Some other goals of this talk: compute these invariants for many 4-manifolds; describe minimizing sequences for functionals;
37 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g which satisfy [ ] Ir(M) n n/4 Is(M) with = = Einstein minimizer Some other goals of this talk: compute these invariants for many 4-manifolds; describe minimizing sequences for functionals; show that above inequality often strict;
38 Two soft Invariants: I s (M) = inf g I r (M) = inf g M M s g n/2 dµ g r g n/2 dµ g which satisfy [ ] Ir(M) n n/4 Is(M) with = = Einstein minimizer Some other goals of this talk: compute these invariants for many 4-manifolds; describe minimizing sequences for functionals; show that above inequality often strict; provide context for Anderson s talk
39 What s so special about dimension 4? The Lie group SO(4) is not simple: so(4) = so(3) so(3)
40 What s so special about dimension 4? The Lie group SO(4) is not simple: so(4) = so(3) so(3) On oriented (M 4, g), = Λ 2 = Λ + Λ where Λ ± are (±1)-eigenspaces of : Λ 2 Λ 2, 2 = 1
41 What s so special about dimension 4? The Lie group SO(4) is not simple: so(4) = so(3) so(3) On oriented (M 4, g), = Λ 2 = Λ + Λ where Λ ± are (±1)-eigenspaces of : Λ 2 Λ 2, 2 = 1 Λ + self-dual 2-forms Λ anti-self-dual 2-forms
42 Riemann curvature of g R : Λ 2 Λ 2
43 Riemann curvature of g R : Λ 2 Λ 2 splits into 4 irreducible pieces: Λ + Λ Λ + W + + s 12 r Λ r W + s 12
44 Riemann curvature of g R : Λ 2 Λ 2 splits into 4 irreducible pieces: Λ + Λ Λ + W + + s 12 r Λ r W + s 12 where s = scalar curvature r = trace-free Ricci curvature W + = self-dual Weyl curvature W = anti-self-dual Weyl curvature
45 (M, g) compact oriented Riemannian 4-dimensional Gauss-Bonnet formula χ(m) = 1 8π 2 M ( ) s W W 2 r 2 dµ 2
46 (M, g) compact oriented Riemannian 4-dimensional Gauss-Bonnet formula χ(m) = 1 8π 2 M ( ) s W W 2 r 2 2 dµ for Euler-characteristic χ(m) = j ( 1) j b j (M)
47 4-dimensional Hirzebruch signature formula τ(m) = 1 12π 2 M ( W + 2 W 2) dµ
48 4-dimensional Hirzebruch signature formula τ(m) = 1 ( 12π 2 W + 2 W 2) dµ M for signature τ(m) = b + (M) b (M)
49 4-dimensional Hirzebruch signature formula τ(m) = 1 ( 12π 2 W + 2 W 2) dµ M for signature τ(m) = b + (M) b (M) Here b ± (M) = max dim subspaces H 2 (M, R) on which intersection pairing H 2 (M, R) H 2 (M, R) ( [ϕ], [ψ] ) is positive (resp negative) definite R ϕ ψ M
50 Associated square-norm H 2 (M, R) R [ϕ] [ϕ] 2 := M ϕ ϕ
51 Associated square-norm H 2 (M, R) R [ϕ] [ϕ] 2 := M ϕ ϕ
52 Theorem (Freedman/Donaldson) Two smooth compact simply connected oriented 4-manifolds are orientedly homeomorphic if and only if
53 Theorem (Freedman/Donaldson) Two smooth compact simply connected oriented 4-manifolds are orientedly homeomorphic if and only if they have the same Euler characteristic χ; they have the same signature τ; and both are spin, or both are non-spin
54 Theorem (Freedman/Donaldson) Two smooth compact simply connected oriented 4-manifolds are orientedly homeomorphic if and only if they have the same Euler characteristic χ; they have the same signature τ; and both are spin, or both are non-spin
55 Theorem (Freedman/Donaldson) Two smooth compact simply connected oriented 4-manifolds are orientedly homeomorphic if and only if they have the same Euler characteristic χ; they have the same signature τ; and both are spin, or both are non-spin
56 Theorem (Freedman/Donaldson) Two smooth compact simply connected oriented 4-manifolds are orientedly homeomorphic if and only if they have the same Euler characteristic χ; they have the same signature τ; and both are spin, or both are non-spin
57 Theorem (Freedman/Donaldson) Two smooth compact simply connected oriented 4-manifolds are orientedly homeomorphic if and only if they have the same Euler characteristic χ; they have the same signature τ; and both are spin, or both are non-spin Warning: Exotic differentiable structures! No diffeomorphism classification currently known! Typically, one homeotype many diffeotypes
58 Hitchin-Thorpe Inequality: (2χ ± 3τ)(M) = 1 4π 2 M ( ) s W ± 2 r 2 dµ g 2
59 Hitchin-Thorpe Inequality: (2χ ± 3τ)(M) = 1 4π 2 Einstein = 1 4π 2 M M ) W ± 2 r 2 2 ) ( s 2 ( s W ± 2 dµ g dµ g
60 Hitchin-Thorpe Inequality: (2χ ± 3τ)(M) = 1 4π 2 Einstein = 1 4π 2 M M ) W ± 2 r 2 2 ) ( s 2 ( s W ± 2 dµ g dµ g Theorem (Hitchin-Thorpe Inequality) If smooth compact oriented M 4 admits Einstein g, then and (2χ + 3τ)(M) 0 (2χ 3τ)(M) 0
61 Example Let CP 2 = reverse-oriented CP 2 Then jcp 2 #kcp 2 = CP 2 # #CP 2 }{{} j # CP } 2 # {{ #CP } 2, k
62 Connected sum:
63 Example Let CP 2 = reverse-oriented CP 2 Then jcp 2 #kcp 2 = CP 2 # #CP 2 }{{} j # CP } 2 # {{ #CP } 2, k has 2χ + 3τ = 4 + 5j k so Einstein metric if k 4 + 5j
64 Hitchin-Thorpe Inequality: (2χ ± 3τ)(M) = 1 4π 2 Einstein = 1 4π 2 M M ) W ± 2 r 2 2 ) ( s 2 ( s W ± 2 dµ g dµ g Theorem (Hitchin-Thorpe Inequality) If smooth compact oriented M 4 admits Einstein g, then and (2χ + 3τ)(M) 0 (2χ 3τ)(M) 0
65 Hitchin-Thorpe Inequality: (2χ ± 3τ)(M) = 1 4π 2 Einstein = 1 4π 2 M M ) W ± 2 r 2 2 ) ( s 2 ( s W ± 2 dµ g dµ g Theorem (Hitchin-Thorpe Inequality) If smooth compact oriented M 4 admits Einstein g, then and (2χ + 3τ)(M) 0 (2χ 3τ)(M) 0 Both inequalities strict unless finitely covered by flat T 4, Calabi-Yau K3, or Calabi-Yau K3
66 K3 = Kummer-Kähler-Kodaira manifold
67 K3 = Kummer-Kähler-Kodaira manifold Simply connected complex surface with c 1 = 0
68 K3 = Kummer-Kähler-Kodaira manifold Simply connected complex surface with c 1 = 0 Only one deformation type In particular, only one diffeotype
69 K3 = Kummer-Kähler-Kodaira manifold Simply connected complex surface with c 1 = 0 Only one deformation type In particular, only one diffeotype Spin manifold, b + = 3, b = 19
70 K3 = Kummer-Kähler-Kodaira manifold Simply connected complex surface with c 1 = 0 Only one deformation type In particular, only one diffeotype Spin manifold, b + = 3, b = 19 Theorem (Yau) K3 admits Ricci-flat metrics
71 Kummer construction of K3:
72 Kummer construction of K3: Begin with T 4 /Z 2 : T 4 T 2 T 2
73 Kummer construction of K3: Begin with T 4 /Z 2 : T 4 T 2 T 2 Replace R 4 /Z 2 neighborhood of each singular point with copy of T S 2
74 Approximate Calabi-Yau metric: Replace flat metric on R 4 /Z 2 T 4 T 2 T 2 with Eguchi-Hanson metric on T S 2 : g EH,ɛ = dϱ2 ( [ 1 ɛϱ 4 +ϱ2 θ θ ɛϱ 4] ) θ 2 3 (Page, Kobayashi-Todorov, LeBrun-Singer)
75 Examples of Einstein 4-Manifolds
76 Examples of Einstein 4-Manifolds Richest source: Kähler geometry
77 Examples of Einstein 4-Manifolds Richest source: Kähler geometry Theorem (Aubin/Yau) Compact complex manifold (M 2m, J) admits compatible Kähler-Einstein metric with s < 0 holomorphic embedding
78 Examples of Einstein 4-Manifolds Richest source: Kähler geometry Theorem (Aubin/Yau) Compact complex manifold (M 2m, J) admits compatible Kähler-Einstein metric with s < 0 holomorphic embedding
79 Examples of Einstein 4-Manifolds Richest source: Kähler geometry Theorem (Aubin/Yau) Compact complex manifold (M 2m, J) admits compatible Kähler-Einstein metric with s < 0 holomorphic embedding j : M CP k such that c 1 (M) is negative multiple of j c 1 (CP k )
80 Examples of Einstein 4-Manifolds Richest source: Kähler geometry Theorem (Aubin/Yau) Compact complex manifold (M 2m, J) admits compatible Kähler-Einstein metric with s < 0 holomorphic embedding j : M CP k such that c 1 (M) is negative multiple of j c 1 (CP k )
81 Corollary For any l 5, the degree l surface t l + u l + v l + w l = 0 in CP 3 admits s < 0 Kähler-Einstein metric
82 Examples of Einstein 4-Manifolds Richest source: Kähler geometry Theorem (Aubin/Yau) Compact complex manifold (M 2m, J) admits compatible Kähler-Einstein metric with s < 0 holomorphic embedding j : M CP k such that c 1 (M) is negative multiple of j c 1 (CP k ) Remark This happens c 1 (M) is a Kähler class Short-hand: c 1 (M) < 0
83 Examples of Einstein 4-Manifolds Richest source: Kähler geometry Theorem (Aubin/Yau) Compact complex manifold (M 2m, J) admits compatible Kähler-Einstein metric with s < 0 holomorphic embedding j : M CP k such that c 1 (M) is negative multiple of j c 1 (CP k ) Remark This happens c 1 (M) is a Kähler class Short-hand: c 1 (M) < 0 Remark When m = 2, such M are necessarily minimal complex surfaces of general type
84 Blowing up: If N is a complex surface, may replace p N with CP 1 to obtain blow-up M N#CP 2 in which new CP 1 has self-intersection 1
85 Blowing up: If N is a complex surface, may replace p N with CP 1 to obtain blow-up M N#CP 2 in which new CP 1 has self-intersection 1 A complex surface X is called minimal if it is not the blow-up of another complex surface
86 Blowing up: If N is a complex surface, may replace p N with CP 1 to obtain blow-up M N#CP 2 in which new CP 1 has self-intersection 1 A complex surface X is called minimal if it is not the blow-up of another complex surface Any complex surface M can be obtained from a minimal surface X by blowing up a finite number of times: M X#kCP 2 One says that X is minimal model of M
87 Compact complex surface (M 4, J) general type if dim Γ(M, O(K l )) al 2, l 0, where K = Λ 2,0 is canonical line bundle
88 Compact complex surface (M 4, J) general type if dim Γ(M, O(K l )) al 2, l 0, where K = Λ 2,0 is canonical line bundle If l 5, then Γ(M, O(K l )) gives holomorphic map f l : M CP N which just collapses each CP 1 with self-intersection 1 or 2 to a point Image X = f l (M) called pluricanonical model of M
89 Compact complex surface (M 4, J) general type if dim Γ(M, O(K l )) al 2, l 0, where K = Λ 2,0 is canonical line bundle If l 5, then Γ(M, O(K l )) gives holomorphic map f l : M CP N which just collapses each CP 1 with self-intersection 1 or 2 to a point Image X = f l (M) called pluricanonical model of M Pluricanonical model X is a complex orbifold with c 1 < 0 and singularities C 2 /G, G SU(2)
90 Aubin-Yau proof = Corollary (R Kobayashi) The pluricanonical model X of any compact complex surface M of general type admits and orbifold Kähler-Einstein metric with s < 0
91 Aubin-Yau proof = Corollary (R Kobayashi) The pluricanonical model X of any compact complex surface M of general type admits and orbifold Kähler-Einstein metric with s < 0 Thus, any surface M of general type obtained from Kähler-Einstein orbifold X in two steps:
92 Aubin-Yau proof = Corollary (R Kobayashi) The pluricanonical model X of any compact complex surface M of general type admits and orbifold Kähler-Einstein metric with s < 0 Thus, any surface M of general type obtained from Kähler-Einstein orbifold X in two steps: 1 Replace each orbifold point with ( 2)-curves intersecting according to Dynkin diagram determined by G SU(2)
93 Aubin-Yau proof = Corollary (R Kobayashi) The pluricanonical model X of any compact complex surface M of general type admits and orbifold Kähler-Einstein metric with s < 0 Thus, any surface M of general type obtained from Kähler-Einstein orbifold X in two steps: 1 Replace each orbifold point with ( 2)-curves intersecting according to Dynkin diagram determined by G SU(2) Related geometry: gravitational instantons
94 Aubin-Yau proof = Corollary (R Kobayashi) The pluricanonical model X of any compact complex surface M of general type admits and orbifold Kähler-Einstein metric with s < 0 Thus, any surface M of general type obtained from Kähler-Einstein orbifold X in two steps: 1 Replace each orbifold point with ( 2)-curves intersecting according to Dynkin diagram determined by G SU(2) Related geometry: gravitational instantons 2 Replace some non-singular points with ( 1)-curves
95 Aubin-Yau proof = Corollary (R Kobayashi) The pluricanonical model X of any compact complex surface M of general type admits and orbifold Kähler-Einstein metric with s < 0 Thus, any surface M of general type obtained from Kähler-Einstein orbifold X in two steps: 1 Replace each orbifold point with ( 2)-curves intersecting according to Dynkin diagram determined by G SU(2) Related geometry: gravitational instantons 2 Replace some non-singular points with ( 1)-curves Related geometry: scalar-flat Kähler metrics
96 Seiberg-Wittten theory: generalized Kähler geometry of non-kähler 4-manifolds
97 Seiberg-Wittten theory: generalized Kähler geometry of non-kähler 4-manifolds Can t hope to generalize operator to this setting
98 Seiberg-Wittten theory: generalized Kähler geometry of non-kähler 4-manifolds Can t hope to generalize operator to this setting But + does generalize:
99 Seiberg-Wittten theory: generalized Kähler geometry of non-kähler 4-manifolds Can t hope to generalize operator to this setting But + does generalize: spin c Dirac operator, preferred connection on L
100 Spin c structures:
101 Spin c structures: in image of w 2 (T M) H 2 (M, Z 2 ) H 2 (M, Z) H 2 (M, Z 2 )
102 Spin c structures: w 2 (T M) H 2 (M, Z 2 ) in image of H 2 (M, Z) H 2 (M, Z 2 ) = Hermitian line bundles L M with c 1 (L) w 2 (T M) mod 2
103 Spin c structures: in image of w 2 (T M) H 2 (M, Z 2 ) H 2 (M, Z) H 2 (M, Z 2 ) = Hermitian line bundles with L M c 1 (L) w 2 (T M) mod 2 Given g on M, = rank-2 Hermitian vector bundles V ± M
104 Spin c structures: in image of w 2 (T M) H 2 (M, Z 2 ) H 2 (M, Z) H 2 (M, Z 2 ) = Hermitian line bundles with L M c 1 (L) w 2 (T M) mod 2 Given g on M, = rank-2 Hermitian vector bundles V ± M which formally satisfy V ± = S ± L 1/2,
105 Spin c structures: in image of w 2 (T M) H 2 (M, Z 2 ) H 2 (M, Z) H 2 (M, Z 2 ) = Hermitian line bundles with L M c 1 (L) w 2 (T M) mod 2 Given g on M, = rank-2 Hermitian vector bundles V ± M which formally satisfy V ± = S ± L 1/2, where S ± are the (locally defined) left- and righthanded spinor bundles of (M, g)
106 Every unitary connection A on L
107 Every unitary connection A on L induces spin c Dirac operator D A : Γ(V + ) Γ(V )
108 Every unitary connection A on L induces spin c Dirac operator D A : Γ(V + ) Γ(V ) Weitzenböck formula: Φ Γ(V + ), Φ, D A D A Φ = 1 2 Φ 2 + A Φ 2 + s 4 Φ 2
109 Every unitary connection A on L induces spin c Dirac operator D A : Γ(V + ) Γ(V ) Weitzenböck formula: Φ Γ(V + ), Φ, D A D A Φ = 1 2 Φ 2 + A Φ 2 + s 4 Φ 2 +2 if A +, σ(φ)
110 Every unitary connection A on L induces spin c Dirac operator D A : Γ(V + ) Γ(V ) Weitzenböck formula: Φ Γ(V + ), Φ, D A D A Φ = 1 2 Φ 2 + A Φ 2 + s 4 Φ 2 +2 if A +, σ(φ) where F A + = self-dual part curvature of A,
111 Every unitary connection A on L induces spin c Dirac operator D A : Γ(V + ) Γ(V ) Weitzenböck formula: Φ Γ(V + ), Φ, D A D A Φ = 1 2 Φ 2 + A Φ 2 + s 4 Φ 2 +2 if A +, σ(φ) where F A + = self-dual part curvature of A, and σ : V + Λ + is a natural real-quadratic map, σ(φ) = Φ 2
112 Witten: consider both Φ and A as unknowns,
113 Witten: consider both Φ and A as unknowns, subject to Seiberg-Witten equations D A Φ = 0 F + A = iσ(φ)
114 Witten: consider both Φ and A as unknowns, subject to Seiberg-Witten equations Non-linear, but elliptic D A Φ = 0 F + A = iσ(φ)
115 Witten: consider both Φ and A as unknowns, subject to Seiberg-Witten equations D A Φ = 0 F + A = iσ(φ) Non-linear, but elliptic once gauge-fixing d (A A 0 ) = 0 imposed to eliminate automorphisms of L M
116 Weitzenböck formula becomes 0 = 2 Φ A Φ 2 + s Φ 2 + Φ 4
117 Weitzenböck formula becomes 0 = 2 Φ A Φ 2 + s Φ 2 + Φ 4 = moduli space compact, finite-dimensional
118 Weitzenböck formula becomes 0 = 2 Φ A Φ 2 + s Φ 2 + Φ 4 = moduli space compact, finite-dimensional Seiberg-Witten map of Banach spaces proper map finite-dimensional spaces
119 Weitzenböck formula becomes 0 = 2 Φ A Φ 2 + s Φ 2 + Φ 4 = moduli space compact, finite-dimensional Seiberg-Witten map of Banach spaces proper map finite-dimensional spaces Degree: classical Seiberg-Witten invariant
120 Weitzenböck formula becomes 0 = 2 Φ A Φ 2 + s Φ 2 + Φ 4 = moduli space compact, finite-dimensional Seiberg-Witten map of Banach spaces proper map finite-dimensional spaces Degree: classical Seiberg-Witten invariant Stable homotopy class: Bauer-Furuta invariant
121 Weitzenböck formula becomes 0 = 2 Φ A Φ 2 + s Φ 2 + Φ 4 = moduli space compact, finite-dimensional Seiberg-Witten map of Banach spaces proper map finite-dimensional spaces Degree: classical Seiberg-Witten invariant Stable homotopy class: Bauer-Furuta invariant When invariant is non-zero, solutions guaranteed
122 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then
123 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then a H 2 (M, R)
124 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then a H 2 (M, R) is called a monopole class of M iff there exists a spin c structure on M with first Chern class
125 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then a H 2 (M, R) is called a monopole class of M iff there exists a spin c structure on M with first Chern class c 1 (L) = a
126 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then a H 2 (M, R) is called a monopole class of M iff there exists a spin c structure on M with first Chern class c 1 (L) = a such that the Seiberg-Witten equations
127 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then a H 2 (M, R) is called a monopole class of M iff there exists a spin c structure on M with first Chern class c 1 (L) = a such that the Seiberg-Witten equations D A Φ = 0 F + A = iσ(φ)
128 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then a H 2 (M, R) is called a monopole class of M iff there exists a spin c structure on M with first Chern class c 1 (L) = a such that the Seiberg-Witten equations have a solution (Φ, A) D A Φ = 0 F + A = iσ(φ)
129 Definition Let M be a smooth compact oriented 4-manifold with b + 2 Then a H 2 (M, R) is called a monopole class of M iff there exists a spin c structure on M with first Chern class c 1 (L) = a such that the Seiberg-Witten equations D A Φ = 0 F + A = iσ(φ) have a solution (Φ, A) for every metric g on M
130 Proposition Let M be a smooth compact oriented 4-manifold with b + 2 The collection C H 2 (M, R) of all monopole classes is finite, and is an oriented diffeomorphism invariant of M
131 Proposition Let M be a smooth compact oriented 4-manifold with b + 2 The collection C H 2 (M, R) of all monopole classes is finite, and is an oriented diffeomorphism invariant of M
132 Proposition Let M be a smooth compact oriented 4-manifold with b + 2 The collection C H 2 (M, R) of all monopole classes is finite, and is an oriented diffeomorphism invariant of M
133 Proposition Let M be a smooth compact oriented 4-manifold with b + 2 The collection C H 2 (M, R) of all monopole classes is finite, and is an oriented diffeomorphism invariant of M
134 Proposition Let M be a smooth compact oriented 4-manifold with b + 2 The collection C H 2 (M, R) of all monopole classes is finite, and is an oriented diffeomorphism invariant of M
135 Definition Let C = {monopole classes} H 2 (M) If C, let Hull(C) = convex hull of C and set β 2 (M) = max {v v v Hull(C)}
136 Definition Let C = {monopole classes} H 2 (M) If C, let Hull(C) = convex hull of C and set β 2 (M) = max {v v v Hull(C)}
137 Definition Let C = {monopole classes} H 2 (M) If C, let Hull(C) = convex hull of C and set β 2 (M) = max {v v v Hull(C)}
138 Definition Let C = {monopole classes} H 2 (M) If C, let Hull(C) = convex hull of C and set β 2 (M) = max {v v v Hull(C)} If C =, set β 2 (M) = 0
139 Example If X is a minimal complex surface with b + > 1, and if M = X#lCP 2 then classical Seiberg-Witten invariant allows one to show that β 2 (M) = c 1 2 (X)
140 Example If X is a minimal complex surface with b + > 1, and if M = X#lCP 2 then classical Seiberg-Witten invariant allows one to show that β 2 (M) = c 1 2 (X) Example If X, Y, Z are minimal complex surfaces with b 1 = 0 and b + 3 mod 4, and if M = X#Y #Z#lCP 2 Bauer-Furuta invariant allows one to show that β 2 (M) = c 1 2 (X) + c 1 2 (Y ) + c 1 2 (Z) Similarly for 2 or 4
141 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied:
142 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied:
143 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied:
144 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied: M s 2 dµ g 32π 2 β 2 (M) ( M s 2 6 W + ) dµg
145 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied: M s 2 dµ g 32π 2 β 2 (M) ( M s 2 6 W + ) dµg 72π 2 β 2 (M)
146 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied: M s 2 dµ g 32π 2 β 2 (M) ( M s 2 6 W + ) dµg 72π 2 β 2 (M) Moreover, if β 2 (M) 0, equality holds in either case iff (M, g) is a Kähler-Einstein manifold with s < 0
147 First curvature estimate implies 1 4π 2 M ( s W 2 ) dµ g 1 4π 2 M s 2 24 dµ g
148 First curvature estimate implies 1 4π 2 M ( s W 2 ) dµ g 1 4π 2 M s 2 24 dµ g 1 3 β2 (M)
149 First curvature estimate implies 1 4π 2 M ( s W 2 ) dµ g 1 4π 2 M s 2 24 dµ g 1 3 β2 (M) Hence: Theorem A Let M be a smooth compact oriented 4-manifold with b + (M) 2
150 First curvature estimate implies 1 4π 2 M ( s W 2 ) dµ g 1 4π 2 M s 2 24 dµ g 1 3 β2 (M) Hence: Theorem A Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g,
151 First curvature estimate implies 1 4π 2 M ( s W 2 ) dµ g 1 4π 2 M s 2 24 dµ g 1 3 β2 (M) Hence: Theorem A Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ 3τ)(M) 1 3 β2 (M)
152 First curvature estimate implies 1 4π 2 M ( s W 2 ) dµ g 1 4π 2 M s 2 24 dµ g 1 3 β2 (M) Hence: Theorem A Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ 3τ)(M) 1 3 β2 (M) with equality only if (M, g) is flat T 4 or complex hyperbolic CH 2 /Γ
153 First curvature estimate implies 1 4π 2 M ( s W 2 ) dµ g 1 4π 2 M s 2 24 dµ g 1 3 β2 (M) Hence: Theorem A Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ 3τ)(M) 1 3 β2 (M) with equality only if (M, g) is flat T 4 or complex hyperbolic CH 2 /Γ = Einstein metric on CH /Γ unique,
154 Second curvature estimate implies 1 4π 2 M ( s W + 2 ) dµ g 2 3 β2 (M)
155 Second curvature estimate implies 1 4π 2 M ( s W + 2 ) dµ g 2 3 β2 (M)
156 Second curvature estimate implies 1 4π 2 Hence: M ( s W + 2 ) dµ g 2 3 β2 (M) Theorem B Let M be a smooth compact oriented 4-manifold with b + (M) 2
157 Second curvature estimate implies 1 4π 2 Hence: M ( s W + 2 ) dµ g 2 3 β2 (M) Theorem B Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g,
158 Second curvature estimate implies 1 4π 2 Hence: M ( s W + 2 ) dµ g 2 3 β2 (M) Theorem B Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ + 3τ)(M) 2 3 β2 (M)
159 Second curvature estimate implies 1 4π 2 Hence: M ( s W + 2 ) dµ g 2 3 β2 (M) Theorem B Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ + 3τ)(M) 2 3 β2 (M) with equality only if both sides vanish,
160 Second curvature estimate implies 1 4π 2 Hence: M ( s W + 2 ) dµ g 2 3 β2 (M) Theorem B Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ + 3τ)(M) 2 3 β2 (M) with equality only if both sides vanish, in which case g must be hyper-kähler, and Mmust be diffeomorphic to either K3 or T 4
161 Example Let N be double branched cover CP 2, ramified at a smooth octic: N B B CP 2 Aubin/Yau = N carries Einstein metric
162 Now let X be a triple cyclic cover CP 2, ramified at a smooth sextic X B B CP 2
163 Now let X be a triple cyclic cover CP 2, ramified at a smooth sextic X B B CP 2 and set M = X#CP 2
164 Now let X be a triple cyclic cover CP 2, ramified at a smooth sextic X B B CP 2 and set Then M = X#CP 2 β 2 (M) = c 2 1 (X) = 3 (2χ + 3τ)(M) c 2 1 (X) 1 = 2
165 Now let X be a triple cyclic cover CP 2, ramified at a smooth sextic X B B CP 2 and set Then M = X#CP 2 β 2 (M) = c 2 1 (X) = 3 (2χ + 3τ)(M) = c 2 1 (X) 1 = 2
166 Theorem B Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ + 3τ)(M) 2 3 β2 (M) & equality only if M diffeomorphic to K3 or T 4
167 Theorem B Let M be a smooth compact oriented 4-manifold with b + (M) 2 If M admits an Einstein metric g, then (2χ + 3τ)(M) 2 3 β2 (M) & equality only if M diffeomorphic to K3 or T 4 In example: β 2 (M) = 3 (2χ + 3τ)(M) = 2
168 X is triple cover CP 2 ramified at sextic X B B CP 2 and set M = X#CP 2 Theorem B = no Einstein metric on M
169 But M and N are both simply connected & non-spin,
170 But M and N are both simply connected & non-spin, and both have c 1 2 = 2, h 2,0 = 3, so
171 But M and N are both simply connected & non-spin, and both have c 1 2 = 2, h 2,0 = 3, so χ = 46 τ = 30
172 But M and N are both simply connected & non-spin, and both have c 1 2 = 2, h 2,0 = 3, so χ = 46 τ = 30 Hence Freedman = M homeomorphic to N!
173 But M and N are both simply connected & non-spin, and both have c 1 2 = 2, h 2,0 = 3, so χ = 46 τ = 30 Hence Freedman = M homeomorphic to N! Moral: Existence depends on diffeotype! Same ideas lead to infinitely many other examples Typically get non-existence for infinitely many smooth structures on fixed topological manifold Existence: look in Kähler-Einstein catalog
174 Until now, discussed arbitrary Einstein metrics Instead, focus on Einstein metrics which minimize g s 2 gdµ g M Related to soft invariants I s (M) = inf g I r (M) = inf g M M s 2 gdµ g r 2 gdµ g which satisfy [ ] Ir(M) 1 4 I s(m) with = = Einstein minimizer
175 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied: M s 2 dµ g 32π 2 β 2 (M) [ ] r gdµ 2 g 8π 2 2β 2 (2χ + 3τ) (M) M
176 Theorem (Curvature Estimates) For any C 2 Riemannian metric g on any smooth compact oriented 4-manifold M with b + 2, the following curvature bounds are satisfied: M s 2 dµ g 32π 2 β 2 (M) [ ] r gdµ 2 g 8π 2 2β 2 (2χ + 3τ) M (M) M r gdµ 2 g = 8π 2 (2χ + 3τ)(M) ( ) s W + 2 dµ g M
177 Theorem Suppose M 4 diffeo to non-minimal compact complex surface with b + > 1 Then M does not admit a metric which minimizes either g s 2 gdµ g or r 2 gdµ g M M
178 Theorem Suppose M 4 diffeo to non-minimal compact complex surface with b + > 1 Then M does not admit a metric which minimizes either g s 2 gdµ g or r 2 gdµ g M M By hypothesis M = X#kCP 2 where X minimal and k > 0 One shows so that I s (M) = 32π 2 c 1 2 (X) I r (M) = 8π 2 [c 1 2 (X) + k] I r (M) > 1 4 I s(m)
179 Theorem Let X, Y and Z be simply connected minimal complex surfaces with b + 3 mod 4 Then M = X#Y #Z#kCP 2 does not admit a metric which minimizes either g s 2 gdµ g or r 2 gdµ g M M
180 Theorem Let X, Y and Z be simply connected minimal complex surfaces with b + 3 mod 4 Then M = X#Y #Z#kCP 2 does not admit a metric which minimizes either g s 2 gdµ g or r 2 gdµ g M M In fact, I s (M) = 32π 2 [c 1 2 (X) + c 1 2 (Y ) + c 1 2 (Z)] I r (M) = 8π 2 [c 1 2 (X) + c 1 2 (Y ) + c 1 2 (Z) k]
181 Theorem Let X, Y and Z be simply connected minimal complex surfaces with b + 3 mod 4 Then M = X#Y #Z#kCP 2 does not admit a metric which minimizes either g s 2 gdµ g or r 2 gdµ g M M In fact, I s (M) = 32π 2 [c 1 2 (X) + c 1 2 (Y ) + c 1 2 (Z)] I r (M) = 8π 2 [c 1 2 (X) + c 1 2 (Y ) + c 1 2 (Z) k] Similarly for # of 2 or 4 complex surfaces
182 Theorem Let X, Y and Z be simply connected minimal complex surfaces with b + 3 mod 4 Then M = X#Y #Z#kCP 2 does not admit a metric which minimizes either g s 2 gdµ g or r 2 gdµ g M M In fact, I s (M) = 32π 2 [c 1 2 (X) + c 1 2 (Y ) + c 1 2 (Z)] I r (M) = 8π 2 [c 1 2 (X) + c 1 2 (Y ) + c 1 2 (Z) k] Similarly for # of 2 or 4 complex surfaces Mystery: More summands? b + 1 mod 4?
183 K-E K-E K-E When X, Y and Z general type, however, minimizing {g j } with Gromov-Hausdorff limit 3 Kähler-Einstein orbifolds touching at points
184 K-E K-E K-E points where curvature has accumulated
185 K-E K-E K-E Predictable amount of r accumulates on necks
186 SFASD K-E K-E K-E Rescaled limit of neck carries AE metric with Example: s = 0 W + = 0 g = (1 + 1 ϱ 2) g Euclidean
187 RFALE K-E K-E K-E Orbifold singularities: rescaled metric tends to gravitational instanton: Asymptotically Locally Euclidean metric with r = 0 W + = 0
188 SFASD K-E K-E K-E Bubbling off CP 2 s: Asymptotically Euclidean metric with s = 0 W + = 0
189 Basic example: Burns metric on CP 2 { }: g B,ɛ = dϱ2 ( [ 1 ɛϱ 2 + ϱ2 θ θ ɛϱ 2] ) θ 2 3 Conformal Greens rescaling of Fubini-Study
190 K-E K-E If one of X, Y and Z is elliptic, collapses in limit to orbifold Riemann surface
191 Typical example: E Σ E Σ
Riemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationCritical metrics on connected sums of Einstein four-manifolds
Critical metrics on connected sums of Einstein four-manifolds University of Wisconsin, Madison March 22, 2013 Kyoto Einstein manifolds Einstein-Hilbert functional in dimension 4: R(g) = V ol(g) 1/2 R g
More informationMONOPOLE CLASSES AND PERELMAN S INVARIANT OF FOUR-MANIFOLDS
MONOPOLE CLASSES AND PERELMAN S INVARIANT OF FOUR-MANIFOLDS D. KOTSCHICK ABSTRACT. We calculate Perelman s invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some
More informationALF spaces and collapsing Ricci-flat metrics on the K3 surface
ALF spaces and collapsing Ricci-flat metrics on the K3 surface Lorenzo Foscolo Stony Brook University Recent Advances in Complex Differential Geometry, Toulouse, June 2016 The Kummer construction Gibbons
More informationALF spaces and collapsing Ricci-flat metrics on the K3 surface
ALF spaces and collapsing Ricci-flat metrics on the K3 surface Lorenzo Foscolo Stony Brook University Simons Collaboration on Special Holonomy Workshop, SCGP, Stony Brook, September 8 2016 The Kummer construction
More informationLinear connections on Lie groups
Linear connections on Lie groups The affine space of linear connections on a compact Lie group G contains a distinguished line segment with endpoints the connections L and R which make left (resp. right)
More informationMathematical Proceedings of the Cambridge Philosophical Society
Mathematical Proceedings of the Cambridge Philosophical Society VOL. 147 JULY 2009 PART 1 Math. Proc. Camb. Phil. Soc. (2009), 147,1 c 2009 Cambridge Philosophical Society doi:10.1017/s0305004109002345
More informationTwo simple ideas from calculus applied to Riemannian geometry
Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationη = (e 1 (e 2 φ)) # = e 3
Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian
More informationA surgery formula for the smooth Yamabe invariant
A surgery formula for the smooth Yamabe invariant B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Kungliga Tekniska Högskolan, Stockholm Sweden 3 Université Henri Poincaré, Nancy
More informationA surgery formula for the (smooth) Yamabe invariant
A surgery formula for the (smooth) Yamabe invariant B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Kungliga Tekniska Högskolan, Stockholm Sweden 3 Université Henri Poincaré, Nancy
More informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationGeometry of Twistor Spaces
Geometry of Twistor Spaces Claude LeBrun Simons Workshop Lecture, 7/30/04 Lecture Notes by Jill McGowan 1 Twistor Spaces Twistor spaces are certain complex 3-manifolds which are associated with special
More informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
More informationRICCI CURVATURE: SOME RECENT PROGRESS A PROGRESS AND OPEN QUESTIONS
RICCI CURVATURE: SOME RECENT PROGRESS AND OPEN QUESTIONS Courant Institute September 9, 2016 1 / 27 Introduction. We will survey some recent (and less recent) progress on Ricci curvature and mention some
More informationThe kernel of the Dirac operator
The kernel of the Dirac operator B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Institutionen för Matematik Kungliga Tekniska Högskolan, Stockholm Sweden 3 Laboratoire de Mathématiques
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationConstructing compact 8-manifolds with holonomy Spin(7)
Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationA surgery formula for the (smooth) Yamabe invariant
A surgery formula for the (smooth) Yamabe invariant B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Kungliga Tekniska Högskolan, Stockholm Sweden 3 Université Henri Poincaré, Nancy
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationPeriodic-end Dirac Operators and Positive Scalar Curvature. Daniel Ruberman Nikolai Saveliev
Periodic-end Dirac Operators and Positive Scalar Curvature Daniel Ruberman Nikolai Saveliev 1 Recall from basic differential geometry: (X, g) Riemannian manifold Riemannian curvature tensor tr scalar curvature
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationInstantons and Donaldson invariants
Instantons and Donaldson invariants George Korpas Trinity College Dublin IFT, November 20, 2015 A problem in mathematics A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms.
More informationDonaldson Invariants and Moduli of Yang-Mills Instantons
Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationThe Geometrization Theorem
The Geometrization Theorem Matthew D. Brown Wednesday, December 19, 2012 In this paper, we discuss the Geometrization Theorem, formerly Thurston s Geometrization Conjecture, which is essentially the statement
More informationCompact 8-manifolds with holonomy Spin(7)
Compact 8-manifolds with holonomy Spin(7) D.D. Joyce The Mathematical Institute, 24-29 St. Giles, Oxford, OX1 3LB. Published as Invent. math. 123 (1996), 507 552. 1 Introduction In Berger s classification
More informationThe Calabi Conjecture
The Calabi Conjecture notes by Aleksander Doan These are notes to the talk given on 9th March 2012 at the Graduate Topology and Geometry Seminar at the University of Warsaw. They are based almost entirely
More informationFrom holonomy reductions of Cartan geometries to geometric compactifications
From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationPin (2)-monopole theory I
Intersection forms with local coefficients Osaka Medical College Dec 12, 2016 Pin (2) = U(1) j U(1) Sp(1) H Pin (2)-monopole equations are a twisted version of the Seiberg-Witten (U(1)-monopole) equations.
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationOn Optimal 4-Dimensional Metrics arxiv: v1 [math.dg] 11 Nov 2007
On Optimal 4-Dimensional Metrics arxiv:07111668v1 [mathdg] 11 Nov 2007 Claude LeBrun and Bernard Maskit November 1, 2007 Abstract We completely determine, up to homeomorphism, which simply connected compact
More informationThe Yamabe invariant and surgery
The Yamabe invariant and surgery B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Kungliga Tekniska Högskolan, Stockholm Sweden 3 Université François-Rabelais, Tours France Geometric
More informationA Bird Eye s view: recent update to Extremal metrics
A Bird Eye s view: recent update to Extremal metrics Xiuxiong Chen Department of Mathematics University of Wisconsin at Madison January 21, 2009 A Bird Eye s view: recent update to Extremal metrics Xiuxiong
More informationEINSTEIN METRICS. Andrzej Derdzinski. The Ohio State University, Columbus, Ohio, USA. August 8, 2009
The Ohio State University, Columbus, Ohio, USA August 8, 2009 Workshop on Riemannian and Non-Riemannian Geometry Indiana University - Purdue University, Indianapolis August 8-9, 2009 these notes are posted
More informationA surgery formula for the smooth Yamabe invariant
A surgery formula for the smooth Yamabe invariant B. Ammann 1 M. Dahl 2 E. Humbert 3 1 Universität Regensburg Germany 2 Kungliga Tekniska Högskolan, Stockholm Sweden 3 Université Henri Poincaré, Nancy
More informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationGeometry of the Calabi-Yau Moduli
Geometry of the Calabi-Yau Moduli Zhiqin Lu 2012 AMS Hawaii Meeting Department of Mathematics, UC Irvine, Irvine CA 92697 March 4, 2012 Zhiqin Lu, Dept. Math, UCI Geometry of the Calabi-Yau Moduli 1/51
More informationHiggs Bundles and Character Varieties
Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character
More informationK-stability and Kähler metrics, I
K-stability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates
More informationThe topology of asymptotically locally flat gravitational instantons
The topology of asymptotically locally flat gravitational instantons arxiv:hep-th/0602053v4 19 Jan 2009 Gábor Etesi Department of Geometry, Mathematical Institute, Faculty of Science, Budapest University
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationHow to recognize a conformally Kähler metric
How to recognize a conformally Kähler metric Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge MD, Paul Tod arxiv:0901.2261, Mathematical Proceedings of
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationSolvability of the Dirac Equation and geomeric applications
Solvability of the Dirac Equation and geomeric applications Qingchun Ji and Ke Zhu May 21, KAIST We study the Dirac equation by Hörmander s L 2 -method. On surfaces: Control solvability of the Dirac equation
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More informationPerelman s proof of the Poincaré conjecture
University of California, Los Angeles Clay/Mahler Lecture Series In a series of three papers in 2002-2003, Grisha Perelman solved the famous Poincaré conjecture: Poincaré conjecture (1904) Every smooth,
More informationClassifying complex surfaces and symplectic 4-manifolds
Classifying complex surfaces and symplectic 4-manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4-manifolds Definition A symplectic 4-manifold (X, ω) is an oriented, smooth, 4-dimensional
More informationSummary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)
Building Geometric Structures: Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) A geometric structure on a manifold is a cover
More informationGeometry of Ricci Solitons
Geometry of Ricci Solitons H.-D. Cao, Lehigh University LMU, Munich November 25, 2008 1 Ricci Solitons A complete Riemannian (M n, g ij ) is a Ricci soliton if there exists a smooth function f on M such
More informationHow curvature shapes space
How curvature shapes space Richard Schoen University of California, Irvine - Hopf Lecture, ETH, Zürich - October 30, 2017 The lecture will have three parts: Part 1: Heinz Hopf and Riemannian geometry Part
More informationExotic nearly Kähler structures on S 6 and S 3 S 3
Exotic nearly Kähler structures on S 6 and S 3 S 3 Lorenzo Foscolo Stony Brook University joint with Mark Haskins, Imperial College London Friday Lunch Seminar, MSRI, April 22 2016 G 2 cones and nearly
More informationDonaldson and Seiberg-Witten theory and their relation to N = 2 SYM
Donaldson and Seiberg-Witten theory and their relation to N = SYM Brian Williams April 3, 013 We ve began to see what it means to twist a supersymmetric field theory. I will review Donaldson theory and
More informationGeometric Structures in Mathematical Physics Non-existence of almost complex structures on quaternion-kähler manifolds of positive type
Geometric Structures in Mathematical Physics Non-existence of almost complex structures on quaternion-kähler manifolds of positive type Paul Gauduchon Golden Sands, Bulgaria September, 19 26, 2011 1 Joint
More informationOPEN PROBLEMS IN NON-NEGATIVE SECTIONAL CURVATURE
OPEN PROBLEMS IN NON-NEGATIVE SECTIONAL CURVATURE COMPILED BY M. KERIN Abstract. We compile a list of the open problems and questions which arose during the Workshop on Manifolds with Non-negative Sectional
More informationOn the BCOV Conjecture
Department of Mathematics University of California, Irvine December 14, 2007 Mirror Symmetry The objects to study By Mirror Symmetry, for any CY threefold, there should be another CY threefold X, called
More informationGeometry of the Moduli Space of Curves and Algebraic Manifolds
Geometry of the Moduli Space of Curves and Algebraic Manifolds Shing-Tung Yau Harvard University 60th Anniversary of the Institute of Mathematics Polish Academy of Sciences April 4, 2009 The first part
More informationPerspective on Geometric Analysis: Geometric Structures III
Perspective on Geometric Analysis: Geometric Structures III Shing-Tung Yau Harvard University Talk in UCLA 1 When the topological method of surgery and gluing fails, we have to find a method that does
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationCompact Riemannian manifolds with exceptional holonomy
Unspecified Book Proceedings Series Compact Riemannian manifolds with exceptional holonomy Dominic Joyce published as pages 39 65 in C. LeBrun and M. Wang, editors, Essays on Einstein Manifolds, Surveys
More informationTrends in Modern Geometry
Trends in Modern Geometry July 7th (Mon) 11st (Fri), 2014 Lecture Hall, Graduate School of Mathematical Sciences, the University of Tokyo July 7th (Monday) 14:00 15:00 Xiuxiong Chen (Stony Brook) On the
More informationHow to recognise a conformally Einstein metric?
How to recognise a conformally Einstein metric? Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge MD, Paul Tod arxiv:1304.7772., Comm. Math. Phys. (2014).
More informationCurvature, Cones, and Characteristic Numbers
Curvature, Cones, and Characteristic Numbers Michael Atiyah and Claude LeBrun Abstract We study Einstein metrics on smooth compact 4-manifolds with an edge-cone singularity of specified cone angle along
More informationInfinitesimal Einstein Deformations. Kähler Manifolds
on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds
More informationInvariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem
PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents
More informationMAPPING CLASS ACTIONS ON MODULI SPACES. Int. J. Pure Appl. Math 9 (2003),
MAPPING CLASS ACTIONS ON MODULI SPACES RICHARD J. BROWN Abstract. It is known that the mapping class group of a compact surface S, MCG(S), acts ergodically with respect to symplectic measure on each symplectic
More informationThe topology of positive scalar curvature ICM Section Topology Seoul, August 2014
The topology of positive scalar curvature ICM Section Topology Seoul, August 2014 Thomas Schick Georg-August-Universität Göttingen ICM Seoul, August 2014 All pictures from wikimedia. Scalar curvature My
More informationOn Flux Quantization in F-Theory
On Flux Quantization in F-Theory Raffaele Savelli MPI - Munich Bad Honnef, March 2011 Based on work with A. Collinucci, arxiv: 1011.6388 Motivations Motivations The recent attempts to find UV-completions
More informationON SEIBERG WITTEN EQUATIONS ON SYMPLECTIC 4 MANIFOLDS
SYPLECTIC SINGULARITIES AND GEOETRY OF GAUGE FIELDS BANACH CENTER PUBLICATIONS, VOLUE 39 INSTITUTE OF ATHEATICS POLISH ACADEY OF SCIENCES WARSZAWA 1997 ON SEIBERG WITTEN EQUATIONS ON SYPLECTIC 4 ANIFOLDS
More informationSome new torsional local models for heterotic strings
Some new torsional local models for heterotic strings Teng Fei Columbia University VT Workshop October 8, 2016 Teng Fei (Columbia University) Strominger system 10/08/2016 1 / 30 Overview 1 Background and
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationMorse-Bott Framework for the 4-dim SW-Equations
Morse-Bott Framework for the 4-dim SW-Equations Celso M. Doria UFSC - Depto. de Matemática august/2010 Figure 1: Ilha de Santa Catarina Figure 2: Floripa research partially supported by FAPESC 2568/2010-2
More informationDIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE. John Lott. University of Michigan. November, 2000
DIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE John Lott University of Michigan November, 2000 From preprints Collapsing and the Differential Form Laplacian On the Spectrum of a Finite-Volume
More informationarxiv: v2 [math.gt] 26 Sep 2013
HOMOLOGY CLASSES OF NEGATIVE SQUARE AND EMBEDDED SURFACES IN 4-MANIFOLDS arxiv:1301.3733v2 [math.gt] 26 Sep 2013 M. J. D. HAMILTON ABSTRACT. Let X be a simply-connected closed oriented 4-manifold and A
More informationMorse theory and stable pairs
Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction
More informationRICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey
RICCI SOLITONS ON COMPACT KAHLER SURFACES Thomas Ivey Abstract. We classify the Kähler metrics on compact manifolds of complex dimension two that are solitons for the constant-volume Ricci flow, assuming
More informationHolonomy groups. Thomas Leistner. Mathematics Colloquium School of Mathematics and Physics The University of Queensland. October 31, 2011 May 28, 2012
Holonomy groups Thomas Leistner Mathematics Colloquium School of Mathematics and Physics The University of Queensland October 31, 2011 May 28, 2012 1/17 The notion of holonomy groups is based on Parallel
More informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 3 August, 2012 Einstein equations (vacuum) The spacetime is a four dimensional manifold M with
More informationA GAP THEOREM FOR HALF-CONFORMALLY-FLAT 4-MANIFOLDS. Martin Citoler-Saumell A DISSERTATION. Mathematics
A GAP THEOREM FOR HALF-CONFORMALLY-FLAT 4-MANIFOLDS Martin Citoler-Saumell A DISSERTATION in Mathematics Presented to the Faculties of the University of Pennsylvania in Partial Fulfillment of the Requirements
More informationLecture 1: Introduction
Lecture 1: Introduction Jonathan Evans 20th September 2011 Jonathan Evans () Lecture 1: Introduction 20th September 2011 1 / 12 Jonathan Evans () Lecture 1: Introduction 20th September 2011 2 / 12 Essentially
More informationL 2 extension theorem for sections defined on non reduced analytic subvarieties
L 2 extension theorem for sections defined on non reduced analytic subvarieties Jean-Pierre Demailly Institut Fourier, Université de Grenoble Alpes & Académie des Sciences de Paris Conference on Geometry
More informationA Joint Adventure in Sasakian and Kähler Geometry
A Joint Adventure in Sasakian and Kähler Geometry Charles Boyer and Christina Tønnesen-Friedman Geometry Seminar, University of Bath March, 2015 2 Kähler Geometry Let N be a smooth compact manifold of
More informationΩ Ω /ω. To these, one wants to add a fourth condition that arises from physics, what is known as the anomaly cancellation, namely that
String theory and balanced metrics One of the main motivations for considering balanced metrics, in addition to the considerations already mentioned, has to do with the theory of what are known as heterotic
More informationThe Ricci Flow Approach to 3-Manifold Topology. John Lott
The Ricci Flow Approach to 3-Manifold Topology John Lott Two-dimensional topology All of the compact surfaces that anyone has ever seen : These are all of the compact connected oriented surfaces without
More informationThe moduli space of Ricci-flat metrics
The moduli space of Ricci-flat metrics B. Ammann 1 K. Kröncke 2 H. Weiß 3 F. Witt 4 1 Universität Regensburg, Germany 2 Universität Hamburg, Germany 3 Universität Kiel, Germany 4 Universität Stuttgart,
More informationGeometry of moduli spaces
Geometry of moduli spaces 20. November 2009 1 / 45 (1) Examples: C: compact Riemann surface C = P 1 (C) = C { } (Riemann sphere) E = C / Z + Zτ (torus, elliptic curve) 2 / 45 (2) Theorem (Riemann existence
More informationCHAPTER 1 PRELIMINARIES
CHAPTER 1 PRELIMINARIES 1.1 Introduction The aim of this chapter is to give basic concepts, preliminary notions and some results which we shall use in the subsequent chapters of the thesis. 1.2 Differentiable
More informationSurvey of Taubes P SL(2, C) connections on 3-manifolds with L 2 bounds on curvature
Survey of Taubes P SL(2, C) connections on 3-manifolds with L 2 bounds on curvature Laura Fredrickson January 8, 2015 Taubes paper P SL(2, C) connections on 3-manifolds is the first paper in a series 1
More informationLecture I: Overview and motivation
Lecture I: Overview and motivation Jonathan Evans 23rd September 2010 Jonathan Evans () Lecture I: Overview and motivation 23rd September 2010 1 / 31 Difficulty of exercises is denoted by card suits in
More informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and
More informationHeterotic Torsional Backgrounds, from Supergravity to CFT
Heterotic Torsional Backgrounds, from Supergravity to CFT IAP, Université Pierre et Marie Curie Eurostrings@Madrid, June 2010 L.Carlevaro, D.I. and M. Petropoulos, arxiv:0812.3391 L.Carlevaro and D.I.,
More informationHermitian vs. Riemannian Geometry
Hermitian vs. Riemannian Geometry Gabe Khan 1 1 Department of Mathematics The Ohio State University GSCAGT, May 2016 Outline of the talk Complex curves Background definitions What happens if the metric
More informationJeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi
Bull. Korean Math. Soc. 40 (003), No. 3, pp. 411 43 B.-Y. CHEN INEQUALITIES FOR SUBMANIFOLDS IN GENERALIZED COMPLEX SPACE FORMS Jeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi Abstract. Some B.-Y.
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More information