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)

5
votes
1answer
55 views

Cofibration necessarily has closed image?

I know how to show that if $i: A \to X$ is a cofibration, then $i$ is injective, and in fact a homeomorphism onto its image. My question is, must the image necessarily be closed? I've tried ...
0
votes
0answers
23 views

Confused with notations about Leray's theorem for singular cohomology

The following theorem is copied from Bott's book Differential Forms in Algebraic Topology in Page 192: Theorem 15,11 {Leray's theorem for singular cohomology with coefficients in a commutative ...
2
votes
2answers
106 views

Hatcher Exercise 2.2.38

I'm struggling to show exactness at $C_n\oplus D_n$. Let's take $(x,y)\in C_n\oplus D_n$ in the kernel of $C_n\oplus D_n\to E_n$, i.e. the pushforwards $x', y'$ into $E_n$ resp. satisfy $x' + y' = ...
2
votes
1answer
41 views

Higher homotopy groups of wedge of circles.

Using van-kampen theorem, Fundamental group of wedge of n-circles is free group on n-generator. But I don't know how to calculate higher homotopy groups of wedge of spaces, in particular circles. I ...
4
votes
1answer
51 views

Fiber bundle with null-homotopic fiber inclusion

It is an exercise from Hatcher (exercise 31, page 392): For a fiber bundle $F \to E \xrightarrow{p} B$ such that the inclusion $F \hookrightarrow E$ is homotopic to a constant map, show that the long ...
14
votes
2answers
198 views

Geometric reason as to why $H^2$ of the Klein bottle is $\mathbb{Z}/2\mathbb{Z}$?

I was reading this document when I came across the following: Recall that $H^2(K; \mathbb{Z}) \cong \mathbb{Z}/2\mathbb{Z}$. Here $K$ denotes the Klein bottle. Is there a good geometric ...
4
votes
1answer
90 views

Fundamental group of open subsets of $\mathbb{R}^n$

Suppose that $U$ is an open subset of $\mathbb{R}^n$. What can be said about its fundamental group? I'm sure that the answer should be well known, since this is rather natural question.
2
votes
1answer
58 views

Orientability of Surfaces and the Fundamental Group

Let $(M,g)$ be a compact riemannian 3-manifold and $\Sigma \subset M$ an embedded compact surface homeomorphic to the projective plane. Consider the application $i_\#:\pi_1(\Sigma)\to \pi_1(M)$ given ...
1
vote
0answers
34 views

Show that there exist no retraction from $RP^n$ to $RP^k$ if n>k.

I am trying this problem from Hatcher's algebraic topology book(4.2.1). If r:X$\rightarrow$A is retraction then I know that this induces injective map in the fundamental group level through inclusion ...
0
votes
0answers
25 views

how to calculate relative homotopy groups?

I am studying nth relative homotopy groups from Hather.For a pair (X,A) where A$\subset$X nth-relative homotopy groups is defined by homotopy class of maps$(I^n,\delta I^n,J^{n-1})$ ...
5
votes
1answer
61 views

Example of a surjective local homeomorphism that is not a covering? [duplicate]

Let $X$ and $Y$ be connected, locally path connected, and Hausdorff topological spaces. Can someone give me an example of a surjective local homeomorphism that is not a covering? I don't think this ...
4
votes
1answer
51 views

Determine when $T(S^n \times S^k)$ is a trivial tangent bundle.

My partial answer is that , to make $T(S^n \times S^k)$ trivial, a neccessary condition is that $n$ or $k$ is odd. My argument is as follows: Suppose $T(S^n \times S^k)$ is trivial, that is, $S^n ...
3
votes
0answers
42 views

Computing some fundamental groups [duplicate]

I'm studying algebraic topology and got stuck. a. $X_n\in \mathbb{R}^3$ is the union of $n$ distinct lines through the origin. Find $\pi_1(\mathbb{R}^3-X_n)$ for each $n$. b. Let $X$ be the sum of ...
1
vote
0answers
23 views

Under what conditions is the homology of a dg coalgebra a graded coalgebra?

I'm trying to get a feel for some differential graded (dg) structures. Suppose $C$ is a differential graded coalgebra over a commutative ring $k$, i.e. a graded $k$-module equipped with a coproduct ...
3
votes
1answer
20 views

Homology of a pair of simplicial complexes

Let $K=\{a, b, c, ab, bc\}$ (in graph-theoretic terms, a path $a,ab,b,bc,c$, where $a, b,$ and $c$ are vertices and $ab$ and $bc$ are edges) be a simplicial complex and let $L=\{a, b, c\}$ be a ...
2
votes
0answers
33 views

definition of homology via spectra

Let $K(\mathbb{Z}, n)$ denote a Eilenberg-Mac Lane space, characterized by $H^n(X, \mathbb{Z})=[X, K(\mathbb{Z}, n)]$ for all spaces $X$. In stable homotopy theory, the corresponding homology theory, ...
2
votes
1answer
95 views

Question about the fundamental group of a connected, open subset of $\mathbb{R}^2$

Let $U \subset \mathbb{R}^2$ be open and connected. Suppose $f: I \to U$ is a loop with $a = f(0) = f(1)$ such that $f$ doesn't wind around any $p \in \mathbb{R}^2 \setminus U$. a) Is it true that ...
2
votes
1answer
85 views

Where does the “CW” in CW-complex come from?

I've heard people say that the "CW" in CW-complex comes from the "CW" in JHC Whitehead, though nobody has ever given me a reference for this. Does anyone know where the "CW" in CW-complex comes from?
8
votes
1answer
66 views

A manifold such that its boundary is a deformation retract of the manifold itself.

If we have a compact orientable manifold $M$, we know that $\partial M$ is not a deformation retract of $M$. This follows from Poincaré Duality or Stokes Theorem. If we take away compactness, this is ...
0
votes
1answer
31 views

Hatcher algebraic topology book prop. 2.29

I am studying algebraic topology from Hatcher book and i don't understand the first sentence of proof of proposition 2.29. on page 135 , Proposition 2.29. $ \mathbb{Z}_2$ is the only nontrivial ...
1
vote
1answer
24 views

configuration-spaces and iterated loop-spaces

In the paper Configuration-Spaces and Iterated Loop-Spaces. Graeme Segal, page 213-214, it is obtained that the labelled configuration space $C_n$ is homotopy equivalent to a topological monoid ...
1
vote
1answer
32 views

Homotopy equivalence re-definition

Homotopy equivalence is defined thus: Two spaces $X$ and $Y$ are homotopy equivalent if there are continuous maps $f: X \rightarrow Y$ and $g: Y \rightarrow X$ with $gf \sim \textbf{1}_X$ and $fg \sim ...
3
votes
1answer
53 views

classify all surface in which $K_{3,3}$ and $K_5$ can be embedded.

Using the fact that $K_{3,3}$ and $K_5$ are not planar, classify all surface in which $K_{3,3}$ and $K_5$ can be embedded. I know $K_5$ can be embedded into a torus. Can anyone give a hint for the ...
1
vote
0answers
28 views

Cup product: binary internal or external operation

Having a look at the definition of cup product https://en.wikipedia.org/wiki/Cup_product I harbour some doubts as to whether it is a binary internal operation (or function) or rather an external one. ...
0
votes
1answer
88 views

Questions on CW-complexes

I am trying to proof the following two statements. If $X_1 \subset \dots \subset X_i \subset \dots$ is a infinite sequence of CW-complexes, then $X = \bigcup X_i$ is a CW-complex and each $X_i$ is a ...
5
votes
2answers
76 views

actions of $\mathbb{Z}_2$ on spheres

Let $S^m$ be the $m$-sphere and $$F(S^m,2)/\mathbb{Z}_2=\{(a,b)\mid a,b\in S^m, a\neq b\}/(a,b)\sim (b,a)$$ be the $2$-nd unordered configuration space on $S^m$. Why $F(S^m,2)/\mathbb{Z}_2$ is ...
1
vote
0answers
58 views

short exact sequence of algebras over a field

Let $A,B,C$ be algebras over a field $F$ ($F=\mathbb{Q}$ or $\mathbb{Z}/p$, $p$ prime). The height of $A$ is defined to be $$ \mathrm{height}(A)=\sup_{a\in A}\inf\{n(a)\in \mathbb{N}\mid a^{n(a)+1}=0 ...
1
vote
2answers
69 views

Euler characteristic: dependence on coefficients

Let $X$ be a finite CW complex and $\chi(X)$ its Euler characteristic (defined using integer coefficients). When is it true that $\chi(X)=\sum (-1)^i \dim H_i(X;F)$, where $F$ is a field? I thought ...
2
votes
3answers
94 views

Show that the letters X and I (thought of as topological spaces) are not homeomorphic [duplicate]

I am reading Hajime Sato's: Algebraic Topology, an Intuitive Approach. His Sample Problem 1.3 is: Show that the topological spaces X and I are not homeomorphic. (Note that this requires a font where ...
3
votes
0answers
66 views

$R^2\setminus K, K$ compact, is not simply connected

So, I think I'm aware of the general idea of how to do this. $K$ is compact, hence closed and bounded, so there is some circle of finite radius, say $r$, that wraps around $K$. This loop isn't null ...
0
votes
0answers
76 views

Precisely what is meant by “$\pi_1(M)$ is torsion”?

I am reading a paper where one of the conditions for a Theorem to hold is "the group $\pi_1(M)$ is torsion", where here $M$ is a compact differentiable manifold. What is meant by the first homotopy ...
2
votes
3answers
99 views

Homeomorphic manifolds have the same dimension

So I want to prove: If two manifolds $M$ and $N$ are homeomorphic then $dim(M) = m = n = dim(N)$. My idea was to use the property of the manifolds that they are locally homeomorphic to the ...
3
votes
1answer
42 views

If $X \supseteq B \supseteq A$, then $B/A$ subspace of $X/A$

Problem 4.3.3 in Ronnie Brown's Topology and Groupoids asks Let $A, B$ be subsets of $X$ such that $A$ is closed and $A \subseteq B$. Show that $B/A$ is a subspace of $X/A$. I think I have ...
2
votes
0answers
66 views

Homotopic maps between connected spaces inducing the same homomorphism between the fundamental groups

This is Problem 7-9 in Lee's Introduction to Topological Manifolds: Suppose $X$ and $Y$ are connected topological spaces, and the fundamental group of $Y$ is abelian. Show that if $F,G: X ...
4
votes
0answers
41 views

Is wedge sum for finite CW complexes cancellative in the homotopy category?

Let $X,Y,Z$ be finite pointed CW complexes. Is it possible that $X\vee Z$ and $Y\vee Z$ are homotopy equivalent, but $X$ and $Y$ are not? Remark 1: Without the finiteness assumption on $Z$, there are ...
0
votes
0answers
17 views

Homology groups of $S^1\times (S^1 \vee S^1)$ [duplicate]

I'm trying to calculate the homology groups of $S^1\times (S^1 \vee S^1)$. This complex has two 2-cells, three 1-cells and one 0-cell, so using cellular homology, I have deduced that $H_2 = ...
0
votes
1answer
43 views

Notation: determinant of Jacobian matrix

Given a function $f:\Delta^n \to Y$ from a simplex into a riemmannian manifold. Furthermore given a point $x \in \Delta^n$ we can send an orthonormal basis at $x$ using $D_x f$ to a set of vectors ...
5
votes
0answers
63 views

“Toys” spaces in algebraic topology

I did follow a course of algebraic topology last semester and I still want to continue to do some computations. But in many books it's all the time the same examples which comes back for computing ...
5
votes
1answer
121 views

Non-orientable one dimensional manifold.

I was trying to solve a question from Hatcher's book in section 3.3. Question is: Show that there exist a non-orientable 1-dimensional manifold if Hausdroff condition is droped from the definition ...
0
votes
0answers
24 views

quotient map (induced from a special group action) is a covering map

I have a question related to Proposition 1.40 a) (page 72, chapter 1) in Hatcher's book http://www.math.cornell.edu/~hatcher/AT/AT.pdf, that the Quotient map is a covering map, if a group acts freely ...
3
votes
1answer
67 views

Are all maps into path-connected spaces homotopic?

Context: A problem I'm solving asks "Prove that any two maps $S^m \rightarrow S^n$, where $n>m$ is homotopic. [Hint: use the Simplicial Approximation theorem] My first thoughts were that if we ...
2
votes
1answer
66 views

General Linear Group over the quaternions is a a topological group

How to show that General Linear Group over the quaternions is a a topological group?
1
vote
0answers
38 views

an orientable surface with infinite cyclic fundamental group must be annulus?

It is claimed in this accepted answer http://mathoverflow.net/questions/79929/how-to-rigorously-prove-that-simple-closed-curves-on-a-surface-are-primitive-clo that an orientable surface with infinite ...
1
vote
1answer
93 views

Calculate the homology group of $S^3/G$, an Harvard qualifying exam problem with “unclear” solution

Problem Suppose that $G$ is a finite group whose abelianization is trivial. Suppose also that $G$ acts freely on $S^3$. Compute the homology groups (with integer coeffcients) of the orbit space ...
5
votes
0answers
77 views

How do the direct and inverse image sheaf functors interact with homotopy?

The direct image sheaf functor $f_\ast$ and inverse image sheaf functor $f^\ast$ (here I mean the usual inverse image sheaf functor often denoted by $f^{-1}$) form a well-known adjunction for ...
3
votes
1answer
59 views

Show that $f:X\to \mathbb{RP}^n$ factors through $S^n\to\mathbb{RP}^n$ iff $f^*:H^1(\mathbb{RP}^n,Z_2)\to H^1(X,Z_2)$ is zero

Problem Show that (1) $f:X\to \mathbb{RP}^n$ factors through $S^n\to\mathbb{RP}^n$ iff $f^*:H^1(\mathbb{RP}^n,Z_2)\to H^1(X,Z_2)$ is zero (2) $f:X\to \mathbb{CP}^n$ factors through ...
1
vote
1answer
40 views

Homotopy type of intersection of complement of hyperplanes in projective space.

Let $U_i = \{x=(x_0 :… :x_n) \in \mathbb{P}^n(\mathbb{C}); x_i \neq 0 \}$ be the usual trivialization of the complex projective space. I have been trying to compute the homotopy type of all the ...
6
votes
2answers
126 views

Constructing a compact manifold with chosen homology groups

Let $G_1,G_2,\ldots,G_k$ be $k$ finitely presented abelian groups. It's possible to construct a $(2k+3)$-dimensional manifold $X$ s.t $H_i(X) = G_i$ in following way: consider $k$ copies of the Moore ...
0
votes
0answers
42 views

Extend vector fields from several $S^1$ to $D^2$

Let's take a disk $D^2 \subset \mathbb{R}^2$ with $n$ holes ($n = 0, 1, ...$). In case $n = 0, 1$ it's clear how to extend any non-zero (i.e. with no singular points) vector field from $S^1$ to disk ...
3
votes
1answer
32 views

Thom space of unit circle

Say we embed $S^1$ into $\mathbb{R}^2$ as the unit circle. What is the Thom space $Th(i)$ associated to this embedding $i:S^1 \to \mathbb{R}^2$? By definition, the Thom space is the one point ...