Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-20/2/i/solution

Put , with . In genus one, an intersection point is itself a generator of the Heegaard Floer chain complex. Thus the free basis is
There are infinitely many integral generators , , but these seven points are the module generators.
The obstruction to a Whitney disk class is the alpha-and-beta joining cycle in . Identify the opposite sides of the square and straighten the two small fingers of the alpha curve. Its algebraic intersection with beta is three; the remaining intersections, one in each residue class, are represented by . The four small bigons connect to to , and to to . A joining cycle between consecutive remaining strands is a meridian, which generates . Consequently the equivalence classes are exactly
Equivalently, these are the three Spin-c structures represented in the Heegaard diagram.
Use the domain convention . The positive bigons run from to , from to , from to , and from to . Their Maslov indices are one: their Euler measure is , and the two endpoint averages contribute each. Write their basepoint multiplicities as , respectively. The relative grading in Heegaard Floer homology is therefore
The reproduced figure has no visible marked . If is outside all four small bigons, as in the usual intended diagram, . One may normalize the relative Heegaard Floer gradings as
Each class has its own arbitrary additive constant, and . If the basepoint is put inside one of these disjoint bigons, exactly its multiplicity is one; the preceding boxed difference formulas give the answer without an unstated basepoint assumption.

New to topics? Read the docs here!