No label defined (Q4263288)

The author studies quantum \(SU(2)\)-invariants associated to roots of unity. In an earlier paper [Math. Proc. Camb. Philos. Soc. 115, No. 2, 253-281 (1994; Zbl 0832.57005)], the author showed that if \(r\) is an odd prime and \(M\) is a \(Z/rZ\)-homology 3-sphere, then the \(SO(3)\)-invariant \(\tau_r^{SO(3)}(M)\) belongs to \(Z[q],\) with \(q = \exp(2\pi i/r)\) and is related to the Casson-Walker invariant. The current paper studies another series of invariants which refine the quantum \(SU(2)\)-invariants. For an odd integer \(p > 1\) and \(\alpha \in H^1(M;Z/2Z),\) an invariant \(\tau_{2p}^{SU(2)}(M,\alpha)\) is defined and satisfies \(\tau_{2p}^{SU(2)}(M) = \sum_{\alpha \in H^1(M;Z/2Z)} \tau_{2p}^{SU(2)}(M,\alpha)\). In this paper the author studies the case when \(\alpha = 0.\) He proves results analogous to his earlier work on \(\tau_r^{SO(3)}(M)\). Let \(p\) be an odd prime, \(M\) a \(Z/pZ\)-homology 3-sphere and \(| H_1(M;Z)| \) the number of elements in \(H_1(M;Z).\) Let \(\xi = \exp(2\pi i/ p)\) and denote \(Z[1/2]\) by \(Z_{(2)}\). He defines \(T: Z_{(2)}[\xi] \to Z/pZ\) by \(T(\sum_{j=0}^{r-2} a_j/2^{k_j}\xi^j) = \sum_{j=0}^{r-2} \overline 2^{k_j} a_j,\) where \(r = 2p\) and \(\overline x \in Z/pZ\) is the inverse of \(x\). He shows \(\tau_{2p}^{SU(2)}(M,0) \in Z_{(2)}[\xi],\) computes \(T(\tau_{2p}^{SU(2)}(M,0))\) and gives a formula relating \(T(\tau_{2p}^{SU(2)}(M,0))\) to the Casson-Walker invariant. For the entire collection see [Zbl 0919.00057].