14
votes
1answer
374 views

Lift chain complex from $\mathbb{F}_2$ to $\mathbb{Z}$

We start with a finite dimensional chain complex over $\mathbb{F}_2$, equipped with a basis. That is, we have finitely many finite dimensional $\mathbb{F}_2$-vector spaces $C_0,\dots,C_k$ with bases ...
11
votes
1answer
276 views

Can we use unparameterized chains to calculate singular homology?

Most models of singular chains on a topological space $X$ use maps from some particular collection of "nice" objects, such as the standard simplices $\Delta^n$, the standard cubes $[0,1]^n$, etc. ...
12
votes
1answer
303 views

Are totally degenerate chains null-homologous?

Let $X$ be a CW complex. Suppose $\gamma\in C_n(X)$ is a cycle which is a sum of maps $\sigma:\Delta^n\to X$ which factor as $\Delta^n\to\mathbb R^{n-1}\to X$. Does it follow that $\gamma$ is ...
11
votes
0answers
360 views

Singular chains generated by manifolds with corners — does it really work?

Usually we define singular homology via the complex of singular chains: $$C_\ast(X)=\bigoplus_{n\geq 0}\mathbb Z\langle\sigma:\Delta^n\to X\rangle$$ where the right hand side denotes the free abelian ...
7
votes
1answer
238 views

Is there a practical criterion to determine whether the limit of a diagram of real chain complexes is also a homotopy limit?

Consider a diagram D: I→ChR of real connective chain complexes. In the example I have in mind all chain complexes are concentrated in some fixed degree n. There is a canonical map lim D → holim D ...
14
votes
0answers
343 views

Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A ...
16
votes
1answer
474 views

Is there a notion of a chain complex with corners?

Roughly speaking, algebraic topology works by reducing questions about topological objects such as manifolds and cell to questions about chain complexes. On the topological side, although in the PL ...
5
votes
2answers
769 views

On the difference between a projective chain complex and a level-wise projective chain complex

Let R be an associative ring with a unit, and consider the standard projective model structure of non-negatively graded (left) R-module, $Ch_R$. A map $f:M\to N$ in $Ch_R$ is a weak equivalence if it ...
1
vote
0answers
162 views

Two-point desuspension for augmented chain complexes?

Let $X$ be a chain complex augmented over $\mathbf{Z}$ with augmentation $\varepsilon_X:X_0 \to \mathbf{Z}$. We define $[1](X)$ to be the $\mathbf{Z}$-augmented chain complex such that $[1](X)_0 = ...
24
votes
7answers
2k views

Motivating the category of chain complexes

Let $R$ be a commutative ring. For awhile I have been trying to motivate to myself more fully the definition of and various structures on the category $\text{Ch}(R)$ of chain complexes of $R$-modules ...
-1
votes
1answer
276 views

How does a chain map induce another chain map on an isomorphic chain complex?

I have 2 ways of defining a chain complex on a manifold, one of which is the cellular chain complex, $C^{CW}_*$. I know that a cellular map $f: X^n \rightarrow Y^n $ such that $ f(X^n) \subset Y^n $ ...
14
votes
6answers
2k views

Why chain homotopy when there is no topology in the background?

Given two morphisms between chain complexes $f_\bullet,g_\bullet\colon\,C_\bullet\longrightarrow D_\bullet$, a chain homotopy between them is a sequence of maps $\psi_n\colon\,C_n\longrightarrow ...
2
votes
2answers
869 views

Proving homotopy invariance of cellular homology by constructing a chain homotopy

I'm trying to follow an argument in Lück's "Algebraische Topologie: Homologie und Mannigfaltigkeiten" (to which there apparently doesn't exist an english translation). The aim is to check homotopy ...
7
votes
3answers
672 views

What are normalized singular chains good for?

One of the common definitions of homology using the singular chains, i.e. maps from the simplex into your space. The free abelian group on these can be made into a chain complex and one can take the ...