0
votes
0answers
39 views

Can Vanishing Cycles be Described as Fibers over Critical Points in a Lefschetz Fibrations?

I'm trying to see if it makes sense to see vanishing cycles in a Lefschetz fibration as the fibers over critical points. A Lefschetz fibration $f: M^4 \rightarrow X$ , where $M^4$ is a smooth ...
0
votes
0answers
23 views

History of vectorial bundles in articles or papers?

I'm looking for an article or book that gives a thorough and interesting history of bundles and vectorial bundles in algebraic topology. I'm looking for it for my own learning, please help its ...
1
vote
0answers
23 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 , ...
0
votes
1answer
50 views

Manifolds Resulting from Gluing Tori

I'm trying to show that if solid tori $T_1, T_2; T_i=S^1 \times D^2$ ,are glued by homeomorphisms between their respective boundaries, then the homeomorphism type of the identification space depends ...
3
votes
1answer
68 views

Why are there cubics in a Calabi-Yau manifold?

I heard from a recent talk that the "number of $n$-degree curves" in a Calabi-Yau manifold is an invariant of the space. But what does that mean? (Specifically I would like to ask the following.) ...
2
votes
3answers
70 views

Framing Integer associated with a Framed Knot/Link

I have been looking for a clear definition of the n-framing of a knot unsuccessfully. A framing here refers to a choice of homeomorphism between a solid torus neighborhood (a.k.a, tubular ...
15
votes
1answer
168 views

Is the torus the union of two connected, simply-connected open sets?

Is the torus the union of two connected, simply-connected open sets? A routine computation with the Mayer-Vietoris sequence shows that if so, then their intersection must have exactly three ...
1
vote
2answers
77 views

Frame bundle of orthonormal frames orthogonal to a submanifold.

Suppose we have a smooth manifold $M$ of dimension $m$ with a Riemannian metric and a connected submanifold $N$ of dimension $n$ in $M$ with $n<m-1$. Let $n\le k<m-1$ and consider the bundle ...
0
votes
0answers
22 views

Intersection of closures of the Schubert cells

How can I determine does two closures of Schubert cells of Grassmannian $Gr(n,m) $ $e(\sigma_1,...\sigma_m)$ and $e(\sigma_1',...\sigma_m')$ intersect or not.
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
1answer
91 views

The image of homomorphism of fundamental group of closed surface

$\phi: \pi_1(S)\to \pi_1(S)$ is a homomorphism of fundamental group of closed orientable surface $S$ of genus $\geq 2$. If $\phi$ is not an epimorphism, can we find a non-surjective self map $f: S\to ...
3
votes
2answers
234 views

Simply connected does not imply contractible. Is there a nice counter example in $R^2$?

The standard counter example to the claim that a simply connected space might be contractible is a sphere $S^n$, with $n > 1$, which is simply connected but not contractible. Suppose that I were ...
6
votes
0answers
100 views

Playing with the torus and semisimplicial sets (prove that $\phi$ and $\psi$ are not homotopic)

Recall that we can express the torus $|X.| \cong T$ as a square with edges $e$ and $f$, diagonal $g$, faces $T_1$ and $T_2$, and a single vertex $v$, and appropriate identifications. Let $Y.$ be the ...
3
votes
2answers
130 views

Generalization of the hairy ball theorem.

The hairy ball theorem of states that there is no nonvanishing continuous tangent vector field on even dimensional n-spheres. Can the hairy ball theorem be strengthened to say that there is no ...
2
votes
0answers
84 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 ...
11
votes
0answers
192 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. ...
4
votes
1answer
76 views

How hard is it to endow a $\textit{Spin}^{c}$ structure on four-dimensional manifolds?

I am in a certain math conference and we came across Seiberg-Witten equations. Since I am really novice in the field, I asked if all "reasonable" four manifolds carry a $\textit{spin}^{c}$ structure. ...
3
votes
1answer
66 views

Cohomology calculation for maps to the 2-sphere.

Let $Y^3$ be a closed 3-manifold and $f\colon Y\to \operatorname{SO}(3)$, $g\colon Y\to S^2$ be smooth maps. Define $g'\colon Y\to S^2$ be the following composition: ...
1
vote
1answer
55 views

Lifting homeomorphisms covering

Hello I had a question regarding a lemma from the paper: http://www.math.columbia.edu/~jb/bir-hilden-annals.pdf I don't understand the proof of Lemma 5.1. Notation: $T_{0,0}$ is the 2-sphere, ...
0
votes
2answers
66 views

Surgery on $S^m$

On page 4 of the book "ALGEBRAIC AND GEOMETRIC SURGERY" by Andrew Ranicki, after the definition of surgery has written: Example View the $m$-sphere $S^m$ as $$S^m=\partial (D^{n+1} \times ...
6
votes
2answers
296 views

Uniqueness of Preferred Framing of a Solid Torus in $S^3$

One way to state my question tersely is: For a homeomorphism $f : S^1 \times \mathbb{D}^2 \rightarrow S^1 \times \mathbb{D}^2$, does $f|_{S^1 \times S^1}$ determine the isotopy class of $f$? This is ...
7
votes
1answer
115 views

Loop space and stable homotopy theory

The Bott periodicity theorem for unitary group $U(n)$ says that $$ \pi_{i-1}(U) \simeq \pi_{i+1}(U) $$ How can I prove, using this theorem, that $$ \Omega (U) \simeq BU \times \mathbb{Z} ?$$ What is ...
2
votes
0answers
51 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 ...
4
votes
1answer
144 views

Representation of (co)homology classes of $3$-manifolds by embedded surfaces

Let $M$ be a closed oriented $3$-manifold. Theorems in algebraic topology allow us to identify $$H_2(M) \ \cong \ H^1(M) \ \cong \ \langle M,S^1\rangle$$ where (co)homology is meant with integer ...
1
vote
1answer
112 views

Simple Sphere Suspension Question

I have heard it said that the suspension of an $n$-sphere is an $n+1$-sphere. This is stated without proof in chapter 0 of Hatcher's book on algebraic topology. More generally, it seems that the ...
4
votes
2answers
187 views

How does Thurston's geometrisation conjecture imply Poincaré's conjecture?

I ran into the geometrisation conjecture a few days ago, and I started wondering how to prove Poincaré's conjecture. Let $M$ be a compact, simply connected, $3$-manifold. Clearly it is irreducible ...
12
votes
1answer
419 views

A simply-connected closed surface is a sphere

From the Classification Theorem for closed (i.e. compact and boundaryless) surfaces, it follows that $S^2$ is the only closed surface with trivial $\pi _1$. That's easy because the fundamental group ...
5
votes
0answers
110 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)$ ...
4
votes
0answers
116 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 ...
2
votes
0answers
67 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 ...
1
vote
3answers
254 views

Infinitely sheeted covering spaces!

I was wondering what the fundamental group of an infinitely sheeted covering space of say some surface might be? I'm thinking it should be an infinite cyclic group, but this is more intuitively, i ...
2
votes
0answers
78 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 ...
-1
votes
1answer
101 views

Compact surfaces and Fundamental Groups

Identify the compact surfaces $X$ for which there exist a proper subgroup $G$ of $\pi_1(X)$ such that $G\cong \pi_1(X)$. EDIT: Suggestions?
3
votes
0answers
124 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
1answer
271 views

Spin structures on $S^1$ and Spin cobordism

I'm trying to understand the 2 spin structures on the circle. Since the frame bundle for the circle is just the circle itself, Spin structures on $S^1$ correspond to double covers of $S^1$. There are ...
2
votes
3answers
123 views

Finding the rank of subgroups of free groups?

How do you find the rank of a subgroup(of finite index) of a free group? I was thinking of looking at the fundamental group of a graph.
2
votes
0answers
52 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 ...
0
votes
1answer
161 views

Higher homotopy groups!

How would you show that $\pi_n, n>1$ of the Klein bottle is the trivial group? I was thinking Seifert-Van Kampen could be applicable?
5
votes
0answers
71 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 ...
3
votes
0answers
153 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
2answers
159 views

What is smoothness needed for?

We can either define a knot to be (1) a smooth embedding $S^1 \hookrightarrow \mathbb R^3$ or (2) a piecewise linear, simple closed curve in $\mathbb R^3$ Then these two definitions are ...
4
votes
1answer
131 views

Prime decomposition of 3-manifolds

Let $H_g$ be a three dimensional handlebody bounded by a genus $g$ surface. Let $M_g$ be a manifold obtained by gluing two copies of $H_g$ via an orientation reversing homeomorphism of the surface of ...
8
votes
0answers
177 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 ...
4
votes
1answer
74 views

Gluing axiom of a TQFT

In the book, Lectures on tensor categories and modular functors by Bakalov and Kirillov they construct a TQFT. When they come to prove the gluing axiom, they just mention that "...This statement is ...
3
votes
2answers
344 views

Homotopy Question Help?

Let $X$ be a topological space and suppose $X_1$ and $X_2$ are spaces obtained by attaching an n-cell to $X$ via homotopic attaching maps. Show that $X_1$ and $X_2$ are homotopy equivalent. Proof: ...
0
votes
2answers
972 views

Retraction of the Moebius strip to its boundary

Prove that there is no retraction (i.e. continuous function constant on the codomain) $r: M \rightarrow S^1 = \partial M$ where $M$ is the Moebius strip. I've tried to find a contradiction using ...
3
votes
1answer
294 views

The Join of Two Copies of $S^1$

So I know the fact that the join of $S^1$ and $S^1$ is homeomorphic to the 3-sphere, but I'm having trouble "seeing" this. I'd prefer something that appeals to geometric intuition, but more formal ...
2
votes
1answer
105 views

Could a surface bundle over a circle have free fundamental group?

Specifically, I was wondering if the surface was non-compact with infinitely generated free fundamental group, could the surface bundle itself have infinitely generated free fundamental group. In this ...
10
votes
2answers
388 views

$\{(x,y)\!\in\!\mathbb{B}^n; -\varepsilon\leq-\|x\|^2\!+\!\|y\|^2\leq\varepsilon\}\approx\mathbb{B}^k\!\times\!\mathbb{B}^{n-k}$

The question is motivated by the notion of handle attachment, Morse theory, critical points of index $k$, Morse lemma, sublevel sets, etc. For $0\!\leq\!k\!\leq\!n$ and ...
0
votes
1answer
56 views

A knot which intersects $S^2$ transversely once in 3-connected manifold

I am reading the paper,ON ATTACHING 3-HANDLES TO A 1-CONNECTED 4-MANIFOLD by BRUCE TRACE here.He says in this paper that we need only construct a knot $K\subset \partial W^4$ which meets $Σ ^2$ ...