# Questions tagged [chain-complexes]

The chain-complexes tag has no usage guidance.

103
questions

1
vote

1
answer

126
views

### Left Proper model structure on the category of non-symmetric operads in chain complexes

It is shown in Moriya (Multiplicative formality of operads and
Sinha’s spectral sequence for long knots, 2.1) that there exists a left proper model category structure on non-symmetric operads over $k$-...

0
votes

0
answers

38
views

### Is any deformation of an acyclic complex gauge equivalent to a trivial one?

This question is related to this question. Let $(C^{\bullet},d)$ be a cochain complex over a field $k$ with char$k$=0. We fix an Artin local $k$-algebra $(A,m)$. A deformation of $d$ is a new operator ...

6
votes

0
answers

126
views

### Does homotopy equivalence between deformations of cochain complexes imply gauge equivalence?

Let $(C^{\bullet},d)$ be a cochain complex over a field $k$ with char$k$=0. We fix an Artin local $k$-algebra $(A,m)$. A deformation of $d$ is a new operator $d+\epsilon: C^{\bullet}\otimes_k m\to C^{\...

4
votes

1
answer

134
views

### Homotopy totalization and chains - reference

Simple case. Take $X_{\bullet}$ a cosimplicial space. Is it true that the chain complex of its homotopy totalization is quasi-isomorphic to the homotopy totalization of its chain complex? Because of ...

1
vote

1
answer

224
views

### How to lift a chain complex from $\mathbb{Z}/2\mathbb{Z}$ to $\mathbb{Z}$

In a previous post Lift chain complex from $\mathbb{F}_2$ to $\mathbb{Z}$ the body of the question mentions that this (lifting a chain complex from $\mathbb Z/2\mathbb Z$ to $\mathbb Z$) is always ...

3
votes

1
answer

153
views

### Monoidal structure on simplical model category of chain complexes

For
$k$ a field (the case I am interested in, but the question makes sense over any dga),
$\mathrm{Ch}_\bullet(k)$ its projective model category of unbounded chain complexes (here),
$\mathrm{sCh}_\...

20
votes

1
answer

652
views

### What is the dimension of the variety of chain complexes?

Let $V_0, V_1, \dots, V_n$ denote a series of finite-dimensional vector spaces. We write $v_i : = \dim V_i$ for $i=0, 1, \dots, n$. I am thinking of these as real vector spaces, but I think the answer ...

2
votes

0
answers

85
views

### Generalizations of elliptic chain complexes

I would like to know if it is possible to generalize the notion of elliptic chain complex of differential operators to different contexts, whether geometric or non geometric. I have in mind D-geometry....

0
votes

0
answers

49
views

### Is the tensor product of noncontractible chain complexes of bimodules also noncontractible?

Let $A,B,C$ be rings and let $X$ and $Y$ be bounded chain complexes of $(A,B)$-bimodules and $(B,C)$-bimodules, respectively. Suppose that $X$ and $Y$ are not contractible. Here are my questions:
Is ...

8
votes

1
answer

370
views

### Is the category of chain complexes a reflexive or coreflexive subcategory of the category of functors?

Let $A$ be an abelian category (you can assume additional conditions for its goodness). Let $\mathrm{Seq}(A) = \mathrm{Func}(\mathbb{Z}, A)$, where $\mathbb{Z}$ is the standard order category on ...

4
votes

1
answer

182
views

### Gluing a manifold along its boundary, via chain complexes

Given closed oriented $n$-manifolds $M, M', M''$ and bordisms $W, W'$ with $\partial W = M \sqcup - M'$ and $\partial W' = M' \sqcup - M''$, we can collar-glue them to obtain a bordism from $M$ to $M''...

2
votes

0
answers

297
views

### Invariants of objects in $\operatorname{Ch}(\mathrm{Ab})$ up to chain homotopy

$\newcommand\Ab{\mathrm{Ab}}\newcommand\ab{\mathrm{ab}}\DeclareMathOperator\Ch{Ch}\DeclareMathOperator\Kom{Kom}\newcommand\ho{\mathrm{ho}}$Let $\Ab$ be the category of finitely generated abelian ...

6
votes

2
answers

720
views

### Projective objects in the derived category of chain complexes

I have been trying to understand projective objects in the derived category of chain complexes of modules over a ring.
If we stick to the category of chain complexes, the only projective objects are ...

2
votes

0
answers

65
views

### Chain complex of the Salvetti complex of an Artin group

Let $A_\Gamma$ be an Artin group. The Salvetti complex $Sal(A_{\Gamma})$ can be briefly defined as the $2$-presentation complex associated to the usual presentation of the Artin group after attaching ...

2
votes

0
answers

153
views

### Is the category of cochain complexes with terms in an additive category a 2-category?

$\def\hom{\operatorname{Hom}}
\def\bbZ{\mathbb{Z}}$This question is a follow-up to this other one. There the OP asks whether "the category of chain complexes" (can be interpreted in several ...

2
votes

0
answers

241
views

### Existence of quasi-isomorphisms between complexes with same homology

Consider an abelian category $\mathcal{A}$ (or more specifically, $R$-Mod). Suppose $C_1$ and $C_2$ are chain complexes with componentwise isomorphic homology. What conditions must be imposed upon $\...

3
votes

0
answers

183
views

### What do the indecomposable objects of the homotopy category of chain complexes look like?

I am trying to understand indecomposable objects in the homotopy category of chain complexes. Let $\mathcal{A}$ be an abelian category. Denote by $C(\mathcal{A})$ the category whose objects are chain ...

2
votes

0
answers

175
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

1
answer

316
views

### Homology of singular chain complex modulo subdivision

Let $S_p(X)$ be the $p$-th singular chain group and $\mathcal S(X)$ be the singular chain complex of a topological space $X$. There is a barycentric subdivision operator (which is also a chain map) $\...

0
votes

0
answers

171
views

### Determinant of chain complexes

Let $\mathcal{C}$ be the category of bounded cochain complexes of $R$-modules for a commutative ring $R$. I am trying to prove the following formula involving determinant $\text{Det}(F)$ of a map of ...

4
votes

1
answer

147
views

### Homotopy coherent space maps induces homotopy coherent chain complex morphisms

It is an elementary fact that a map $f:X \to Y$ between spaces induces a chain complex morphism $f_* : C_*(X) \to C_*(Y) $. This allows one to transfer 1-category theoretic arguments from spaces to ...

4
votes

1
answer

454
views

### derived tensor product and finite projective dimension

Let $(R, \mathfrak m)$ be a Noetherian local ring. Let $M,N$ be non-zero finitely generated $R$-modules.
Is it known that $M\otimes_R^{\mathbf L} N$ has finite projective dimension if and only if $M$ ...

7
votes

0
answers

547
views

### Understanding the higher stack of perfect complexes

One of the most famous examples of higher Artin stacks is the stack of perfect complexes. I recall here the basic stuff:
We fix a function $b: \mathbb{Z} \rightarrow
\mathbb{N}$ which is zero ...

2
votes

1
answer

123
views

### Methods for finding complex for subobjects of homology

Let $\mathcal{C}$ be an abelian category and
$$ C_\bullet:C_n \rightarrow C_{n-1}\rightarrow \ldots \rightarrow C_1\rightarrow C_0$$
a complex in $\mathcal{C}$. Suppose we have for each $i$ a ...

2
votes

0
answers

253
views

### References for Homotopy transfer problem

I am trying to read Algebra+homotopy=operad by Bruno Vallette.
Consider the following set up :
chain complexes $(A,d_A),(H,d_H)$,
a degree $1$ morphism of chain complexes $h:(A,d_A)\rightarrow (A,d_A)...

2
votes

0
answers

53
views

### contracting homotopies of Koszul resolution of $\mathbb{C}[x_1, \ldots, x_n]$ and $\mathbb{C}_{q}[x_1, \ldots, x_n]$

Let $A : = \mathbb{C}[x_1, \ldots, x_n],$ $A_q : =\mathbb{C}_q[x_1, \ldots, x_n] = \mathbb{C} \langle x_1, \ldots, x_n \rangle / (x_ix_j = q x_jx_i)$.
By Koszul resolution I mean
$$\ldots \to A \...

7
votes

2
answers

455
views

### Trees in chain complexes

$\DeclareMathOperator{\Ch}{\mathit{Ch}}$Let $\Ch_\mathbb{Q}$ denote the model category of chain complexes over rational numbers. Let $T_\ast$ be a tree in $\Ch_{\mathbb{Q}}$ with $n$ vertices.
How to ...

4
votes

0
answers

119
views

### $K$-group of category of bounded chain complexes of Projective modules with finite length homologies

For a Commutative Noetherian local ring $(R, \mathfrak m)$, let $K_0^{\mathfrak m}(R)$ denote the abelian Group generated by isomorphism classes of bounded chain complexes of finitely generated free ...

6
votes

0
answers

417
views

### When is the dual of a limit the same as the colimit of the duals?

We all know that the dual of the colimit of a diagram in the category of chain complexes (and similar categories) is the limit of the duals diagram. This follows immediately from the general fact that ...

5
votes

1
answer

1k
views

### Cohomology of derived tensor product of complexes and Künneth spectral sequence

Let $R$ be any commutative ring, let $V^\bullet$ and $W^\bullet$ be (co)chain complexes of $R$-modules, indexed cohomologically. We can also assume that they have both cohomology in nonpositive ...

4
votes

2
answers

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

13
votes

3
answers

1k
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

1
answer

185
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

0
answers

119
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

510
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

75
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

120
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

181
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

1
answer

181
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

0
answers

58
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

0
answers

140
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

0
answers

118
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

1
answer

86
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

0
answers

56
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

0
answers

105
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

0
answers

636
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

0
answers

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

4
votes

1
answer

648
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

1
answer

394
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

0
answers

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