f4d022a882cc3d7f.tex
1: \begin{definition} (Alexander grading, $n$ odd) \label{defn:SFHAlexGradingOdd}
2: Let $(\Sigma,\boldalpha, \boldbeta)$ be a Heegaard diagram representing $\boldSigma(D \times I,T^n)$ for $n \in \Z_{>0}$ odd, obtained as in the proof of Theorem 4.1, with product region $F_{g,1} \times I$.  Choose a point $p \in F_{g,1} \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_p(\phi).\]
4: \end{definition}
5: