-1
votes
0answers
19 views

$C_g \simeq SX$ and $C_h \simeq SY$ [on hold]

Hi need some help with this problem: Let $f : X \to Y$ . Then we can form the cofiber sequence $X \to Y \to C_f \to C_g \to C_h$ where $g: Y \to C_f$, $h: C_f \to C_g$, and $i: C_g \to C_h$. Show ...
3
votes
1answer
38 views

Question about the proof of the universal coefficient theorem

When deriving the universal coefficient theorem, in class we proceeded as follows: We have the SES: $$0\to ...
0
votes
1answer
35 views

Empty set in a simplicial complex

Should the empty set be considered a simplex in a simplicial complex? Which justifications exist for the answer? I guess it is somewhat comparable to $1$ not being a prime number.
6
votes
1answer
107 views

Singular $\simeq$ Cellular homology?

Given an arbitrary CW-complex, are the singular chain complex $S_\ast(X)$ and cellular chain complex $C_\ast(X)$ homotopy equivalent or just quasi-isomorphic (some chain map induces isomorphisms on ...
2
votes
1answer
99 views

Homology of mapping telescope

It is stated here http://math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf that if $X$ is an increasing union of the type $X=\bigcup_{i \in I}X_i$ (where $X_i \subset X_{i+1}$), then we have an ...
1
vote
1answer
71 views

Period of a particular finite group

Let $G$ be a group fitting in the following exact sequence: $0 \to \mathbb{Z}/p \to G \to \mathbb{Z}/q^r \to 0.$ Here $q$ and $p$ are primes (not necessarily distinct). It is easy to check (by the ...
1
vote
0answers
28 views

chain homotopy equivalence between mapping cone complexes

Given continuous maps $f_i : X_i \to Y_i$ ($i=1, 2$) we may consider the singular chain cocomplexes $$ C^n(Y_i) \oplus C^{n-1}(X_i) $$ with boundary operator: $$ (u^n, v^{n-1}) \mapsto (-\delta u^n, ...
1
vote
0answers
45 views

A Question About Notation (Homology with Local Coefficients)

I am currently reading A J Berrick’s An Approach to Algebraic K-Theory, and I am stuck at one of the propositions there because he does not define homology with local coefficients. Proposition: ...
0
votes
0answers
39 views

Intuition of higher push-forward constant sheaves.

Let us consider the higher phsh-forward sheaves $R^if_*\mathbb{R}$ of a map $f:X\rightarrow Y$ between two compact manifolds. We assume that the fibers has a constant dimension, say $n$. I think ...
1
vote
0answers
11 views

The product of $E_2$-degenerate spectral sequences also $E_2$-degenerates?

Assume the Leray spectral sequence of a map $f_i:X_i\rightarrow B_i$ $E_2$-degenerates for $i=1,2$. Is it true that the Leray spectral sequence of the map $f_1\times f_2:X_1 \times X_2 \rightarrow B_1 ...
1
vote
0answers
46 views

In the Universal Coefficient Theorem, how does the cohomology generator relate to the homology generators?

Consider homology and cohomology of some space $X$ where the homology groups are finitely generated. Consider $tor(H^i(X))$, the torsion part of $H^i(X)$. How do the generators of $tor(H^i(X))$ ...
0
votes
0answers
18 views

How does one make cochain complex of sphere into an associative DGA?

Given the singular chain complex of the sphere $S^n$, $S^*(S^n)$, a reference says that one can use the Alexander Whitney product to make $S^*(S^n)$ into an associative differential graded algebra. ...
1
vote
1answer
29 views

Why is $S_{\ast}\left(X,A\right)$ free? [duplicate]

Why is $S_{\ast}\left(X,A\right)$ free? it is the quotient of two free groups $S_{\ast}\left(X\right)$ & $S_{\ast}\left(A\right)$
2
votes
0answers
33 views

Cohomology-Homology bilinear form of Seifert surfaces

Let $C_\ast$ be any chain complex of $R$-modules. Then for any $k\in\mathbb{Z}$ we obtain a $R$-bilinear map $$\langle-,-\rangle:H^k\!C_\ast\times H_kC_\ast\longrightarrow R, ...
5
votes
1answer
103 views

Space with prescribed local homology

Lets be $G_n$ sequence of abelian groups and $G_0 = \mathbb{Z}$. Is there topological space $X$ that local homology groups at every point are those $G_n$ ? ie. $$ \forall x\in X \; \forall ...
4
votes
0answers
82 views

Eilenberg-Moore Spectral Sequence for Homology with Coefficients in the Integers

I am trying to learn about the Eilenberg-Moore spectral sequence to compute homology and cohomology. I have been using Hatcher's book on spectral sequences and also McCleary's "A User's Guide to ...
2
votes
1answer
105 views

Universal coefficient theorem with ring coefficients

The universal coefficient theorem for cohomology reads: $$0 \to Ext(H_{n-1}(C), R) \to H^n(C;R) \to Hom(H_n(C), R) \to 0,$$ where $C$ is a chain complex of free abelian groups and $R$ is a ring. It ...
1
vote
1answer
52 views

Naturality condition for connecting homomorphisms?

I've been reading about the Mayer-Vietoris sequence, but I don't follow a certain naturality condition. Suppose two spaces can be written as $X=X_1^\circ\cup X_2^\circ$ and $Y=Y_1^\circ\cup ...
0
votes
1answer
73 views

History of five lemma

I am interested in the history of five lemma. Who was first to prove it and What was the purpose of proving it ? http://en.wikipedia.org/wiki/Five_lemma
0
votes
1answer
28 views

$[X,F] \to [X,E] \to [X,B] $ is exact sequence of pointed sets

how to show: if $F \to E \to B $ is a fibration then for any space $X$ the sequence $[X,F] \to [X,E] \to [X,B] $ is exact sequence of pointed sets. any hints, thanx.
1
vote
0answers
27 views

Homology of the fixed points of the singular complex of a G-space

Suppose $X$ is a topological space and $G$ a finite group acting on it. We can form the singular complex $C_\bullet(X),$ and then taking homology gives singular homology: $H_*(X) = h_* C_\bullet(X).$ ...
2
votes
1answer
67 views

The space $\Delta^n$ with all faces of the same dimension.

If the space $A$ is obtained from $\Delta^n$ by identifying all faces of the same dimension; What is a $\Delta$-complex structure on the space $A$? And how can you compute the Simplicial Homology ...
0
votes
1answer
61 views

Relative singular chains basis

If $(X,A)$ is a pair, then $S_k(X,A):=S_k(X)/S_k(A)$ is free on the singular simplicies of $X$ with image not contained in $A$. Why is this so? I tried to give a proof by checking the mapping property ...
2
votes
1answer
82 views

Question about the definition of homology

i have this paragraphe: Can someone explaine me what it means ? if i understand $H_n$ measure the numbers of holes with dimension $n$ but what about $H_0$ what is the relation between the holes of ...
0
votes
2answers
46 views

Topological dimension and derham cohomological dimension

If G is a compact complex manifold then does the topological dimension bound the deRham cohomological dimension below? By derham cohomological dimension, I mean the largest extended natrual number ...
0
votes
1answer
27 views

Is it possible to compute homology groups of a space given the Pontryagin ring?

Or similarly, given the cohomology ring of a space, is it possible to compute its cohomology groups? I'm mainly interested in integer and mod 2 homology and cohomology.
1
vote
0answers
42 views

existence of a cofiber sequence

can anyone help me with this problem. thanx. Show that there are cofiber sequence $S^{n+3} \to S^{n+2} \to \sum^{n}\mathbb{C}P^2$ for each $n \in \mathbb{Z}^+$. Conclude that a space of the form ...
1
vote
0answers
75 views

Can group cohomology be used to study fiber bundles?

Is (non-abelian) cohomology used to study vector and principal bundles? Can you give me a text or an article? For example: Consider a vector bundle $E$ with fiber $V$ and base manifold $M$. Consider ...
5
votes
1answer
112 views

Isomorphism in cohomology is an isomorphism in homology

Let $f:X \to Y$ be a continuous map between topological spaces and $R$ some coefficients. From the universal coefficient theorem for homology we immediatly get, that if $H_*(f,\mathbb{Z})$ is an ...
3
votes
0answers
37 views

Reference request: where can I find illustrative, concrete examples of the use of the Eilenberg–Moore spectral sequence?

Pursuant to advice at When does cohomology take pullbacks to pushouts?, I tried to use the Eilenberg–Moore spectral sequence in the simplest conceivable example, for the Hopf bundle $S^3 \to ...
0
votes
0answers
38 views

Book of Pullbacks and Pushouts

what books can I consult for properties of pullback and pushouts in algebraic topology? I need to understand the theory of homotopy in algebraic topology and I started to study pullbacks and push ...
-1
votes
1answer
69 views

Relative homology of ball and sphere

What is the result of $H_k(B^n,S^{n-1}; \mathbb{A })$ and in any book can i found the proof ? And what about $H_n(S^{n};\mathbb{A})$ (sigular homology of the sphere )?? Please help me. Thank you
4
votes
0answers
88 views

A question about the universal coefficient theorem.

Or rather a couple of questions. Let $X$ be some topological space, $R$ be a (unital) PID and $G$ be an $R$-module. Am I correct in understanding that the singular cochain complexes ...
1
vote
1answer
58 views

Queston on the definition of singular homology

From the Hatcher's can someone told me why $\sigma$ has singularities ? Thank you
4
votes
1answer
91 views

Existence and homotopies of embeddings between simplicial complexes

Let $K$ and $L$ be simplicial complexes, $m=\dim K$, and $h:|K|\rightarrow |L|$ be a continuous map. Show that $h$ is homotopic to a map carrying $K$ into $L^{(m)}$, the $m$-skeleton of $L$. I'm ...
8
votes
1answer
115 views

Universal Coefficient Theorem - what kind of morphisms?

Let $G$ be an $R$-module, where $R$ is a P.I.D., and let $X$ be a topological space. We have the exact sequence $$0 \rightarrow H_n(X) \otimes G \rightarrow H_n(X; G) \rightarrow ...
0
votes
1answer
66 views

Homology and Exact Sequence

I have this exact sequence: $$0\stackrel{f}{\rightarrow} H_k(X,C)\stackrel{g}{\rightarrow} H_k(X,A)\stackrel{h}{\rightarrow} 0$$ Can I say that $H_k(X,A)=H_k(X,C)$ and why? Please; Thank you.
0
votes
2answers
62 views

The singular homology and cohomology of a topological space with coefficients in a zero characteristic field.

I have a field with zero characteristic, like $K=\mathbb{C},\mathbb{R}$ and I want to show that the homology groups and cohomology groups with coefficients in these fields satisfy: $$H_n(X,K) \approx ...
0
votes
2answers
69 views

Question on relative homology

i have this: where $|\tau|$ is the support of the chain $\tau$, i don't understand the first part why $[\sigma]=0$ in $H_{m-1}(\phi^{c+\varepsilon},\emptyset)$ ??? Please, thank you.
1
vote
1answer
54 views

Homology groups

I have to compute the groups $H_q(S^{3},S^1)$ (Singular Homology) I am new in the subject, i have compute some basics groups, but i dont know how to start with this one, if someone could help me, ...
1
vote
1answer
51 views

An exact homology sequence associated with a principal SO(n) bundle

Suppose $P$ is a principal $SO(n)$ bundle, X is its base space. Why is there an exact sequence in homology groups $$ 0 \to H^1(X;\mathbb{Z}_2) \to H^1(P;\mathbb{Z}_2) \to H^1(SO(n);\mathbb{Z}_2)\to ...
3
votes
1answer
100 views

Induced isomorphism of homology implies isomorphism with coefficients in any group?

If $\alpha\colon C \to C'$ is a map of chain complexes (of free abelian groups) that induces an isomorphism on homology $a_{*} \colon H_n(C) \simeq H_n(C')$, then I know that $\alpha$ induces an ...
0
votes
1answer
114 views

Example on relative homology

I am trying to prove that $$H_p(B_{n+1},S_n;\mathbb{A}) \cong \left\{\begin{array}{ll} H_{p-1}(S_n,\mathbb{A}) & \text{if } p\geq2\\\ 0&\text{if } p=1, n\geq 1\\ \mathbb{A} &\text{if } ...
1
vote
1answer
38 views

Question on relative homology [duplicate]

i have that $H_p(X,Y)$ is isomorphic to $Z_p(X,Y)/(B_p(X)+C_p(Y))$, where $Z_p(X,Y)=\lbrace \sigma\in C_p(X), \partial\sigma\in C_{p-1}(Y)\rbrace$ and i want to deduce that $H_0(X,Y)$ is the free ...
8
votes
0answers
94 views

Is there anything to be learned from the spectrum of a cohomology ring?

Given some topological space, $X$, is there any benefit to studying $Spec(H^*(X))$, or is everything we care about already available "in the algebra"? As $H^*$ is a graded ring, does this question ...
0
votes
1answer
128 views

Relative homology and path connected space

I want to prove that if $X$ is a path connected space and if $Y$ is nonempty then $$H_0(X,Y)\simeq 0$$ it is sayed that we have this chain: $H_0(Y)\rightarrow H_0(X)\rightarrow H_0(X,Y)\rightarrow 0$ ...
1
vote
1answer
85 views

Homology and cohomology are basically the same

Is my following understanding correct: A chain complex $(C,\partial)$ is a family $\{C_i\}_{i\geq 0}$ of $R$-modules ($R$ is a given ring) together with a family of $R$-module homomorphisms ...
0
votes
1answer
51 views

Small question on relative homology

Let $(X,Y)$ be a paire of topological space how to prove that the boundary map $\partial: C_p(X)\rightarrow C_{p-1}(X)$ send $C_p(Y)$ on $C_{p-1}(Y)$ if i take a singular p-simplexes of $Y$ than why ...
0
votes
1answer
66 views

Question on “Homotopy invariance”

i have this from Hatcher's book "Algebric topology" And i don't understand why $\displaystyle \partial P(\sigma)=\sum_{j\leq i}(-1)^i(-1)^j F\circ (\sigma\times ...
0
votes
1answer
95 views

Question on singular homology

please where i can found the prove of this: If $X$ is a topological space and $(X_{\alpha})_{\alpha\in I}$ is the family of it's path connected components. Prove that for each $n\in \mathbb{N}$, ...