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)

62
votes
0answers
4k views

Grothendieck 's question - any update?

I was reading Barry Mazur's biography and come across this part: Grothendieck was exceptionally patient with me, for when we first met I knew next to nothing about algebra. In one of his first ...
25
votes
0answers
695 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. ...
8
votes
0answers
257 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
62 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. ...
5
votes
0answers
44 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
126 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
156 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 ...
5
votes
0answers
92 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
145 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
238 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
59 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
395 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
362 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
116 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$. ...
4
votes
0answers
237 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
149 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 ...
3
votes
0answers
70 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 ...
3
votes
0answers
41 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 ...
3
votes
0answers
126 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
45 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, ...
3
votes
0answers
46 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
52 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
64 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
36 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
63 views

John Hempel's proof of residual finiteness of surface groups

John Hempel proved that fundamental groups of $2$-manifolds are residually finite. I want to understand this proof so I have some questions: Why if we have $S(f)=\emptyset$ then $f$ represents ...
3
votes
0answers
76 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
163 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
91 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

Curvature on topological spaces

On what subsets of the category of topological spaces are different notions of curvature defined?
3
votes
0answers
36 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
199 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 ...
3
votes
0answers
73 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 ...
3
votes
0answers
119 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
128 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 ...
3
votes
0answers
70 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. ...
2
votes
0answers
64 views

Which spaces admit bump functions?

Let me first fix terminology. Let $X$ be a topological space and $A\subseteq B\subseteq X$ be subsets. Let's say X admits a bump function relative to $A\subseteq B$ if there's a continuous function ...
2
votes
0answers
56 views

Embed $S^{p} \times S^q$ in $S^d$?

Can we embed $S^{p} \times S^q$ in $S^d$ with all the nice properties, what are the allowed values of $p$ and $q$ for $d=2,3,4$ where $p+q \leq d$? =For $d=2$= I suppose that we cannot embed $S^{1} ...
2
votes
0answers
65 views

A homotopy equivalence between two sets

I was trying to prove that the set consisting of the union of the circles $\{\langle x,y\rangle\mid(x-10)^2 +y^2 = 1\}$, $\{\langle x,y\rangle\mid(x+10)^2 +y^2 = 1\}$ and line segment $\{\langle x, ...
2
votes
0answers
31 views

Zeros of vector field extended from field lines

Suppose I have a finite number of 1-dimensional curves embedded in a 3-dimensional space. What can I say topologically about vector fields chosen so that these closed curves are field lines? For ...
2
votes
0answers
31 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 ...
2
votes
0answers
79 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 ...
2
votes
0answers
70 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$ ...
2
votes
0answers
42 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 ...
2
votes
0answers
97 views

Why is surgery along a framed link well defined?

Let $L=L_1 \cup L_2 \cup \cdots \cup L_n $ be a framed link in $ S^3 $. I want to perform the surgery along $L$ to get a new manifold $M$. By definition, to perform this surgery, I must perform the ...
2
votes
0answers
45 views

Open Book Decompositions of 3-manifold and Associated Heegard Splittings

In page 13 of the paper: http://arxiv.org/pdf/math/0510639v1.pdf It is stated that "An open book decomposition (S,h, K) , gives rise to a special Heegard decomposition of M ". Here, S is a surface , ...
2
votes
0answers
23 views

Edges and genus in graphs

For a planar graph $G = (V, E)$ there is the well known bound $|E| \leq 3|V| - 6$. If instead of $S^2$ $G$ embeds in the orientable surface $S_g$ of genus $2 - 2g$ with minimal $g$, what can be said ...
2
votes
0answers
80 views

Sufficient conditions for quasi-isometric embeddings of Cayley graph

I would like to know more about the assumptions under which the Cayley graph of a given group embeds quasi-isometrically into the space where the group is acting. For instance, if a group $G$ acts by ...
2
votes
0answers
64 views

Kirby diagrams for nonorientable $4$-manifolds

In http://www.math.msu.edu/~akbulut/papers/akbulut.lec.pdf, which is a (still developed) set of lecture notes on 4-manifolds by Selman Akbulut, in section 1.5 there is a way to draw a non-orientable ...
2
votes
0answers
86 views

$\epsilon$-net of a $n$-dimensional $\ell_2$-ball

Let $B$ be an $\ell_2$-ball of radius $r$ in $\mathbb{R}^n$. I want to find the cardinal of a (not too big) $\epsilon$-net of $B$, that is the cardinal of a finite set $V\subset B$ such that $\forall ...
2
votes
0answers
67 views

PL and triangulizable

Is it correct that the notion of triangulizable manifold (in the sence "homeomorphic to a simplicial complex") is weaker than the notion of a PL-manifold? If yes, why? (eg is it true that a star of ...