The homology of cyclic branched covers of \(S^ 3\)
type: Item
instance of: scholarly article
title: The homology of cyclic branched covers of \(S^ 3\)
zbMATH Open document ID: 0840.57006
DOI: 10.1007/BF01446642
author: James F. Davis
published in: Mathematische Annalen
publication date: 1996-07-01T00:00:00Z
full work available at URL: https://eudml.org/doc/165304
review text: An important invariant of a knot in the 3-sphere is the homology \(H_1 (M_p)\) of its \(p\)-fold cyclic branched cover \(M_p\) (a closed orientable 3-manifold). The action of the cyclic covering group \(C_p = \langle g \rangle\) on \(M_p\) induces on \(H_1 (M_p)\) the structure of a \(\mathbb{Z} [C_p]\)-module and, for a prime \(p\), also the structure of a \(\mathbb{Z} [\zeta] \)-module where \(\zeta\) is a primitive \(p\)-th root of unity (noting that \(\mathbb{Z} [\zeta] = \mathbb{Z} [C_p]/ \Sigma\) because the norm element \(\Sigma = 1 + g + \cdots + g^{p - 1}\) annihilates \(H_1 (M_p))\). The main result of the present paper determines what abelian groups can arise as the first homology of a \(p\)-fold cyclic branched cover \(M_p\) of a knot, by giving necessary and sufficient conditions for a finitely generated \(\mathbb{Z} [\zeta]\)-module to be isomorphic to \(H_1 (M_p)\). The characterization is in terms of cokernels of Hermitian matrices over the Dedekind domain \(\mathbb{Z} [\zeta]\), and also in terms of ideal class invariants of \(\mathbb{Z} [\zeta]\)-modules (which are elements of the ideal class group of \(\mathbb{Z} [\zeta])\). Similar results are proved also for links; in this case there remains some gap between the given necessary and sufficient conditions. The paper is in large parts algebraic proving in particular a theorem about the possible modules occuring as cokernels of Hermitian matrices over Dedekind domains, under some hypotheses.
Mathematics Subject Classification ID: 57M25
Mathematics Subject Classification ID: 11R29
zbMATH DE Number: 759280
zbMATH Keywords: knot
zbMATH Keywords: homology
zbMATH Keywords: cyclic branched cover
zbMATH Keywords: ideal class invariants
zbMATH Keywords: links
reviewed by: Bruno Zimmermann
MaRDI profile type: Publication
cites work: The homology of cyclic and irregular dihedral coverings branched over homology spheres
cites work: The homology of irregular dihedral branched covers of \(S^ 3\)
cites work: Plan's theorem for links
cites work: Q5658826
cites work: Modules Over Dedekind Rings and Valuation Rings
cites work: A characterization of knot polynomials
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Q4043127
cites work: Q4076517
cites work: Über das Geschlecht von Knoten
cites work: Invariant rational functions and a problem of Steenrod
cites work: Q3943047
description: scientific article; zbMATH DE number 759280