The corpus of tools and results that arose from studying manifold theory using non-algebraic techniques, that is, as opposed to (algebraic-topology). The focus of the field tends to be on special objects/manifolds/complexes and the topological characterisation and classification thereof. A key ...

learn more… | top users | synonyms (1)

1
vote
1answer
22 views

Geometric Intuition for “Right-Veering” Property of $f$ in MCG(S)?

let $S$ be a compact surface with non-empty boundary, let $\alpha : [0,1] \rightarrow S$ be a Properly-embedded arc (meaning both endpoints of the arc are in $\partial S$) and let $f$ be an element ...
2
votes
1answer
73 views

The notion of a right-angled hexagon in hyperbolic geometry

I was hoping someone would help me understand better what a "right-angled hexagon" is in hyperbolic geometry. I know these are glued together somehow to produce hyperbolic pairs-of-pants. The only ...
8
votes
2answers
99 views

Is every self-homeomorphism homotopic to a diffeomorphism?

Given a smooth manifold $M$, is every homeomorphism $M \to M$ homotopic to a diffeomorphism? Hirsch's "Differential Topology" has a proof that every $C^1$ diffeomorphism of smooth manifolds is ...
0
votes
1answer
37 views

Are there “interesting” examples of complete finite-volume non-compact Riemannian manifolds that are not non-positively curved?

Moreover, it would be good that, if $M$ is such an example, its universal cover $\tilde M$ is "highly" symmetric, i.e. the group G of isometries of $\tilde M$ is "big" (for example, transitive, or a ...
1
vote
0answers
15 views

Alexander Method for non-orientable Surface

From Farb and Margalit,Primer on Mapping Class Group, p.62, we know For example for torus with four puncture we can choose following claret red curves. Curves are choosen such that their complement ...
0
votes
1answer
28 views

Classification of Triangulated Surface

this is for a homework problem, although not the problem itself, and I'm looking for a little guidance. In the problem, I am given a very long list of triangles, approximately 40, and asked to ...
3
votes
1answer
108 views

How to prove that $CP^4$ cannot be immersed in $R^{11}$

Please let me know how to prove that $CP^4$ cannot be immersed in $R^{11}$. I know a proof using an integrality theorem for differentiable manifolds but I want to know if a more direct and simple ...
1
vote
1answer
52 views

Existence of CAT(0)-metrics

Given a metrisable, contractible topological space. Under which conditions exists a CAT(0)-metric compatible with the given topology?
0
votes
1answer
29 views

How can I show that if a set is bounded, then it's contained in a k-cell?

The set is a bounded subset of R (under the Euclidean metric), and a k-cell is a set of points {x_1...x_k} such that a_j < x_j < b_j for j=1...k. Any ideas on how to show this?
0
votes
0answers
14 views

Classification of surface with 18-gon planar diagram

For starters, this is a problem from L. Christine Kinsey's "Topology of Surfaces." The problem is to classify the surface using cut and paste arguments on polygons. However, between my limited ...
0
votes
1answer
53 views

Proof of Jordan curve theorem

Is it possible for the following to be proof for Jordan curve theorem: Given the distance function on $\mathbb{R}^2$ ($d((x_1,y_1),(x_2,y_2))=\sqrt{ |x_2-x_1|^2 + |y_2-y_1|^2}$), and $\varepsilon ...
2
votes
1answer
49 views

Extenting a homeomorphism on subsurface to the entire surface

Suppose you have surface and a subsurface. The complement of subsurface is union of open discs and once punctured open discs. Can all homeomorphisms of the subsurface be extended to homeomorphisms of ...
0
votes
0answers
29 views

An integrality theorem for immersions of complex projective spaces in the euclidean space [closed]

There are two questions: Please let me know your proof of the following theorem: If $CP^3$ can be immersed in $R^8$ with an Euler class $W_{2}(\nu)$ for the normal bundle of $CP^3$ respect to ...
3
votes
0answers
30 views

Surgery or Partial Whitney Trick in McDuff and Salamon proof of Gromov squeezing

In the proof of Gromov squeezing in McDuff and Salamon's epic J-Holomorphic Curves and Symplectic Topology, the authors use a surgery argument without any explicit construction. In the following, ...
0
votes
0answers
40 views

What is the definition of boundary-parallel Dehn twist?

I have not been able to find a working definition for the term: "boundary-parallel Dehn twist ". I know what a boundary-parallel surface is, and what a parallel surface is, but I have not been able to ...
7
votes
0answers
53 views

Is “slightly deform” a well defined concept in mathematical proof?

In topological proofs the phrase "slightly deform" is widely used. To me, although I can accept the idea intuitively, the phrase "slightly deform" does not sound like a strict mathematical concept. ...
2
votes
2answers
77 views

Proof of Brouwer's Fixed Point Theorem.

What is the simplest way to prove Brouwer's Fixed Point Theorem in three dimensions?
3
votes
2answers
72 views

Is there only one free (continuous) action of $\mathbb{Z}_2$ on $S^2$?

We all know that the antipodal map is a free action of $\mathbb{Z}_2$ on $S^2$. Considering $\mathbb{Z}_2 = \{1, -1\}$, a free action may be viewed as a map $f : S^2 \rightarrow S^2$, i.e. the action ...
11
votes
2answers
149 views

Partitioning the plane into three sets each intersecting the vertices of every square with side 1?

Q1. Is it possible to partition the plane into three sets such that each of them contains at least one vertex of every square with side 1 ? (I mean all squares of side-length 1, not just those with ...
1
vote
0answers
55 views

A Mistake in GTM 247 (Braid Groups)?

I am reading Braid Groups (GTM 247) by Kassel Christian and Turaev Vladimir and am puzzled by a detail in the proof of a theorem: I do not quite see the reason of the inequality sign in the ...
0
votes
2answers
109 views

isotopy of homeomorphisms of a torus

Let's consider some homeomorphism of a torus which is isotopic to identity. Is it possible to construct an explicit isotopy? Edit: It's well-known statement that a homoemorphism of a torus is ...
0
votes
1answer
19 views

Gluing of two geodesic space along a proper space is geodesic.

Let $X_1$ and $X_2$ geodesic metric spaces glued along $A$ a proper subspace of both and then given the pseudo metric. Why is the glued space geodesic? Any hint ? For notation and details one can ...
0
votes
1answer
48 views

Discontinuity of the identity function in topology

According to a theorem I was taught, the identity function $id(x)=x$ from $(\mathbb{R}, \tau_1)$ to $(\mathbb{R}, \tau_2)$ is continuous if $\tau_1 = \tau_2$. Are there any examples of topologies ...
1
vote
1answer
33 views

Plane models from the “word”

I have a "word" for a plane model $abacdc^{-1}db^{-1}$. From what I reckon, it's a torus. But I am not too sure of it. I sketched it up and did some "adjustments". Could it be a projective plane ...
3
votes
1answer
73 views

Forgetting a Strand in Braid Groups

Let $B_n$ be the braid group of $n$ strings over the unit disk $D$. Let $$d_i:B_n\to B_{n-1}$$ be the operation which is obtained by forgetting the $i$-th strand, $1\leq i\leq n$. Geometrically this ...
7
votes
1answer
311 views

Does there exist homeomorphism without fixed points?

Does there exist a homeomorphism of the unit disk with two holes $$\left\{(x,y):x^2+y^2 \le 1\right\} \setminus \left (\left \{(x,y):\left(x+ \frac 1 2 \right)^2+y^2 < \frac 1 {10} \right \} ...
0
votes
3answers
46 views

Is the closure of an open connected subset of $\mathbb{R}^{n}$ a topological manifold?

If we remove the connectedness restriction, there are easy counter examples, as in: $\left(\frac{1}{2}, \frac{1}{1}\right) \cup \left(\frac{1}{4}, \frac{1}{3 }\right) \cup \left(\frac{1}{6}, ...
0
votes
0answers
34 views

Generalized Heegaard splittings and the rank of the fundamental group

Let $M$ be a compact, connected, orientable 3-manifold. Then M possesses a Heegaard splitting into two handle bodies of equal genus $g$. By looking at the Heegaard diagram and using Seifert ...
0
votes
1answer
47 views

Braid Groups on Manifolds

I am studying braid groups on manifolds and am getting confused. In a geometric definition, one needs to first choose a simple curve $\theta$ on a given manifold $M$ and well-ordered points ...
1
vote
1answer
44 views

Are there PL-exotic $\mathbb{R}^4$s?

The title may or may not say it all. I know that there are examples of topological 4-manifolds with nonequivalent PL structures. In some lecture notes, Jacob Lurie mentions that not every PL manifold ...
0
votes
1answer
36 views

Non-punctual Boundary

In the book of Bill Thurston, Three dimensional geometry and topology, there is an exercise to show torus can be partitioned into 7 countries, each on one piece and has common (non-punctual) ...
4
votes
2answers
49 views

Complement of a solid genus-2-handlebody in $S^3$

I'm not sure if this is a stupid question or not but is the complement of a solid genus-2-handlebody in $S^3$ also a solid genus-2-handlebody? Thanks!
0
votes
0answers
77 views

Topology of biological compartments

In the field of cell biology, there is a general sub-field concerned with the topology of organelle membranes, and a key focus remains on how these dynamic membranes deform and interact with cellular ...
1
vote
0answers
19 views

Ribbon Surfaces and Legendrian Graphs on Contact 3-manifolds.

Let $M=(M, \xi)$ be a contact 3-manifold. I am trying to show that every Legendrian graph L (i.e., a graph embedded in $M$ so that it is everywhere-tangent to the contact planes) admits a ribbon ...
0
votes
0answers
32 views

Doubt about local flatness of low dimensional embeddings

I would like to know if it is possible to have a simple curve $\gamma $ on a surface $S$ such that $\gamma$ is compact and embedded (i.e. with respect to the topology induced from $S$ it is ...
0
votes
0answers
18 views

Isotopy of a graph extending to an ambient isotopy

Let $\Gamma$ be a graph and $f: \Gamma \rightarrow \mathbb{R}^{2}$ be its embedding into the plane. Suppose I deform $f$ with an isotopy, ie. I have a map $F: \Gamma \times I \rightarrow ...
2
votes
1answer
54 views

When gluing maps are isotopic?

Let $M$ and $M'$ be compact orientable connected topological 3-manifolds. (One may need more conditions to answer the question.) Suppose we have two homeomorphisms $f$ and $g$ from the boundary ...
0
votes
1answer
26 views

Definition of a metric space with bounded growth

Does anyone know the definition of a metric space with bounded growth? I was reading a paper by Roe titled Hyperbolic groups have finite asymptotic dimension, where he writes a definition, but I ...
3
votes
0answers
44 views

References on the relations between Top, Diff and PL

I have heard many times informal statements like "differentiable and pl manifolds are essentially the same for such and such dimensions", but I would like to know what they mean exactly and how such ...
3
votes
0answers
32 views

Existence of orientation-reversing automorphisms

Let $M$ be a connected orientable manifold (I don't really care about which category of manifolds we should work in). Since I read that there are nice manidolds without orientation-reversing ...
4
votes
1answer
75 views

Mapping Class Group

$\newcommand{\MCG}{\mbox{MCG}}$Let $\alpha$, $\beta$ be non-isotopic, non-separating curves on a surface $S$ (meaning that "cutting along " them will not disconnect the surface). How do we show that ...
3
votes
1answer
93 views

For a Cantor set $\mathcal{C} \subset S^3$ such that $\pi_1(S^3 \setminus \mathcal{C})=0$, prove $S^3 \setminus \mathcal{C}$ can be split by a sphere.

I'm working from the paper Cantor Sets in $S^3$ with Simply Connected Complements by Richard Skora. On page 184 the second sentence states that any Cantor set $\mathcal{C} \subset S^3$ such that ...
1
vote
2answers
38 views

Are topologically well-behaved measure 0 subsets of $\Bbb R^2$ finite graphs?

Conjecture: If $X\subseteq \Bbb R^2$ is locally simply connected (hence locally path connected), compact and Lebesgue measure $0$ then $X$ is homeomorphic to a finite graph. It is clear that ...
2
votes
0answers
77 views

A Homeomorphism that is not unique even upto Isotopy

I'm currently reading the following paper by Richard Skora, entitled Cantor sets in $S^3$ with simply connected complements found here, and on page 2, just before Theorem 1, it says "the homeomorphism ...
1
vote
0answers
51 views

An Atlas for $\mathbb{R}/{2\pi \mathbb{Z}} $

I've been having some difficulty finding an atlas for $\mathbb{R}/{2\pi \mathbb{Z}}$. The way I have been thinking of this so far is by using the standard projection map $\pi$ on open intervals of ...
1
vote
1answer
48 views

Number of connected components of the complement of a closed curve.

Let $\gamma:[0,1] \rightarrow \mathbb{R}^2$ be a continuous, closed curve (i.e. $\gamma(0) = \gamma(1)$). My question is about the number of connected components of the complement $\mathbb{R}^2 ...
5
votes
1answer
324 views

Russian Texts on Geometry

I recently saw a question today pertaining to Russian mathematics and I have a similar question but of a slightly different flavor. I've always heard that the Soviet Union had a history of producing ...
5
votes
1answer
64 views

The graph of $x\mapsto |x|$ cannot be the image of an immersion.

How can one prove that the set $\{(x,|x|)\in \mathbb{R}^2 \mid x\in \mathbb{R}\}$ cannot be the image of an immersion of a smooth manifold? This was my homework exercise in a course about ...
1
vote
0answers
73 views

What is a manifold with cusp?

What I am primarily currently learning about is hyperbolic geometry and methods to find hyperbolic structures on triangulated manifolds. I see phrases such as 'cusp ends' and 'manifold with one cusp' ...
3
votes
1answer
28 views

Extensions of diffeomorphisms of $S^2$ and the connectedness of $\text{Diff}^+(S^2)$

In this MO question by Daniel Moskovich, he claims that the fact that every diffeomorphism of $S^2$ extends to a diffeomorphism of $D^3$ implies that $\text{Diff}^+(S^2)$, the group of ...