Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
0 answers
96 views

$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?

Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
YC Su's user avatar
  • 605
5 votes
0 answers
249 views

Aspherical space whose fundamental group is subgroup of the Euclidean isometry group

Let $M$ be a smooth, compact manifold without a boundary, with its universal covering $\tilde{M} = \mathbb{R}^n$. If there exists an injective homomorphism $h: \pi_1(M) \rightarrow O(k) \ltimes \...
Chicken feed's user avatar
18 votes
0 answers
1k views

What is the strongest nerve lemma?

The most basic nerve lemma can be found as Corollary 4G.3 in Hatcher's Algebraic Topology: If $\mathcal U$ is an open cover of a paracompact space $X$ such that every nonempty intersection of ...
2xThink's user avatar
  • 81
3 votes
0 answers
282 views

Commutator length of the fundamental group of some grope

A popular way to describe a grope as the direct limit $L$ of a nested sequence of compact 2-dimensional polyhedra $L_0 \to L_1 \to L_2 \to \cdots$ obtained as follows. Take $L_0$ as some $S_g$, an ...
Shijie Gu's user avatar
  • 2,083
6 votes
1 answer
237 views

Example similar to the Griffiths twin cone but with fundamental group that allows surjection onto $\mathbb Z$

The Griffiths twin cone is an example of a wedge sum of two contractible spaces being non-contractible. Namely, it is the wedge sum $\mathbb G=C\mathbb H\vee_p C\mathbb H$ of two coni over the ...
Alexander Gelbukh's user avatar
2 votes
2 answers
151 views

How to prove that $\phi: \;\mathrm Mod(S_g)\to \mathrm Sp(2g, \mathbb{Z})$ is an epimorphism? [duplicate]

How do I prove that homomorphism $\phi : \; \mathrm{Mod}(S_g)\to \mathrm{Sp}(2g, \mathbb{Z})$ (induced by the action of mapping class group of a surface on integer homologies of a surface) is an ...
G.Tverisovskikh's user avatar
3 votes
1 answer
267 views

In what sense is every element of $H_2(G)$ "represented by a free action on some surface"

(This is a cross-post of this unanswered math.stackexchange question) In Edmond's 1982 paper Surface Symmetry II, at the bottom of page 145, he writes: "Corollary - If $G$ is a split nonabelian ...
stupid_question_bot's user avatar
18 votes
1 answer
3k views

Proper discontinuity and existence of a fundamental domain

I am currently teaching a topics course where I talk about some discrete groups acting properly. A student asked a very basic question that stumped me: what is the precise relationship between proper ...
Ilia Smilga's user avatar
  • 1,574
7 votes
2 answers
594 views

Computational cost of converting between 3-manifold presentations

Given a 3-manifold presented as a triangulation, a Heegaard splitting, or a Dehn surgery, what is the computational cost of converting to the other two presentations? I would like Heegaard splittings ...
Gorjan Alagic's user avatar