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)

0
votes
0answers
22 views

Difficulty of algebraic topology[Hatcher] and homological algebra[Weibel] [on hold]

Which book is more difficult? I have almost studied the former and will study the latter.
1
vote
1answer
19 views

Finding triangulations of spaces.

I am currently pursuing a course in basic homology theory and i am finding it really difficult to find the triangulation of spaces. I know that a triangulation of a topological space $X$ is a ...
1
vote
1answer
30 views

A lemma from Hilton & Stammbach's book A Course in Homological Algebra

In orde to prove the set of equivalence classes of extensions of $A$ by $B$ is a contravariant functor of the first component and covariant functor of the second. The authors give us three lemma. I'm ...
6
votes
1answer
67 views

Is every topological group the topological fundamental group of an space?

The fundamental group $\pi_{1}(X)$ of a path connected topological space $X$ is the image of $Hom(S^{1},X)$. So the fundamental group can be topologized with quotient topology where ...
1
vote
1answer
45 views

Is there a nontrivial fiber or principal bundle over $S^3$?

Is there a nontrivial fiber or principal bundle over $S^3$?I know that, by a paper of Steenrod,see the link below, every sphere bundle on 3- sphere is trivial but what about arbitrary fiber ...
1
vote
1answer
19 views

Do path homotopy classes of concatenated paths have a middle fixed point?

If $[a]$ and $[b]$ are path homotopy classes, then $[a]\cdot[b]$ is defined as $[a*b]$, where $a*b$ is defined as the concatenation of the paths $a$ and $b$. Let us say $a(1)=b(0)=p$. Then does each ...
2
votes
2answers
17 views

The configuration space of directed great circles on the sphere

I am reading a proof of Pu's inequality in Katz' book "Systolic geometry and topology". In section 6.4, he describes a fibration $q : SO(3) \to S^2$ which I can't quite figure out. First, he thinks ...
5
votes
0answers
34 views

Hopkins Algebraic Topology notes, something not clear involving Stiefel-Whitney classes.

In notes by Mike Hopkins here, the following is remarked. A discussion similar to the one for $\textbf{RP}^n$ shows that$$w(T\textbf{CP}^n) = (1 + y)^{n+1}$$where $y \in H^2(\textbf{CP}^n, ...
1
vote
0answers
15 views

Quotient topology from Delta complex,

A $\Delta$-complex structure on a space X is a collection of maps $\sigma_{\alpha} : \Delta^n \rightarrow X$ with n depending on index $\alpha$ such that 1)The restriction ...
4
votes
1answer
35 views

Does $X^{C_2} \simeq * \simeq X/{C_2}$ imply $X \simeq *$?

What the title says. Let $C_2$ be the cyclic group of order 2, and $X$ be a topological space with a $C_2$-action (acting continuously) such that both the quotient space $X/{C_2}$ and the subspace of ...
0
votes
0answers
31 views

Why is the unit disc not a topological surface? [duplicate]

I am trying to prove that the unit disc $D^2$ is not a topological manifold. Clearly it is Hausdorff and second countable, so I think I should show that it is not locally Euclidean. The following is ...
3
votes
1answer
34 views

There are no nonzero cocycles on $U$ vanishing on a def. retract of $U$

Playing around with cochains, I think I showed the following: Proposition: Suppose $U$ deformation retracts onto its subspace $A$, and suppose $\varphi \in C^k(U)$ is a singular cocycle which ...
45
votes
9answers
2k views

Explain “homotopy” to me

I have been struggling with general topology and now, algebraic topology is simply murder. Some people seem to get on alright, but I am not one of them unfortunately. Please, an answer I need is ...
0
votes
0answers
31 views

Topology of Isolated Singularities

In Singular Points of Complex Hypersurfaces, Milnor explains that if $f: \mathbb{C}^{n+1} \rightarrow \mathbb{C}$, holomorphic, has an isolated singularity at the origin, then $f^{-1}(\epsilon) \cap ...
2
votes
2answers
77 views

Problem 10 of Section 1.2 from Hatcher.

Problem. Consider two arcs $\alpha$ and $\beta$ embedded in $D^2\times I$ as shown in the figure. The loop $\gamma$ is obviously nullhomotopic in $D^2\times I$, but show that there is no ...
1
vote
3answers
60 views

How do we view natural transformations as functions

1.The definition asserts that natural transformation is a map of two functors. However, from the definition, given tow functors $F,G:C,D$, we associate every element $x$ in $Obj(C)$ a morphism $F(x) ...
3
votes
1answer
38 views

Property of second Steifel-Whitney class of tangent bundle?

Let $M$ be a closed, smooth, simply-connected $4$-manifold. Is $w_2$ the unique class in $H^2(M, \mathbb{Z}_2)$ such that $w_2 \cup x = x \cup x$ for all $x \in H^2(M, \mathbb{Z}_2)$ or not? I ...
1
vote
1answer
19 views

Is the transfer homomorphism in cohomology surjective?

Let $p:\widetilde{X} \to X$ be an $n$-sheeted covering space. Consider a singular simplex $c:\triangle^k \to X$, because the simplex is simply-connected, there exist $n$ different lifts ...
0
votes
1answer
22 views

Homotopy $I^2 \rightarrow S^1$ lifting lemma proof

In case of a homotopy $h: I^2 \rightarrow S^1$ we can define lifting as such an $\tilde{h}: I^2 \rightarrow \mathbb{R}$ that $e^{i\tilde{h}}=h$. The existence of $\tilde{h}$ requires a proof. A way to ...
0
votes
1answer
11 views

Regarding embeddings and homological/cohomological injectivity

Possibly low-level question here: if one has an embedding $M\hookrightarrow X$, call it $\iota$, then this is of course an immersion, so the differential maps $\iota_{\ast}:T_{p}M\rightarrow ...
2
votes
1answer
26 views

Spaces homotopy equivalent to finite CW complexes

I'm doing a project about Topological Complexity (it doesn't matter what it is for the questions I will ask) and I have proofs for a few results about the bounds of the topological complexity of ...
0
votes
1answer
34 views

Prove closed disc $D^n$ is homeomorphic to the cone $CS^{n-1}$

I need to find a continuous surjective map from $D^n$ to $CS^{n-1}$. For 2 dimensions, we can use $$f: S^1 \times I /S^{1} \times \{1\} \rightarrow D^2$$ with $f(\theta,t) = (1-t)e^{i \theta}$ ...
0
votes
1answer
32 views

Is torus w. disc removed homotopic to klein bottle w. disc removed?

I know that homeomorhic spaces are homotopic, but am not sure if this applies, since I think they are not homeomorphic due to orientability. I know f and g are homotopic if they represent: ...
1
vote
1answer
19 views

strange implication of addivity axiom in homology theory

Let $H$ be a homology theory satisfying Eilenberg-Steenrod axioms and $X$ an arbitrary topological space. We can write $X$ as a disjoint union of its points $$X= \coprod_{x \in X}{\{x\}}$$ Now the ...
2
votes
0answers
38 views

Holonomic splitting

I am reading the book "Introduction to the h-Principle" by Eliashberg and Mishachev. At the moment I try to understand the Section 1.7 Holonomic splitting on page 12 but without success. I do not ...
1
vote
1answer
34 views

Fundamental Property of Regular CW Complexes

$\newcommand{\R}{\mathbf R}$ For a cell $e$ in a CW complex, we write $\partial e$ to denote $\bar e-e$. Note that $\partial e$ may not be the topological boundary of $e$ in $X$. A CW complex ...
3
votes
0answers
27 views

multiplication in H-space and loopspace of the H-space

Let $X$ be an $H-space$, and let a multiplication $,\cdot,$ be given, associative up to homotopy. Let $\Omega X$ be the loopspace of $X$ based at the identity and let the multiplication $ \circ $ on ...
8
votes
6answers
93 views

Examples of global properties that don't arise from local knowledge

Let $M$ be a smooth manifold. As an example of a global property that arises from local data we know that if $(M,g)$ is a compact surface without boundary then the Euler characteristic is given by $$ ...
0
votes
0answers
34 views

Using transfinite induction to compute fundamental groups

I want to compute the fundamental group of a space containing comb space along with boundary of $I \times I$ where I is $[0,1]$. Here is my attempt using transfinite induction and Van Kampen. Let's ...
1
vote
0answers
24 views

Can we transform a non-simple arc on a torus to a simple one?

Let $T^2$ be a torus. Assume $\gamma_1$ and $\gamma_2$ be two basis generators of $H_1(T^2)$ such that $\gamma_1$ is a circle along the meridian and $\gamma_2$ is a circle along the longitude of the ...
2
votes
2answers
61 views

Long exact sequence of a triple: working through the geometry

Suppose $X$ is a topological space with subspaces $X \supset U \supset A$ such that $U$ deformation retracts onto $A$. We know that $H^*(X,U) \cong H^*(X,A)$--one way to see this is to take the long ...
3
votes
1answer
28 views

Order of element in polynomial ring in Hatcher

So I've been reading Hatcher and I am unsure what they mean when they say things like $H^\ast(\mathbb{R}P^n;\mathbb{Z}_2)\cong \mathbb{Z}_2[\alpha]/(\alpha^{n+1})$ where $|\alpha|=1$. It is this last ...
0
votes
1answer
16 views

Induced map in cohomology of a covering [on hold]

Is it true that if $p: E \to B$ is a $2$-fold covering, the map $p^*$ induced in cohomology is surjective?
1
vote
1answer
62 views

What kinds of transformations preserve network topology?

I have been reading a number of "network science" papers where the authors perform transformations on networks that seem to preserve the topology of those networks. By "topology", I mean a collection ...
0
votes
1answer
40 views

Are the space of paths with two given endpoints in a contractible space, contractible?

This question is inspired by an answer to Nitrogen's answer to my Are the path connected components of $\Omega S_1$ contractible? . Here we are asked whether the space of paths in $\mathbb{R}$ ...
0
votes
0answers
33 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}$ ...
1
vote
1answer
21 views

Definition of the Fundamental Class for $K(A,0)$

I'm having a little doubts on the definition of the fundamental class for the Eilenberg-MacLane space $K(A,0)$. Recall that a fundamental class $\imath_{A,n}$ for a polarized $K(A,n)$ is the element ...
1
vote
1answer
77 views

Injectivity in the zero homology

I'm struggling with following step in an excercises about Mayer-Vietoris sequences: In one step the solution says this map is injective since $A \cap B$ is path-connected: $$ H_0(A \cap B) ...
3
votes
1answer
32 views

Are the path connected components of $\Omega S_1$ contractible?

Let $\Omega S_1$ be the space of loops of $S_1$ based at $x_0 \in S_1$ with the topology of uniform convergence. We know that the path connected components of this space are in one to one ...
1
vote
2answers
56 views

Long exact sequence of $(I \times Y, \partial I \times Y)$.

There's a section in chapter 3 in Hatcher's Algebraic Topology where he talks about the long exact sequence of the pair $(Y \times I, Y \times \partial I)$, where $Y$ is any topological space. The ...
2
votes
1answer
24 views

Showing $H_i(M, M - \{x \}) \cong H_i( \mathbb{R}^n, \mathbb{R}^n - \{0\} )$ via excision

I want to show $H_i(M, M - \{x \}) \cong H_i( \mathbb{R}^n, \mathbb{R}^n - \{0\} )$ via excision and can't quite figure out how to choose my subspaces. For $Z \subset A \subset X$, excision gives ...
0
votes
2answers
70 views

Non-abelian fundamental group on a path-connected space

I am doing a self-study of algebraic topology, and am having some difficulties comprehending the idea of a non-abelian fundamental group on a path connected space. (See for example Hatcher Exercise ...
-1
votes
1answer
49 views

How to use the Universal Coefficient Theorem to determine $H^i(M; \mathbb{Z}_p)$ from $H^i(M; \mathbb{Z})$? [on hold]

Let $M$ be a path-connected finite $CW$-complex. Suppose $$ H^2(M;\mathbb{Z})=\mathbb{Z}_{2k}, \text{ } k\geq 3; $$ $$ H^3(M;\mathbb{Z})=\mathbb{Z}\times\mathbb{Z}_{2}; $$ $$ ...
0
votes
0answers
23 views

universal coefficient theorem for mod p cohomology

In the book Algebraic Topology, Allen Hatcher, p. 266, Corollary 3A.6 (b): Question: I want to rewrite the above statement into a cohomology version. If I replace all homologies with cohomologies, ...
0
votes
1answer
40 views

Requirements too stringent for singleton homotopy class [X,Y]?

I recently had a problem: Show that if $X$ is contractible, and $Y$ is path-connected, show that the homotopy class $[X,Y]$ has a single element. I have been able to prove this (I think) in a fairly ...
6
votes
1answer
46 views

Is there any result on the “counting” of minimal atlas?

Take a differentiable manifold $M$. Define $\eta(M)$ as $\min\{\#\mathfrak{A} \mid \mathfrak{A} \text{ is an atlas for $M$}\}$. For example, if $M=S^n$, we have that $\eta(M)=2$, since $S^n$ is ...
0
votes
0answers
31 views

$H^*(X,A;R)\cong H^*(X',A';R)\; \Rightarrow H^*(X\times Y ,A\times Y;R)\cong H^*(X'\times Y,A'\times Y;R)?$

I have a quastion about product spaces in singular cohomology. I only know a formula for sinugular homology for product spaces from lecture, the universal coefficient theorem. Let $R$ be a ...
1
vote
0answers
34 views

A fibre bundle of n-tuples of vectors

The question is: does the surjective, multilinear map $\pi: (\mathbb R^\infty)^n\to \Lambda^n(\mathbb R^\infty)$ defined by $(v_1,\cdots,v_n)\mapsto v_1\wedge \cdots \wedge v_n,$ define a fibre ...
1
vote
1answer
25 views

Extend a map over a $n+1$-cell IFF $f_nϕ$ is nullhomotopic.

Prove: If the map $f_n$ is defined on the $n$-skeleton $X_n$ and you want to define it on an $n+1$-cell with attaching map $ϕ:S_n→X_n$, then you can do so if and only if $f_nϕ$ is nullhomotopic. I ...
0
votes
1answer
41 views

If induced map on homology is surjective, is induced map on cohomology injective?

Suppose I have topological spaces $X, Y$ and a continuous map $f: X \to Y$. Let $\mathbb{k}$ be a field, and $i \ge 1$ an integer. If the induced linear map on homology $f_* : H_i ( X, \mathbb{k}) ...