0
votes
3answers
42 views

A proof of compactness, connectedness of real projective space

I need a reference for a complete proof of the below theorem: Let $RP^n$ be $n$-dimensional real projective space. Then $RP^n$ is a compact, connected manifold. (Consider the standard topology over ...
4
votes
0answers
92 views

Surgery presentations and gluing

It is well known that every closed oriented 3dimensional manifold can be obtained from a framed link in $S^3$. Let $M$ and $N$ be topological 3-manifolds with boundary such that boundaries $\partial ...
3
votes
0answers
35 views

Brief summary of simplicial, CW and manifold notions

I tried to summarize the relations between the following notions of: a manifold (smooth, topological and PL), simpilicial complex, CW complex. However I found some inconsistencies, which may be not a ...
2
votes
1answer
41 views

When gluing maps are isotopic?

Let $M$ and $M'$ be compact orientable connected topological 3-manifolds. (One may need more conditions to answer the question.) Suppose we have two homeomorphisms $f$ and $g$ from the boundary ...
2
votes
1answer
44 views

Boundary connected sum of manifolds

I have two related questions about the boundary connected sum of manifolds with boundaries. Let $T=S^1 \times S^1$ be a torus and let $X=T \times [0, 1]$ be the cylinder over the torus. Let $X'$ be a ...
2
votes
0answers
26 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 ...
0
votes
1answer
48 views

Simple example of $X$ with torsion in $H^1(X,\mathbb{Z})$?

Question: Is there a simple example of a space $X$ possessing torsion in its first integral cohomology group $H^1(X,\mathbb{Z})$? For reasonable spaces $X$, e.g. CW-complexes, one has ...
2
votes
1answer
43 views

An isomorphism between homology and cohomology with $\mathbb{Z}_2$ coefficients

In the proof of a theorem we did in a class (namely: if $M$ is an odd-dimensional, closed manifold, then $\chi(M)=0$), there's the following step: $$H_k(M;\mathbb{Z}_2)\cong H^k(M;\mathbb{Z}_2)$$ ...
0
votes
1answer
35 views

Condition for Orientability of Manifold

Let $M^n$, $n>2$ be a manifold and let $f:D\rightarrow M$ be an embedding of the closed $n-$disk in $M$. Prove or Disprove: $M$ orientable iff $M-f(D)$ is orientable. $M$ is orientable iff all ...
2
votes
1answer
42 views

Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
2
votes
1answer
48 views

Is $\mathbb{R}P^n$ “two-sided” in $\mathbb{R}P^{n+1}$

i.e. Does $\mathbb{R}P^n$ have a tubular neighborhood $N$ such that $N-\mathbb{R}P^n$ is disconnected. My guess is yes, but don't know how to show it convincingly ( or maybe only for $n$ odd, I'm ...
1
vote
2answers
96 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
60 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
63 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
47 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
56 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
39 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
64 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
49 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
35 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
41 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
324 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
31 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
27 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
54 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
78 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
134 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
30 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
42 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
36 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
109 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
133 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 ...
3
votes
2answers
109 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
43 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
54 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
54 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
61 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
35 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
138 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
54 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
37 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
64 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 ...
6
votes
1answer
102 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
67 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
87 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 ...