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
0answers
8 views

Classifying Covering Spaces using First Cohomology

I am familiar with the classification of covering spaces of a space $X$ in terms of subgroups of $\pi_1(X)$ (up to conjugation). However, if $X$ is a manifold, I know that $H^1(X; G)$ classifies ...
2
votes
1answer
20 views

Local isometry between simply connected manifolds

Suppose $D:\tilde{M}\rightarrow N$ is a local diffeomorphism between two simply connected smooth manifolds $\tilde{M}$ and $\tilde{N}$. $D$ is onto. In the case of $D$ being a covering map, it follows ...
2
votes
2answers
23 views

Are there any nontrivial second Hurewicz homomorphisms for familiar compact 6-dimensional manifolds?

Based on several computations I have done, it seems that the second Hurewicz homomorphism $$h:\pi_{2}(X)\rightarrow H_{2}(X;\mathbf{Z})$$ has a habit of being trivial. For instance, this seems to be ...
1
vote
0answers
33 views

Hatcher deduce ring structure on $H^\ast(\mathbb{R}P^\infty;\mathbb{Z})$

So in Hatcher they deduce the ring structure of $H^\ast (\mathbb{R}P^\infty;\mathbb{Z})$ by looking at the map $\mathbb{Z}\rightarrow\mathbb{Z}_2$, which induces maps on ...
0
votes
1answer
39 views

Covering map in the context of Riemann Surfaces and Algebraic Topology

I am taking a course in Riemann surfaces and our lecturer has warned us that the definition of covering maps in the context of Riemann surfaces is strictly weaker than the ones used in Algebraic ...
2
votes
0answers
62 views

Topology of the complex curve $x^4+y^4=1$

How do you realize that the complex curve $x^4+y^4=1$ looks topologically like three tori glued together with four points at infinity?
1
vote
0answers
21 views

triangulating torus using simplices

i am currently pursuing a course in basic homology theory.i am really stuck in how to triangulate a torus by using simplicial complexes . in every book, a diagram is given but it does not define that ...
1
vote
1answer
22 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
36 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 ...
7
votes
0answers
86 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
52 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
23 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
23 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 ...
1
vote
0answers
21 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
38 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
32 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
37 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 ...
63
votes
10answers
3k views

Explain “homotopy” to me [on hold]

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
49 views
+50

Topology of Isolated Singularities

In Singular Points of Complex Hypersurfaces, Milnor shows 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
83 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
66 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
59 views

Property of second Steifel-Whitney class?

Let $M$ be manifold, $n = 4$. Is $w_2$ special in in the regard it's the only thing of $H^2(M, \mathbb{Z}_2)$ where $w_2 \cup \tau = \tau \cup \tau$, $\tau \in H^2(M, \mathbb{Z}_2)$ or not? I wondered ...
1
vote
1answer
21 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
34 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
38 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
33 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
20 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
46 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
28 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
100 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
35 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
62 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
29 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
63 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
41 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
24 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
78 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
27 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
50 views

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

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 ...