Towards bordered Heegaard Floer homology

Transcription

1 Towards bordered Heegaard Floer homology R. Lipshitz, P. Ozsváth and D. Thurston June 10, 2008 R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

2 1 Review of Heegaard Floer 2 Basic properties of bordered HF 3 Bordered Heegaard diagrams 4 The algebra 5 Gradings 6 The cylindrical setting for Heegaard Floer 7 The module ĈFD 8 The module ĈFA 9 The pairing theorem 10 Knot complements R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

3 Review of Heegaard Floer It s like HM or ECH with different names. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

4 Review of Heegaard Floer It s like HM or ECH with different names. We ll focus on ĤF = H (ĈF), the mapping cone of U : CF+ CF +. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

5 Review of Heegaard Floer It s like HM or ECH with different names. We ll focus on ĤF = H (ĈF), the mapping cone of U : CF+ CF +. Conjecturally, HF + = HM = ECH. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

6 Roughly, bordered HF assigns... To a surface F, a (dg) algebra A(F ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

7 Roughly, bordered HF assigns... To a surface F, a (dg) algebra A(F ). To a 3-manifold Y with boundary F, a right A-module ĈFA(Y ) left A-module ĈFD(Y ) R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

8 Roughly, bordered HF assigns... To a surface F, a (dg) algebra A(F ). To a 3-manifold Y with boundary F, a such that right A-module ĈFA(Y ) left A-module ĈFD(Y ) If Y = Y 1 F Y 2 then ĈF(Y ) = ĈFA(Y 1) A(F ) ĈFD(Y 2 ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

9 Precisely, bordered HF assigns... To which is a Marked a connected, closed, A differential graded surface oriented surface, algebra A(F ) F + a handle decompos. of F + a small disk in F R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

10 Precisely, bordered HF assigns... To which is a Marked a connected, closed, A differential graded surface oriented surface, algebra A(F ) F + a handle decompos. of F + a small disk in F Bordered Y 3, Y 3 = F a compact, oriented 3-manifold with connected boundary, orientation-preserving homeomorphism F Y R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

11 Precisely, bordered HF assigns... To which is a Marked a connected, closed, A differential graded surface oriented surface, algebra A(F ) F + a handle decompos. of F + a small disk in F Bordered Y 3, compact, oriented Right A -module Y 3 = F 3-manifold with ĈFA(Y ) over A(F ), connected boundary, Left dg-module orientation-preserving ĈFD(Y ) over A( F ), homeomorphism F Y well-defined up to homotopy. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

12 Satisfying the pairing theorem: Theorem If Y 1 = F = Y 2 then ĈF(Y 1 Y 2 ) ĈFA(Y 1) A(F ) ĈFD(Y 2 ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

13 Further structure (in progress): To an φ MCG(F ), bimodules ĈFDA(φ), ĈFAD(φ). ĈFA(φ(Y )) ĈFA(Y ) A(F ) ĈFDA(φ) ĈFD(φ(Y )) ĈFAD(φ) A( F ) ĈFD(Y ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

14 Further structure (in progress): To an φ MCG(F ), bimodules ĈFDA(φ), ĈFAD(φ). ĈFA(φ(Y )) ĈFA(Y ) A(F ) ĈFDA(φ) ĈFD(φ(Y )) ĈFAD(φ) A( F ) ĈFD(Y ). To F, bimodules ĈFDD and CFAAa, such that ĈFD(Y ) ĈFA(Y ) A(F ) ĈFDD ĈFA(Y ) ĈFAA A( F ) ĈFD(Y ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

15 Further structure (in progress): To an φ MCG(F ), bimodules ĈFDA(φ), ĈFAD(φ). ĈFA(φ(Y )) ĈFA(Y ) A(F ) ĈFDA(φ) ĈFD(φ(Y )) ĈFAD(φ) A( F ) ĈFD(Y ). To F, bimodules ĈFDD and CFAAa, such that ĈFD(Y ) ĈFA(Y ) A(F ) ĈFDD ĈFA(Y ) ĈFAA A( F ) ĈFD(Y ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

16 Bordered Heegaard diagrams Let (Σ g, α c 1,..., αc g k, β 1,..., β g ) be a Heegaard diagram for a Y 3 with bdy. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

17 Bordered Heegaard diagrams Let (Σ g, α c 1,..., αc g k, β 1,..., β g ) be a Heegaard diagram for a Y 3 with bdy. Let Σ be result of surgering along α c 1,..., αc g k. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

18 Bordered Heegaard diagrams Let (Σ g, α c 1,..., αc g k, β 1,..., β g ) be a Heegaard diagram for a Y 3 with bdy. Let Σ be result of surgering along α c 1,..., αc g k. Let α a 1,..., αa 2k be circles in Σ \ (new disks intersecting in one point p, giving a basis for π 1 (Σ ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

19 Bordered Heegaard diagrams Let (Σ g, α1 c,..., αc g k, β 1,..., β g ) be a Heegaard diagram for a Y 3 with bdy. Let Σ be result of surgering along α1 c,..., αc g k. Let α1 a,..., αa 2k be circles in Σ \ (new disks intersecting in one point p, giving a basis for π 1 (Σ ). These give circles α1 a,..., αa 2k in Σ. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

20 Let Σ = Σ \ D ɛ (p). Σ, α c 1,..., αc g k, αa 1,..., αa 2k, β 1,..., β g ) is a bordered Heegaard diagram for Y. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

21 Let Σ = Σ \ D ɛ (p). Σ, α c 1,..., αc g k, αa 1,..., αa 2k, β 1,..., β g ) is a bordered Heegaard diagram for Y. Fix also z Σ near p. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

22 A small circle near p looks like: R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

23 A small circle near p looks like: This is called a pointed matched circle Z. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

24 A small circle near p looks like: This is called a pointed matched circle Z. This corresponds to a handle decomposition of Y. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

25 A small circle near p looks like: This is called a pointed matched circle Z. This corresponds to a handle decomposition of Y. We will associate a dg algebra A(Z) to Z. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

26 Where the algebra comes from. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

27 Where the algebra comes from. Decomposing ordinary (Σ, α, β) into bordered H.D. s (Σ 1, α 1, β 1 ) (Σ 2, α 2, β 2 ), would want to consider holomorphic curves crossing Σ 1 = Σ 2. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

28 Where the algebra comes from. Decomposing ordinary (Σ, α, β) into bordered H.D. s (Σ 1, α 1, β 1 ) (Σ 2, α 2, β 2 ), would want to consider holomorphic curves crossing Σ 1 = Σ 2. This suggests the algebra should have to do with Reeb chords in Σ 1 relative to α Σ 1. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

29 Where the algebra comes from. Decomposing ordinary (Σ, α, β) into bordered H.D. s (Σ 1, α 1, β 1 ) (Σ 2, α 2, β 2 ), would want to consider holomorphic curves crossing Σ 1 = Σ 2. This suggests the algebra should have to do with Reeb chords in Σ 1 relative to α Σ 1. Analyzing some simple models, in terms of planar grid diagrams, suggested the product and relations in the algebra. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

30 So... Let Z be a pointed matched circle, for a genus k surface. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

31 So... Let Z be a pointed matched circle, for a genus k surface. Primitive idempotents of A(Z) correspond to k-element subsets I of the 2k pairs in Z. We draw them like this: R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

32 A pair (I, ρ), where ρ is a Reeb chord in Z \ z starting at I specifies an algebra element a(i, ρ). We draw them like this: From: R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

33 More generally, given (I, ρ) where ρ = {ρ 1,..., ρ l } is a set of Reeb chords starting at I, with: i j implies ρ i and ρ j start and end on different pairs. {starting points of ρ i s} I. specifies an algebra element a(i, ρ). From: These generate A(Z) over F 2. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

34 That is, A(Z) is the subalgebra of the algebra of k-strand, upward-veering flattened braids on 4k positions where: no two start or end on the same pair Not allowed. Algebra elements are fixed by horizontal line swapping. = + R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

35 Multiplication......is concatenation if sensible, and zero otherwise. = R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

36 Multiplication......is concatenation if sensible, and zero otherwise. = = R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

37 Multiplication......is concatenation if sensible, and zero otherwise. = = = 0 R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

38 Double crossings We impose the relation (double crossing) = 0. e.g., = =0 R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

39 The differential There is a differential d by d(a) = smooth one crossing of a. e.g., d R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

40 Algebra summary The algebra is generated by the Reeb chords in Z, with certain relations. e.g., R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

41 Algebra summary The algebra is generated by the Reeb chords in Z, with certain relations. e.g., Multiplying consecutive Reeb chords concatenates them. Far apart Reeb chords commute. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

42 Algebra summary The algebra is generated by the Reeb chords in Z, with certain relations. e.g., Multiplying consecutive Reeb chords concatenates them. Far apart Reeb chords commute. The algebra is finite-dimensional over F 2, and has a nice description in terms of flattened braids. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

43 Gradings One can prove there is no Z-grading on A. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

44 Gradings One can prove there is no Z-grading on A. This bothered us. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

45 Gradings One can prove there is no Z-grading on A. This bothered us. Tim Perutz suggested we think about the geometric grading on HM. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

46 Gradings One can prove there is no Z-grading on A. This bothered us. Tim Perutz suggested we think about the geometric grading on HM. It was a good suggestion. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

47 HM(Y ) is graded by homotopy classes of nonvanishing vector fields on Y. So A(F ) should be graded by homotopy classes of nonvanishing vector fields v on F [0, 1] such that v F [0,1] = v 0 for some given v 0. (Think of F [0, 1] as a collar of Y.) R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

48 HM(Y ) is graded by homotopy classes of nonvanishing vector fields on Y. So A(F ) should be graded by homotopy classes of nonvanishing vector fields v on F [0, 1] such that v F [0,1] = v 0 for some given v 0. (Think of F [0, 1] as a collar of Y.) This is a group G under concatenation in [0, 1]. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

49 It is easy to see that G = [ΣF, S 2 ]. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

50 It is easy to see that G = [ΣF, S 2 ]. It follows that G is a Z-central extension of H 1 (F ), 0 Z G H 1 (F ) 0. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

51 G is not commutative, but has a central element λ. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

52 G is not commutative, but has a central element λ. There is a map gr : {gens. of A(F )} G such that: gr(a b) = gr(a) gr(b) gr(d(a)) = λ gr(a). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

53 G is not commutative, but has a central element λ. There is a map gr : {gens. of A(F )} G such that: gr(a b) = gr(a) gr(b) gr(d(a)) = λ gr(a). The modules ĈFD and ĈFA are graded by G-sets. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

54 G is not commutative, but has a central element λ. There is a map gr : {gens. of A(F )} G such that: gr(a b) = gr(a) gr(b) gr(d(a)) = λ gr(a). The modules ĈFD and ĈFA are graded by G-sets. Note: in the end, we define these gradings combinatorially, not geometrically. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

55 The cylindrical setting for classical ĈF: Fix an ordinary H.D. (Σ g, α, β, z). (Here, α = {α 1,..., α g }.) The chain complex ĈF is generated over F 2 by g-tuples {x i α σ(i) β i } α β. (σ S g is a permutation.) (cf. T α T β Sym g (Σ).) R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

56 The cylindrical setting for classical ĈF: Fix an ordinary H.D. (Σ g, α, β, z). (Here, α = {α 1,..., α g }.) The chain complex ĈF is generated over F 2 by g-tuples {x i α σ(i) β i } α β. (σ S g is a permutation.) The differential counts embedded holomorphic maps (S, S) (Σ [0, 1] R, (α 1 R) (β 0 R)) asymptotic to x [0, 1] at and y [0, 1] at +. For ĈF, curves may not intersect {z} [0, 1] R. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

57 A useless schematic of a curve in Σ [0, 1] R. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

58 For (Σ, α, β, z) a bordered Heegaard diagram, view Σ as a cylindrical end, p. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

59 For (Σ, α, β, z) a bordered Heegaard diagram, view Σ as a cylindrical end, p. Maps u : (S, S) (Σ [0, 1] R, (α 1 R) (β 0 R)) have asymptotics at +, and the puncture p, i.e., east. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

60 For (Σ, α, β, z) a bordered Heegaard diagram, view Σ as a cylindrical end, p. Maps u : (S, S) (Σ [0, 1] R, (α 1 R) (β 0 R)) have asymptotics at +, and the puncture p, i.e., east. The e asymptotics are Reeb chords ρ i (1, t i ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

61 For (Σ, α, β, z) a bordered Heegaard diagram, view Σ as a cylindrical end, p. Maps u : (S, S) (Σ [0, 1] R, (α 1 R) (β 0 R)) have asymptotics at +, and the puncture p, i.e., east. The e asymptotics are Reeb chords ρ i (1, t i ). The asymptotics ρ i1,..., ρ il of u inherit a partial order, by R-coordinate. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

62 Another useless schematic of a curve in Σ [0, 1] R. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

63 Generators of ĈFD... Fix a bordered Heegaard diagram (Σ g, α, β, z) ĈFD(Σ) is generated by g-tuples x = {x i } with: one x i on each β-circle one x i on each α-circle no two x i on the same α-arc. x x R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

64 Generators of ĈFD... Fix a bordered Heegaard diagram (Σ g, α, β, z) ĈFD(Σ) is generated by g-tuples x = {x i } with: one x i on each β-circle one x i on each α-circle no two x i on the same α-arc. y y R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

65 ...and associated idempotents. To x, associate the idempotent I (x), the α-arcs not occupied by x. x As a left A-module, ĈFD = x AI (x). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

66 ...and associated idempotents. To x, associate the idempotent I (x), the α-arcs not occupied by x. As a left A-module, ĈFD = x AI (x). So, if I is a primitive idempotent, I x = 0 if I I (x) and I (x)x = x. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

67 The differential on ĈFD. d(x) = y (ρ 1,...,ρ n) (#M(x, y; ρ 1,..., ρ n )) a(ρ 1, I (x)) a(ρ n, I n )y. where M(x, y; ρ 1,..., ρ n ) consists of holomorphic curves asymptotic to x at y at + ρ 1,..., ρ n at e. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

68 Example D1: a solid torus. 3 2 x z 1 a b d(a) = b + ρ 3 x d(x) = ρ 2 b d(b) = 0. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

69 Example D2: same torus, different diagram. 3 2 x z 1 d(x) = ρ 2 ρ 3 x = ρ 23 x. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

70 Comparison of the two examples. First chain complex: Second chain complex: a ρ 1 3 ρ 2 x b x ρ 23 x R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

71 Comparison of the two examples. First chain complex: Second chain complex: They re homotopy equivalent! a ρ 1 3 ρ 2 x b x ρ 23 x R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

72 Comparison of the two examples. First chain complex: a ρ 1 3 ρ 2 x b Second chain complex: x ρ 23 They re homotopy equivalent!a relief, since Theorem If (Σ, α, β, z) and (Σ, α, β, z ) are pointed bordered Heegaard diagrams for the same bordered Y 3 then ĈFD(Σ) is homotopy equivalent to ĈFD(Σ ). x R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

73 Generators and idempotents of ĈFA. Fix a bordered Heegaard diagram (Σ g, α, β, z) ĈFA(Σ) is generated by the same set as ĈFD: g-tuples x = {x i} with: one x i on each β-circle one x i on each α-circle no two x i on the same α-arc. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

74 Generators and idempotents of ĈFA. Fix a bordered Heegaard diagram (Σ g, α, β, z) ĈFA(Σ) is generated by the same set as ĈFD: g-tuples x = {x i} with: Over F 2, one x i on each β-circle one x i on each α-circle no two x i on the same α-arc. ĈFA = x F 2. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

75 Generators and idempotents of ĈFA. Fix a bordered Heegaard diagram (Σ g, α, β, z) ĈFA(Σ) is generated by the same set as ĈFD: g-tuples x = {x i} with: Over F 2, one x i on each β-circle one x i on each α-circle no two x i on the same α-arc. ĈFA = x F 2. This is much smaller than ĈFD. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

76 The differential on ĈFA......counts only holomorphic curves contained in a compact subset of Σ, i.e., with no asymptotics at e. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

77 The module structure on ĈFA To x, associate the idempotent J(x), the α-arcs occupied by x (opposite from ĈFD). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

78 The module structure on ĈFA To x, associate the idempotent J(x), the α-arcs occupied by x (opposite from ĈFD). For I a primitive idempotent, define { x if I = J(x) xi = 0 if I J(x) R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

79 The module structure on ĈFA To x, associate the idempotent J(x), the α-arcs occupied by x (opposite from ĈFD). For I a primitive idempotent, define { x if I = J(x) xi = 0 if I J(x) Given a set ρ of Reeb chords, define x a(j(x), ρ) = y (#M(x, y; ρ)) y where M(x, y; ρ) consists of holomorphic curves asymptotic to x at. y at +. ρ at e, all at the same height. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

80 A local example of the module structure on ĈFA. Consider the following piece of a Heegaard diagram, with generators {r, x}, {s, x}, {r, y}, {s, y}. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

81 A local example of the module structure on ĈFA. Consider the following piece of a Heegaard diagram, with generators {r, x}, {s, x}, {r, y}, {s, y}. The nonzero products are: {r, x}ρ 1 = {s, x}, {r, y}ρ 1 = {s, y}, {r, x}ρ 3 = {r, y}, {s, x}ρ 3 = {s, y}, {r, x}(ρ 1 ρ 3 ) = {s, y}. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

82 A local example of the module structure on ĈFA. Consider the following piece of a Heegaard diagram, with generators {r, x}, {s, x}, {r, y}, {s, y}. The nonzero products are: {r, x}ρ 1 = {s, x}, {r, y}ρ 1 = {s, y}, {r, x}ρ 3 = {r, y}, {s, x}ρ 3 = {s, y}, {r, x}(ρ 1 ρ 3 ) = {s, y}. Example: {r, x}ρ 1 = {s, x} comes from this domain. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

83 A local example of the module structure on ĈFA. Consider the following piece of a Heegaard diagram, with generators {r, x}, {s, x}, {r, y}, {s, y}. The nonzero products are: {r, x}ρ 1 = {s, x}, {r, y}ρ 1 = {s, y}, {r, x}ρ 3 = {r, y}, {s, x}ρ 3 = {s, y}, {r, x}(ρ 1 ρ 3 ) = {s, y}. Example: {r, x}ρ 3 = {r, y} comes from this domain. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

84 A local example of the module structure on ĈFA. Consider the following piece of a Heegaard diagram, with generators {r, x}, {s, x}, {r, y}, {s, y}. The nonzero products are: {r, x}ρ 1 = {s, x}, {r, y}ρ 1 = {s, y}, {r, x}ρ 3 = {r, y}, {s, x}ρ 3 = {s, y}, {r, x}(ρ 1 ρ 3 ) = {s, y}. Example: {r, x}(ρ 1 ρ 3 ) = {s, y} comes from this domain. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

85 Example A1: a solid torus. 1 2 x z a b 3 d(a) = b aρ 1 = x aρ 12 = b xρ 2 = b. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

86 Example A1: a solid torus. 1 2 x z a b 3 d(a) = b aρ 1 = x aρ 12 = b xρ 2 = b. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

87 Example A1: a solid torus. 1 2 x z a b 3 d(a) = b aρ 1 = x aρ 12 = b xρ 2 = b. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

88 Example A1: a solid torus. 1 2 x z a b 3 d(a) = b aρ 1 = x aρ 12 = b xρ 2 = b. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

89 Example A1: a solid torus. 1 2 x z a b 3 d(a) = b aρ 1 = x aρ 12 = b xρ 2 = b. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

90 Why associativity should hold... (x ρ i ) ρ j counts curves with ρ i and ρ j infinitely far apart. x (ρ i ρ j ) counts curves with ρ i and ρ j at the same height. These are ends of a 1-dimensional moduli space, with height between ρ i and ρ j varying. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

91 The local model again. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

92 ...and why it doesn t. But this moduli space might have other ends: broken flows with ρ 1 and ρ 2 at a fixed nonzero height. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

93 ...and why it doesn t. But this moduli space might have other ends: broken flows with ρ 1 and ρ 2 at a fixed nonzero height. These moduli spaces M(x, y; (ρ 1, ρ 2 )) measure failure of associativity. So... R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

94 Higher A -operations Define m n+1 (x, a(ρ 1 ),..., a(ρ n )) = y (#M(x, y; (ρ 1,..., ρ n ))) y where M(x, y; (ρ 1,..., ρ n )) consists of holomorphic curves asymptotic to x at. y at +. ρ 1 all at one height at e, ρ 2 at some other (higher) height at e, and so on. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

95 Example A2: same torus, different diagram. 1 2 x z 3 m 3 (x, ρ 2, ρ 1 ) = x m 4 (x, ρ 2, ρ 12, ρ 1 ) = x m 5 (x, ρ 2, ρ 12, ρ 12, ρ 1 ) = x. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

96 Comparison of the two examples. First chain complex: a 1+ρ 12 m 2 (,ρ 1 ) Second chain complex: x m 2 (,ρ 2 ) b x m 3 (,ρ 2,ρ 1 )+m 4 (,ρ 2,ρ 12,ρ 1 )+... x R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

97 Comparison of the two examples. First chain complex: a 1+ρ 12 m 2 (,ρ 1 ) Second chain complex: x m 2 (,ρ 2 ) b x m 3 (,ρ 2,ρ 1 )+m 4 (,ρ 2,ρ 12,ρ 1 )+... x They re A homotopy equivalent (exercise). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

98 Comparison of the two examples. First chain complex: a 1+ρ 12 m 2 (,ρ 1 ) Second chain complex: x m 2 (,ρ 2 ) b x m 3 (,ρ 2,ρ 1 )+m 4 (,ρ 2,ρ 12,ρ 1 )+... x They re A homotopy equivalent (exercise). Suggestive remark: (1 + ρ 12 ) 1 = 1 + ρ 12 + ρ 12, ρ ρ 2 (1 + ρ 12 ) 1 ρ 1 = ρ 2, ρ 1 + ρ 2, ρ 12, ρ R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

99 Again, that s a relief, since: Theorem If (Σ, α, β, z) and (Σ, α, β, z ) are pointed bordered Heegaard diagrams for the same bordered Y 3 then ĈFA(Σ) is A -homotopy equivalent to ĈFA(Σ ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

100 The pairing theorem Recall: Theorem If Y 1 = F = Y 2 then ĈF(Y 1 Y 2 ) ĈFA(Y 1) A(F ) ĈFD(Y 2 ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

101 The pairing theorem Recall: Theorem If Y 1 = F = Y 2 then At this point, one might wonder: ĈF(Y 1 Y 2 ) ĈFA(Y 1) A(F ) ĈFD(Y 2 ). Why the distinction between ĈFD and ĈFA? And why is the pairing theorem true? R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

102 Consider this local picture Here, d(x A x D ) = x A d(x D ) = x A γy D = x A γ y D = y A y D R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

103 Consider this local picture Here, d(x A x D ) = x A d(x D ) = x A γy D = x A γ y D = y A y D as desired. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

104 Using nice diagrams (analogous to Sarkar-Wang), such rectangles are the only rigid curves crossing the boundary. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

105 Using nice diagrams (analogous to Sarkar-Wang), such rectangles are the only rigid curves crossing the boundary. Any Heegaard diagram is equivalent to a nice one, so the pairing theorem follows from this simple case and invariance. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

106 Using nice diagrams (analogous to Sarkar-Wang), such rectangles are the only rigid curves crossing the boundary. Any Heegaard diagram is equivalent to a nice one, so the pairing theorem follows from this simple case and invariance. This proof probably wouldn t work for CF. There is a more involved proof that should and perhaps gives insight into the right definition of CFD and CFA... but we ll omit it for lack of time. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

107 Using nice diagrams (analogous to Sarkar-Wang), such rectangles are the only rigid curves crossing the boundary. Any Heegaard diagram is equivalent to a nice one, so the pairing theorem follows from this simple case and invariance. This proof probably wouldn t work for CF. There is a more involved proof that should and perhaps gives insight into the right definition of CFD and CFA... but we ll omit it for lack of time. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

108 Computing ĈFD for knot complements. For a knot K in S 3, ĈFD and ĈFA are determined by CFK (K). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

109 Computing ĈFD for knot complements. For a knot K in S 3, ĈFD and ĈFA are determined by CFK (K). The proof involves winding one of the α-curves like this R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

110 Computing ĈFD for knot complements. For a knot K in S 3, ĈFD and ĈFA are determined by CFK (K). The proof involves winding one of the α-curves like this...and studying boundary degenerations when curves in a bordered H.D. are allowed to cross z. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

111 Satellites It is easy to compute ĤFK of satellites from these results. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

112 Satellites It is easy to compute ĤFK of satellites from these results. In particular, one can reprove results of Eaman Eftekhary and Matt Hedden. R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50

113 Satellites It is easy to compute ĤFK of satellites from these results. In particular, one can reprove results of Eaman Eftekhary and Matt Hedden. More generally, these techniques imply HFK of satellites of K is determined by CFK of K. i.e., Theorem Suppose K and K are knots with CFK (K) filtered homotopy equivalent to CFK (K ). Let K C (resp. K C ) be the satellite of K (resp. K ) with companion C. Then HFK (K C ) = HFK (K C ). R. Lipshitz, P. Ozsváth and D. Thurston ()Towards bordered Heegaard Floer homology June 10, / 50