A new algorithm for 3-sphere recognition

MaRDI QIDQ6278594zbMATH OpenFDO

Authors Michael Heusener, Raphael Zentner

Publication date 13 October 2016

Mathematics Subject Classification ID

Abstract: We prove the existence of a new algorithm for 3-sphere recognition based on Groebner basis methods applied to the variety of $extemSL(2,C)$-representation of the fundamental group. An essential input is a recent result of the second author, stating that any integer homology 3-sphere different from the 3-sphere admits an irreducible representation of its fundamental group in $extemSL(2,C)$. This result, and hence our algorithm, build on the geometrisation theorem of 3-manifolds.

This page was built for publication: A new algorithm for 3-sphere recognition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6278594)