Questions tagged [chain-complexes]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4
votes
2answers
224 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$ ...
8
votes
2answers
624 views

Is the tensor product of chain complexes a Day convolution?

Recently, Jade Master asked whether the tensor product of chain complexes could be viewed as a special case of Day convolution. Noting that chain complexes may be viewed as $\mathsf{Ab}$-functors from ...
4
votes
1answer
126 views

Split cofibrations up to quasi-isomorphism

$R$ a ring $(1\neq 0)$, $\mathbf{Perf}(R)$ is the category of perfect complexes (of right $R$-modules). Suppose that $A_{\bullet}\rightarrow B_{\bullet}\rightarrow B_{\bullet}/A_{\bullet}$ a short ...
5
votes
0answers
106 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
1answer
377 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
0answers
51 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
0answers
96 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
0answers
158 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}$ ...
1
vote
1answer
126 views

The table reduction morphism of operads from Barratt-Eccles to Surjection

The Barratt-Eccles operad $E$ in the category of simplicial sets is obtained by applying the nerve functor to the canonical operad $\{\Sigma_n\}_{n>0}$ in groups. Berger-Fresse defined here an ...
2
votes
0answers
44 views

Hermitian structure for complexes of vector bundles

Does it exist a different notion of Hermitian metric for complexes of vector bundles, besides the obvious data of a metric for each vector bundle? Same question for connections. In particular is there ...
3
votes
0answers
133 views

Are Chain Complexes Related to the Tangent Bundle Construction?

For a scheme $X$ over $\text{Spec}(K)$, we can consider maps $\text{Sch}(\text{Spec}(K[d] / d^2), X)$, which we can think of as the tangent bundle over $X$. A map $\text{Spec}(K) \rightarrow S$ picks ...
1
vote
0answers
110 views

Lift up characteristic class to chain complex

In derived category, there is a slogan, "cohomology is bad, chain complex is good". In the theory of characteristic classes, we could associate a vector bundle to cohomology classes of the base space. ...
0
votes
1answer
76 views

Compute the cohomology of $\mathrm{Hom} (\Omega^*(M),\Omega^*(M))$

Let $M$ be a compact smooth manifold. And particularly I am interested in the case the torus $M=T^n$. Consider the de Rham complex $(\Omega^*(M), d)$ and the cochain complex $$ C:=\mathrm{Hom} (\...
1
vote
0answers
46 views

Could we extend isomorphisms between cohomologies of h-injective complexes to h-injective complexes themselves?

Let $R$ be an associative ring with unit and $I$ be a complex of $R$-modules. We call $I$ is h-injective if for any acyclic complex $T$ of $R$-modules, the mapping complex $\text{Hom}_R(T,I)$ is ...
4
votes
0answers
96 views

Could we form the homotopy category of a dg-category by inverting homotopic invertible morphisms?

Let $k$ be a field and $\mathcal{C}$ be a dg-category over $k$. It is standard to define the homotopy category $H^0(\mathcal{C})$ as the category consisting the same objects as $\mathcal{C}$ but ...
2
votes
0answers
483 views

How does “chain complex functor” from $Top$ take mapping cones to mapping cones?

I am wondering how the singular chain complex functor from the category of topological spaces to the category of chain complexes of abelian groups takes a mapping cone to a mapping cone in the sense ...
2
votes
0answers
63 views

Order relation between cohomology groups

We have $\mathbb{Q}$-graded finite dimensional vector space $V=\bigoplus_{i=0}^{n}V_{i}$ and following cochain complex $$0\rightarrow V_{0}\xrightarrow[]{d_{0}} V_{1}\xrightarrow[]{d_{1}}\ldots\...
2
votes
1answer
333 views

A-infinity modules

Using: https://arxiv.org/pdf/math/9910179.pdf as a reference... My question involves spelling out explicitly the comment in 4.2 - "Equivalently, the datum of an $A_\infty$-structure on a graded ...
2
votes
1answer
237 views

A model category structure on chain complexes

The wikipedia claims that there is a model category structure of the category of arbitrary chain-complexes of R-modules which is defined by: weak equivalences are chain homotopy equivalences of chain-...
6
votes
0answers
116 views

(Reference Request) Tensor product of chain complexes in terms of strict $\infty$-categories

(note: this question is essentially a reference request for the tensor product described at the end. the rest is context) It is well known that the category of chain complexes (in positive degree, ...
2
votes
1answer
273 views

A question on some lemmas in Orlov's “Triangulated Categories of Singularities and D-Branes in Landau-Ginzburg Models” (Exts vanishing)

I'll write the two lemmas I have questions about, and then ask my questions. For reference, I'm using the following definition of Gorenstein: $\mathbf{Definition\ 1.15}$ A local noetherian ring $A$ ...
1
vote
1answer
143 views

Generating $K^b(\mathrm{proj})$ as a triangulated category from a full subcategory

Let $K^b(\mathrm{proj}\, A)$ be the bounded homotopy category of chain complexes over $\mathrm{proj}\, A$. In Rickard's paper 'Derived categories and stable equivalence', he defines a tilting complex ...
1
vote
0answers
141 views

Sheaves and isomorphisms with chain complex of singular chains (Sheaf Theory, Bredon)

Let $\Delta_{\ast}(X,A)$ (resp. $\Delta_{\ast}^c(X,A)$) be the chain complex of locally finite (resp. finite) singular chains of $X$ modulo those chains in $A$. How to show that the homomorphism of ...
1
vote
0answers
84 views

Are mapping cones in the bounded homotopy category of chain complexes isomorphic?

Let $A$ be an additive category. Suppose we have distinguished triangles $$X \rightarrow Y \rightarrow Z \rightarrow X[1]$$ and $$X \rightarrow Y \rightarrow Z' \rightarrow X[1]$$ in the bounded ...
2
votes
0answers
221 views

Derivators - diagrams in homotopy category of chain complexes

$\require{AMScd}$ Let $\mathcal{A}$ be an additive category and $K(\mathcal{A})$ be the homotopy category of $\mathcal{A}$, i.e. the category of chain complexes $Ch(\mathcal{A})$ over $\mathcal{A}$ ...
0
votes
2answers
406 views

Relation between different definitions of homotopy

When I did a course in topology, we defined "homotopy" in the following way: "A homotopy between two continuous functions $f$ and $g$ from a topological space $X$ to a topological space $Y$ is ...
25
votes
2answers
1k views

Complete the following sequence: point, triangle, octahedron, . . . in a dg-category

Let $\mathcal C$ be a pre-triangulated dg-category (or a stable $\infty$-category, if you wish). An object $X$ in $\mathcal C$ gives a "point": $$X$$ A morphism $X\xrightarrow f Y$ in $\mathcal C$ ...
6
votes
0answers
377 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 ...
0
votes
1answer
121 views

Perfect $Q[G]$-complex

Let $G$ be a finite group and let $M$ be a perfect $\mathbb{Q}[G]$-complex. Suppose that $M\otimes_{\mathbb{Q}[G]}\mathbb{Q}$ is quasi-isomrphic to $0$ can we conclude that $M$ is quasi-isomorphic to $...
5
votes
1answer
291 views

Transgression in terms of k-invariant for chain complexes

I am looking for a reference for the following. Say we have a $G$-space $X$ whose homology groups (in field coefficients $k$) are non-zero only in dimension zero and for a fixed $n>0$. Let $M$ ...
7
votes
1answer
183 views

Injective model structure on sheaves of bounded complexes of $A$-modules

The following might be very well known for people who works with model categories, but I do not find the answer. Let $A$-be a ring. Denote $\mathbf{Ch}_+(A)$ the category of positive degree cochain ...
2
votes
1answer
89 views

Is the class of acyclic complexes deconstructible?

Let $\mathcal{C}$ be a category, then a class $\mathcal{A}\subseteq \mathcal{C}$ is deconstructible if there is a set $\mathcal{S}\subseteq\mathcal{C}$ such that $\mathcal{A}$ consists of $\mathcal{S}$...
2
votes
0answers
662 views

How to prove that any perfect complex on an affine scheme is strictly perfect?

Let $(X,\mathcal{A})$ be a ringed space. A complex $\mathcal{S}^{\bullet}$ of $\mathcal{A}$-modules is $\textit{perfect}$ if for any point $x\in X$, there exists an open neighborhood $U$ of $x$ and a ...
1
vote
2answers
675 views

Are chain complexes over a field always injective?

Question: Let $\mathbb{F}$ be an algebraically closed field of characteristic zero and let $\mathrm{Ch}_{\mathbb{F}}$ be the category whose objects are chain complexes (of $\mathbb{F}$-modules) and ...
0
votes
0answers
187 views

Torsion in cohomology

Suppose to have a short exact sequence of chain complexes of $\mathbb{Z}$-modules: $$0\to A^\bullet\to B^\bullet\to C^\bullet\to 0$$ such that $A^k,B^k,C^k$ are non zero for $k=0,1,2$. Moreover, ...
6
votes
2answers
1k 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
1answer
155 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 ...
4
votes
1answer
407 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 ...
2
votes
1answer
280 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 (...
14
votes
1answer
696 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 $...
5
votes
0answers
508 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 ...
12
votes
1answer
346 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
401 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 null-...
13
votes
0answers
593 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
1answer
365 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 ...
2
votes
1answer
385 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
1answer
146 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 ...
11
votes
0answers
189 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 ...
1
vote
0answers
142 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 ...
23
votes
0answers
609 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 \...