1
vote
2answers
71 views

Cohomology Ring of Klein Bottle over $\mathbb{Z}_2$

I am trying to show that the cohomology ring of the Klein bottle with $\mathbb{Z}_2$ coefficients is $H^*(K,\mathbb{Z}_2) \cong \mathbb{Z}_2[x,y]/(x^3,y^2, x^2y)$. What I know: ...
0
votes
2answers
55 views

Closed 4-manifolds have CW-complex?

It looks like for compact 4-manifolds this question is open: When is a compact topological 4-manifold a CW complex? How about if we just consider closed 4-manifolds, does that have an answer/make the ...
2
votes
0answers
47 views

Role of the Thom space in the Pontryagin-Thom construction

I am trying to understand the Pontryagin-Thom theorem; especially how the Thom space comes into play. Just to bring everyone on the same page: I am specifically talking about the construction of an ...
3
votes
0answers
46 views

Surgery and Euler Characteristic

I am trying to find out how a $(p,n-p)$ surgery affects the Euler Characteristic of an orientable, $n-$ dimensional, compact manifold. Call the initial manifold $M$ and the post-op manifold $M'$. This ...
2
votes
0answers
33 views

Cellular structure on a manifold [duplicate]

Is it always possible to put a cell structure on a manifold? in other words is it possible to decompose a manifold as a CW complex? I know that by Morse theory we always have a handle decomposition of ...
2
votes
1answer
50 views

Wedge Sum of Two Spheres Homotopy Equivalent to a Compact Manifold?

Let $X=S^2$v $S^2$ (wedge sum). The homology groups are $H_0(X,\mathbb{Z})= \mathbb{Z}$, $H_1(X,\mathbb{Z})= 0$, and $H_2(X,\mathbb{Z})= \mathbb{Z} \oplus\mathbb{Z}$. I can see that $X$ is not ...
0
votes
1answer
38 views

Is the composition of a homeomorphism with itself orientation-preserving?

Just a short question about the degree of a homeomorphism. So, I understand that in the continuous setting we define the degree of a map $\ f: M \rightarrow M$ on a connected orientable manifold as ...
3
votes
1answer
63 views

Signature of $S^2 \times D^2$

Every closed connected oriented $4$-manifold has a signature, defined via a cohomological intersection form. In Turaev's book Quantum Invariants of Knots and 3-Manifolds the definition of a certain ...
2
votes
1answer
45 views

Triangulations, PL-triangulations and related conecpts

I'm confused about various definitions of triangulations and piece-wise linearity. I read, for example, on wikipedia "..the question of whether all topological manifolds have triangulations is an ...
3
votes
0answers
33 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 ...
0
votes
0answers
38 views

Sections of the dual bundle of a smooth vector bundle

Let $M$ be a smooth manifold and $E,F,G$ smooth vector bundles over $M$. Denote the global sections by $\Gamma(.)$. In this question, it is proven that the canonical map ...
5
votes
2answers
276 views

Spin manifold and the second Stiefel-Whitney class

We know that: Spin structures will exist if and only if the second Stiefel-Whitney class $w_2(M)\in H^2(M,\mathbb Z/2)$ of $M$ vanishes. Can someone use simple words and logic to show why the ...
2
votes
0answers
28 views

Degree One Map induces Surjections on Homology

Is the following statement true: If $f:M\to N$ is a degree one map of compact closed manifolds, then $f$ induces surjections $f^*:H_q(M)\to H_q(N)$. I found this claimed on ...
1
vote
1answer
26 views

Examples of finding norm-minimizing surfaces and Thurston polytope

Let $Y$ be a (compact, oriented, connected) $3$-manifold. Thurston introduced a norm on $H_2(Y, \partial Y)$, which is defined as follow: any class $x \in H_2(Y, \partial Y; \mathbb{Z})$ is ...
0
votes
1answer
52 views

Soft Question: Geometry of Rings

So.. I was thinking about something last night and literally have no idea where to start. Can the ring axioms be connected to topology? If so, how? Basically, the motivation for my question has to ...
3
votes
1answer
77 views

Are two spaces obtained from homeomorphic spaces by removing a ball still homeomorphic?

I have a specific example in mind. Consider $S_1,S_2$ two surfaces. Remove two discs to obtain surfaces with boundary $S_1',S_2'.$ If $S_1 \cong S_2,$ does it necessarily follow that $S_1' \cong ...
1
vote
1answer
133 views

Another differential topology lemma

Another lemma (1) Why can we assume $z=f(z)=0$ and that $U$ is convex? (the coordinate domains of the manifolds can be taken to be balls?) (2) Why is it enough to consider the special case of a ...
0
votes
1answer
166 views

A differential topology lemma

Consider the following lemma (1) How come he talks about degrees here, after all he doesn't assume $X$ to be oriented? (2) Why is $\bar{v}|\partial X$ homotopic to $g$? (NOTE: we consider them as ...
0
votes
1answer
27 views

Alexander duality formulation + Jordan-Brouwer separation

In Davis & Kirk LNAT p.71 there is written: (1) How does this imply the Alexander duality $\tilde{H}^k(A)\cong \tilde{H}_{n-k-1}(\mathbb{S}^n\!\setminus\!A)$? (2) Is it assumed that the ...
0
votes
1answer
41 views

manifolds without symplicial or cell structure

In many situations in topology, (like the poincare duality) they put a distinction between the space being a manifold or just a cell or simplicial complex. I want to know why this is important, in ...
0
votes
0answers
26 views

express skew-commutative product of Whitney sum of vector bundles in tensor products

Let $\xi$ and $\eta$ be vector bundles over a paracompact space $B$ and $\xi\oplus\eta$ be their Whitney sum. Can we write $\Lambda(\xi\oplus\eta)\cong \Lambda(\xi)\otimes \Lambda(\eta)$ as (graded) ...
0
votes
1answer
35 views

Explicit Orientation-Reversing Homemorphism of $M_g$

Let $M_g$ be the orientable closed surface of genus $g$. I know that there is an orienation-reversing homeomorphism ($[M] \rightarrow -[M]$, where $[M]$ is fundamental class) $f:M_g \rightarrow M_g$ ...
1
vote
2answers
100 views

lifting a product of commutators of standard generators on 2-manifolds

I have a problem with understand the proof http://www.ams.org/journals/proc/1972-032-01/S0002-9939-1972-0295352-2/S0002-9939-1972-0295352-2.pdf I don't understand this part: "(...) we can easily ...
7
votes
3answers
130 views

let $\xi$ be an arbitrary vector bundle. Is $\xi\otimes\xi$ always orientable?

Let $\xi=(E,p,B)$ be a line bundle (not nec. orientable). Then the tensor product $\xi\otimes \xi$ is orientable. I obtain this by choosing $b\in U\cap V$, $U,V$ open in $B$ such that ...
2
votes
2answers
107 views

tensor product of two vector bundles

Let $\xi$ and $\eta$ be two vector bundles over the same base space $B$. Then $\xi\otimes \eta$ is orientable if and only if $\xi$ and $\eta$ are both orientable. How to prove this true or not true? ...
1
vote
0answers
39 views

John Hempel's proof of residual finiteness of surface groups

John Hempel proved (http://www.ams.org/journals/proc/1972-032-01/S0002-9939-1972-0295352-2/S0002-9939-1972-0295352-2.pdf ) that fundamental groups of 2-manifolds are residually finite. I want to ...
1
vote
1answer
51 views

Tangent bundle of a manifold [duplicate]

can anyone help me with this problem: Show that for a manifold $M$, the tangent bundle $TM$ also has the structure of a manifold. If $M$ is an n-manifold, what is the dimension of $TM$? for the 1st ...
2
votes
0answers
53 views

Hatcher Theorem 3.26 - orientability

I am reading Hatcher, the beginning of the chapter on Poincare duality. I am trying to understand how theorem 3.26 is deduced from lemma 3.27 and I must admit I find Hatcher's proof very esoteric. ...
4
votes
1answer
54 views

Collar neighbourhoods for topological manifolds.

The well-known collar neighbourhood theorem states: Let $M$ be a smooth manifold with compact boundary $\partial M$, then there exists a neighbourhood of $\partial M$, which is diffeomorphic to ...
2
votes
0answers
43 views

Homology of A Compact Manifold [duplicate]

I am working on a compact manifold $M$ of dimension $m$. Moreover, I suppose that $M$ is oriented of fundamental class $ [M] \in H_m (M)$. I want to show that I have an isomorphism $H_\ast (M, ...
2
votes
0answers
32 views

uniqueness of Hopf invariant

(Hopf invariant, page 427 of A. Hatcher's Algebrac Topology): Let $f: S^m\longrightarrow S^n$ with $m\geq n$. We can form a CW-complex $C_f$ by attaching a cell $e^{m+1}$ to $S^n$ via $f$. The ...
3
votes
2answers
136 views

de Rham cohomology of $\mathbb R^2 \setminus \mathbb Z^2 $

I am trying to calculate the cohomology of $X = \mathbb R^2 \setminus \lbrace \mathbb Z \times \mathbb Z \rbrace = \lbrace (x,y) \in \mathbb R^2 : x \text{ and } y \not \in \mathbb Z \rbrace.$ ...
2
votes
0answers
53 views

$\mathbb{RP}^2$ does not embed into $\mathbb{R}^3$: reduction to the differentiable case

It is not difficult to see that the real projective plane cannot be embedded into $\mathbb{R}^3$ as a differentiable submanifold (for example one can easily show that the complement would consist of ...
2
votes
1answer
36 views

integration of differential forms on covering space

Let $M_1,M_2$ be $n$-dimensional oriented manifolds. Let $f: M_1\longrightarrow M_2$ be an orientation-preserving diffeomorphism. Then for any $\omega\in \Omega^n_c(M_2)$ we have(page 85 of {Madsen: ...
2
votes
0answers
63 views

Local dimension of graph embedding

I am trying to find a way to characterize the dimension of the smallest space into which a (neighbourhood of) a graph $\Gamma = (V, E)$ may be embedded. Although in the end my goal is to identify what ...
5
votes
1answer
99 views

Lower bound for the size of an atlas

This question came up in a graduate-level class on differential topology I'm currently taking; the instructor couldn't come up with an answer off the top of her head and while I'm very new to the ...
1
vote
0answers
40 views

Compactness and Poincare duality

I am reading Appendix B in Fulton's Young Tableaux about Borel-Moore homology. In particular, I'd like to understand why for compact manifolds the Borel-Moore homology groups are isomorphic to ...
0
votes
1answer
66 views

Path or One-Dimensional Manifold

The terminology of curve, path and one dimensional manifold is always in the textbooks about topology, differential manifold and riemannian geometry. The definition of path and one dimensional ...
2
votes
2answers
84 views

Self-contained text on characteristic classes

I am looking for a clear, self-contained text (either a book or lecture notes) that deals with characteristic classes, starting from the very basics (fiber bundle, principal bundle etc.), and ...
1
vote
0answers
14 views

Looking for a basic reference on propagators (in Topology)

I am looking for a basic (preferably self-contained) reference where I can read about propagators (as they appear in Topology), and in particular Morse propagators. Thanks!
4
votes
1answer
80 views

Concrete non trivial computation of Morse homology

I am studying Morse homology and have found only examples on spheres and tori so far. Of course the homology of these manifolds is better understood by other more standard methods, so I am having ...
0
votes
0answers
38 views

Some questions on definition of Grassman manifolds

In W.M. Boothby, An introduction to differentiable manifolds and Riemannian geometry , Page 64. We use coordinate correspondences $\phi_j : U_j \to R^{k(n-k)}$ in order to define Grassman manifolds ...
4
votes
1answer
72 views

Reference Request: topological h-cobordism theorem in higher dimensions

The h-cobordism theorem is true in the topological and in the smooth category in dimensions $\ge 6$. (By "dimension, I mean the dimension of the ambient cobordism instead of the dimension of the ...
3
votes
0answers
61 views

Homological Interpretation of the intersection number

Let $M^r$ and $N^s$ be smooth submanifolds of the smooth manifold $V^{r+s}$ and $M,N,V$ compact, connected and orientable. The Thom-Isomorphism together with the Tubular Neighbourhood Theorem gives me ...
2
votes
1answer
44 views

Is there a connected compact manifold $M$ of dimension 4 such that $\pi_1 (M) = \mathbb{Z} * (\mathbb{Z} \oplus \mathbb{Z}_3)$?

Is there a connected compact manifold $M$ of dimension 4 such that $\pi_1 (M) = \mathbb{Z} * (\mathbb{Z} \oplus \mathbb{Z}_3)$? I had this question in a test yesterday. I think that the answer is no, ...
8
votes
2answers
304 views

CW complexes and manifolds

What is the strongest known theorem (if any) that classify which manifolds can be built as CW complexes? Thank you guys. This is just a question I thought of during class, obviously not homework... ...
2
votes
1answer
38 views

Definition of a one-connected manifold?

Perhaps the question is self-explanatory. The context is Kleiner's Inv. Math. paper An isoperimetric comparison theorem, where the statement of the main theorem begins with "Let $M$ be a complete ...
5
votes
1answer
55 views

Why are there always pairwise intersections in a Heegaard splitting?

Let $M=A\cup B$ be a Heegaard splitting, such that $\{\alpha_i\}_{i=1}^g$ is a set of boundaries for meridian disks of $A$, and $\{\beta_i\}_{i=1}^g$ is a set of boundaries for meridian disks of $B$ ...
1
vote
2answers
109 views

Definition of a $n$ - form on a manifold

I am confused about the definition of a differential form on a manifold. The definition I have comes from Bott and Tu and is as follows: A differential form, $\omega$, on a manifold $M$ is a ...
1
vote
2answers
101 views

Calculate the Euler Characteristic of M

Let $M$ be the following subsets of $\mathbb R^4$:$$M= \{(x,y,z,w), 2x^2+2=z^2+w^2, 3x^2+y^2=z^2+w^2 \}$$ we know $M$ is a submanifold of $\mathbb R^4$,what is the Euler Characteristic of M?