## A conjecture of Montesinos

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Not every orientable 3-manifold is a double cover of $S^3$ branched over a link. For example, the 3-torus isn't. However, in 1975 Montesinos conjectured (Surjery on links and double branched covers of $S^3$, in: "Knots, groups and 3-manifolds", papers dedicated to the memory of R. Fox) that every orientable 3-manifold is a double branched cover of a sphere with handles i.e. the connected sum of a certain number of copies of $S^1\times S^2$ (this number can be zero, in which case we get $S^3$). Notice that this time $T^3$ does not provide a counter-example since if we take the quotient of $T^3$ by the involution $(x,y,z)\mapsto (x^{-1}, y^{-1},z)$ we get $S^2\times S^1$.

I was wondering what the status of this conjecture is.

-

## 2 Answers

It is false. For example, there are closed, orientable, aspherical 3-manifolds that admit no nontrivial action of a finite group whatsoever. The first examples were due to F. Raymond and J. Tollefson in the 1970s, I believe.

-

Thanks, Allan! I've found their papers. – algori Dec 21 2009 at 2:29

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I don't understand the answer. Why a manfold without nontrivial action cannot a branch cover of $S^1\timesS^2$? Compare it with that every 3-manfold is a 3-fold branch cover of $S^3$.

-

It's because the question asks for a 2-fold cover, which would have to be regular. – Richard Kent May 11 2010 at 14:59
I see. Thank you. – Wolffo May 11 2010 at 15:09
Then is the conjecture true when restricting the condition on manifold with $\mathbbZ$ action? – Wolffo May 11 2010 at 15:41
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.933479905128479, "perplexity_flag": "middle"}