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

learn more… | top users | synonyms (1)

1
vote
3answers
19 views

Homology of $P^n$ minus a point

Denote real projective space by $P^n.$ I want to compute $H_*(P^n - p)$ (for some $p \in P^n$) given that I already know $H_*(P^n).$ Now we know that, as for any $n$-manifold, the local homology ...
1
vote
0answers
19 views

Show $H_{dR}^1(S^n)=0$ for $n>1$ without de-Rham Theorem, and some similar questions.

Question Without using de Rham's theorem, prove: (1) Show $H_{dR}^1(S^n)=0$ for $n>1$. (2) Use (1) to show $H_{dR}^1(RP^n)=0$ (3) a n-form $\Omega$ is exact on $S^n$ if and only if $$ ...
0
votes
2answers
28 views

Group homomorphism on unit circle

For $n\in \mathbb{Z}$, define the map $f_n:S^1\to S^1$ as $f_n(z)= z^n$, where the unit circle $S^1$ is observed as the subspace $\{z\in\mathbb{C}|\ |z|=1\}$. How would one compute the induced group ...
5
votes
2answers
37 views

Homotopical perspective on the long exact sequence in homology and Mayer-Vietoris

For a while I have been wondering whether the long exact sequence in homology and the Mayer-Vietoris sequence can be phrased in homotopical terms. Recently, I heard that both may be reformulated via ...
1
vote
2answers
23 views

What are the subgroups of $(S^1)^n$ isomorphic to the standard copy of $(S^1)^k$?

Let $H$ be the set of all subgroups of the $n$ dimensional torus $(S^1)^n$ that are isomorphic by an element of $Aut ((S^1)^n)$, the set of continuous automorphisms of $(S^1)^n$, to the standard copy ...
0
votes
1answer
32 views

does the closure of interior of a set equal to closure of this set?

Does the $\text{Cl}(\text{Int} A)=\text{Cl}(A)$? Here "Cl" denotes closure, "Int" denotes interior. I have a problem when trying to understand the Sanov's theorem in ...
2
votes
3answers
46 views

Does there exist a surjective continuous map $D^2 \to S^1$?

By considering the induced homomorphism on the fundamental groups, we know that there is no retract $D^2 \to S^1$. But is there any continuous surjection from $D^2$ to its boundary? It seems unlikely ...
11
votes
0answers
83 views

When is there a submersion from a sphere into a sphere?

That is: For which positive integers $n, k \ge 1$ does there exist a submersion $S^{n+k} \to S^k$? The discussion at this math.SE question has narrowed it down to the following two cases: ...
1
vote
1answer
29 views

Problem about covering space

Let $p:\tilde{X}\to X$ be a covering space, $\tilde{X}$ and $X$ are both path-connected and locally path-connected, if $p(x_1)=p(x_2)=x$, is ...
1
vote
0answers
26 views

Why is the Hopf link the only link with knot group $\mathbb{Z} \oplus \mathbb{Z}$?

We can use the Loop Theorem to show that if $\Sigma$ is a minimal-genus Seifert surface for a link $L$, then $\pi_1(\Sigma)$ injects into the knot group $\pi_1(S^3 \setminus L)$. An orientable ...
1
vote
0answers
49 views

Examples of vector bundles

I know three examples of interesting vector bundles (not taking into consideration what one gets from them using algebraic operations): Tangent bundle of a smooth manifold Tautological bundle over ...
0
votes
0answers
35 views

Hatcher 2.1.10…

Hatcher asked a question in chapter 2 (a) Show the quotient space of a finite collection of disjoint 2-simplices obtained by identifying pairs of edges is always a surface,locally homeomorphic with ...
3
votes
3answers
95 views

Why is the identity map from $S^1$ to $S^1$ not homotpic to the constant map?

Why is the identity map from $S^1$ to $S^1$ not homotpic to the constant map? I get the picture that if the identity map $id$ is homotopic to the constant map then as the circle transforms ...
1
vote
1answer
39 views

simplicial homology definition

I am revising for my algebraic topology exam based on Hatchers 2nd chapter of algebraic topology and I have this question regarding the definition of simplicial homology on pages 104-105: Hatcher ...
2
votes
1answer
57 views

Eilenberg–Maclane space: nonvanishing cohomology

I would like to prove (self study) that $H^{np}(K(\mathbb{Z},n),\mathbb{Z})\neq 0$, where $n$ is even , $p\geq1$ and $K(\mathbb{Z},n)$ is the Eilenberg–Maclane space. I used the adjunction between $[ ...
15
votes
2answers
177 views

Existence of submersions from spheres into spheres

I would like to know if there exist submersions $f\colon \mathbb{S}^4\to \mathbb{S}^2$ and $g\colon\mathbb{S}^6\to \mathbb{S}^2.$ It is simply a question of curiosity. Any suggestion or ideas are ...
2
votes
0answers
31 views

Brouwer fixed-point theorem on non-convex sets [duplicate]

I read about the Brouwer fixed-point theorem in Wikipedia, and got confused about whether it holds when the domain of the function is non convex. On one hand, convexity is explicitly mentioned as a ...
2
votes
3answers
159 views

Winding maps of spheres?

I know that the second homotopy group of $S^2$ is $\mathbb{Z}$. I also know that a simple representative of the class of maps that generates this group is the identity map on the sphere, ...
0
votes
1answer
41 views

How many connected components does the punctured cone of isotropic vectors have?

Consider a real vector space $T$ of dimension $p+q$ with a non-degenerate symmetric bilinear form, $B:T\times T\to\mathbb{R}$, with signature $(p,q)$. Define the cone $$ ...
4
votes
1answer
91 views

If the action is free, is it necessarily a covering space action?

Suppose a group $G$ acts simplicially on a $\Delta$-complex $X$, where "simplicially" means that each element of $G$ takes each simplex of $X$ onto another simplex by a linear homeomorphism. If the ...
6
votes
1answer
59 views

When does covering preserve rational cohomology?

Let $X$ and $Y$ be compact manifolds. $p:X \rightarrow Y$ is a covering. Generally it is not true that $$ H^* (X , \mathbb{Q} ) = H^* (Y , \mathbb{Q} )$$ For instance, if $Y$ is a sphere with $y$ ...
5
votes
2answers
59 views

Prob. 5 (a) in Supplementary Exercises in Munkres' TOPOLOGY, 2nd ed: How to show that this map is a homeomorphism?

Let $G$ be a topplogical group, and let $H$ be a subgroup of $G$. Let $G / H $ denote the collection of all left cosets of $H$ in $G$, and let $a$ be a fixed element of $G$. Let the map $f \colon G / ...
3
votes
2answers
117 views

First book on algebraic topology

Is there a good book on introduction to Algebraic Topology which is self-contained and does not assume any background in topology, only standard calculus and linear algebra courses?
2
votes
0answers
77 views
+50

The map $\lambda: H^*(\tilde{G}_n)\to H^*(\tilde{G}_{n-1})$ maps Pontryagin classes to Pontryagin classes; why?

In Milnor/Stasheff Characteristic classes on page 180 there is a statement (inside a proof) that I don't fully understand. Let $\tilde{G}_k$ be the oriented real grassmanian, $e$ its Euler class: ...
0
votes
0answers
28 views

An introduction to monodromy in topology and algebra

I'm looking for some basic references on monodromy and monodromy groups, in particular I'd like something which describes the interplay between the topological definition (in the theory of covering ...
6
votes
1answer
79 views

What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?

For any topological space $X$, define a functor $\times X:\mathbf{Top}\to\mathbf{Top}$ by $Y\mapsto Y\times X$ (and acting on the hom-sets in the natural way). I know that if $X$ is locally compact, ...
0
votes
0answers
36 views

Cone of projective space?

Is the cone of $\mathbb{C}\mathbb{P}^2$ a familiar topological space? What about $\mathbb{C}\mathbb{P}^3$? I'm having a lot of trouble visualizing it. I just learned the notion of the cone of a ...
1
vote
0answers
41 views

Projection of a covering map over product set.

Let $p,q$ be a covering maps, $p:\tilde X \rightarrow X$ and $q:\tilde Y \rightarrow X$ and let $Z=\lbrace(\tilde x, \tilde y)| p(\tilde x)=q(\tilde y) \rbrace$, I want to proff that $f:\tilde ...
5
votes
1answer
47 views

Spectral sequence for computing the homotopy fixed points in unstable equivariant homotopy theory

I'm reading Carlsson's "A survey of equivariant homotopy theory" and I have a question. Let $G$ be a topological group and $X$ be a $G$-space (for a nice notion of "space"). He defines ...
1
vote
1answer
76 views

Homotopy lifting property of $\mathbb{R} \to S^1$ in Hatcher

I am reading Hatcher's proof of the homotopy lifting property of the covering map $p: \mathbb{R}\to S^1$. Starting with a homotopy $F: Y \times I \to S^1$ and a map $\tilde{F}:Y \times \{0\} \to ...
5
votes
1answer
46 views

If the top Stiefel-Whitney class of a compact manifold is nonzer0, must there be another non-vanishing Stiefel-Whitney class?

I was trying to collect some examples of Stiefel-Whitney class computations, just to make myself more familiar with them. It seems from my (relatively short list) that if the top Stiefel-Whitney ...
2
votes
1answer
38 views

$H_n(S^n,A)$ is not trivial

Let $(H_n)_{n\in \Bbb{Z}}, (\partial_n)_{n\in \Bbb{Z}}$ be an ordinary homology theory with values in the category of $R$-modules. Let $A\subset S^n$ be a proper subset. Then $H_n(S^n, A)$ is not ...
1
vote
0answers
60 views

Understanding cofibration sequence

Recently I'm studing some basic homotopy theory. An important brick of the exact sequence of cofibration is the following sequence: $$X \stackrel{f}{\longrightarrow} Y \stackrel{i}{\longrightarrow} C ...
1
vote
2answers
60 views

Splitting of Singular Homologies

In Singular homology, let $C_n(X)$ be the free abelian group generated by all the $n$-siimplices of the topological space $X$. Let $U$ be a subspace of $X$, then we have a spliting sequence ...
0
votes
2answers
66 views

Why does $\overline{\alpha * \beta}=\bar{\beta} * \bar{\alpha}$

I'm working on this question from Munkres' topology: Let $\alpha$ be a path in $X$ from $x_0$ to $x_1$; let $\beta$ be a path in $X$ from $x_1$ to $x_2$. Show that if $\gamma = \alpha * \beta$ , then ...
2
votes
1answer
58 views

Showing two spaces are homotopy equivalent

So I understand the basics about homotopy, I know a punctured disk or $\mathbb{R}- \{ 0 \}$ are homotopy equivalent to $\mathbb{S}^1$. This can be shown using the deformation retract ...
3
votes
1answer
35 views

Inclusions of CW-complexes are cofibrations.

Has the inclusion from the $ (n - 1) $-sphere in the $ n $-disc the left lifting property for all acyclic Serre fibrations? I am looking for a reference for this proposition, or alternatively, for an ...
0
votes
0answers
38 views

Proving two spaces are homotopy equivalent

We are given a topologic space X, defined as: $$X= \mathbb{S}^2 \cup \mathbb{D}_2 \cup \mathbb{I} \subset \mathbb{R}^3$$ Where $$\mathbb{S}^1=\{ (x,y,z) \in \mathbb{R}^3 | x^2+y^2+z^2=1 \} $$ ...
2
votes
1answer
46 views

Brouwer's fixed-point theorem and the intermediate value theorem?

In one dimension, Brouwer's fixed-point theorem (BPFT) can be proved easily based on the Intermediate Value Theorem (IVT). Is the inverse also true? I.e, is it possible to prove the IVT directly from ...
5
votes
2answers
47 views

Even number of points in the preimage of a regular value of a map $f:M^n \to \mathbb{R}P^n$

Let $M^n$ be a closed manifold (I think we can also assume it is connected, though it isn't explicitly stated). Let $f:M^n \to \mathbb{R}P^n$ be a smooth map, and let be $a \in \mathbb{R}P^n$ be a ...
0
votes
1answer
68 views

homology groups of a torus

How can I find the homology group of a torus without using cellular homology and the CW complex ? in other words , how can i calculate the homology groups of a torus using only relative homology ? I ...
-1
votes
0answers
15 views

degree of orientation-preserving map

Let's consider $f:X\rightarrow Y$ to be a $m$-covering space, with $X$ and $Y$ compact connected and oriented $n$-topological manifolds. Let $\alpha_{x}$ be a generator of $H_{n}(X,X\setminus\lbrace ...
4
votes
1answer
59 views

If $M$ is a 4-dimensional, compact, simply connected manifold with boundary, what is the topology of $\partial M$?

I know if we have a compact simply connected 3-manifold with boundary, then the boundary will be $S^2$. The argument is as following 1) $H_1(M)\simeq 0$; 2) Poincare duality $H_2(M,\partial ...
2
votes
1answer
49 views

Show that the comb space has fixed-point property

By "comb space", I mean the space $X=([0,1] \times \{0\}) \cup (K \times [0,1])$, where $K=\{ \frac{1}{n} : n \in \mathbb{N}^+ \}$, without the leftmost vertical line segment. How to prove that this ...
1
vote
1answer
46 views

Sufficient condition for $\mathbb{Z}$-orientability

Let $X$ be a topological $n$-manifold. Let's define a R-orientation on $X$ as a choice of generators $\alpha_{x}\in H_{n}(X,X\setminus\lbrace x\rbrace;R)$ that is consistent. Suppose that $X$ is ...
2
votes
0answers
55 views

Assignment - Euler characteristic constant under barycentric subdivision

I am working on an assignment and I am stuck, mostly I have no clue how to quite attack it. I don't want the answer or anything just advice on angels at which I can go about this. For an n-dimensional ...
6
votes
3answers
130 views

$S^m * S^n \approx S^{m+n+1}$

I'm interested in showing that $S^m * S^n \approx S^{m+n+1} $, as discussed in exercise 0.18 of Hatcher's Algebraic Topology. One way to show it would be to show that $X * Y \approx \Sigma(X \wedge ...
0
votes
0answers
35 views

Algorithm for finding zero of an odd function from n-sphere -> R^n

There is a well-known Borsuk-Ulam theorem stating that each continuous mapping $f : S^n \rightarrow \mathbb{R}^n$ that is odd in sence of $f(v) = -f(-v)$ for each $v \in S^n$ (where $-v$ denotes the ...
5
votes
1answer
55 views

Does every even-dimensional sphere admit an almost complex structure?

We know that there is an almost complex structure on $S^6$ which is not integrable. Is it always possible to find almost complex structures on $S^{2n}$? In particular does $S^4$ admit one?
0
votes
0answers
26 views

Where can I find Kan's paper “On c.s.s. categories” from 1957.

Does anyone know how I can find the following article by Daniel Kan: Kan, D. M. On c.s.s. categories Bull. Soc. Math. Mexicana (1957), 82-94. Quillen lists it as a reference in his paper Rational ...