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)

31
votes
0answers
2k 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 ...
14
votes
0answers
252 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
191 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
65 views

When $f\colon M\to N\times N$ satisfies that $f^{-1}(\Delta)$ is a ball?

Let $M$, $N$ be smooth manifolds of dimension $m+n$ and $n$, respectively. Suppose that $f\colon M\to N\times N$ is a smooth map and $f$ is transversal to the diagonal $\Delta=\{(x,x)\in N\times ...
5
votes
0answers
115 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
73 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
116 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
229 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
49 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
352 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
220 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
109 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
128 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 ...
4
votes
0answers
187 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
128 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
32 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
42 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
33 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
69 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
132 views

Covering spaces!

If one wanted to find all connected covering spaces of a product of two spaces, say $S^1\times RP(3)$, how would you go about it? I'm thinking finding the fundamental group of $S^1\times RP(3)$, and ...
3
votes
0answers
71 views

Curvature on topological spaces

On what subsets of the category of topological spaces are different notions of curvature defined?
3
votes
0answers
30 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
164 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
68 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
106 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
68 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
34 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
61 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
56 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 ...
2
votes
0answers
21 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
66 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
91 views

4-manifold: $0$-handle $\cup$ $2$-handles along a framed link in $S^3$ (intersection form = linking matrix = presentation matrix of $H_1(\partial M)$)

Let $L$ be a framed link in $S^3$, consisting of framed knots $L_1,\ldots,L_m$. Let $A=[a_{ij}]\in\mathbb{Z}^{m\times m}$ be its linking matrix, with $a_{ii}=$ framing of $L_i$ and $a_{ij}=$ linking ...
2
votes
0answers
68 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
57 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 ...
2
votes
0answers
147 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 ...
2
votes
0answers
96 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 ...
2
votes
0answers
104 views

Homeomorphism between simply connected, closed 3 - manifold and 3-sphere.

The Poincare conjecture states that a simply-connected, closed 3-manifold is homeomorphic to the 3-sphere. Now that the conjecture has been settled, could someone tell me what this homeomorphism is ...
2
votes
0answers
68 views

4D TQFT construction from a modular tensor category

I know the construction of 3D topological quantum field theory (TQFT) from a modular tensor category. I heard that we can even (mathematically) construct 4D TQFT from a modular tensor category. I ...
2
votes
0answers
81 views

Relationship between the Hopf Fibration and Spinors on $S^2$

The unique spin structre for $TS^2$ is given by the Hopf fibration. We can trivialize the Hopf fibration over open sets $U_1 = S^2 \setminus \{N\}, U_2 = S^2 \setminus \{S\}$ where $N$ and $S$ are the ...
2
votes
0answers
55 views

About Thom theorem (representation submanifold for $H_{n-2}(M)$)

Recall Thom theorem : If $M^n$ is a smooth orientable closed manifold then any homology class in $H_{n-2}(M)$ is represented by the fundamental class of a smooth submanifold. And in the Harper and ...
2
votes
0answers
173 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 ...
2
votes
0answers
102 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 ...
1
vote
0answers
49 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' ...
1
vote
0answers
61 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$ ...
1
vote
0answers
63 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 ...
1
vote
0answers
26 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 , ...
1
vote
0answers
56 views

Number of fixed order elements in the mapping class group of a closed surface

Let $S_g$ be a closed surface of genus $g\geq 2$. Given $r \in \mathbb{N}$, what is the number of elements of order $r$ in the mapping class group? Is it finite or infinite? If it is infinite is ...
1
vote
0answers
54 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 ...
1
vote
0answers
52 views

Finding a closed curve $\gamma$ on a Torus such that $\gamma$ is not pseudo-Anosov

Let g denote genus and n denote number of punctures. According to Kra's construction in Pseudo-Anosov theory for surfaces, if S is an orientable surface such that $3g+n>3$ and $\gamma \in ...
1
vote
0answers
55 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 ...