Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 20787

Homotopy theory, homological algebra, algebraic treatments of manifolds.

14 votes

Why is the fundamental group of a compact Riemann surface not free ?

Riffing off of Ben Steinberg's answer, which amounts to the statement that a tree is not quasi-isometric to the hyperbolic plane, here's a proof which doesn't require knowing anything about ends. Til …
Lee Mosher's user avatar
  • 15.4k
1 vote

Triangulation of fundamental domains for surfaces and generators

Here's an example. Start with a $4g$-gon $P$ with opposite sides glued, which yields a closed surface of genus $g$. Between any side-pair which is glued, there are $2g-1$ sides, which is the maximum p …
Lee Mosher's user avatar
  • 15.4k
8 votes

Manifolds covered by an n-dimensional torus

Assuming that you DO mean that $T^n$ is a finite sheeted covering space, at the very least one can say that $\pi_1(M)$ is a torsion free $n$-dimensional crystallographic group. This follows from the B …
Lee Mosher's user avatar
  • 15.4k
13 votes

Compelling evidence that two basepoints are better than one

In my proof that mapping class groups are automatic, Ann. of Math. (2) 142 (1995), no. 2, 303–384, I used a theorem from ECHLPT "Word Processing in Groups" which says that if a groupoid is automatic …
Lee Mosher's user avatar
  • 15.4k
15 votes
Accepted

Universal covering of compact surfaces

You can build a certain covering space of the surface $S$ rather explicitly as a nested union of closed discs $D_1 \subset D_2 \subset D_3 \subset \cdots$, each contained in the interior of the next, …
Lee Mosher's user avatar
  • 15.4k
4 votes

Dimension of the homology group with coefficients in $\mathbb{Z}/2\mathbb{Z}$

One way this formula is proved is using intersection number of oriented curves. The proof works just fine on any orientable surface using coefficients in any field, both for defining Betti numbers and …
Lee Mosher's user avatar
  • 15.4k
4 votes
Accepted

Embedding of $T^{2}$ on $S^{1}\times S^{2}$.

I remember this chestnut. Taken together, your two equations say that the torus $i(T)$ is contained in a 3-ball $B$ embedded in $S^2 \times S^1$: the first equation says that $i(T)$ is obtained up to …
Lee Mosher's user avatar
  • 15.4k
9 votes

Orbifold fundamental group in terms of loops?

To understand the difficulties inherent in forming a "path-based" definition of the orbifold fundamental group, it is good to ponder Serre's definition of a fundamental group of a graph of groups, giv …
Lee Mosher's user avatar
  • 15.4k
6 votes

The relationship between low dimensional topology and dynamics

The machinery of Markov partitions and stable/unstable foliations for Anosov and Axiom A diffeomorphisms was adapted to several different bits of low dimensional topology. In the Nielsen-Thurston clas …
Lee Mosher's user avatar
  • 15.4k
5 votes

Jordan curve theorem for cylinders

If you are willing to quote the Schoenflies theorem and the classification of surfaces, a quick proof of this result is a standard exercise. First, using algebraic topology (as in the proof of the Jor …
Lee Mosher's user avatar
  • 15.4k
3 votes

Classification of geometric outer automorphisms of free groups

I think the short answer is "No", you cannot deduce from this result a classification of all geometric outer automorphisms. I think it might eventually be possible to obtain a classification of geom …
Lee Mosher's user avatar
  • 15.4k
40 votes
Accepted

Connected sum of topological manifolds

In the topological category the proof that connected sum is well-defined depends on the Annulus Theorem, first proved by Kirby; the necessity of the Annulus Theorem is seen from Bruno Martelli's answe …
Lee Mosher's user avatar
  • 15.4k
4 votes

(Short) Exact sequences with no commutative diagram between them

Here is an answer involving finitely generated groups in the quotient, and free groups in the kernel and the total group. Suppose that $G$ is an infinite, finitely generated group. Let $F_n = \langl …
Lee Mosher's user avatar
  • 15.4k
2 votes

Finite index subgroups of the mapping class group with geometric meaning

I doubt there is a "classification", but there are some interesting examples. Two which come to mind: Harer's description of the moduli space of a Riemann surface with spin structure; and Torelli spac …
Lee Mosher's user avatar
  • 15.4k
5 votes
Accepted

Nielsen-Thurston classification of homeomorphisms for open surfaces?

The theories for an open surface $S$ and for a compact surface with boundary $\overline S$ whose interior is identified with $S$ are the same. The inclusion of $S$ into $\overline S$ defines an isomor …
Lee Mosher's user avatar
  • 15.4k

15 30 50 per page