# Outer automorphism group of Brieskorn homology sphere?

In this post, it is discussed how a Brieskorn homology sphere $$\Sigma(a_1,a_2,a_3)$$ with $$\displaystyle \frac{1}{a_1}+ \frac{1}{a_2}+ \frac{1}{a_3} < 1$$ is an aspherical manifold with a superperfect fundamental group with non-trivial center. Would anyone know what the outer automorphism groups of their fundamental groups are? I'm looking to do semidirect products with these groups as the kernel group with another group ($$\mathbb{Z} \times \mathbb{Z}$$) as the quotient group, so I need to know the outer automorphism groups of these groups.

EDIT: Would SnapPy be able to help with this? https://www.math.uic.edu/t3m/SnapPy/

• It is finite, depends on the parameters $a_i$ (more precisely, how many of these are equal). Commented Mar 31, 2021 at 21:45
• Since it's specified to be a homology sphere, the $a_i$ are relatively prime. I think the answer is Z/2 in general. Commented Mar 31, 2021 at 23:44
• @DannyRubeman Thanks so much! If I may "go to your well" one more tome, do you have a reference for that? Commented Apr 1, 2021 at 11:49
• @Jeffrey Rolland I'll put this as an answer. Commented Apr 1, 2021 at 12:33

The answer is that the outer automorphism group is $$\mathbb{Z}_2$$. (Compare Ian Agol's answer to What is the order of the isotopy group of the Brieskorn homology 3-sphere?). This is obtained by cobbling together several standard facts. Much of this can be found in Boileau and Otal, Scindements de Heegaard et groupe des homéotopies des petites variétés de Seifert. (French) [Heegaard splittings and homeotopy group of small Seifert manifolds] Invent. Math. 106 (1991), no. 1, 85–107.