# Questions tagged [gt.geometric-topology]

Topology of cell complexes and manifolds, classification of manifolds (e.g. smoothing, surgery), low dimensional topology (e.g. knot theory, invariants of 4-manifolds), embedding theory, combinatorial and PL topology, geometric group theory, infinite dimensional topology (e.g. Hilbert cube manifolds, theory of retracts).

3,037 questions
Filter by
Sorted by
Tagged with
689 views

### About the proof of Wajnryb's finite presentation of Mod(S)

I'm studying Farb and Margalit's A primer on mapping class groups and trying to understand Wajnryb's finite presentation of Mod(S). I understand that There exists a finite presentation, but I can't ...
541 views

### Polynomials with roots in convex position

Let $\mathcal P_n$ denote the set of all monic polynomials of degree $n$ with real or complex coefficients such that $P\in\mathcal P_n$ if for all $k\in\lbrace 0,1,\dots,n-2\rbrace$ the $n-k$ roots of ...
1k views

### Free splittings of one-relator groups

Roughly speaking, I want to know whether one-relator groups only have 'obvious' free splittings. Consider a one-relator group $G=F/\langle\langle r\rangle\rangle$, where $F$ is a free group. Is it ...
2k views

### Example of Noetherian group (every subgroup is finitely generated) that is not finitely presented

A Noetherian group (also sometimes called slender groups) is a group for which every subgroup is finitely generated. (Equivalently, it satisfies the ascending chain condition on subgroups). A ...
138k views

### Intuitive crutches for higher dimensional thinking

I once heard a joke (not a great one I'll admit...) about higher dimensional thinking that went as follows- An engineer, a physicist, and a mathematician are discussing how to visualise four ...
285 views

### Does every retraction of free groups arise from projection to a subset of a freely generating set?

Suppose $F_1$ and $F_2$ are free groups, and suppose $\alpha:F_1 \to F_2$ is a surjective homomorphism. Then, because $F_2$ is free, the homomorphism splits, and we get a subgroup $H$ of $F_1$ ...
887 views

### Can we make rigorous the 'obvious' characterisation of singular homology?

It is a well known and often touted fact that the singular homology groups 'count the k- dimensional holes' in a space (see: How does singular homology H_n capture the number of n-dimensional "...
3k views

1k views

### A Reference for Schubert's Theorem

Schubert's Theorem in Knot Theory says that any knot can be uniquely decomposed as the connected sum of prime knots. Unfortunately the original paper is in German. Does anyone know a good english ...
3k views

### Does this approach for the Poincaré conjecture work?

Several months ago a paper was posted at http://arxiv.org/abs/1001.4164 called "Another way of answering Henri Poincaré's fundamental question." The author gave a talk on it today at my institution. ...
993 views

### Möbius and projective 3-manifolds

A projective 3-manifold is a smooth manifold that admits an atlas with values in the real projective 3-space such that all transition maps are restrictions of projective transformations. A Möbius 3-...
708 views

### The kernel of the map from the handlebody group to Outer automorphisms of a free group

Let $K$ be a compact oriented 3-dimensional handlebody of genus $g$. The group $H_g$ of isotopy classes of diffeomorphisms of $K$ is called the handlebody group. (It embeds as a subgroup of the ...
2k views

### Group action, Fixed point set and Orbit Space

I want to know to what extent is the group action determined by its fixed point data and orbit data, i.e. if $G$ acts on $M$ in two ways with the same fixed point set and orbit space, on what ...
615 views

### Is every (finite) group action on R^n by diffeomorphisms conjugate to a linear action?

I want to know if every smooth (finite)group action on $\mathbb{R}^n$ is conjugate to some linear action.Thank you!
464 views

### Self-homomorphisms of surface groups

Let $X$ be a closed, orientable surface of genus at least 2, and let $\phi: \pi_1(X) \to \pi_1(X)$ be a surjective homomorphism. Is $\phi$ necessarily injective?
2k views

### Compactification theorem for differentiable manifolds ?

Just parallelling this question, that seemed not to admit an easy answer at all, let's "soft down" the category and ask the same thing in the case of $\mathcal{C}^{\infty}$-differentiable manifolds [...
2k views

### Classification of mapping tori

Assume $M$ is a topological space and $f\in \operatorname{Homeo}(M)$, then $f$ obviously plays a significant role in the torus bundle $$M_f = M\times I/\{(x,0)\sim (f(x),1)\mid x\in M\}.$$ Hence ...
2k views

### exotic differentiable structures on manifolds in dimensions 5 and 6

It's a result of low-dimensional topology that in dimensions 3 and lower, two manifolds are homeomorphic if and only if they are diffeomorphic. Milnor's 7-spheres give nice counterexamples to this ...
188 views

### A question about axes of symmetry in the plane.

Suppose J is a Jordan curve in the Euclidean plane E and that there are two perpendicular straight lines in E, each of which is an axis of symmetry of J. Does the intersection point of these two ...
1k views

### To what extent is convexity a local property?

A polyhedron is the intersection of a finite collection of halfspaces. These halfspaces are not assumed to be linear, i.e. their bounding hyperplanes are not assumed to contain the origin. The ...
1k views

### Isometry classification of spherical space forms

A spherical space form is a compact Riemannian manifold of constant sectional curvature $1$, or equivalently, the quotient of the unit sphere by a finite group of orthogonal transformations that have ...
4k views

### Turning pants inside-out (or backwards) while tied together

An entertaining topological party trick that I have seen performed is to turn your pants inside-out while having your feet tied together by a piece of string. For a demonstration, check out this ...
617 views

### Knot complement diffeomorphism groups and embedding spaces

I'm interested in the following collection of questions: Let $S^n_k = \sqcup_k S^n$ be a disjoint union of $k$ distinct $n$-dimensional spheres. Write $Emb(S_k^n, S^{n+2})$ for the space of ...
527 views

356 views

### Singular, holonomy-free connections on Riemannian surfaces?

Consider principal connections on the frame bundle of a compact, connected, smooth, orientable Riemannian surface embedded in $\mathbb{R}^3$. On a disk $D$, it is apparent that you can construct a ...
3k views

### Why is complex projective space triangulable?

In an exercise in his algebraic topology book, Munkres asserts that $\mathbf{C}P^n$ is triangulable (i.e., there is a simplicial complex $K$ and a homeomorphism $|K| \rightarrow \mathbf{C}P^n$). Can ...
2k views

### Orbifold fundamental group in terms of loops?

In chapter 13 in his notes on 3-manifolds, Thurston defines the orbifold fundamental group to be the group of deck transformations of the universal cover of the orbifold. He also makes a statement "...
In the following every surface is assumed to be connected. I've read that the commutative monoid of homeomorphism classes of closed surfaces is generated by $P$ (projective plane) and $T$ (torus) ...