Search Results
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 |
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 …
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 …
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 …
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 …
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, …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …