Skip to main content

All Questions

Filter by
Sorted by
Tagged with
51 votes
8 answers
7k 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 (...
Qiaochu Yuan's user avatar
13 votes
0 answers
680 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 ...
John Pardon's user avatar
  • 18.7k
11 votes
1 answer
502 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 ...
Dmitri Pavlov's user avatar
9 votes
3 answers
2k views

Reference for homotopy (co)limits of (co)chain complexes via totalization of double complexes

It seems to be a well-known fact that homotopy (co)limits of (co)simplicial diagrams of nonnegatively graded (co)chain complexes in (Grothendieck) abelian categories can be computed by using the Dold-...
Dmitri Pavlov's user avatar
7 votes
2 answers
3k 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 ...
Shlomi A's user avatar
  • 583
7 votes
0 answers
668 views

Is there an obstruction which classifies "quasi-isomorphism but not chain equivalence"?

Fix a ring $R$ and let $C_\bullet$, $D_\bullet$ be (possibly unbounded) chain complexes of $R$-modules. Assume that $f_\bullet:C_\bullet \to D_\bullet$ is a quasi-isomorphism: that is to say, $f$ is a ...
Vidit Nanda's user avatar
  • 15.5k
5 votes
2 answers
683 views

Model categories and chain complexes

I'm fairly new to thinking about homological algebra and chain complexes in their own right, i.e outside of isolated examples such as for constructing simplicial homology, or for computing $Ext$ ...
asd's user avatar
  • 168
5 votes
1 answer
540 views

Sign in May’s General algebraic approach to Steenrod operations

In the first section of J. P. May’s General algebraic approach to Steenrod operations, May defines for $\pi\subseteq\Sigma_r$ an integer $q\in\mathbb{Z}$ and a commutative ring $\Lambda$, the $\Lambda\...
FKranhold's user avatar
  • 1,623
5 votes
0 answers
129 views

The interaction between differentials on a graded ring and chain-homotopy equivalences

I am wondering about the following question: Given a differential graded algebra $A$, how many other differentials can we put on the underlying graded ring of $A$, which are also chain-homotopy ...
Mo Behzad Kang's user avatar
4 votes
0 answers
190 views

Dyer–Lashof operations for more than 2 inputs

Let $\mathcal{O}$ be a topological operad and $X$ an algebra over it. Let the base ring be $\mathbb{Z}_2$. If $C_*$ denotes the singular chain complex over $\mathbb{Z}_2$, the action of $\mathcal{O}$ ...
FKranhold's user avatar
  • 1,623
3 votes
0 answers
126 views

Properties of a generalization (regularization) of the Euler characteristic?

Intro: This question is about a version of the Euler characteristic for infinite dimensional chain complexes. I have no idea if this is a pre-existing concept, that's essentially what my query is ...
Julian Chaidez's user avatar
2 votes
1 answer
295 views

Projective objects in chain complexes of an abelian category: Further question

Yes, I see there are other Q&A's on this, for instance here: Projective objects in the category of chain complexes I am wondering why a level-wise projective chain complex $P$ which is split ...
locally trivial's user avatar
2 votes
0 answers
221 views

Do the polyhedral homologies of a polyhedron coincide with the polyhedral homologies of its subdivision?

Definition. A convex polytope is a compact finite intersection of hyperplanes in $\mathbb{R}^n$ Definition. The polycomplex is the following data set: a set of convex polytopes, closed under ...
Arshak Aivazian's user avatar
1 vote
0 answers
77 views

Singular chain complex of balanced products

Let $\pi\subseteq\Sigma_r$ and $V$ be a right $\pi$-space. We may assume that $V$ is free, if necessary. Consider the morphism of singular chain complexes (over a fixed commutative ring) $$f:C_*(V) \...
FKranhold's user avatar
  • 1,623
1 vote
0 answers
241 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 = \...
Harry Gindi's user avatar
  • 19.6k