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)

2
votes
1answer
43 views

let $\xi$ be an arbitrary vector bundle. Is $\xi\otimes\xi$ always orientable?

Let $\xi=(E,p,B)$ be a line bundle (not nec. orientable). Then the tensor product $\xi\otimes \xi$ is orientable. I obtain this by choosing $b\in U\cap V$, $U,V$ open in $B$ such that ...
0
votes
2answers
56 views

tensor product of two vector bundles

Let $\xi$ and $\eta$ be two vector bundles over the same base space $B$. Then $\xi\otimes \eta$ is orientable if and only if $\xi$ and $\eta$ are both orientable. How to prove this true or not true? ...
1
vote
1answer
37 views

Is it true there exists $f:S^{2n}\longrightarrow S^{2n}$ making the diagram commutative?

Let $g:\mathbb R\mathbb P^{2n}\longrightarrow \mathbb R\mathbb P^{2n}$ be a continuous map where $\mathbb R\mathbb P^{2n}=\mathbb S^{2n}/\{\pm x\}$. Is it true there exists $f:\mathbb ...
2
votes
1answer
41 views

Covering map of $\mathbb R \mathbb P^2$

The question I am trying to answer is: Does the quotient map $ q:[0,1] \times [0,1] \to \mathbb R \mathbb P^2$ extend to a covering map $\mathbb R^2 \to \mathbb R \mathbb P^2$ I know that the ...
2
votes
0answers
31 views

$RP^{(n-1)}$ is not retract of $RP^n$

I have to solve the following: Show that $RP^{(n-1)}$ is not retract of $RP^n$ for $n\geq 2$. I have done this with knowledge of homotopy-groups, by showing that $\mathbb{Z}$ cannot factor through ...
0
votes
0answers
14 views

Euler characteristic and free action

If $K$ is a finite simplicial complex, and $G$ acts simplicialy on $K$ with no fixed points, show $\chi(K) = |G|\cdot\chi(K^2/G)$. Could I have a hint for how to start this question? I was told to ...
0
votes
1answer
24 views

Show that $\tilde{X} \rightarrow X$ is a covering map.

Let $\tilde{X}=\{(x.y)\in \mathcal{R}^2; \text{x or y is an integer}\}$ Let X=$\{(z_1, z_2) \in S^1\times S^1; z_1=1$ or $z_2=1\}$ and let $p:\tilde{X}\rightarrow X$ be defined by $p(x,y)=(exp(2\pi ...
0
votes
1answer
9 views

Show that a finite graph product of finitely generated groups is finitely generated, and similarly for finitely presented groups.

Show that a finite graph product of finitely generated groups is finitely generated, and similarly for finitely presented groups. I think when we have a finitely generated groups,the graph product of ...
1
vote
1answer
32 views

What is the second homotopy group of $R^3 \setminus \{ (0,0,0) \}$

I was told that it was $\mathbb{Z}$, and I can imagine a subgroup isomorphic to $\mathbb{Z}$ of 'wrappings' of the sphere around the point, but I am still convinced there are more homotopy classes. I ...
0
votes
0answers
32 views

Equivalence of Cohomology groups

Suppose $n=i+j,$ with $n, i,j$ positive integers. Let $I^k$ denote the $k$-dimensional unit square. It is claimed (in Hatcher's Algebraic Topology text) that $H^i(\mathbb{R}^n, \mathbb{R}^n \setminus ...
1
vote
0answers
18 views

Reduced suspension of a CW complex

Is (reduced) suspension an operation on CW-complexes? A naive proof: Reduced suspension is the same as the smash product with $S^1$. $S^1$ is locally compact, so $- \wedge S^1$ preserves colimits, ...
1
vote
1answer
18 views

In homology, when we operate the boundary twice we get zero, that is, $\partial^2=0$. Need help understanding proof.

Proof for $S=\Delta_n=(v_0 ... \hat{v_i} ...v_n)=d_i$ $\partial=\displaystyle\sum_i^n(-1)^id_i.$ Thus, $\partial^2=[\displaystyle\sum_i^n(-1)^id_i][\displaystyle\sum_j^n(-1)^jd_j] $ ...
1
vote
1answer
46 views

Open and Closed Covering [on hold]

Suppose $p:\widetilde{X} \mapsto X$ is a covering with $f,g:Y \mapsto \widetilde{X}$ continuous such that $pf = pg$. Why is the set of points in $Y$ for which $f=g$ open and closed in $Y$?
3
votes
0answers
31 views

Finite index embedding of $F_{4}$ in $F_{2}$

In this question $F_{n}$ is the free group with $n$ generators. Is there a subgroup of $F_{2}$, isomorphic to $F_{4}$, which index is finite but not in the form of $3k$(not multiple of $3$)? The ...
2
votes
0answers
17 views

Cross product of cohomology classes: intuition

Let $X$ and $Y$ be topological spaces and consider cohomology over a ring $R.$ Hatcher (in his standard Algebraic Topology text) defines the cross product of cohomology classes $$H^k(X) \times ...
0
votes
0answers
11 views

is simplicial approximation of $gof$ equal to the combination of simplicial approximation of $g$ with simplicial approximation of $f$?

suppose $M,L,K$ are complex and $f:|K| \rightarrow |L|$ and $g:|L| \rightarrow |M|$ are continues maps,can we consider combination of simplicial approximation of $f$ and $g$ as a simplicial ...
1
vote
0answers
17 views

Explain the terms k-simplex and simplical complex geometrically?

I m new to algebraic topology .so confused with these terms pls suggest simple books
1
vote
2answers
44 views

Group acts freely on a closed surface

My question is as follows: Let G be a finite group which acts freely as a group of homeomorphisms of a closed surface S (so the only element with fixed points is the identity) Then: Show the orbit ...
1
vote
1answer
24 views

Let $p$ be a covering space and $X, Y$ be path connected. Show there exists a map $q$ such that $q\circ p=1_{X}$ iff $p$ is a homeomorphism.

Let $p\colon X\rightarrow Y$ be a covering map where $X$ and $Y$ are path connected. Show that there exists a map $q\colon Y\rightarrow X$, such that $q\circ p=1_{X}$ if and only if $p$ is a ...
0
votes
1answer
31 views

Mayer-Vietoris sequence confusion

In the Mayer-Vietoris exact sequence $$... \rightarrow H_n(A) \oplus H_n(B) \rightarrow H_n(X) \rightarrow H_{n-1}(A \cap B) \rightarrow H_{n-1}(A) \oplus H_{n-1}(B) \rightarrow...$$ I am confused ...
3
votes
0answers
44 views

does the pullback of a covering space correspond to the pullback of the corresponding representations of $\pi_1$?

Say you have a covering space $C \rightarrow X$ corresponding to some homomorphism $\pi_1(X)\rightarrow S_n$. Suppose you have an arbitrary (continuous) map $f : Y\rightarrow X$. Then we may pull back ...
0
votes
1answer
19 views

Is the tangent bundle of an oriented surface plus a trivial bundle trivial?

Let $\Sigma$ be an oriented closed surface and $E$ be the direct sum of $T\Sigma$ with a trivial line bundle. Is $E$ a trivial rank $3$ vector bundle? For genus $0$ and $1$ the answer is yes since ...
4
votes
2answers
81 views

Fundamental group of the Poincaré Homology Sphere

I'm working on the Poincaré Homology Sphere $P_3$ and would like to compute it's Homology $H_1$ and fundamental group. I would like to identify it's fundamental group with the binary icosahedral group ...
0
votes
1answer
10 views

Determining images of points in a path homotopy.

Say the two paths $f_0$ and $f_1$ ae homotopic. Then $(1-t)f_0+tf_1$ is the homotopy between the two paths. Say $f_0,f_1\in\Bbb{R^2}$, and there is a point $(a,b)$ in $f_0$. How can we find which ...
0
votes
0answers
25 views

What is the complement of a loop?

My Algebraic Topology book says $A$ is a loop in the complement of another loop $B$ What does "in the complement of" mean here?
2
votes
0answers
29 views

Hopf Invariant Definitions

I have seen two definitions of the Hopf invariant given: (1) Cohomological Definition: Let $S^{n}$ denote the oriented $n$-sphere, where $n \geq 2$. Let there be given a map $f:S^{2n-1} \rightarrow ...
2
votes
2answers
48 views

Proving that the fundamental group of Klein bottle is generated by two elements without using covering spaces and van Kampen theorem, etc.

This is a problem in 'Topology and Geometry' by Bredon. I tried hard on this problem, but have no idea what to do. This question was onced asked by someone, but there was no satisfactory answer. Let ...
3
votes
1answer
66 views

Topological invariance of chern classes

Are Chern classes topological invariants? To be more precise: Given two complex manifolds $M$ and $N$. Does a homeomophism $f:M\to N$ map Chern classes to Chern classes?
1
vote
1answer
44 views

Fundamental Group of Klein Bottle?

Let $C^{*}=C \setminus \{ 0 \}$. What is the fundamental group of $C^{*}/H$, here $H=\{\psi^n;n \in \mathbb{Z}\}$ with $\psi(z) = 2 \bar{z}$?
0
votes
1answer
36 views

Question about degrees of maps from $S^1 \rightarrow S^1$

Note: Since the degree of a map is independent of the base-point I'll speak loosely and just say $\pi_1(S^1)$. One definition of the degree of a map $f$ from the circle to itself is the number $k$ ...
1
vote
1answer
28 views

Show that if $h,k: S^1\rightarrow S^1$ are homotopic, they have the same degree.

We define the degree of a continuous map $h: S^1 \rightarrow S^1$ as follows: Let $b_0$ be the point $(1,0)$ of $S^1$; choose a generator $\gamma$ for the infinite cyclic group $\pi_1(S^1,b_0)$. If ...
5
votes
4answers
519 views

Topological groups, why need them?

I'm reading through Munkres and Armstrong's books on topology. However, I find topological groups to be really complicated objects! I feel they are twice as hard to deal with then just groups and ...
4
votes
1answer
48 views

Show that if B is simply-connected, then p is a homeomorphism.

Let $p: E \rightarrow B$ be a covering map with $E$ path-connected. Show that if $B$ is simply-connected, then $p$ is a homeomorphism. I'm checking to see if my solution is flawed. Since $p$ is a ...
1
vote
2answers
99 views

Let $p: E\to B$ be a covering map. If $B$ is compact and $p^{-1}(b)$ is finite, then $E$ is compact. [duplicate]

So I start off and assume that some $\{U_\alpha\}$ is a cover of $E$. I want to reduce this cover to a finite subcover of $E$. Since $p$ is a covering map it is also an open map, therefore ...
1
vote
0answers
121 views

Help Understanding/Completing Proof of Prop 3.18/3.19 in Hatcher's Algebraic Topology

I apologize right away for the wall-o-text. I'm participating in a cohomology reading course, and I'll be leading the class through the following proposition later this week, but I'm having a hard ...
1
vote
1answer
26 views

A question about subexponential growth about group

Recall a group $\Gamma$ is said to have subexponential growth if lim sup$|E^{n}|^{1/n}=1$ for every finite subset $E\subset \Gamma. (E^{n}=\{g_{1}g_{2}...g_{n}: g_{i}\in E\}.)$ My question is: Can we ...
3
votes
0answers
34 views

Singular cohomology with compact support

If $X$ is a locally compact Hausdorff space, then for any $n \geq0$ is $H_c^n(X) \cong {\tilde H^n}({X^ + })$? ($H_c^n(X)$ is the Singular cohomology with compact support and $X^+$ is the one-point ...
1
vote
1answer
48 views

Mapping $\mathbb R^n - \{0\}$ to $S^{n-1}$

How might one map $\mathbb R^n - \{0\}$ to $S^{n-1}$ ? I found this in a primer on homology where it is proved that the to spaces are homotopy equivalent, as an example of removing a single point ...
0
votes
0answers
30 views

fundamental group of $\mathbb{C^*}/\{e,a\}$

I'm taking an intro to topology course, and am having trouble with this question. What is the fundamental group of $\mathbb{C^*}/\{e,a\}$, where $e$ is the identity homomorphism and $az=\overline{z}$. ...
0
votes
0answers
15 views

Presentations of fundamental groups regarding cones of simplicial subcomplexes

Let $L$ be a simplicial subcomplex of $K$. Let $CL$ be the cone on L. Let $X = CL \bigcup K$. Show that X is a simplicial complex and dscribe a presentation for $\pi_1(|X|,v)$ in terms of ...
4
votes
0answers
62 views
+100

Lefschetz duality for non-compact relative manifolds

I'd like to use the formulation of Lefschetz duality stated here, but I can't seem to find a reference for this particular version of it, and it doesn't seem quite right to me. The exact statement in ...
3
votes
1answer
24 views

The coeffcients of a generator of $H_0(X)$ sum to $\pm 1$?

I'm reading Theorem 4.14 (p. 70) of Rotman's Intro to Algebraic Topology. He proves that if $X$ is a nonempty path connected space, then $H_0(X)\simeq\mathbb{Z}$, and if $x_0,x_1\in X$, then ...
5
votes
1answer
29 views

Surprising constructions in algebraic topology that facilitate one's understanding of underlying theory

I am recently come into the world of algebraic topology and find it a fascinating place with lots of beautiful constructions that challenge one's intuition. Also, understanding these constructions are ...
2
votes
0answers
33 views

Surjectivity and exactness on higher homotopy groups

If $X$ is a normal algebraic variety over $\mathbb{C}$ and $U$ an open set of $X$ then we have surjectivity on the fundamental groups $ \pi_1(U)\rightarrow \pi_1(X)$. If $f\colon X \rightarrow Y$ is ...
1
vote
2answers
68 views

Fundamental Group of Punctured Plane

What is the fundamental group of $(\mathbb{C} \setminus {\{0\}})~/~\{e,a\}$, where $e$ is the identity homeomorphism and $az = -\bar{z}$? Clearly this is homeomorphic to the half cylinder , which is ...
0
votes
0answers
22 views

Edges and Vertices in relation to Free subgroups

Let $\Gamma$ be a finite connected graph (1-dimensional simplicial complex), with $V ( \Gamma)$ vertices and $E(\Gamma )$ edges (1-simplices). Show that $\pi_1(\Gamma, v)$ is a free group with ...
1
vote
0answers
33 views

Real Spectrum of a Commutative Ring

Could anyone explain briefly what is a real spectrum of a commutative ring? If it possible please give me some easy example. Many thanks in advance. $\text{Spec}_{r}(A)$
1
vote
0answers
22 views

John Hempel's proof of residual finiteness of surface groups

John Hempel proved (http://www.ams.org/journals/proc/1972-032-01/S0002-9939-1972-0295352-2/S0002-9939-1972-0295352-2.pdf ) that fundamental groups of 2-manifolds are residually finite. I want to ...
1
vote
1answer
29 views

A simple question about 1-norm

Let $\Gamma$ be a discrete group, if $\mu \in l^{1}(\Gamma)$, then what is the 1-norm of $\mu$, I mean $||\mu||_{1}=?$. As we know, $l^{1}(\Gamma)=\{(\alpha_{x})_{x\in\Gamma}: ...
1
vote
1answer
44 views

fundamental group of complex numbers?

Let $\mathbb{C}^*=\mathbb{C}-{0}$. What is the fundamental group $\mathbb{C}/G,$ where G is the group of homeomorphism $\{\phi^n ; n\in \mathbb{Z}\}$ with $\phi(z)=2z$? I think the fundamental group ...