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)

61
votes
0answers
2k views

In $n>5$, topology = algebra

During the study of the surgery theory I faced following sentence: Surgery theory works best for $n > 5$, when "topology = algebra". I don't know what is the meaning of topology=algebra. ...
9
votes
0answers
156 views

Prerequisites for studying Perelman's proof of the Geometrization Conjecture

I want to set a course toward understanding Perelman's proof of the Geometrization Conjecture. I realize this will be a lengthy undertaking, but hopefully only on the order of one to two years. I am ...
9
votes
0answers
311 views

When are maps between topological manifolds automatically surjective?

Take an injective (continuous) map $T:\mathbb{S}_1\to\mathbb{S}_1$. It's an obvious fact (though I can only prove it with nontrivial facts about homotopy) that $T$ is automatically surjective. I have ...
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. ...
6
votes
0answers
175 views

Symmetric product of genus 2-surface

Let $\Sigma$ be the genus 2-surface. Denote $\operatorname{Sym}^2(\Sigma)=\Sigma\times \Sigma/\mathbb{Z}/2$, where $\mathbb{Z}/2$ acts on $\Sigma\times \Sigma$ by $(x,y)\mapsto (y,x)$. In the very ...
6
votes
0answers
108 views

How difficult is it to impose a differential structure on a fractal?

Assuming we have a 4-dimensional smooth manifold $M$ embedded in $\mathbb{R}^{m}$ that is difficult to understand its differential structure. For convenience's sake we can assume it is compact, simply ...
5
votes
0answers
71 views

Rigorous definition of an embedded connected sum.

Can someone point me to a rigorous definition of a connected sum of two smooth embeddings? I know about the usual construction, the problem is that I can't find a proof that this construction is well ...
5
votes
0answers
62 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 ...
5
votes
0answers
146 views

Problem from Hempel — surfaces in Lens spaces

This isn't a homework problem, just working through Hempel's 3-Manifolds for my own benefit. One exercise is to show that the lens space $L(2k,q)$ contains a surface of Euler characteristic $2-k$. ...
5
votes
0answers
141 views

$\operatorname{Spin}^c(n)$ is a Lie group?

Assume that $n\geq 3$. (This implies $\pi_1(\operatorname{SO}(n))=\mathbb{Z}/2$.) Let $\rho\colon \operatorname{Spin}(n)\to \operatorname{SO}(n)$ be the 2-fold universal cover. Identify $\ker(\rho)$ ...
5
votes
0answers
93 views

Do we really need to use the Jordan-Schönflies Theorem to prove that every surface can be triangulated?

I have read that most proofs of the triangulability of surfaces require the use of the Jordan-Schönflies Theorem. However, is such high-tech machinery really needed? The problem is that 3-manifolds ...
5
votes
0answers
171 views

Heegaard Splitting of Brieskorn homology 3-spheres

For pairwise coprime integers $(p,q,r)$, we define a Brieskorn homology 3-spheres by $\Sigma(p,q,r)=\{(z_1,z_2,z_3)\in\mathbb{C}^3 | z_1^p+z_2^q+z_3^r=0, |z_1|^2+|z_2|^2+|z_3|^2=1\}$. I want to know ...
5
votes
0answers
245 views

Points in the plane at integer distances

Does there exist a set of $n$ points $p_1,p_2,...,p_n$ in the plane, all at mutual integer distances to each other, and an $e>0$, such that the following statement holds: For all $a,b$ with ...
4
votes
0answers
51 views

group actions of fundamental groups on homotopy groups

Let $\pi_n(\mathbb{R}P^n)$ be the $n$-th homotopy group of the $n$-dimensional projective space. Then by the long exact sequence of homotopy groups associated to the fibration $S^n\to \mathbb{R}P^n\to ...
4
votes
0answers
94 views

Homotopically equivalent manifolds and product with $\mathbb{R}$

I know that some manifolds which are homotopically equivalent become homeomorphic after taking the product with $\mathbb{R}$, e.g. $\mathbb{T}^{2}$ minus a point and $\mathbb{S}^{2}$ minus three ...
4
votes
0answers
55 views

What is the relation between the construction of Reshetikhin-Turaev and Witten's paper?

I have read that the papers of Reshetikhin and Turaev provide a mathematically rigorous framework for the ideas contained in Witten's paper "Quantum field theory and the Jones polynomial". Can ...
4
votes
0answers
67 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, ...
4
votes
0answers
62 views

What is a 2-surgery on a disk?

I am confused by a certain point in Scharlemann's paper "Sutured Manifolds and Generalized Thurston Norms", which seems important enough to not just skip it. I mean the "2-surgery on disks" in the ...
4
votes
0answers
445 views

The Birman–Hilden Theorem and the Nielsen–Thurston classification

So this post is half question/half reference request, as I'm sure it's the kind of thing people would have thought about before (and indeed the question might even be trivial), but I've been unable to ...
4
votes
0answers
478 views

Soft question: why are there non-smooth manifolds?

Topologists are often very good at explaining the geometric intuition behind certain results and programs of research. For instance, the particular interest in 4 manifolds is often explained by ...
4
votes
0answers
223 views

Fundamental Group!

Say you have two surfaces of genus 2, say $X$ and $Y$ and you want to attach them via homotopy attaching maps $f$ along their waist curves. Then what will the fundamental group of the adjunction space ...
4
votes
0answers
266 views

Partitioning a triangulated 2-sphere into two triangulated discs

Take a triangulation of the 2-sphere, $S^2$. Let the triangulation be denoted $T$. The Euler characteristic tells you that the number of triangles in $T$ is even. Since triangulations of the ...
4
votes
0answers
164 views

Can the disk bundle associated to a vector bundle over a finite CW-complex be obtained by attaching cells?

Let $V$ be a vector bundle (with a chosen metric) over a finite CW-complex $X$ and $B(V), S(V)$ the associated (unit) disk resp. sphere bundles. In the paper Clifford-Modules the authors remark that ...
4
votes
0answers
71 views

Are PL maps determined by PL-paths?

Let $X,Y$ be polyhedra. If $f\colon X\rightarrow Y$ is a PL map and $g\colon I\rightarrow X$ is a PL map (where $I$ denotes the interval), then $f\circ g$ is a PL map. Is the converse true? i.e. ...
3
votes
0answers
21 views

Euler characteristic and Phase rule? Is there a connection between them?

Eulers characteristic states $$Vertices+Faces=Edges+2$$ Gibbs' phase rule states $$ (\text{degrees of Freedom}) + (\text{no. of Phases}) = (\text{no. of Components}) + 2$$
3
votes
0answers
58 views

Computing fundamental group. Using Van Kampen? Visualization of a space

I'm trying to compute the fundamental group (using Van Kampen) of a space which appears when identifying the disjoint boundaries of a 3-manifold with boundaries. My knowledge of 3-manifolds is none ...
3
votes
0answers
38 views

Gluing two solid tori by a homeomorphism of their boundarries.

I am aware that we get all lens spaces by gluing two solid tori by their boundaries. My question is, do we get more spaces besides lens spaces? in other words, do all homeomorphisms of the boundaries ...
3
votes
0answers
52 views

commutivity of suspension and quotient space

Let $(A,A_0)$ be a $CW$-pair such that $A_0$ is a $CW$-subcomplex of $A$. Let $\Sigma$ be the suspension. Is $\Sigma(A/A_0)$ homotopy equivalent to $\Sigma A/\Sigma A_0$ or not?
3
votes
0answers
73 views

When can a polygon with some edge identifications be embedded in $S^3$?

Let $P$ be a polygon, and therefore a topological disk. Suppose we make some identifications on its edges, possibly identifying 2 or more edges of the polygon to a single edge, to get a 2-complex $K$ ...
3
votes
0answers
52 views

Simplicial homology for infinite complexes

Simplicial homology can be viewed as a covariant functor from the category of finite simplicial complexes with continuous maps over support polyhedra, to the category of sequences of abelian groups. A ...
3
votes
0answers
41 views

Linear vs smooth actions of finite groups on spheres, Euclidean spaces and closed disks

I would like to know examples (with references, if possible) of the following: (1) a finite group $G$ acting effectively and smoothly on a sphere $S^n$ but admitting no effective linear action on ...
3
votes
0answers
219 views

Fundamental group of connected sum for non-orientable manifolds

For orientable $n$-manifolds, $n\ge3$, the fundamental group of connected sum is free product of fundamental groups: $\pi_1(M\#N)=\pi_1(M)*\pi_1(N)$. As far as I understand, for non-orientable ...
3
votes
0answers
58 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
69 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 ...
3
votes
0answers
87 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 ...
3
votes
0answers
39 views

Are there closed manifolds that can be given multiple geometric structures of constant curvature

For example, is there a closed differentiable manifold that can be given both a Euclidean structure and a Hyperbolic structure? If not, is there a reasonably easy proof that no such manifold exists?
3
votes
0answers
90 views

handle moves: proof

In several 4-manifold textbooks, when handle moves (creation, cancellation, sliding) are discussed, they are explained using very helpful drawings. However, I would like to know if there is a ...
3
votes
0answers
180 views

Is such an infinite dimensional metric space, weakly contractible?

We counteract this answer by adding the rigidity assumption: Is there still a counterexample? Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that: ...
3
votes
0answers
117 views

What is the “Standard” Open Book Decomposition for $\mathbb R^n$, and why does this matter?

I am trying to understand better Open book decompositions. To that effect, I tried to work out a couple of (relatively-simple) examples, specifically, for $\mathbb R^2 $ and higher. But I have not ...
3
votes
0answers
80 views

How do we check if a covering of an orbifold is a manifold?

Let $X$ be an orbifold and suppose it is "good", i.e. its universal covering orbifold $\widetilde{X}$ has a trivial orbifold structure (it is "just" a manifold). It may be the case that some ...
3
votes
0answers
343 views

Combinatorial surfaces and manifolds

Before we can start some basic definitions to come into the topic: Suppose $T$ is the standard closed triangles, the convex hull of the three basic vectors inside $\Bbb{R}^3$. Consider $T$ is the ...
3
votes
0answers
124 views

Why does a circle cut a torus into an annulus?

Let $\phi : S^1 \rightarrow T^2$ be an (topological. Not necessarily smooth) imbedding of the circle in the 2-torus and let $\iota : S^1 \rightarrow T^2, \theta \mapsto (\theta,0)$ be the imbedding ...
3
votes
0answers
83 views

Curvature on topological spaces

On what subsets of the category of topological spaces are different notions of curvature defined?
3
votes
0answers
42 views

What is the “real osculating space” of an immersion?

In a differential geometry paper from 1979 I have come across some terminology which I have not found explained anywhere else. We have an immersion $x : S^2 \to S^n$. In the paper, it is a minimal ...
3
votes
0answers
211 views

Hairy ball theorem: references to applications

I'm looking for references to applications of the Hairy ball theorem. I already visited wikipedia and cited references, but I need a little more explanation in both meteorology and applications in ...
3
votes
0answers
128 views

Multiple Dehn twists and minimal position

I have a question about a proof that I am reading in "A primer on Mapping Class Groups" by Farb and Margalit. Let $a$ be a simple closed curve in a compact surface $S$ (possibly with marked points ...
3
votes
0answers
155 views

Something like the weak Whitney embedding theorem for continuous maps and homotopy.

This is sort of a reference request. Consider a continuous map of orientable topological manifolds $f:N\longrightarrow M$ of dimension $n$ and $m$ respectively. I have been told that there is a ...
2
votes
0answers
33 views

Homology, addition of homology classes in construction of Poicare Sphere

I am working through Greenberg and Harper, Lecture notes on Algebraic Topology, and I am having trouble with one exercise. I have spoken with a professor and he encouraged me to ask here or look for ...
2
votes
0answers
36 views

stable homotopy groups of the projective plane

The projective plane $\mathbb{R}P^2$ is obtained by attaching a $2$-cell to $S^1$ via a degree $2$ map $$ S^1\overset{[2]}{\longrightarrow}S^1\longrightarrow\mathbb{R}P^2. $$ Question 1: the ...
2
votes
0answers
36 views

Platonic Hopf. Given the vertices of a tetrahedron circumscribed by unit sphere, find the stereographic projection of inverse Hopf fibers

I am trying to find the equations in $\mathbb{R}^3$ for the fibers of the four vertices of the tetrahedron circumscribed by the unit sphere. I want to find $s\circ h^{-1}$, where $s$ is the ...