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)

4
votes
0answers
68 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, $\...
7
votes
0answers
87 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. ...
3
votes
2answers
300 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
96 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 ...
10
votes
2answers
190 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
89 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 ...
2
votes
2answers
222 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
24 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
69 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
106 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
86 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
341 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
57 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}, \frac{1}{...
0
votes
1answer
76 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 $p_1,\...
2
votes
1answer
64 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
48 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
110 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
581 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 ...
2
votes
0answers
53 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
46 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 ...
2
votes
1answer
66 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
52 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
62 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 ...
5
votes
0answers
66 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 ...
6
votes
1answer
126 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 ...
4
votes
1answer
126 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
42 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 losing ...
2
votes
0answers
88 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
73 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
78 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 \...
6
votes
1answer
2k 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
74 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 ...
2
votes
0answers
247 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
40 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 orientation-...
1
vote
2answers
41 views

Questions about the Nature of Chirality (with some focus on dimensionality)

Are all chiralities the same? (Not in the sense of "is the right hand the same as the left hand?" but in the sense of "is the way in which X is chiral the same (or negative of the same) as the way in ...
3
votes
0answers
72 views

Why are homotopy spheres spin-cobordant in dimensions divisible by 4?

Manifolds are assumed to be smooth having dimensions $\geq5$. As usual, $\Omega^{Spin}_{*}$ denotes the spin bordism ring and $\Omega^{SO}_{*}$ the oriented bordism ring. Let $\Sigma^n$ be a closed ...
1
vote
1answer
139 views

Closed 4-manifolds with uncountably many differentiable structures

I know that $\mathbb{R}^4$ admits uncountably many differentiable structures and I was wandering what happen if we consider closed (or just compact) 4-manifolds. Are there any closed (or compact) 4-...
9
votes
2answers
246 views

Surgery results in a cylinder

While reading a proof of a theorem about Reshetikhin Turaev topological quantum field theory, I encountered the following problem. Suppose we have several unlinked unknots $K_i$, $i=1, \dots, g$ in $...
3
votes
0answers
79 views

Homeomorphisms of product spaces: an example [duplicate]

In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to $...
2
votes
1answer
168 views

About generalized Schoenflies problem in the smooth category

Reading some books and comparing with Wikipedia I found some different statements about how the smooth Schoenflies problem is solved in high dimension, and I wanted to know which one is the correct ...
1
vote
1answer
146 views

Number of connected components of this complement

Let $X$ be a locally finite simplicial complex and let $K$ be a finite subcomplex of $X$. Why is the number of connected components of the complement $X-K$ finite?
2
votes
0answers
80 views

Why is this a group action?

Let $G$ be a group and let $H$ be an infinite cyclic normal subgroup of $G$ of finite index. Let $K$ be the centralizer of $H$ in G, $$K=C_G(H)$$ and suppose that the index of $K$ in $G$ is 2. Let $E$ ...
4
votes
2answers
300 views

About two notions of holonomy

I have found something called "holonomy" in two apparently different contexts: Let $M$ be a smooth manifold, $E\to M$ a vector bundle and $\nabla $ a connection on $E$. Then you have a notion of ...
2
votes
0answers
49 views

Notation and shorthand of cobordism G=O, SO, U

This is really a basic question: From Wikipedia: "The basic examples are G = O for unoriented cobordism, G = SO for oriented cobordism, and G = U for complex cobordism using stably complex manifolds."...
11
votes
1answer
212 views

Is the E8 manifold homeomorphic to a CW complex?

Is the E8 manifold homeomorphic to a CW complex? (I know that it is not triangulable) Edit: The E8 manifold is the unique compact (without boundary), simply connected topological 4-manifold, whose ...
9
votes
2answers
605 views

Does the Euler characteristic of a manifold depend upon the field of coefficients?

Define the Euler characteristic of a space $X$ to be $$\chi(X)= \sum_i \dim H_i(X, \mathbb Q)$$ This is obviously not necessarily well-defined for an arbitrary space $X$, so let $X$ be a manifold (...
4
votes
2answers
461 views

High-Dimensional Topology vs. Low-Dimensional Topology: What are the hard questions in the former?

This is a somewhat vague/non-technical question. I've heard a lot about how the topology of manifolds (smooth or otherwise) is simpler in dimension at least 5, due to the applicability of surgery ...
0
votes
1answer
160 views

Confusion about difference between homotopy, topology and isotopy

Please clear my confusion about difference between homotopy, topology and isotopy. The first question is: Is it true two objects are isotopic implies they are topologically equivalent and ...
2
votes
0answers
256 views

Homeomorphic or Homotopic

Q1: Are the Fig (a) and (b), the equivalence "=" is Homeomorphic or Homotopic? ps. for details of the figures see Ref here. I learned that "The characterization of a homeomorphism often leads ...
3
votes
0answers
91 views

Actual Definition of the term: Hopf Band?

Sorry if this is too trivial: I need an actual working definition of the term: Hopf band. I see references to it in many searches, but never an actual precise definition. All I know so far is that ...