Page 1
Cornered Floer Homology
Robert LipshitzMay 20, 2013
Joint with Chris Douglas and Ciprian Manolescu
Page 2
Gluing 3-manifolds with corners and Heegaard Floer homology
Page 3
Gluing 3-manifolds with corners and Heegaard Floer homology
1. Background: bordered Floer and Heegaard Floer.
2. Cornered gluing from bordered Floer, via trimodules.
3. Cornered Floer homology.
Page 4
Heegaard Floer and Bordered Floer
Page 5
Heegaard Floer Homology(Ozsváth-Szabó)
Page 6
Heegaard Floer Homology(Ozsváth-Szabó)
Page 7
Heegaard Floer Homology(Ozsváth-Szabó)
Page 8
Heegaard Floer Homology(Ozsváth-Szabó)
Page 9
Heegaard Floer Homology(Ozsváth-Szabó)
Page 10
Bordered Floer Homology(L-Ozsváth-Thurston)
Page 11
Bordered Floer Homology(L-Ozsváth-Thurston)
Page 12
Bordered Floer Homology(L-Ozsváth-Thurston)
Page 13
Bordered Floer Homology(L-Ozsváth-Thurston)
Page 14
Bordered Floer Homology(L-Ozsváth-Thurston)
Page 15
Pointed matched circles
Page 16
• Upward-veering strand diagrams.
The Bordered Algebras
Page 17
• Upward-veering strand diagrams.
• No initial (resp. terminal) endpoints matched.
The Bordered Algebras
Page 18
• Upward-veering strand diagrams.
• No initial (resp. terminal) endpoints matched.
• Smeared horizontal lines
The Bordered Algebras
Page 19
• Upward-veering strand diagrams.
• No initial (resp. terminal) endpoints matched.
• Smeared horizontal lines
• Multiplication is concatenation.
The Bordered Algebras
Page 20
• Upward-veering strand diagrams.
• No initial (resp. terminal) endpoints matched.
• Smeared horizontal lines
• Multiplication is concatenation.
The Bordered Algebras
Page 21
• Upward-veering strand diagrams.
• No initial (resp. terminal) endpoints matched.
• Smeared horizontal lines
• Multiplication is concatenation.
• Differential smooths crossings.
The Bordered Algebras
Page 22
• Upward-veering strand diagrams.
• No initial (resp. terminal) endpoints matched.
• Smeared horizontal lines
• Multiplication is concatenation.
• Differential smooths crossings.
• Double crossings = 0.
The Bordered Algebras
Page 23
Cornered Gluing in Bordered Floer
Page 24
Cornered Gluing...
Page 25
...via Trimodules
Page 26
...via Trimodules
Page 27
...via Trimodules
Page 28
...via Trimodules
Page 29
The DA Identity Bimodule
(LOT, "Bimodules in Bordered Floer Homology")
Page 30
The DD Identity Bimodule
(LOT, "Computing HF-hat by factoring mapping classes")
Page 31
The DD Identity Bimodule
(LOT, "Computing HF-hat by factoring mapping classes")
Page 32
The DDD Cornering Trimodule
Page 33
The DDD Cornering Trimodule
Page 34
The DDA Cornering Trimodule
D
D
A
Page 35
The DDA Cornering Trimodule
Page 36
The DDA Cornering Trimodule
Page 37
The DDA Cornering Trimodule
Page 41
Towards a cornered invariant
Page 42
Towards a cornered invariant
Need:
Result of smoothing corner in Y
Page 43
Towards a cornered invariant
Need:
Result of smoothing corner in Y
Page 44
Towards a cornered invariant
Need:
Result of smoothing corner in Y
Page 45
Towards a cornered invariant
Need:
Result of smoothing corner in Y
Page 46
Towards a cornered invariant
Need:
Then define:Result of smoothing corner in Y
Page 47
Cornered Floer Homology
(Tantrix. Picture from thegamesjournal.com)
Page 48
Cornered Floer Homology(Douglas-Manolescu, L-Douglas-Manolescu)
Page 49
Cornered Floer Homology(Douglas-Manolescu, L-Douglas-Manolescu)
Page 50
Cornered Floer Homology(Douglas-Manolescu, L-Douglas-Manolescu)
Page 51
Cornered Floer Homology(Douglas-Manolescu, L-Douglas-Manolescu)
Page 52
Cornered Floer Homology(Douglas-Manolescu, L-Douglas-Manolescu)
Page 53
Cornered Floer Homology(Douglas-Manolescu, L-Douglas-Manolescu)
Two versions: sequential and planar.
Page 54
Abstract 2-algebra
Page 55
The nilCoxeter 2-algebra
• Multiplication is concatenation.
• Differential smooths crossings.
• Double crossings = 0.
• No closed components.
Page 56
More abstract 2-algebra
Page 57
More abstract 2-algebra
Page 58
The algebra-modules
Page 59
The algebra-modules
Page 60
The algebra-modules
Page 61
The algebra-modules
Page 62
The algebra-modules
Page 64
The DAA cornering 2-module
Page 65
The DAA cornering 2-module
Page 66
The DAA cornering 2-module
Page 67
The DAA cornering 2-module
Page 68
The DAA cornering 2-module
Page 69
The DD Identity Module
Page 70
The DD Identity Module
Page 71
The other cornering pieces
Page 72
The 2-modulesDefine:
Page 73
Invariance and pairing
Page 74
Invariance and pairing
Page 75
Invariance and pairing