f37010618af33d11.tex
1: \begin{definition} (Alexander grading, $n$ even) \label{defn:SFHAlexGradingEven}
2: Let $(\Sigma,\boldalpha, \boldbeta)$ be a Heegaard diagram representing $\boldSigma(D \times I,T^n)$ for $n \in \Z_{>0}$ even, obtained as in the proof of Theorem \ref{thm:KnotFloerRel}.  Then $\Sigma$ has two boundary components, $\mu$ and $\mu'$, where $\mu$ (resp., $\mu'$) is the image in $\Sigma$ of a meridian (resp., oppositely-oriented meridian) of $K \# K^r$.  Consider the Heegaard diagram $\Sigma'$ obtained by gluing a disk $D_z$ to $\mu$.  Choose a point $z \in D_z \subset \Sigma'$, ${\bf x}, {\bf y} \in \mathbb{T}_\alpha \cap \mathbb{T}_\beta$ satisfying $\pi_2({\bf x},{\bf y}) \neq \emptyset$, and $\phi \in \pi_2({\bf x}, {\bf y})$.  Then
3: \[{\bf A}_{SF}({\bf x},{\bf y}) = n_z(\phi).\]
4: \end{definition}
5: