Lagrangian mean curvature flow Ildefonso Castro (joint work with - - PowerPoint PPT Presentation

lagrangian mean curvature flow
SMART_READER_LITE
LIVE PREVIEW

Lagrangian mean curvature flow Ildefonso Castro (joint work with - - PowerPoint PPT Presentation

Lagrangian mean curvature flow Ildefonso Castro (joint work with Ana M. Lerma) Departamento de Matem aticas Universidad de Ja en 23071 Ja en, Spain 2012 PADGE Conference on Pure and Applied Differential Geometry Leuven, August 2012


slide-1
SLIDE 1

Lagrangian mean curvature flow

Ildefonso Castro (joint work with Ana M. Lerma)

Departamento de Matem´ aticas Universidad de Ja´ en 23071 Ja´ en, Spain

2012 PADGE Conference on Pure and Applied Differential Geometry Leuven, August 2012

slide-2
SLIDE 2

Index

1 Preliminaries

Mean curvature flow (MCF) Lagrangian submanifolds in complex Euclidean space Lagrangian MCF

2 Self-similar solutions for Lagrangian mean curvature flow

Examples Classification of Hamiltonian stationary Lagrangians (HSL)

3 The Clifford torus as a self-shrinker 4 Translating solitons for Lagrangian mean curvature flow

slide-3
SLIDE 3

PRELIMINARIES

slide-4
SLIDE 4

Mean curvature flow (MCF)

slide-5
SLIDE 5

Mean curvature flow (MCF)

F0 : Mn → Rm smooth immersion, M compact

slide-6
SLIDE 6

Mean curvature flow (MCF)

F0 : Mn → Rm smooth immersion, M compact MCF with initial condition F0 F : M × [0, T) → Rm, Ft = F(·, t) ∂ ∂t F(p, t) = H(p, t), p ∈ M, t ≥ 0; F(·, 0) = F0 (MCF)

slide-7
SLIDE 7

Mean curvature flow (MCF)

F0 : Mn → Rm smooth immersion, M compact MCF with initial condition F0 F : M × [0, T) → Rm, Ft = F(·, t) ∂ ∂t F(p, t) = H(p, t), p ∈ M, t ≥ 0; F(·, 0) = F0 (MCF) Mt = F(M, t), 0 ≤ t < T < ∞

slide-8
SLIDE 8

Mean curvature flow (MCF)

F0 : Mn → Rm smooth immersion, M compact MCF with initial condition F0 F : M × [0, T) → Rm, Ft = F(·, t) ∂ ∂t F(p, t) = H(p, t), p ∈ M, t ≥ 0; F(·, 0) = F0 (MCF) Mt = F(M, t), 0 ≤ t < T < ∞

slide-9
SLIDE 9

Classical results

[Gage-Hamilton, J. Diff. Geom. 1986], [Grayson, J. Diff. Geom. 1987] C0 closed simple planar curve Then, under (MCF):curve shortening flow, C0 becomes convex and shrinks to a point with round limiting shape

slide-10
SLIDE 10

Classical results

[Gage-Hamilton, J. Diff. Geom. 1986], [Grayson, J. Diff. Geom. 1987] C0 closed simple planar curve Then, under (MCF):curve shortening flow, C0 becomes convex and shrinks to a point with round limiting shape [Huisken, J. Diff. Geom. 1984] F0 : Mn → Rn+1, M compact uniformly convex Then, under (MCF), F0 shrinks down to a round point after a finite time

slide-11
SLIDE 11

Classical results

[Gage-Hamilton, J. Diff. Geom. 1986], [Grayson, J. Diff. Geom. 1987] C0 closed simple planar curve Then, under (MCF):curve shortening flow, C0 becomes convex and shrinks to a point with round limiting shape [Huisken, J. Diff. Geom. 1984] F0 : Mn → Rn+1, M compact uniformly convex Then, under (MCF), F0 shrinks down to a round point after a finite time [Huisken, J. Diff. Geom. 1990] F : M × [0, T) → Rm solution of (MCF), Mt = F(M, t) lim supt→T maxMt |σ|2 = ∞

slide-12
SLIDE 12

Classical results

[Gage-Hamilton, J. Diff. Geom. 1986], [Grayson, J. Diff. Geom. 1987] C0 closed simple planar curve Then, under (MCF):curve shortening flow, C0 becomes convex and shrinks to a point with round limiting shape [Huisken, J. Diff. Geom. 1984] F0 : Mn → Rn+1, M compact uniformly convex Then, under (MCF), F0 shrinks down to a round point after a finite time [Huisken, J. Diff. Geom. 1990] F : M × [0, T) → Rm solution of (MCF), Mt = F(M, t) lim supt→T maxMt |σ|2 = ∞ The so-called Type I singularities (maxMt |σ|2 ≈

c T−t ) look like

self-similar contracting solutions after an appropriate rescaling

slide-13
SLIDE 13

Singularities and soliton solutions for MCF

slide-14
SLIDE 14

Singularities and soliton solutions for MCF

⊠ Type I singularities model on self-similar solutions for (MCF)

slide-15
SLIDE 15

Singularities and soliton solutions for MCF

⊠ Type I singularities model on self-similar solutions for (MCF) φ : Mn → Rm immersion φ self-similar solution for MCF if H = ε φ⊥, ε = ±1

slide-16
SLIDE 16

Singularities and soliton solutions for MCF

⊠ Type I singularities model on self-similar solutions for (MCF) φ : Mn → Rm immersion φ self-similar solution for MCF if H = ε φ⊥, ε = ±1 φ self-shrinker if H = −φ⊥ Ft(p) = √1 − 2t φ(p), 0 ≤ t < 1/2, solution of (MCF)

slide-17
SLIDE 17

Singularities and soliton solutions for MCF

⊠ Type I singularities model on self-similar solutions for (MCF) φ : Mn → Rm immersion φ self-similar solution for MCF if H = ε φ⊥, ε = ±1 φ self-shrinker if H = −φ⊥ Ft(p) = √1 − 2t φ(p), 0 ≤ t < 1/2, solution of (MCF) φ self-expander if H = φ⊥ Ft(p) = √1 + 2t φ(p), t ≥ 0, solution of (MCF)

slide-18
SLIDE 18

Singularities and soliton solutions for MCF

⊠ Type I singularities model on self-similar solutions for (MCF) φ : Mn → Rm immersion φ self-similar solution for MCF if H = ε φ⊥, ε = ±1 φ self-shrinker if H = −φ⊥ Ft(p) = √1 − 2t φ(p), 0 ≤ t < 1/2, solution of (MCF) φ self-expander if H = φ⊥ Ft(p) = √1 + 2t φ(p), t ≥ 0, solution of (MCF) ⊠ Examples of Type II singularities: translating solitons for (MCF)

slide-19
SLIDE 19

Singularities and soliton solutions for MCF

⊠ Type I singularities model on self-similar solutions for (MCF) φ : Mn → Rm immersion φ self-similar solution for MCF if H = ε φ⊥, ε = ±1 φ self-shrinker if H = −φ⊥ Ft(p) = √1 − 2t φ(p), 0 ≤ t < 1/2, solution of (MCF) φ self-expander if H = φ⊥ Ft(p) = √1 + 2t φ(p), t ≥ 0, solution of (MCF) ⊠ Examples of Type II singularities: translating solitons for (MCF) φ : Mn → Rm immersion φ translating soliton for MCF if H = e⊥, e ∈ Rm Ft(p) = φ(p) + t e, t ∈ R, solution of (MCF)

slide-20
SLIDE 20

Lagrangian submanifolds in Cn

slide-21
SLIDE 21

Lagrangian submanifolds in Cn

(R2n ≡ Cn, , , J ) complex Euclidean space ω(., .) = J., . = 1

2dλ

(, ) = , − i ω

slide-22
SLIDE 22

Lagrangian submanifolds in Cn

(R2n ≡ Cn, , , J ) complex Euclidean space ω(., .) = J., . = 1

2dλ

(, ) = , − i ω φ : Mn → Cn Lagrangian if φ∗ω = 0 ⇔ J : TM ∼ = T ⊥M σ(v, w) = JAJvw, C(·, ·, ·) = σ(·, ·), J· symmetric Mean curvature form (Maslov form): αH = H ω = JH, . dαH = 0

slide-23
SLIDE 23

Lagrangian submanifolds in Cn

(R2n ≡ Cn, , , J ) complex Euclidean space ω(., .) = J., . = 1

2dλ

(, ) = , − i ω φ : Mn → Cn Lagrangian if φ∗ω = 0 ⇔ J : TM ∼ = T ⊥M σ(v, w) = JAJvw, C(·, ·, ·) = σ(·, ·), J· symmetric Mean curvature form (Maslov form): αH = H ω = JH, . dαH = 0 φ∗(dz1 ∧ · · · ∧ dzn) = eiβvolM, β : M → R/2πZ Lagrangian angle map H = J∇β, αH = −dβ

slide-24
SLIDE 24

Lagrangian submanifolds in Cn

(R2n ≡ Cn, , , J ) complex Euclidean space ω(., .) = J., . = 1

2dλ

(, ) = , − i ω φ : Mn → Cn Lagrangian if φ∗ω = 0 ⇔ J : TM ∼ = T ⊥M σ(v, w) = JAJvw, C(·, ·, ·) = σ(·, ·), J· symmetric Mean curvature form (Maslov form): αH = H ω = JH, . dαH = 0 φ∗(dz1 ∧ · · · ∧ dzn) = eiβvolM, β : M → R/2πZ Lagrangian angle map H = J∇β, αH = −dβ φ zero Maslov class if β : M → R globally defined φ almost calibrated if cos β ≥ ǫ > 0 φ monotone if [φ∗λ] = c[dβ], c > 0

slide-25
SLIDE 25

Hamiltonian stationary Lagrangians (HSL)

slide-26
SLIDE 26

Hamiltonian stationary Lagrangians (HSL)

φ : Mn → Cn LAGRANGIAN [Oh, Math. Z. 1993] F : M × (−ǫ, ǫ) → Cn Hamiltonian variation of φ if V = F∗( ∂

∂t ) |t=0 Hamiltonian : αV = JV , . exact

Critical points of volume for Hamiltonian variations: HAMILTONIAN STATIONARY

slide-27
SLIDE 27

Hamiltonian stationary Lagrangians (HSL)

φ : Mn → Cn LAGRANGIAN [Oh, Math. Z. 1993] F : M × (−ǫ, ǫ) → Cn Hamiltonian variation of φ if V = F∗( ∂

∂t ) |t=0 Hamiltonian : αV = JV , . exact

Critical points of volume for Hamiltonian variations: HAMILTONIAN STATIONARY φ HSL ⇔ δαH = 0 ⇔ div JH = 0 ⇔ ∆β = 0

slide-28
SLIDE 28

Lagrangian MCF

[Smoczyk, 1996] φ = F0 : Mn → R2n ≡ Cn Lagrangian ⇒ Ft, solution to (MCF), Lagrangian, ∀t ∈ [0, T)

slide-29
SLIDE 29

Lagrangian MCF

[Smoczyk, 1996] φ = F0 : Mn → R2n ≡ Cn Lagrangian ⇒ Ft, solution to (MCF), Lagrangian, ∀t ∈ [0, T) Study of singularities: [Smoczyk; Calc. Var. PDE 1999, Math. Z. 2002, Calc. Var. PDE 2004] [Wang, J. Diff. Geom. 2001] [Smoczyk & Wang, J. Diff. Geom. 2002] [Thomas & Yau, Comm. Anal. Geom. 2002] [Schoen & Wolfson, 2003] [Chen & Li, Invent. Math. 2004] [Neves; Invent. Math. 2007, Math. Res. Lett. 2010, Ann.of Math. 2013] [Groh, Schwarz, Smoczyk & Zehmisch, Math. Z. 2007]

slide-30
SLIDE 30

Lagrangian MCF

[Smoczyk, 1996] φ = F0 : Mn → R2n ≡ Cn Lagrangian ⇒ Ft, solution to (MCF), Lagrangian, ∀t ∈ [0, T) Study of singularities: [Smoczyk; Calc. Var. PDE 1999, Math. Z. 2002, Calc. Var. PDE 2004] [Wang, J. Diff. Geom. 2001] [Smoczyk & Wang, J. Diff. Geom. 2002] [Thomas & Yau, Comm. Anal. Geom. 2002] [Schoen & Wolfson, 2003] [Chen & Li, Invent. Math. 2004] [Neves; Invent. Math. 2007, Math. Res. Lett. 2010, Ann.of Math. 2013] [Groh, Schwarz, Smoczyk & Zehmisch, Math. Z. 2007] Preserved classes of Lagrangians: zero Maslov class, almost calibrated, monotone

slide-31
SLIDE 31

Soliton solutions for Lagrangian MCF

⊠ Self-similar solutions for Lagrangian MCF: H = ±φ⊥

slide-32
SLIDE 32

Soliton solutions for Lagrangian MCF

⊠ Self-similar solutions for Lagrangian MCF: H = ±φ⊥ Examples: self-shrinkers product of circles and lines S1 × R ⊂ C2, S1 × S1 ⊂ C2

slide-33
SLIDE 33

Soliton solutions for Lagrangian MCF

⊠ Self-similar solutions for Lagrangian MCF: H = ±φ⊥ Examples: self-shrinkers product of circles and lines S1 × R ⊂ C2, S1 × S1 ⊂ C2 [Anciaux, 2006] Construction of Lagrangian self-similar solutions to the mean curvature flow in Cn. Geom. Dedicata 120 (2006), 37–48.

slide-34
SLIDE 34

Soliton solutions for Lagrangian MCF

⊠ Self-similar solutions for Lagrangian MCF: H = ±φ⊥ Examples: self-shrinkers product of circles and lines S1 × R ⊂ C2, S1 × S1 ⊂ C2 [Anciaux, 2006] Construction of Lagrangian self-similar solutions to the mean curvature flow in Cn. Geom. Dedicata 120 (2006), 37–48. [Lee & Wang, 2009] Hamiltonian stationary shrinkers and expanders for Lagrangian mean curvature flows. J. Differential Geom. 83 (2009), 27–42. [Lee & Wang, 2010] Hamiltonian stationary cones and self-similar solutions in higher dimension. Trans. Amer. Math. Soc. 362 (2010), 1491–1503.

slide-35
SLIDE 35

Soliton solutions for Lagrangian MCF

⊠ Self-similar solutions for Lagrangian MCF: H = ±φ⊥ Examples: self-shrinkers product of circles and lines S1 × R ⊂ C2, S1 × S1 ⊂ C2 [Anciaux, 2006] Construction of Lagrangian self-similar solutions to the mean curvature flow in Cn. Geom. Dedicata 120 (2006), 37–48. [Lee & Wang, 2009] Hamiltonian stationary shrinkers and expanders for Lagrangian mean curvature flows. J. Differential Geom. 83 (2009), 27–42. [Lee & Wang, 2010] Hamiltonian stationary cones and self-similar solutions in higher dimension. Trans. Amer. Math. Soc. 362 (2010), 1491–1503. [Joyce, Lee & Tsui, 2010] Self-similar solutions and translating solitons for Lagrangian mean curvature flow. J. Differential Geom. 84 (2010), 127-161.

slide-36
SLIDE 36

Soliton solutions for Lagrangian MCF

⊠ Self-similar solutions for Lagrangian MCF: H = ±φ⊥ Examples: self-shrinkers product of circles and lines S1 × R ⊂ C2, S1 × S1 ⊂ C2 [Anciaux, 2006] Construction of Lagrangian self-similar solutions to the mean curvature flow in Cn. Geom. Dedicata 120 (2006), 37–48. [Lee & Wang, 2009] Hamiltonian stationary shrinkers and expanders for Lagrangian mean curvature flows. J. Differential Geom. 83 (2009), 27–42. [Lee & Wang, 2010] Hamiltonian stationary cones and self-similar solutions in higher dimension. Trans. Amer. Math. Soc. 362 (2010), 1491–1503. [Joyce, Lee & Tsui, 2010] Self-similar solutions and translating solitons for Lagrangian mean curvature flow. J. Differential Geom. 84 (2010), 127-161. [Lotay & Neves, 2012] Uniqueness of Lagrangian self-expanders. Preprint 2012

slide-37
SLIDE 37

Soliton solutions for Lagrangian MCF

⊠ Translating solitons for Lagrangian MCF: H = e⊥

slide-38
SLIDE 38

Soliton solutions for Lagrangian MCF

⊠ Translating solitons for Lagrangian MCF: H = e⊥ β = −φ, Je+ constant

slide-39
SLIDE 39

Soliton solutions for Lagrangian MCF

⊠ Translating solitons for Lagrangian MCF: H = e⊥ β = −φ, Je+ constant Simple examples: products with the grim-reaper curve and lines

slide-40
SLIDE 40

Soliton solutions for Lagrangian MCF

⊠ Translating solitons for Lagrangian MCF: H = e⊥ β = −φ, Je+ constant Simple examples: products with the grim-reaper curve and lines

slide-41
SLIDE 41

Soliton solutions for Lagrangian MCF

⊠ Translating solitons for Lagrangian MCF: H = e⊥ β = −φ, Je+ constant Simple examples: products with the grim-reaper curve and lines [Neves & Tian, 2007] Translating solutions to Lagrangian mean curvature flow. To appear in Trans. Amer. Math. Soc.

slide-42
SLIDE 42

Soliton solutions for Lagrangian MCF

⊠ Translating solitons for Lagrangian MCF: H = e⊥ β = −φ, Je+ constant Simple examples: products with the grim-reaper curve and lines [Neves & Tian, 2007] Translating solutions to Lagrangian mean curvature flow. To appear in Trans. Amer. Math. Soc. [Joyce, Lee & Tsui, 2010] Self-similar solutions and translating solitons for Lagrangian mean curvature flow. J. Differential Geom. 84 (2010), 127-161.

slide-43
SLIDE 43

SELF-SIMILAR SOLUTIONS

slide-44
SLIDE 44

Self-expanders Φδ : R2 → C2, δ > 0

slide-45
SLIDE 45

Self-expanders Φδ : R2 → C2, δ > 0

Φδ(s, t) =

  • i sδ cosh t e− i s

cδ , tδ sinh t ei cδ s

sδ = sinh δ, cδ = cosh δ, tδ = tanh δ HSL Hδ = Φ⊥

δ

slide-46
SLIDE 46

Self-expanders Φδ : R2 → C2, δ > 0

Φδ(s, t) =

  • i sδ cosh t e− i s

cδ , tδ sinh t ei cδ s

sδ = sinh δ, cδ = cosh δ, tδ = tanh δ HSL Hδ = Φ⊥

δ

cosh2 δ / ∈ Q, Φδ embedded plane;

slide-47
SLIDE 47

Self-expanders Φδ : R2 → C2, δ > 0

Φδ(s, t) =

  • i sδ cosh t e− i s

cδ , tδ sinh t ei cδ s

sδ = sinh δ, cδ = cosh δ, tδ = tanh δ HSL Hδ = Φ⊥

δ

cosh2 δ / ∈ Q, Φδ embedded plane; cosh2 δ = p/q ∈ Q, (p, q) = 1 Φp,q : R2 → C2, p > q [Lee & Wang, 2009] Φp,q(s, t) = √p − q i √q cosh t e−i√ q

p s, 1

√p sinh t ei√ p

q s

  • ◮ Φp,q(s + 2π√pq, t) = Φp,q(s, t), ∀(s, t) ∈ R2 cylinder
slide-48
SLIDE 48

Self-expanders Φδ : R2 → C2, δ > 0

Φδ(s, t) =

  • i sδ cosh t e− i s

cδ , tδ sinh t ei cδ s

sδ = sinh δ, cδ = cosh δ, tδ = tanh δ HSL Hδ = Φ⊥

δ

cosh2 δ / ∈ Q, Φδ embedded plane; cosh2 δ = p/q ∈ Q, (p, q) = 1 Φp,q : R2 → C2, p > q [Lee & Wang, 2009] Φp,q(s, t) = √p − q i √q cosh t e−i√ q

p s, 1

√p sinh t ei√ p

q s

  • ◮ Φp,q(s + 2π√pq, t) = Φp,q(s, t), ∀(s, t) ∈ R2 cylinder

◮ p odd, q even: Φp,q(s + π√pq, −t) = Φp,q(s, t), ∀(s, t) ∈ R2 Moebius strip

slide-49
SLIDE 49

Plane Φδ, cosh2 δ / ∈ Q

slide-50
SLIDE 50

Cylinder Φ3,1

slide-51
SLIDE 51

Moebius strip Φ3,2

slide-52
SLIDE 52

Self-shrinkers Υγ : R2 → C2, 0 < γ < π/2

slide-53
SLIDE 53

Self-shrinkers Υγ : R2 → C2, 0 < γ < π/2

Υγ(s, t) =

  • −i sγ cosh t e

i s cγ , tγ sinh t e−i cγ s

sγ = sin γ, cγ = cos γ, tγ = tan γ HSL Hγ = − Υ⊥

γ

slide-54
SLIDE 54

Self-shrinkers Υγ : R2 → C2, 0 < γ < π/2

Υγ(s, t) =

  • −i sγ cosh t e

i s cγ , tγ sinh t e−i cγ s

sγ = sin γ, cγ = cos γ, tγ = tan γ HSL Hγ = − Υ⊥

γ

cos2 γ / ∈ Q, Υγ embedded plane;

slide-55
SLIDE 55

Self-shrinkers Υγ : R2 → C2, 0 < γ < π/2

Υγ(s, t) =

  • −i sγ cosh t e

i s cγ , tγ sinh t e−i cγ s

sγ = sin γ, cγ = cos γ, tγ = tan γ HSL Hγ = − Υ⊥

γ

cos2 γ / ∈ Q, Υγ embedded plane; cos2 γ = p/q ∈ Q, (p, q) = 1 Υp,q : R2 → C2, p < q [Lee & Wang, 2009] Υp,q(s, t) = √q − p −i √q cosh t ei√ q

p s, 1

√p sinh t e−i√ p

q s

  • ◮ Υp,q(s + 2π√pq, t) = Υp,q(s, t), ∀(s, t) ∈ R2 cylinder
slide-56
SLIDE 56

Self-shrinkers Υγ : R2 → C2, 0 < γ < π/2

Υγ(s, t) =

  • −i sγ cosh t e

i s cγ , tγ sinh t e−i cγ s

sγ = sin γ, cγ = cos γ, tγ = tan γ HSL Hγ = − Υ⊥

γ

cos2 γ / ∈ Q, Υγ embedded plane; cos2 γ = p/q ∈ Q, (p, q) = 1 Υp,q : R2 → C2, p < q [Lee & Wang, 2009] Υp,q(s, t) = √q − p −i √q cosh t ei√ q

p s, 1

√p sinh t e−i√ p

q s

  • ◮ Υp,q(s + 2π√pq, t) = Υp,q(s, t), ∀(s, t) ∈ R2 cylinder

◮ q even, p odd: Υp,q(s + π√pq, −t) = Υp,q(s, t), ∀(s, t) ∈ R2 Moebius strip

slide-57
SLIDE 57

Plane Υγ, cos2 γ / ∈ Q

slide-58
SLIDE 58

Cylinder Υ1,3

slide-59
SLIDE 59

Moebius strip Υ1,2

slide-60
SLIDE 60

Self-shrinkers Ψν : S1 × R → C2, ν > 0

slide-61
SLIDE 61

Self-shrinkers Ψν : S1 × R → C2, ν > 0

Ψν(ei s, t) =

  • cν cos s e

i t sν , tν sin s ei sν t

sν = sinh ν, cν = cosh ν, tν = coth ν HSL Hν = −Ψ⊥

ν

slide-62
SLIDE 62

Self-shrinkers Ψν : S1 × R → C2, ν > 0

Ψν(ei s, t) =

  • cν cos s e

i t sν , tν sin s ei sν t

sν = sinh ν, cν = cosh ν, tν = coth ν HSL Hν = −Ψ⊥

ν

sinh2 ν / ∈ Q, Ψν embedded cylinder;

slide-63
SLIDE 63

Self-shrinkers Ψν : S1 × R → C2, ν > 0

Ψν(ei s, t) =

  • cν cos s e

i t sν , tν sin s ei sν t

sν = sinh ν, cν = cosh ν, tν = coth ν HSL Hν = −Ψ⊥

ν

sinh2 ν / ∈ Q, Ψν embedded cylinder; sinh2 ν =m/n ∈ Q, (m, n)=1 Ψm,n : S1 × R → C2, (m, n) = 1 [Lee & Wang, 2010] Ψm,n(s, t) = √ m + n 1 √n cos s ei√ n

m t,

1 √m sin s ei√ m

n t

  • ◮ Ψm,n(s+2π, t)=Ψm,n(s, t)=Ψm,n(s, t+2π√mn), ∀(s, t)∈R2
slide-64
SLIDE 64

Family Ψm,n

slide-65
SLIDE 65

Family Ψm,n

◮ m, n odd: Ψm,n(s + π, t + π√mn) = Ψm,n(s, t), ∀(s, t) ∈ R2 Tm,n = Ψm,n(R2/Λm,n) torus ◮ m odd, n even: Ψm,n(2π−s, t+π√mn)=Ψm,n(s, t), ∀(s, t)∈R2 Klein bottle ◮ m even, n odd: Ψm,n(π−s, t+π√mn)=Ψm,n(s, t), ∀(s, t)∈R2 Klein bottle

slide-66
SLIDE 66

Family Ψm,n

◮ m, n odd: Ψm,n(s + π, t + π√mn) = Ψm,n(s, t), ∀(s, t) ∈ R2 Tm,n = Ψm,n(R2/Λm,n) torus ◮ m odd, n even: Ψm,n(2π−s, t+π√mn)=Ψm,n(s, t), ∀(s, t)∈R2 Klein bottle ◮ m even, n odd: Ψm,n(π−s, t+π√mn)=Ψm,n(s, t), ∀(s, t)∈R2 Klein bottle Clifford torus T1,1 only one embedded

slide-67
SLIDE 67

Family Ψm,n

◮ m, n odd: Ψm,n(s + π, t + π√mn) = Ψm,n(s, t), ∀(s, t) ∈ R2 Tm,n = Ψm,n(R2/Λm,n) torus ◮ m odd, n even: Ψm,n(2π−s, t+π√mn)=Ψm,n(s, t), ∀(s, t)∈R2 Klein bottle ◮ m even, n odd: Ψm,n(π−s, t+π√mn)=Ψm,n(s, t), ∀(s, t)∈R2 Klein bottle Clifford torus T1,1 only one embedded Willmore(Tm,n) = 2Area(Tm,n) =     

4(m+n)2π2 √mn

, m or n even

2(m+n)2π2 √mn

, m and n odd

slide-68
SLIDE 68

Clifford torus

slide-69
SLIDE 69

Torus Ψ1,3

slide-70
SLIDE 70

Klein bottle Ψ1,2

slide-71
SLIDE 71

Classification results

slide-72
SLIDE 72

Classification results

Theorem φ : M2 → C2 HSL self-similar solution for MCF (a) φ self-expander (H = φ⊥) ⇒ φ

loc

∼ Φδ : R2 → C2, δ > 0 (b) φ self-shrinker (H = −φ⊥) ⇒ φ

loc

(i) S1 × R (ii) S1 × S1 (iii) Υγ : R2 → C2, 0 < γ < π/2 (iv) Ψν : S1 × R → C2, ν > 0

slide-73
SLIDE 73

Classification results

Theorem φ : M2 → C2 HSL self-similar solution for MCF (a) φ self-expander (H = φ⊥) ⇒ φ

loc

∼ Φδ : R2 → C2, δ > 0 (b) φ self-shrinker (H = −φ⊥) ⇒ φ

loc

(i) S1 × R (ii) S1 × S1 (iii) Υγ : R2 → C2, 0 < γ < π/2 (iv) Ψν : S1 × R → C2, ν > 0

Corollary φ : M → C2 HSL self-similar solution for MCF M compact orientable ⇒ φ(M) ∼ Tm,n

slide-74
SLIDE 74

THE CLIFFORD TORUS AS A SELF-SHRINKER

slide-75
SLIDE 75

Self-shrinkers: notion and examples

slide-76
SLIDE 76

Self-shrinkers: notion and examples

φ : Mn → Rm self-shrinker if H = −φ⊥ (H = trace σ)

slide-77
SLIDE 77

Self-shrinkers: notion and examples

φ : Mn → Rm self-shrinker if H = −φ⊥ (H = trace σ) ◮ F(p, t) = √1 − 2t Φ(p), 0 ≤ t < 1/2, solution to (MCF)

slide-78
SLIDE 78

Self-shrinkers: notion and examples

φ : Mn → Rm self-shrinker if H = −φ⊥ (H = trace σ) ◮ F(p, t) = √1 − 2t Φ(p), 0 ≤ t < 1/2, solution to (MCF) Example (Sphere) Sn(√n) ֒ → Rn+1, |σ|2 ≡ 1

slide-79
SLIDE 79

Self-shrinkers: notion and examples

φ : Mn → Rm self-shrinker if H = −φ⊥ (H = trace σ) ◮ F(p, t) = √1 − 2t Φ(p), 0 ≤ t < 1/2, solution to (MCF) Example (Sphere) Sn(√n) ֒ → Rn+1, |σ|2 ≡ 1 Example (Clifford) Sn1(√n1) × Sn2(√n2) ֒ → Rn+2, n1, n2 ∈ N, n1 + n2 = n, |σ|2 ≡ 2

slide-80
SLIDE 80

Self-shrinkers: notion and examples

φ : Mn → Rm self-shrinker if H = −φ⊥ (H = trace σ) ◮ F(p, t) = √1 − 2t Φ(p), 0 ≤ t < 1/2, solution to (MCF) Example (Sphere) Sn(√n) ֒ → Rn+1, |σ|2 ≡ 1 Example (Clifford) Sn1(√n1) × Sn2(√n2) ֒ → Rn+2, n1, n2 ∈ N, n1 + n2 = n, |σ|2 ≡ 2 Example (Product of n-circles) S1×

n)

· · · ×S1 ֒ → R2n, |σ|2 ≡ n, Lagrangian in R2n ≡ Cn

slide-81
SLIDE 81

Self-shrinkers: notion and examples

φ : Mn → Rm self-shrinker if H = −φ⊥ (H = trace σ) ◮ F(p, t) = √1 − 2t Φ(p), 0 ≤ t < 1/2, solution to (MCF) Example (Sphere) Sn(√n) ֒ → Rn+1, |σ|2 ≡ 1 Example (Clifford) Sn1(√n1) × Sn2(√n2) ֒ → Rn+2, n1, n2 ∈ N, n1 + n2 = n, |σ|2 ≡ 2 Example (Product of n-circles) S1×

n)

· · · ×S1 ֒ → R2n, |σ|2 ≡ n, Lagrangian in R2n ≡ Cn Example (Product of a circle and (n−1)-sphere) S1 × Sn−1 → Cn ≡ R2n, (eit, (x1, . . . , xn)) → √n eit (x1, . . . , xn) |σ|2 ≡ (3n − 2)/n, Lagrangian in Cn ≡ R2n

slide-82
SLIDE 82

Case n = 1: Self-shrinking curves

slide-83
SLIDE 83

Case n = 1: Self-shrinking curves

− → κα = −α⊥

slide-84
SLIDE 84

Case n = 1: Self-shrinking curves

− → κα = −α⊥ [Abresh & Langer, J. Diff. Geom. 1986] curves

slide-85
SLIDE 85

Classification and rigidity results, n ≥ 2

slide-86
SLIDE 86

Classification and rigidity results, n ≥ 2

[Huisken, J. Diff. Geom. 1990] φ : Mn → Rn+1, M compact self-shrinker H ≥ 0 ⇒ Mn ≡ Sn(√n)

slide-87
SLIDE 87

Classification and rigidity results, n ≥ 2

[Huisken, J. Diff. Geom. 1990] φ : Mn → Rn+1, M compact self-shrinker H ≥ 0 ⇒ Mn ≡ Sn(√n) [Smoczyk, Int. Math. Res. Not. 2005] φ : Mn → Rm, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H|

  • Mn spherical: Mn → Sm−1(√n), ˆ

H = 0

slide-88
SLIDE 88

Classification and rigidity results, n ≥ 2

[Huisken, J. Diff. Geom. 1990] φ : Mn → Rn+1, M compact self-shrinker H ≥ 0 ⇒ Mn ≡ Sn(√n) [Smoczyk, Int. Math. Res. Not. 2005] φ : Mn → Rm, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H|

  • Mn spherical: Mn → Sm−1(√n), ˆ

H = 0 [Le & Sesum, Comm. Anal. Geom. 2011] [Cao & Li, Calc. Var. PDE 2012] φ : Mn → Rm, M compact self-shrinker |σ|2 ≤ 1 ⇒ |σ|2 ≡ 1, Mn ≡ Sn(√n) ⊂ Rn+1

slide-89
SLIDE 89

Classification and rigidity results, n ≥ 2

[Li & Wei, preprint 2012] φ : Mn → Rn+2, M compact self-shrinker

slide-90
SLIDE 90

Classification and rigidity results, n ≥ 2

[Li & Wei, preprint 2012] φ : Mn → Rn+2, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 2

slide-91
SLIDE 91

Classification and rigidity results, n ≥ 2

[Li & Wei, preprint 2012] φ : Mn → Rn+2, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 2

1 either |σ|2 ≡ 1, M ≡ Sn(√n) ⊂ Rn+1 2 or |σ|2 ≡ 2, M ≡ Sn1(√n1) × Sn2(√n2) ⊂ Rn+2, n1 + n2 = n

slide-92
SLIDE 92

Classification and rigidity results, n ≥ 2

[Li & Wei, preprint 2012] φ : Mn → Rn+2, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 2

1 either |σ|2 ≡ 1, M ≡ Sn(√n) ⊂ Rn+1 2 or |σ|2 ≡ 2, M ≡ Sn1(√n1) × Sn2(√n2) ⊂ Rn+2, n1 + n2 = n

φ : M2 → R2+p, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 5

3

slide-93
SLIDE 93

Classification and rigidity results, n ≥ 2

[Li & Wei, preprint 2012] φ : Mn → Rn+2, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 2

1 either |σ|2 ≡ 1, M ≡ Sn(√n) ⊂ Rn+1 2 or |σ|2 ≡ 2, M ≡ Sn1(√n1) × Sn2(√n2) ⊂ Rn+2, n1 + n2 = n

φ : M2 → R2+p, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 5

3 1 either |σ|2 ≡ 1, M ≡ S2(

√ 2) ⊂ R3

2 or |σ|2 ≡ 5/3, M ≡ S2(

√ 6) → S4( √ 2) ֒ → R5 Veronese

slide-94
SLIDE 94

Classification and rigidity results, n ≥ 2

[Li & Wei, preprint 2012] φ : Mn → Rn+2, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 2

1 either |σ|2 ≡ 1, M ≡ Sn(√n) ⊂ Rn+1 2 or |σ|2 ≡ 2, M ≡ Sn1(√n1) × Sn2(√n2) ⊂ Rn+2, n1 + n2 = n

φ : M2 → R2+p, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 5

3 1 either |σ|2 ≡ 1, M ≡ S2(

√ 2) ⊂ R3

2 or |σ|2 ≡ 5/3, M ≡ S2(

√ 6) → S4( √ 2) ֒ → R5 Veronese

|H| > 0; ∇⊥ν = 0, ν = H/|H|

5 3 ≤ |σ|2 ≤ 11 6

slide-95
SLIDE 95

Classification and rigidity results, n ≥ 2

[Li & Wei, preprint 2012] φ : Mn → Rn+2, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 2

1 either |σ|2 ≡ 1, M ≡ Sn(√n) ⊂ Rn+1 2 or |σ|2 ≡ 2, M ≡ Sn1(√n1) × Sn2(√n2) ⊂ Rn+2, n1 + n2 = n

φ : M2 → R2+p, M compact self-shrinker |H| > 0; ∇⊥ν = 0, ν = H/|H| 1 ≤ |σ|2 ≤ 5

3 1 either |σ|2 ≡ 1, M ≡ S2(

√ 2) ⊂ R3

2 or |σ|2 ≡ 5/3, M ≡ S2(

√ 6) → S4( √ 2) ֒ → R5 Veronese

|H| > 0; ∇⊥ν = 0, ν = H/|H|

5 3 ≤ |σ|2 ≤ 11 6 1 either |σ|2 ≡ 5/3, M ≡ S2(

√ 6) → S4( √ 2) ֒ → R5 Veronese

2 or |σ|2 ≡ 11/6, M ≡ S2(

√ 12) → S6( √ 2) ֒ → R7 Boruvka

slide-96
SLIDE 96

Our contribution (arbitrary dimension and codimension)

Theorem A φ : Mn → Rn+p, M compact self-shrinker |H|2 constant or |H|2 ≤ n or |H|2 ≥ n |σ|2 ≤ 3p−4

2p−3

slide-97
SLIDE 97

Our contribution (arbitrary dimension and codimension)

Theorem A φ : Mn → Rn+p, M compact self-shrinker |H|2 constant or |H|2 ≤ n or |H|2 ≥ n |σ|2 ≤ 3p−4

2p−3

Then:

1 either |σ|2 ≡ 1, M ≡ Sn(√n) ⊂ Rn+1 [p = 1]

slide-98
SLIDE 98

Our contribution (arbitrary dimension and codimension)

Theorem A φ : Mn → Rn+p, M compact self-shrinker |H|2 constant or |H|2 ≤ n or |H|2 ≥ n |σ|2 ≤ 3p−4

2p−3

Then:

1 either |σ|2 ≡ 1, M ≡ Sn(√n) ⊂ Rn+1 [p = 1] 2 or |σ|2 ≡ 3p−4 2p−3,

(i) either M ≡ Sn1(√n1) × Sn2(√n2) ⊂ Rn+2, n1 + n2 = n, (with |σ|2 ≡ 2) [p = 2] (ii) or Veronese M ≡ S2( √ 6) ⊂ R5 (with |σ|2 ≡ 5/3) [n = 2, p = 3]

slide-99
SLIDE 99

Proof of Theorem A

slide-100
SLIDE 100

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2)

slide-101
SLIDE 101

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2) ⇒ 0 =

  • M(n − |H|2)dµ
slide-102
SLIDE 102

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2) ⇒ 0 =

  • M(n − |H|2)dµ

[|H|2 constant or |H|2 ≤ n or |H|2 ≥ n] ⇒ |H|2 ≡ n

slide-103
SLIDE 103

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2) ⇒ 0 =

  • M(n − |H|2)dµ

[|H|2 constant or |H|2 ≤ n or |H|2 ≥ n] ⇒ |H|2 ≡ n ⇒ |φ|2 ≡ n φ : Mn → Sn+p−1(√n), ˆ H ≡ 0,

slide-104
SLIDE 104

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2) ⇒ 0 =

  • M(n − |H|2)dµ

[|H|2 constant or |H|2 ≤ n or |H|2 ≥ n] ⇒ |H|2 ≡ n ⇒ |φ|2 ≡ n φ : Mn → Sn+p−1(√n), ˆ H ≡ 0, |σ|2 = 1 + |ˆ σ|2,

slide-105
SLIDE 105

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2) ⇒ 0 =

  • M(n − |H|2)dµ

[|H|2 constant or |H|2 ≤ n or |H|2 ≥ n] ⇒ |H|2 ≡ n ⇒ |φ|2 ≡ n φ : Mn → Sn+p−1(√n), ˆ H ≡ 0, |σ|2 = 1 + |ˆ σ|2, |ˆ σ|2 ≤

p−1 2p−3

slide-106
SLIDE 106

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2) ⇒ 0 =

  • M(n − |H|2)dµ

[|H|2 constant or |H|2 ≤ n or |H|2 ≥ n] ⇒ |H|2 ≡ n ⇒ |φ|2 ≡ n φ : Mn → Sn+p−1(√n), ˆ H ≡ 0, |σ|2 = 1 + |ˆ σ|2, |ˆ σ|2 ≤

p−1 2p−3

[Simons, 1968] [Lawson, 1969] [Chern, DoCarmo & Kobayashi, 1978] Mn compact minimal submanifold in Sn+q, |ˆ σ|2 ≤

n 2−1/q

Then either |ˆ σ|2 ≡ 0, Mn ≡ Sn, or |ˆ σ|2 ≡

n 2−1/q,

Mn ≡ Sk(

  • k

n) × Sn−k(

  • n−k

n ) ⊂ Sn+1, 1≤k ≤n−1,

  • r Veronese S2(

√ 3) ֒ → S4

slide-107
SLIDE 107

Proof of Theorem A

H = −φ⊥ ⇒ △|φ|2 = 2(n − |H|2) ⇒ 0 =

  • M(n − |H|2)dµ

[|H|2 constant or |H|2 ≤ n or |H|2 ≥ n] ⇒ |H|2 ≡ n ⇒ |φ|2 ≡ n φ : Mn → Sn+p−1(√n), ˆ H ≡ 0, |σ|2 = 1 + |ˆ σ|2, |ˆ σ|2 ≤

p−1 2p−3

[Simons, 1968] [Lawson, 1969] [Chern, DoCarmo & Kobayashi, 1978] Mn compact minimal submanifold in Sn+q, |ˆ σ|2 ≤

n 2−1/q

Then either |ˆ σ|2 ≡ 0, Mn ≡ Sn, or |ˆ σ|2 ≡

n 2−1/q,

Mn ≡ Sk(

  • k

n) × Sn−k(

  • n−k

n ) ⊂ Sn+1, 1≤k ≤n−1,

  • r Veronese S2(

√ 3) ֒ → S4 Take a dilation in Rn+q+1 ⊃ Sn+q of ratio √n and put q = p − 1

slide-108
SLIDE 108

Our contribution (codimension n ≥ 2)

Corollary A φ : Mn → R2n, M compact self-shrinker (codimension n ≥ 2) |H|2 constant or |H|2 ≤ n or |H|2 ≥ n |σ|2 ≤ 3n−4

2n−3

slide-109
SLIDE 109

Our contribution (codimension n ≥ 2)

Corollary A φ : Mn → R2n, M compact self-shrinker (codimension n ≥ 2) |H|2 constant or |H|2 ≤ n or |H|2 ≥ n |σ|2 ≤ 3n−4

2n−3

Then n = 2, |σ|2 ≡ 2, M ≡ S1 × S1 ⊂ R4 Clifford torus

slide-110
SLIDE 110

Our contribution (codimension n ≥ 2)

Corollary A φ : Mn → R2n, M compact self-shrinker (codimension n ≥ 2) |H|2 constant or |H|2 ≤ n or |H|2 ≥ n |σ|2 ≤ 3n−4

2n−3

Then n = 2, |σ|2 ≡ 2, M ≡ S1 × S1 ⊂ R4 Clifford torus Self-shrinking tori in R4: (i) Abresch-Langer tori, product of two Abresch-Langer curves (ii) Anciaux tori [Anciaux, Geom. Dedicata 2006] (iii) Lee-Wang tori [Lee & Wang, Trans. Amer. Math. Soc. 2010] (iv) Lawson tori [Lawson, Ann. of Math. 1970]

slide-111
SLIDE 111

Our contribution in the Lagrangian setting I

Theorem φ : M2 → R4 compact Lagrangian self-shrinker |H|2 constant or |H|2 ≤ 2 or |H|2 ≥ 2 Then M2 ≡ S1 × S1

slide-112
SLIDE 112

Our contribution in the Lagrangian setting I

Theorem φ : M2 → R4 compact Lagrangian self-shrinker |H|2 constant or |H|2 ≤ 2 or |H|2 ≥ 2 Then M2 ≡ S1 × S1 Proof:

slide-113
SLIDE 113

Our contribution in the Lagrangian setting I

Theorem φ : M2 → R4 compact Lagrangian self-shrinker |H|2 constant or |H|2 ≤ 2 or |H|2 ≥ 2 Then M2 ≡ S1 × S1 Proof: Hypothesis on H ⇒ |φ|2 = |H|2 ≡ 2

slide-114
SLIDE 114

Our contribution in the Lagrangian setting I

Theorem φ : M2 → R4 compact Lagrangian self-shrinker |H|2 constant or |H|2 ≤ 2 or |H|2 ≥ 2 Then M2 ≡ S1 × S1 Proof: Hypothesis on H ⇒ |φ|2 = |H|2 ≡ 2

Smoczyk

⇒ ∇⊥H = 0

φ Lagr.

⇒ JH parallel

slide-115
SLIDE 115

Our contribution in the Lagrangian setting I

Theorem φ : M2 → R4 compact Lagrangian self-shrinker |H|2 constant or |H|2 ≤ 2 or |H|2 ≥ 2 Then M2 ≡ S1 × S1 Proof: Hypothesis on H ⇒ |φ|2 = |H|2 ≡ 2

Smoczyk

⇒ ∇⊥H = 0

φ Lagr.

⇒ JH parallel

Urbano

⇒ M2 ≡ S1(r1) × S1(r2)

H=−φ

⇒ M2 ≡ S1 × S1

slide-116
SLIDE 116

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus

slide-117
SLIDE 117

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1

slide-118
SLIDE 118

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1 Proof: △|φ|2 = 2(2 − |H|2) ⇒

  • M |H|2dµ = 2 Area(M)
slide-119
SLIDE 119

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1 Proof: △|φ|2 = 2(2 − |H|2) ⇒

  • M |H|2dµ = 2 Area(M)

Gauss equation: 2K = |H|2 − |σ|2

slide-120
SLIDE 120

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1 Proof: △|φ|2 = 2(2 − |H|2) ⇒

  • M |H|2dµ = 2 Area(M)

Gauss equation: 2K = |H|2 − |σ|2 Gauss-Bonnet: 8π(1 − gen(M)) =

  • M(|H|2 − |σ|2)dµ =
  • M(2 − |σ|2)dµ
slide-121
SLIDE 121

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1 Proof: △|φ|2 = 2(2 − |H|2) ⇒

  • M |H|2dµ = 2 Area(M)

Gauss equation: 2K = |H|2 − |σ|2 Gauss-Bonnet: 0 ≥ 8π(1 − gen(M)) =

  • M(|H|2 − |σ|2)dµ =
  • M(2 − |σ|2)dµ

[Smoczyk, 2000] M can not be a sphere

slide-122
SLIDE 122

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1 Proof: △|φ|2 = 2(2 − |H|2) ⇒

  • M |H|2dµ = 2 Area(M)

Gauss equation: 2K = |H|2 − |σ|2 Gauss-Bonnet: 0 ≥ 8π(1 − gen(M)) =

  • M(|H|2 − |σ|2)dµ =
  • M(2 − |σ|2)dµ

[Smoczyk, 2000] M can not be a sphere |σ|2 ≤ 2

slide-123
SLIDE 123

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1 Proof: △|φ|2 = 2(2 − |H|2) ⇒

  • M |H|2dµ = 2 Area(M)

Gauss equation: 2K = |H|2 − |σ|2 Gauss-Bonnet: 0 ≥ 8π(1 − gen(M)) =

  • M(|H|2 − |σ|2)dµ =
  • M(2 − |σ|2)dµ≥ 0

[Smoczyk, 2000] M can not be a sphere |σ|2 ≤ 2 ⇒ M torus, |σ|2 ≡ 2

slide-124
SLIDE 124

Our contribution in the Lagrangian setting II

Theorem φ : M2 → R4 compact orientable Lagrangian self-shrinker |σ|2 ≤ 2 Then |σ|2 ≡ 2, M torus If, in addition, K ≥ 0 or K ≤ 0, then M2 ≡ S1 × S1 Proof: △|φ|2 = 2(2 − |H|2) ⇒

  • M |H|2dµ = 2 Area(M)

Gauss equation: 2K = |H|2 − |σ|2 Gauss-Bonnet: 0 ≥ 8π(1 − gen(M)) =

  • M(|H|2 − |σ|2)dµ =
  • M(2 − |σ|2)dµ≥ 0

[Smoczyk, 2000] M can not be a sphere |σ|2 ≤ 2 ⇒ M torus, |σ|2 ≡ 2 (2K = |H|2 − 2) K ≥ 0 or K ≤ 0 ⇒ |H|2 ≥ 2 or |H|2 ≤ 2 ⇒ M Clifford

slide-125
SLIDE 125

Our contribution in the Lagrangian setting III

Theorem φ : M2 → R4 compact self-shrinker φ Hamiltonian stationary Lagrangian embedding Then M2 ≡ S1 × S1

slide-126
SLIDE 126

Our contribution in the Lagrangian setting III

Theorem φ : M2 → R4 compact self-shrinker φ Hamiltonian stationary Lagrangian embedding Then M2 ≡ S1 × S1 Proof: [Castro & Lerma, 2010] Lee-Wang tori Tm,n only compact orientable Hamiltonian stationary Lagrangian self-shrinkers

slide-127
SLIDE 127

Our contribution in the Lagrangian setting III

Theorem φ : M2 → R4 compact self-shrinker φ Hamiltonian stationary Lagrangian embedding Then M2 ≡ S1 × S1 Proof: [Castro & Lerma, 2010] Lee-Wang tori Tm,n only compact orientable Hamiltonian stationary Lagrangian self-shrinkers Tm,n ≡ Ψm,n : R2 → C2, m, n ∈ N, (m, n) = 1, m ≤ n Ψm,n(s, t) = √m + n

  • 1

√n cos s ei√ n

m t,

1 √m sin s ei√ m

n t

slide-128
SLIDE 128

Our contribution in the Lagrangian setting III

Theorem φ : M2 → R4 compact self-shrinker φ Hamiltonian stationary Lagrangian embedding Then M2 ≡ S1 × S1 Proof: [Castro & Lerma, 2010] Lee-Wang tori Tm,n only compact orientable Hamiltonian stationary Lagrangian self-shrinkers Tm,n ≡ Ψm,n : R2 → C2, m, n ∈ N, (m, n) = 1, m ≤ n Ψm,n(s, t) = √m + n

  • 1

√n cos s ei√ n

m t,

1 √m sin s ei√ m

n t

Clifford torus T1,1 ≡ Ψ1,1(s, t) = √ 2eit(cos s, sin s ) only embedded

slide-129
SLIDE 129

Our contribution in the Lagrangian setting III

Theorem φ : M2 → R4 compact self-shrinker φ Hamiltonian stationary Lagrangian embedding Then M2 ≡ S1 × S1 Proof: [Castro & Lerma, 2010] Lee-Wang tori Tm,n only compact orientable Hamiltonian stationary Lagrangian self-shrinkers Tm,n ≡ Ψm,n : R2 → C2, m, n ∈ N, (m, n) = 1, m ≤ n Ψm,n(s, t) = √m + n

  • 1

√n cos s ei√ n

m t,

1 √m sin s ei√ m

n t

Clifford torus T1,1 ≡ Ψ1,1(s, t) = √ 2eit(cos s, sin s ) only embedded [Nemirovski, 2009] A Klein bottle does not admit a Lagrangian embedding in C2

slide-130
SLIDE 130

TRANSLATING SOLITONS

slide-131
SLIDE 131

See Ana M. Lerma’s poster

Translating solitons for Lagrangian mean curvature flow in complex Euclidean plane

Ana M. Lerma (Joint work with Ildefonso Castro)
  • Abstract. Using certain solutions of the curve shortening flow, including self-shrinking and self-expanding curves or spirals, we construct and characterize many new examples of translating solitons for mean curvature
flow in complex Euclidean plane. They generalize the Joyce, Lee and Tsui ones [3] in dimension two. The simplest (non trivial) example in our family is characterized as the only (non totally geodesic) Hamiltonian stationary Lagrangian translating soliton for mean flow in complex Euclidean plane. DEFINITIONS MEAN CURVATURE FLOW (MCF) φ : Mn → Rm immersion, H mean curvature vector F : M × [0, T) → Rm, Ft = F(·, t) immersions, F0 = φ dF dt (p, t) ⊥ = H(p, t), ∀t ∈ [0, T) (MCF) Singularities in T → soliton solutions ◮ Type I singularities model on self-similar solutions for (MCF) ◮ Examples of Type II singularities: translating solitons for (MCF) SELF-SIMILAR SOLUTIONS FOR MCF φ : Mn → Rm immersion, Ft : Mn → Rm variation of φ Ft = h(t) φ, h(t) ∈ R∗, Ft solution to (MCF)? ∃ a ∈ R∗: Ft(p) = √2at + 1 φ(p), 2at + 1 > 0, H = a φ⊥ φ self-similar if H = a φ⊥
  • a < 0, self-shrinker
a > 0, self-expander TRANSLATING SOLITONS FOR MCF φ : Mn → Rm immersion, Ft : Mn → Rm variation of φ Ft = φ + V (t), V (t) ∈ Rm, Ft solution to (MCF)? ∃ e ∈ Rm: Ft(p) = φ(p) + t e, H = e⊥ φ translating soliton if H = e⊥, for some e translating vector LAGRANGIAN SUBMANIFOLDS IN Cn
  • R2n ≡ Cn, , , J
  • complex Euclidean space
ω(·, ·) = J·, ·, ( , ) = , − i ω φ : Mn → Cn Lagrangian if φ∗ω = 0 ↔ J : TM ∼ = T ⊥M ◮ φ = F0 Lagrangian ⇒ Ft Lagrangian, ∀t ∈ [0, T), 0 < T < ∞ HAMILTONIAN STATIONARY LAGRANGIANS φ : Mn → Cn Lagrangian F : M × (−ǫ, ǫ) → Cn Hamiltonian variation of φ if V = F∗
∂t
  • t=0 Hamiltonian: V = J∇f, f ∈ C∞
0 (M) Critical points of volume for Hamiltonian variations: HAMILTONIAN STATIONARY LAGRANGIAN HSL ⇔ div JH = 0 TWO CONSTRUCTIONS OF LAGRANGIAN SURFACES IN C2 PRODUCT OF PLANAR CURVES α1 = α1(t) ⊂ C unit speed, α2 = α2(s) ⊂ C unit speed, φ = α1 × α2 : I1 × I2 ⊂ R2 → C2 φ(t, s) = (α1(t), α2(s)) φ∗ , = dt2 + ds2 H = κα1 Jφt + κα2 Jφs Grim-reaper curve − log cos y + iy := γ(y), −π 2 < y < y 2 NEW CONSTRUCTION [2] α = α(t) ⊂ C \ {0}, t ∈ I1 unit speed, ω = ω(s)C \ {0}, s ∈ I2 unit speed, φ = α ∗ ω : I1 × I2 ⊂ R2 → C2 φ(t, s) = s s0 ˙ ω(y)ω(y)dy − t t0 α′(x)α(x), α(t)ω(s)
  • φ∗ , =
  • |α|2 + |ω|2
dt2 + ds2 H = 1 |α|2+|ω|2 (κα Jφt + κω Jφs) CURVE SHORTENING PROBLEM α unit speed planar curve ∃ a, b ∈ R: κα = a α, Jα′ + b α, α′ ⇔ − → κα = a α⊥ + b (Jα)⊥ αt = √2at + 1 ei b 2a log(2at+1)α, 2at + 1 > 0, solutions to ∂ ∂tαt ⊥ = − → καt, α0 = α ◮ b = 0: − → κα = a α⊥, αt = √2at + 1α ◮ a = 0: − → κα = b (Jα)⊥, αt = eibtα κακ′′ α − κ′ α2 + κ2 α
  • a + κ2
α
  • + b κ′α = 0
Expand: b = 0, a = 1 − → κα = α⊥ Rotate: b = ±1, a = 0 − → κα = ± (Jα)⊥ Rotate and expand: b = 0, a > 0 − → κα = a α⊥ + b (Jα)⊥ Shrink: b = 0, a = −1 − → κα = −α⊥ Rotate and shrink: b = 0, a < 0 − → κα = a α⊥ + b (Jα)⊥ RESULTS [1] NEW EXAMPLES OF TRANSLATING SOLITONS ϕ ∈ [0, π), α = α(t), t ∈ I1, ω = ω(s), s ∈ I2, both unit speed − → κα = − cos ϕ α⊥ + sin ϕ (Jα)⊥, − → κω = cos ϕ ω⊥ − sin ϕ (Jω)⊥ α ∗ ω : I1 × I2 ⊂ R2 → C2 Lagrangian H = (1, 0)⊥ ◮ ϕ = π/2 : (α ∗ ω)(t, s) = |ω(s)|2−|α(t)|2 2 cos ϕ + (tan ϕ − i)(arg α′(t) + arg ˙ ω(s)) , α(t)ω(s)
  • ⊲ ϕ = 0 :
(α ∗ ω)(t, s) = |ω(s)|2−|α(t)|2 2 − i(arg α′(t) + arg ˙ ω(s)), α(t)ω(s)
  • α0(t) = t, ωE self-expanding curves (Joyce, Lee and Tsui examples [3])
(α0 ∗ ωE)(t, s) = |ωE(s)|2 2 − i arg ˙ ωE(s) − t2 2 , t ωE(s)
  • ◮ ϕ = π/2 :
(α∗ω)(t, s) = t t0α′, Jα(x) dx − s s0 ˙ ω, Jω(y) dy − i(arg α′(t) + arg ˙ ω(s)) , α(t)ω(s)
  • HSL TRANSLATING SOLITONS
◮ Totally geodesic Lagrangian plane (α0 ∗ ω0)(t, s) =
  • s2−t2
2 , t s
  • ,
where α0(t) = t and ω0(s) = s. ◮ The example M := Φ(R2) Φ(t, s) = (α1 ∗ ω0)(t, s) =
  • s2
2 − it, eits
  • ,
where α1(t) = eit and ω0(s) = s. ⊲ HSL completed embbeded Lagrangian translating soliton ⊲ M = {(z, w) ∈ C2 : w2 = 2Rez e−2iImz, Rez ≥ 0} CLASIFICATION OF ”SEPARABLE” AND HSL
  • Theorem. φ : M2 → C2 Lagrangian H = e⊥
Assume ∃ z = x + iy such that ∂2 ∂x ∂y(φ, e) = 0 ⇒ (up to dilations) φ loc ∼ (i) the product of a grim-reaper curve and a straight line (ii) the product of two grim-reaper curves (iii) the example α ∗ ω for some ϕ ∈ [0, π)
  • Corollary. φ : M → C2 HSL (non totally geodesic)
Lagrangian H = e⊥ ⇒ (up to dilations) φ(M) loc ∼ M References [1] I. Castro and A. M. Lerma. Translating solitons for Lagrangian mean curvature flow in complex Euclidean plane. To appear in International Journal of Mathematics. [2] I. Castro and A. M. Lerma. A new construction of Lagrangians in the complex Euclidean plane in terms of planar curves. In preparation. [3] D. Joyce, Y.-I. Lee and M.-P . Tsui. Self-similar solutions and translating solitons for Lagrangian mean curvature flow. J. Differential Geom. 84 (2012), 127-161. Acknowledgment This research was partially supported by a MEC-Feder grant MTM2007-61775.
slide-132
SLIDE 132

References

Castro, Ildefonso; Lerma, Ana M. Hamiltonian stationary self-similar solutions for Lagrangian mean curvature flow in complex Euclidean plane, Proc. Amer. Math. Soc. 138 (2010), 1821–1832. Castro, Ildefonso; Lerma, Ana M. Translating solitons for Lagrangian mean curvature flow in complex Euclidean plane, Int. J. Math. 23 (2012). Castro, Ildefonso; Lerma, Ana M. The Clifford torus as a self-shrinker for the Lagrangian mean curvature flow, arXiv:1202.2555 [math.DG], submitted.