The chain-complexes tag has no wiki summary.

**24**

votes

**7**answers

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 ...

**19**

votes

**0**answers

464 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

**1**answer

477 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 ...

**14**

votes

**6**answers

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 ...

**14**

votes

**1**answer

381 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 ...

**12**

votes

**1**answer

311 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

**1**answer

283 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.
...

**11**

votes

**0**answers

364 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 ...

**9**

votes

**0**answers

159 views

### Is it possible to take “limits up to homotopy”?

Before I begin, an apology: it's been a while since I've done much analysis, so I might be misusing (or just missing) terminology.
I have a chain complex $(V_\bullet,\partial)$ of topological vector ...

**8**

votes

**3**answers

678 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 ...

**8**

votes

**3**answers

809 views

### how to make the category of chain complexes into an $\infty$-category

I'd like to have some simple examples of quasi-categories to understand better some concepts and one of the most basic (for me) should be the category of chain complexes.
Has anyone ever written down ...

**7**

votes

**3**answers

639 views

### Module category equivalent to graded module category?

Main Question
Let $R$ be a graded ring, graded by the nonnegative integers. Denote by $\mathrm{gr}R-\mathrm{Mod}$ the category of $\mathbb{Z}$-graded left $R$-modules with morphisms that preserve ...

**7**

votes

**1**answer

625 views

### Explicit description of the “simplicial tensor product” of chain complexes

Recall that there is an equivalence of categories (Dold-Kan) $$N:\mathrm{s}\mathbf{Ab}\simeq \operatorname{Ch}_{\geq 0}(\mathbf{Ab}):\Gamma$$ between simplicial abelian groups and (connective) chain ...

**7**

votes

**1**answer

242 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 ...

**6**

votes

**1**answer

514 views

### Is there a good computer package for working with complexes over non-commutative rings?

I'm interested in doing computations with certain non-commutative rings, most of which involve taking derived tensor products. Does anyone know of a computer algebra package which will find ...

**6**

votes

**1**answer

324 views

### Left adjoint of totalization?

There is a functor from bicomplexes to chain complexes sending a bicomplex to its associated total chain complex. Does this functor have a left adjoint, and if so, what is it?

**5**

votes

**2**answers

794 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 ...

**5**

votes

**2**answers

365 views

### Resolutions of unbounded complexes and homotopy (co)limits.

I want to understand once and for all what the resolution of an unbounded complex is. I've been trying to read 'Homotopy limits in triangulated categories' by Marcel Bokstedt and Amnon Neeman and ...

**5**

votes

**0**answers

228 views

### Sign problem for the shift functor on DG modules

Let $\mathcal{A}$ be a Differential graded $k$ category, where $k$ is a commutative ring. I want to extend the shift functor $[1]$ on chain complexes to dg modules over $\mathcal{A}$. Now a right dg ...

**3**

votes

**1**answer

91 views

### Smith Normal Form for block matrix

are there any known results on the smith normal form for block matrices over the integers?
In particular I am interested in matrices of size (kr)x(ks) made of square blocks of size k such that each ...

**3**

votes

**0**answers

180 views

### Cisinski-Deglise model structure on chain complexes

Let $\newcommand{\A}{\mathscr{A}}\A$ be a grothendieck abelian category. In their paper "Local and stable homological algebra in grothendieck abelian categories", Cisinski and Déglise define the ...

**2**

votes

**2**answers

364 views

### how to make the category of chain complexes into an $(\infty,1)$-category

Related to this question, I would like to know, if there is an explicit presentation
of the $(\infty,1)$-category of a model category of abelian chain complexes, but this time in terms of simplicial ...

**2**

votes

**2**answers

871 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 ...

**2**

votes

**1**answer

108 views

### Is a inverse limit of indecomposable again indecomposable?

In truth, I do not need in the general case.
Let $R$ be a ring (associative, with unit element) and let $\mathrm{Comp}(R)$ the category of complexes over $\mathrm{Mod}\ R$.
If $\mathbb{N}$ is the ...

**2**

votes

**1**answer

260 views

### Brutal truncation of indecomposable complexes

Let $P^{\bullet} = (P^i, d^i)_{i\leq 0}$ be an indecomposable object in category of complexes bounded above, where each $P_i$ is a finitely generated projective module over an finite dimensional ...

**2**

votes

**1**answer

184 views

### Endomomorphisms of Chain Complexes of vector spaces and determinants

Let $C_{\ast} : \cdots \to A_{2} \to A_{1} \to A_{0} \to 0$ be a chain complex of finite dimensional vector spaces over a field $K$.
And let $f_{\ast} : C_{\ast} \to C_{\ast}$ and $g_{\ast} : ...

**2**

votes

**1**answer

99 views

### pure sub-complexes of exact subcomplexes

In https://www.google.com/#q=tensor+product+of+complexes%2Benochs a new tensor product of complexes is defined which characterizes flatness in the category of complexes of $R$-modules. That is, a ...

**2**

votes

**0**answers

179 views

### Reference Request: The Categorification of $\mathbb{Z}$ as cochain complexes of vector spaces

Just as the fact that a categorification of $\mathbb{N}$ is the category of finite dimensional vector spaces, a categorification of $\mathbb{Z}$ (in my mind) is the category of bounded cochain ...

**2**

votes

**0**answers

401 views

### Why chain complexes? [duplicate]

Possible Duplicate:
Motivating the category of chain complexes
Chain complexes (of, say, abelian groups) are fundamental in homological algebra and algebraic geometry. For example, using the ...

**1**

vote

**2**answers

125 views

### Terminology: complex of sheaves with cohomology sheaves concentrated in degree zero

What is the proper terminology for a complex of sheaves $\mathcal F^\bullet$ whose homology sheaves $\mathcal H^i\mathcal F^\bullet$ vanish for $i\ne 0$?

**1**

vote

**1**answer

167 views

### Question on resolutions for arbitrary chain complexes.

Consider a $\mathbb{Z}$-graded chain complex $A^{\bullet}$, I know that a bounded below complex is one such that $A^i = 0$ for $i$ sufficiently small, and a bounded above complex is one such that $A^i ...

**1**

vote

**0**answers

105 views

### Dold-Kan preserves weak equivalences and fibrations

It's well known that Dold-Kan correspondence is an isomorphism between simplicial vector spaces and non-negative chain complexes of vector spaces. Moreover, weak equivalences and fibrations are ...

**1**

vote

**0**answers

165 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 = ...

**1**

vote

**0**answers

74 views

### Extending Reedy dimension to augmented chain complexes of abelian groups

Recall that a normal continuously-graded finite interval is given by a pair $a=([a],f)$ consisting of:
1.) A finite totally ordered set $[a]=[a_0< \dots < a_n]$
2.) A grading function $f:U[a] ...

**0**

votes

**0**answers

69 views

### when does a “triangulated” functor factor over the homotopy category?

The setup is as follows:
We have the category $C$ of chain complexes over some additive/abelian category and want to pass to the category $K$ of chain complexes modulo homotopy.
So we have an ...

**0**

votes

**0**answers

71 views

### Quick question on chain maps and maps induced by truncations.

Let $A^\bullet$ be the complex:
$\cdots \rightarrow A^{n-2} \xrightarrow{d^{n-2}} A^{n-1} \xrightarrow{d^{n-1}} A^{n} \xrightarrow{d^{n}} A^{n+1} \xrightarrow{d^{n+1}} A^{n+2} \xrightarrow{d^{n+2}} ...

**0**

votes

**0**answers

196 views

### Homomophism from Koszul complex to the original ring

In an article, I encounter an isomorphism relation as follows:
Let S be a comm. ring, x an element in S. K[x,S] be corresponding Koszul complex. The article says "this is a classical isomorphism":
...

**-1**

votes

**1**answer

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 $ ...