All Questions
15 questions
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-...
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 ...
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 ...
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$ ...
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 ...
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\...
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) \...
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 ...
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}$ ...
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 ...
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 ...
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 (...
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 ...
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 ...
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 = \...