Small Heegaard genus and SU(2)
This paper investigates when the fundamental groups of \(3\)-manifolds have nonabelian homomorphisms into \(\mathrm{SU}(2)\). In particular, the paper focuses on rational homology \(3\)-spheres \(Y\) of Heegaard genus two with \(H_1(Y;\mathbb{Z})\) of order \(1\), \(3\), or \(5\). Since the fundamental groups for \(3\)-manifolds of Heegaard genus one are abelian, we should start with \(3\)-manifolds of Heegaard genus two. According to [\textit{J. S. Birman} and \textit{H. M. Hilden}, Trans. Am. Math. Soc. 213, 315--352 (1975; Zbl 0312.55004)], we can think of a closed \(3\)-manifold of Heegaard genus two as the double branched cover over \(S^3\) along a \(3\)-bridge link. The main result shows that there is a nonabelian homomorphism of \(\pi_1(Y)\) into \(\mathrm{SU}(2)\) when \(Y\) is a rational homology \(3\)-sphere of Heegaard genus two with \(H_1(Y;\mathbb{Z})\) of order \(1\), \(3\), or \(5\). Actually the authors show that there are no rational homology \(3\)-spheres \(Y\) of Heegaard genus two with \(H_1(Y;\mathbb{Z})\) of order \(1\), \(3\), or \(5\) such that \(\pi_1(Y)\) has only abelian homomorphisms into \(\mathrm{SU(2)}\). To show this result, they establish a surjection onto the set of rational homology \(3\)-spheres \(Y\) of Heegaard genus two such that \(\pi_1(Y)\) has only abelian homomorphisms into \(\mathrm{SU}(2)\) from the set of knots \(K\) in \(S^3\) of bridge number three such that \(\pi_1(S^3 \setminus K)\) has only \textit{simple} meridian-traceless homomorphisms into \(\mathrm{SU}(2)\). Here a meridian-traceless homomorphism means that it sends every meridian to a traceless matrix and we call it simple when its image is contained in the binary dihedral group of \(\mathrm{SU}(2)\), up to conjugation. Such simple, meridian-traceless homomorphisms form a slightly larger class of homomorphisms, including abelian ones. In the above surjection, a rational homology \(3\)-sphere \(Y\) is given by the double branched cover \(\Sigma_2(K)\) along a knot \(K\). Therefore the knot determinant of \(K\) equals the order of \(H_1(Y; \mathbb{Z}) = H_1(\Sigma_2(K); \mathbb{Z})\). The authors determine that the knots \(K\) with determinant \(1\), \(3\), or \(5\) such that their knot groups have only simple meridian-traceless homomorphisms into \(\mathrm{SU(2)}\) are the unknot (the case of knot determinant \(1\)), the trefoil knot (the case of knot determinant \(3\)), the figure eight knot or the torus knot of type \((2, 5)\) (the case of knot determinant \(5\)). The bridge numbers of these knots are at most two (and the Heegaard genus of their double branched covers is at most one). The surjection shows that there are no rational homology \(3\)-spheres of Heegaard genus two such that the fundamental groups have only abelian homomorphisms into \(\mathrm{SU}(2)\).\N\NIn the process of showing the case of the knot determinant \(3\), the authors also provide useful results on the set of meridian-traceless homomorphisms from a knot group into \(\mathrm{SU}(2)\) and the Alexander polynomial of a knot. According to the result of meridian-traceless homomorphisms, we can detect the trefoil knot by the set of homomorphisms of a knot group into \(\mathrm{SU}(2)\) such that they send a fixed meridian to the diagonal matrix with diagonal components \(\pm \sqrt{-1}\). As for the Alexander polynomial of a knot, they express the coefficients of the Alexander polynomial as the dimensions of the instanton knot homology groups for a knot with knot determinant prime such that the knot groups have only simple homomorphisms into \(\mathrm{SU}(2)\). Finally the paper considers the case of rational homology \(3\)-spheres \(Y\) of Heegaard genus two with order \(|H_1(Y;\mathbb{Z})|=2\) (even). It is shown that there is a nonabelian homomorphism of \(\pi_1(Y)\) into \(\mathrm{SO}(3) = \mathrm{SU}(2) / \{\pm I\}\) when \(Y\) is a rational homology \(3\)-sphere of Heegaard genus two with \(|H_1(Y; \mathbb{Z})|=2\). We can regard such a rational homology \(3\)-sphere \(Y\) as the double branched cover of \(S^3\) along a link \(L\) of bridge number three with link determinant \(2\). The homomorphism of \(\pi_1(Y)\) into \(\mathrm{SO}(3)\) comes from a meridian-traceless homomorphism of \(\pi_1(S^3 \setminus L)\) into \(\mathrm{SU}(2)\) together with the adjoint action of \(\mathrm{SU}(2)\) on the Lie algebra \(\mathfrak{su}(2)\). To derive this result, the authors also determine that a link of link determinant two such that the link group has only simple homomorphisms into \(\mathrm{SU}(2)\) is the Hopf link. This classification deduces that there are no rational homology \(3\)-spheres \(Y\) of Heegaard genus two such that \(\pi_1(Y)\) has only abelian homomorphisms into \(\mathrm{SO}(3)\).
- \(C^0\) approximations of foliations
- A class of knots with simple SU(2)-representations
- A few remarks about symplectic filling
- A knot invariant via representation spaces
- A Menagerie of SU(2)-Cyclic 3-Manifolds
- Approximating \(C^{0}\)-foliations by contact structures
- Branched covers of quasi-positive links and L-spaces
- Deformations of dihedral representations
- Dehn surgery, the fundamental group and \(\operatorname{SU}(2)\)
- Donaldson invariants of symplectic manifolds
- Equivariant Floer theory and gluing Donaldson polynomials
- Fixed-point-free pseudo-Anosov homeomorphisms, knot Floer homology and the cinquefoil
- Flat connections, the Alexander invariant, and Casson's invariant
- Floer homology groups in Yang-Mills theory
- Haken manifolds and representations of their fundamental groups in SL(2,\({\mathbb{C}})\)
- Heegaard Splittings of Branched Coverings of S 3
- Holomorphic disks and genus bounds
- scientific article; zbMATH DE number 3170876 (Why is no real title available?)
- scientific article; zbMATH DE number 3977956 (Why is no real title available?)
- scientific article; zbMATH DE number 1111396 (Why is no real title available?)
- Instanton L-spaces and splicing
- Instanton Floer homology and the Alexander polynomial
- Instanton homology and the Alexander polynomial
- Instantons and \(\mathrm{L}\)-space surgeries
- Khovanov homology detects the trefoils
- Khovanov homology is an unknot-detector
- Knots, sutures, and excision
- Monopoles and lens space surgeries
- On a Certain Numerical Invariant of Link Types
- On meridian-traceless \(\mathrm{SU}(2)\)-representations of link groups
- On the Alexander polynomial
- On the geometry of the slice of trace-free \(SL_2(\mathbb{C})\)-characters of a knot group
- On Transverse Knots and Branched Covers
- Polynomial invariants for smooth four-manifolds
- Representations of Knot Groups in SU(2)
- Signature of Links
- Small Dehn surgery and \(\operatorname{SU}(2)\)
- Some 3-dimensional transverse \(\mathbb{C}\)-links (constructions of higher-dimensional \(\mathbb{C}\)-links, I)
- Some computations on instanton knot homology
- Stein fillings and \(\operatorname{SU}(2)\) representations
- Three dimensional manifolds, Kleinian groups and hyperbolic geometry
- Toroidal integer homology three‐spheres have irreducible SU(2)$SU(2)$‐representations
- Varieties of Group Representations and Casson's Invariant for Rational Homology 3-Spheres
- Witten's conjecture and Property P
- Über eine numerische Knoteninvariante
This page was built for publication: Small Heegaard genus and \(\mathrm{SU}(2)\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6936504)
