On the inverse limit of the branched cyclic covers associated with a knot (Q1069177)

Die n-fach zyklisch verzweigten Überlagerungen \(\Sigma_ n\) eines Knotens \(K\subset S^ 3\) bilden ein inverses System bezüglich \(\Sigma_{m\cdot n}\to \Sigma_ n\). Bezeichnet \({\hat \Sigma}\) den inversen Limes und \(\tilde X\) die unendlich-zyklische Überlagerung des Knotenaußenraumes, so erhält man eine Abbildung i: \(\tilde X\to {\hat \Sigma}\), die einen injektiven Homomorphismus \(i_*: H_ m(\tilde X)\to \check H_ m({\hat \Sigma})\) induziert [\textit{R. C. Cowsik} and \textit{G. A. Swarup}, ibid. 11, 131-138 (1977; Zbl 0383.57001)]. Man hat \(\check H_ 1({\hat \Sigma}, {\mathbb{C}})\cong \oplus_{\omega}T_{\omega}\cong {\mathbb{C}}^{2s},\) wobei \(\omega\) die Einheitswurzeln durchläuft, die zugleich Wurzeln des Alexanderpolynoms sind. Das Hauptergebnis lautet: \[ \check H_ 1({\hat \Sigma},{\mathbb{Z}})=\oplus^{2s}_{i=1}{\mathbb{Z}} \oplus \prod_{p}\oplus^{d_ p}_{i=2s+1}{\mathbb{Z}}_ p ; \] hier bezeichnet \({\mathbb{Z}}_ p\) die ganzen p-adischen Zahlen und \(d_ p\) den mod p-Grad des Alexanderpolynoms. Als Korollar ergibt sich eine p-adische Version eines Satzes von Gordon [\textit{C. McA. Gordon}, Trans. Am. Math. Soc. 168, 357-370 (1972; Zbl 0238.55001)]. Im letzten Abschnitt wird das inverse System \(\{\Sigma_{p^ k}\}\) für eine feste Primzahl p gesondert untersucht. Es gilt: \(\lim H_ 1(\Sigma_{p^ k}, {\mathbb{Z}}_ p)=0\) für alle p.