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

learn more… | top users | synonyms (1)

3
votes
0answers
46 views

Obstruction for extending a map along a CW-inclusion: sufficient conditions?

I'm looking for a clarification of the highlighted comment taken from "A User's Guide to Algebraic Topology" by Dodson & Parker. In order to make the setting clear, I uploaded definition $8.1.6$ ...
1
vote
1answer
11 views

homology theory for $C^*$-algebras, map is natural wrt morphisms of short ecact sequences

I want to assure me if I understand the part of the exactness axiom that "$\delta$ is natural" corretly and if not, then my question is: what does it mean? The setting is the following definition: ...
1
vote
1answer
43 views

A proposition about free product

My question is about a proposition that I found on Munkres book: Topology (page 419). My definitions are based on this book. I give you the definition of free product that he uses. $\textbf {...
5
votes
1answer
71 views

$[X,Y]$ is finite where $X$ is finite connected CW-complex, and $Y$ has finite homotopy groups

I have read this question in Allen Hatcher's book Algebraic Topology, (exercise 20, page 359): Show that $[X,Y]$ is finite if $X$ is a finite connected CW complex and $ \pi_i(Y) $ is finite for $ ...
0
votes
1answer
36 views

CW complex= cell complex?; compact metrizable spaces

I have a question about finite cell complexes and compact metrizable spaces. In a paper I read the statement: Let $X$ be a compact metrizable space. Then $X$ is a countable inverse limit $\varprojlim\...
0
votes
0answers
35 views

$H_{k+1}(X \cup_f D^{k+1},X) = ?$

I am stuck with the calculation of the following homology group: $H_{k+1}(X \cup_f D^{k+1},X) = ?$ where $X$ is a simply-connected CW complex and $f: S^k \to X$ is a continuous map (attaching map of ...
-1
votes
1answer
46 views

Which group homomorphisms induce the action of the fundamental group on the fiber?

Given topological spaces $X$ and $Y$ and a covering map $p: X \rightarrow Y$, we know that the group $\pi_1(Y,y_0)$, where $y_0\in Y$, acts on the fiber $F=p^{-1}(y_0)$. Also, we know that the set ...
0
votes
1answer
16 views

Seifert matrix, linking numbers, generators

I have been asked to compute the seifert form of a knot, the twist knot. I know how to compute the seifert surface, and then the seifert matrix seems to be defined accordingly (according to all the ...
0
votes
1answer
40 views

Homology group of an open set on $S^1$

Let $U$ be an open set which is constructed as intersection of $S^1$ and open ball in $\mathbb{R}^2$. And $x$ is just a point contained in $U$. My opinion: By long exact sequence, $H_n(U, U-x)$ is ...
0
votes
1answer
44 views

A relation between the index of a fundamental group and the covering map

My professor just enunciated this statement: $|\pi_1(X,x_0):\pi_1(\tilde X,\tilde x_0)|=\#P^{-1}(x_0)$ where $P$ is the covering $P:\tilde X\rightarrow X$, such that $P(\tilde x_0)=x_0$. I've ...
1
vote
1answer
31 views

Deck transformation, covering space

Let be $X=(S^1-1)\cup (S^1+1)\subset\mathbb{C}$ (shaped like the "eight") and $u(t)=e^{2\pi it}-1, v(t)=1-e^{2\pi it}$. Give every deck transformation $\Delta(p)$ and $p_{\ast}(\pi_1(Y, y_0))\...
0
votes
0answers
24 views

Differences among the Group Cohomology with coefficients over a commutative ring and coefficients over an arbitrary $G$-module

Assume that $G$ is a finite group and $k$ is an arbitrary commutative ring. From the general theory we know that the group cohomology $H^{*}(G ; k)$ becomes a graded ring (with the cup product). ...
1
vote
1answer
28 views

Is there a common way, to find all deck transformations $\Delta(p)$

Suppose $p:E\longrightarrow B$ is a covering projection. I have a general question, on how to find the group of all deck transformations $\Delta(p)$. Is there a common way to do this, or what could be ...
0
votes
0answers
48 views

Is the cohomology ring of a CW complex computable?

There is a well-developed technology for computing the cohomology groups of a CW complex, cellular cohomology. It reduces the problem of computing cohomology to the two simpler problems of (1) ...
0
votes
0answers
12 views

Covering spaces of surface sphere glued to the mobius strip at one point on its boundary.

I have determined the universal covering space, but I am having trouble finding two-sheeted and three sheeted covering spaces. Any help would be greatly appreciated on how to approach this!
0
votes
0answers
27 views

definition of mod p k-theory

The (topological) complex K-theory is a cohomology theory, i.e can be represented by a spectrum $K$ whose $2n$-th space is $BU \times \mathbb{Z}$ and whose $2n+1$-th space is its loop space (and is ...
3
votes
2answers
63 views

Why every map $f : S^n \to T^n (n>1)$ has topological degree zero?

Why every map $f : S^n \to T^n (n>1)$ has topological degree zero? I don't know anything about covering spaces, and has been told to me that this assertion comes from this theory! I do appreciate ...
3
votes
0answers
40 views

Let $\gamma_1, \gamma_2 : I \to M$ two homotopic curves, $M$ a $C^{\infty}$ manifold. If $\omega$ is a closed $1-$form then:

Let $\gamma_1, \gamma_2 : I \to M$ two homotopic curves, $M$ a $C^{\infty}$ manifold. If $\omega$ is a closed $1-$form then: $$\int_{\gamma_1(I)} \omega = \int_{\gamma_2(I)}\omega.$$ Then, conclude ...
1
vote
0answers
39 views

Projective space, fundamental group

Let $g:\mathbb{R}P^2\to\mathbb{R}P^2$ continuous. Let $q:S^2\to\mathbb{R}P^2$ die quotient map. Show, that: If $g_{\ast}(\pi_1(\mathbb{R}P^2, x))$ is not trivial (therefore contains more ...
1
vote
1answer
40 views

Troubles to understanding notation and some terminology on cohomology of finite groups

I am reading Adem, Milgram's book "Cohomology of finite groups" and I have some troubles with the notation. In particular, I don't get whether they are referring to the cohomology as a ring or as a ...
8
votes
1answer
111 views

What is this manifold?

As picture below ,it is a Mobius band with a cylinder crossing it .Let it be $\Omega$ . Obviously , $\partial \Omega$ is a circle. Now , what is $\Omega/\partial \Omega$ ( I mean glue the boundary to ...
2
votes
1answer
31 views

Correlation amomg cohomology of a group $G$ and singular coohomology of its classifying space $BG$

Assume that $G$ is a finite group and let's denote by $BG$ its classifying space. Then we know that we can construct the cohomology $H^{*}(G ; M)$ with (local) coefficients, for a $G$-module $M$, in ...
2
votes
1answer
45 views

Why does $f(x,z)=(x,z^2/|z|)$ have degree $2$?

Write the $n$-sphere as the set $S^n\approx \{(x,z)\in\Bbb R^{n-1}\times\Bbb C: |x|^2+|z|^2=1\}$, and define a mapping $f: S^n\to S^n$ by $f((x,z)) = (x,\frac{z^2}{|z|})$. Why is $\deg(f)=2$? ...
15
votes
3answers
3k views

An intuitive idea about fundamental group of $\mathbb{RP}^2$

Someone can explain me with an example, what is the meaning of $\pi(\mathbb{RP}^2,x_0) \cong \mathbb{Z}_2$? We consider the real projective plane as a quotient of the disk. I don't receive and ...
3
votes
1answer
54 views

Homology 4-balls with boundary $S^3$

Are there interesting homology 4-balls with boundary $S^3$? Going the other way, must any homology 4-ball with boundary $S^3$ be homotopy equivalent/homeomorphic/diffeomorphic to $B^4$?
1
vote
1answer
17 views

How do I see if the induced homomorphism from the inclusion map $S^{1'}\to S^1\times S^3$ is injective

Let $S^1\times S^3$ be parametrised as $\{(\alpha,\beta, \gamma)\in \mathbb{C}^3||\alpha|^2+|\beta|^2=1, |\gamma|=1\}$ and let $S^{1'}=\{e^{i\theta}(1,0,1)|\theta\in [0,2\pi]\}$. I would like to see ...
0
votes
1answer
36 views

projective space, quotient map, existence of a function

Let $g:\mathbb{R}P^2\to\mathbb{R}P^2$ continuous. Let $q:S^2\to\mathbb{R}P^2$ denote the quotient map. Show: It exists a function $h: S^2\to S^2$ with $q\circ h=g\circ q$ Hello, I really ...
0
votes
0answers
27 views

covering space, deck transformation

Let $X=(S^1-1)(S^1+1)$ be the eight, $Y=\mathbb{R}\cup\{z+2k\pi+i:k\in\mathbb{Z},z\in S^1\}\subset\mathbb{C}$ and $u(t)=1-e^{2\pi it}, v(t)=e^{2\pi it}+1$ a) Give (per formula) a covering space $...
3
votes
2answers
37 views

The Incluson Map $S_1\to S_1\times S_1$ Induces an Injection in First Homology.

Let $T=S^1\times S^1$ be the torus and $A=S^1\times \{x_0\}$ be the "vertical" circle in the usual depiction of the torus as a tyre tube sitting "horizontally". Let $i:A\to T$ be the inclusion map....
0
votes
1answer
18 views

Proving weak homotopy equivalence of a map

This is a modification of the question I previously asked here. Consider the category of pointed topological spaces $C$. Suppose objects $a,b,c,d,e,f,g,h \in C$. Suppose we also have the commuting ...
5
votes
1answer
441 views

If two maps induce the same homomorphism on the fundamental group, then they are homotopic

This is exercise 15.11(d) in C. Kosniowsky book A first course in algebraic topology: Prove that two continuous mappings $\varphi,\ \psi:X\to Y$, with $\varphi(x_0)=\psi(x_0)$ for some point $x_0\...
0
votes
0answers
71 views

Homology Groups of Tangent 2-Spheres

I have been trying to compute the Homology Groups $ H_n $ of two tangent 2-Spheres (we will call this space, X). By previous results, I am able to easily determine that $ H_0(X) $ is isomorphic to the ...
3
votes
0answers
98 views
+50

projective space, constant function, homotopy

Show, that every continious function $f:\mathbb{R}P^2\to S^1$ is a homotopy to a constant function. (Hint: Has $f$ a lift $\tilde{f}:\mathbb{R}P^2\to\mathbb{R}$) Hello, I want to solve this ...
3
votes
1answer
64 views

Non contractible space with contractible suspension

I know that there exist non-contractible spaces $X \not\simeq \ast$ with contractible suspension $\Sigma X \simeq \ast$. For instance the 2-skeleton of the Poincaré homology 3-sphere is such a space. ...
0
votes
1answer
63 views

Cayley graph of the fundamental group of the 2-torus

Does anybody knows some description or some good picture on the internet for the Cayley graph of the fundamental group of the 2-torus, when this is constructed by connected sum of two torus. I know, ...
5
votes
2answers
160 views

$\pi_n(X^n)$ free Abelian?

I have encountered a problem which states that denote $X$ as an Eilenberg-MacLane space $K(G,1)$ and is a CW complex, show that $\pi_n(X^n)$ is free Abelian for $n \geqslant 2$. However, I think I ...
3
votes
1answer
72 views

Graph theory application of homology

I am struggling with the idea of local homology groups and would like to see an example of how to go about finding them in general. I'm thinking of the most trivial case to apply the theory of local ...
3
votes
2answers
78 views

Triangulation of torus - understanding why

Note: in relation to the answer of the duplicate question, I see that the second picture below refers to the triangulation when we consider simplicial complexes. I do not understand why the triangles ...
10
votes
1answer
419 views

covering space of $2$-genus surface

I'm trying to build $2:1$ covering space for $2$- genus surface by $3$-genus surface. I can see that if I take a cut of $3$-genus surface in the middle (along the mid hole) I get $2$ surfaces each one ...
2
votes
0answers
98 views
+100

Question on the coskeleton functor $\mathbf{coskel}'$ for pointed simplicial sets

There is an abstract construction of the coskeleton functor for simplicial set as follows: Fix an integer $n\geq 0$ and take the inclusion of the full subcategory $i_n\colon\Delta_{\leq n}\...
5
votes
1answer
71 views

The Euler Characteristic of $\mathbf RP^2$ is a Fraction.

Problem 22 in Section 2.2 in Hatcher's Algebraic Topology reads For $X$ a finite CW complex and $p:\tilde X\to X$ an $n$-sheeted covering space, show that $\chi(\tilde X)=n\chi(X)$. Here $\chi$ ...
3
votes
1answer
55 views

Correspondence $\{$principal $G$-bundles on $M\}\leftrightarrow\{$conjugacy classes of homomorphisms $\pi_1(M)\to G\}$

Context. I'm reading Qiaochu's short note Surfaces and the representation theory of finite groups which aims to prove Mednykh's formula inspired by ideas from topological quantum field theory. On page ...
2
votes
2answers
72 views

In the quotient topology $D^2/{S^1} \cong S^2 $

Let $X = D^2 = \{(x, y) \in R^2\ : x^2 + y^2 \le 1\}$ be the closed unit disc (in the standard topology). Identify $S^1$ with the boundary of $D^2$. Now I have to prove that $$D^2/S^1\cong S^2$$ I ...
3
votes
2answers
69 views

Is there any 'nice' space with fundamental group $\mathbb{Z}_3$?

I'm trying to build up intuition for the fundamental group, as it occurs in physics. In the simplest examples, the fundamental group is trivial, or $\mathbb{Z}$, or $\mathbb{Z}^n$. We can also get $\...
1
vote
1answer
41 views

Arc connectedness of Telophase topology

In Counterexamples in Topology Book by Lynn Steen i found that Telophase topology is arc connected. How can we build an arc in this topology ? And also could you give me an idea of how to prove that ...
2
votes
2answers
32 views

Compositions of homotopic maps are homotopic

I'm reading some lecture notes on homotopy, and the author has just proved the theorem: If $f_{0} \simeq f_{1}$ and $g_{0} \simeq g_{1}$, then $g_{0} \circ f_{0} \simeq g_{1} \circ f_{1}$ ...
3
votes
1answer
33 views

why is $\cap \mu_B:H^k(\mathbb{R}^n,\mathbb{R}^n\setminus B;R)\to H_{n-k}(\mathbb{R}^n;R)$ an isomorphism?

I have a question about the proof of the following lemma. Let $R$ be commutative ring with $1_R$ Lemma: Let $B\subseteq \mathbb{R}^n$ be a compact ball and let $\mu_B\in H_n(\mathbb{R}^n,\mathbb{R}^n\...
4
votes
0answers
69 views

what is a (co)homology theory?

There are different axioms for a (co)homology theory: Homotopy invariance is always there, but for the rest there is or isn't: long exact sequence for pairs of topological spaces exact sequence for ...
3
votes
0answers
51 views

How to construct a G-extension of a category C?

Note: I'm a physicist so this will be phrased somewhat in physics language. Suppose we have a unitary modular tensor category $\mathcal{C}$. In physics language, we can think of $\mathcal{C}$ as ...
2
votes
0answers
94 views

“admissible” maps from context

I have been reading Massey's Algebraic Topology and on page 158 came across the following "semi-mystical principle" which he says guides much mathematical research: Whenever we wish to gain ...