1: \begin{definition}

2: \label{def:Zkobstrmap}

3: The \emph{index obstruction map} (which appears in the statement

4: of Theorem A) is the map

5: $\ind^{\Zk}\co \Omega^\spZk_*\to KO^{\Zk}_*$ defined by

6: composing the map $\alpha^{\Zk}$ of Proposition \ref{prop:alphaZk}

7: with projection onto the inverse image of

8: the torsion in $\widetilde{KO}_{*-1}(\bR[\bZ/k])$. (Recall

9: that assembly gives a split surjection from

10: $\widetilde{KO}_{*-1}(B\bZ/k)$ onto the torsion in

11: $\widetilde{KO}_{*-1}(\bR[\bZ/k])$, and that we have the short exact

12: sequence \eqref{eq:KOBzk1}.)

13: \end{definition}

14: