# Tagged Questions

Questions about algebraic methods and invariants to study and classify topological spaces: homotopy groups, (co)-homology groups, and beyond.

14 views

### Lifting of a Diffeomorphism to an Orientable Double Cover

Let $M$ be a non-orientable smooth $d$-dimensional manifold. Let $\tilde{M}$ be the oriented double cover for $M$; and let $f\in Diff^{1+\beta}(M)$. Define $\tilde{f}:\tilde{M}\rightarrow \tilde{M}$ ...
163 views
+50

342 views

60 views

### Example of Topological Group

I'm trying to learn about topological groups but I can't seem to google anything that provides a simple and clear example of how the set of elements of a group correspond to open sets of a topology. ...
42 views

### Why is $H^*(S^1\times X,\{\text{pt}\}\times X;R)\cong H^*(D^1\times X,\partial D^1\times X;R)$?

Let $X$ be a topological space, $R$ is a commutative, unital ring. In a proof from lecture there is claimed that $H^*(S^1\times X,\{\text{pt}\}\times X;R)\cong H^*(D^1\times X,\partial D^1\times X;R)$ ...
40 views

### $T^2-D$ does not retract to the boundary $\partial D$

First of all: yes, there is already a post about it, but I missread retract as strong deformation retract and wanted to know if this solution is right if we really do assume the stronger assumption of ...
38 views

### Bott and Tu construction of chern classes

To quote from Differential Forms in Algebraic Topology, Set $x=c_1(S^*)$. Then $x$ is a cohomology class in $H^2(P(E))$. Since the restriction of the universal subbundle $S$ on $P(E)$ to a fiber ...
26 views

### Gluing along infinitely many trivial cofibrations

I am in a situation where I have a space Y obtained from a space X by gluing on infinitely many trivial cells. That is, I have a collection of maps $f_\alpha: A_\alpha \to X$ each of which is a ...
65 views

### When is a diffeomorphism analytic?

I've read somewhere "a class $C^\infty$ diffeomorphism is said to be analytic" but I forgot to write down where I read this and now I can not find it, which makes me wonder if it's true? I'm working ...
285 views

### Stiefel-Whitney numbers for product bundle

I'm reading Milnor's "characteristic classes" and I want to compute Stiefel-Whitney numbers of $P^2 \times P^2$ (product of projective spaces) for one of the problems, I know how Stiefel-Whitney ...
443 views

### Can we generalize the regular value theorem even beyond the Ehresmann's theorem?

The formulation is complicated, but the answer may be some clever usage of the partition of unity, because locally the answer is given by the regular value theorem and the whole problem is to glue it ...
2k views

### Why is the Jordan Curve Theorem not “obvious”?

I am horribly confused about Jordan's Curve Theorem (henceforth JCT). Could you give me some reason why should the validity of this theorem be in doubt? I mean for anyone who trusts the eye theorem is ...
19 views

### intution behind homology [duplicate]

i am currently studying a course in homology theory and have done a basic introductory course in algebraic topology which deals with the idea of the fundamental groups and their topological ...
20 views

### Do these non-homotopic maps induce the same map in reduced homology?

Consider two maps $f, g: X\to Y$, where $X=Y=\{ 0, 1 \}$ with discrete topology, $f$ is the identity and $g$ maps everything to 0. Then it's clear that $\widetilde{H}_0(X;\mathbb{Z})\cong \mathbb{Z}$ ...
33 views

### Poincaré duality isomorphism maps cohomology to homology here?

Let $M = M^n$ and $A = A^p$ be compact oriented manifolds with smooth embedding $i: M \to A$. Let $k = p - n$. Does the Poincaré duality isomorphism$$\bigcap \mu_A: H^k(A) \to H_n(A)$$map the ...
305 views

### Does the hairy ball theorem follow from Borsuk-Ulam?

The proofs I have seen for the hairy ball theorem all use either degree of a map defined in e.g. by homology or direct computations using stereographic projections in order to use homotopy arguments ...
24 views

### vector bundles of $\mathbb{P}^2$ [on hold]

Where I can find a complete description of the vector bundles of $\mathbb{P}^2$?
37 views

### Postnikov tower of a product

Let $X$ and $Y$ be simply connected, locally finite CW-complexes and let $(X_i)_i$ and $(Y_i)_i$ be their Postnikov towers respectively. Is the Postnikov tower of $X\times Y$ given by the products ...
90 views

### Why every fundamental group isn't a trivial fundamental group?

I don't understand exactly the definition of the Fundamental Group. Munkres defined Fundamental Group in your book 'Topology' like "Let $X$ be a space; let $x_0$ be a point of $X$. A path in $X$ that ...
56 views

### Why is even codimension necessary to apply excision for the Euler characteristic?

In this answer on MathOverflow, it is claimed that $$\chi(X/Z)=\chi(X)-\chi(Z)$$ holds for complex subvarieties $Z$ only because $Z$ has even codimension. It is implied that for $Z$ with odd ...