Questions tagged [chain-complexes]
The chain-complexes tag has no usage guidance.
118 questions
4
votes
0
answers
135
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 ...
- 1,209
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}$ ...
- 1,623
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 ...
- 9,009
4
votes
0
answers
730
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 ...
- 3,704
3
votes
2
answers
913
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 ...
- 547
3
votes
2
answers
634
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 ...
- 624
3
votes
1
answer
129
views
Thick subcategory containment in bounded derived category vs. singularity category
Let $R$ be a commutative Noetherian ring, and $D^b(\operatorname{mod } R)$ the bounded derived category of the abelian category of finitely generated $R$-modules. Let me abbreviate this as $D^b(R)$. ...
- 480
3
votes
1
answer
251
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}_\...
- 19.8k
3
votes
1
answer
152
views
Homotopy coherent transformation and totalization
Let $C$ be the category of chain complexes over a field $F$ and $C^\prime$ be the subcategory of chain complexes with zero differentials. If $X:I\to C$ is a functor, there is an induced "homology&...
- 410
3
votes
1
answer
282
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 ...
- 360
3
votes
0
answers
162
views
Multiplicative structure on Čech–Alexander complexes
I have the following basic question on Čech–Alexander complexes.
Let $R$ be a ring and $A$ be an $R$-algebra. To this datum one can attach a cosimplicial ring which assigns to an object $[n]=\{0,1,\...
- 1,479
3
votes
0
answers
106
views
Multiplication map by a ring element on an object vs. all its suspensions in singularity category
Let $R$ be a commutative Noetherian ring, consider the bounded derived category of finitely generated $R$-modules $D^b(R)$ and consider the singularity category $D_{sg}(R):=D^b(R)/D^{perf}(R)$. Let $r\...
- 412
3
votes
0
answers
238
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 ...
- 41
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 ...
- 1,231
3
votes
0
answers
68
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 ...
- 789
3
votes
0
answers
143
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 ...
user30211
3
votes
0
answers
325
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}$ ...
- 163
3
votes
0
answers
244
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 ...
- 9,009
2
votes
2
answers
1k
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 ...
- 3,174
2
votes
1
answer
173
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 ...
- 45
2
votes
1
answer
294
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 ...
- 511
2
votes
1
answer
152
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$-...
- 2,152
2
votes
1
answer
451
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-...
- 21
2
votes
1
answer
108
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}$...
- 31
2
votes
1
answer
359
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 (...
- 103
2
votes
1
answer
522
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 ...
- 45
2
votes
1
answer
98
views
A perfect complex over a local Cohen--Macaulay ring whose canonical dual is concentrated in a single degree
Let $R$ be a complete local Cohen--Macaulay ring with dualizing module $\omega$. Let $M$ be a perfect complex over $R$. If the homology of $\mathbf R\text{Hom}_R(M,\omega)$ is concentrated in a ...
- 413
2
votes
1
answer
124
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 ...
- 473
2
votes
1
answer
342
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$ ...
- 841
2
votes
1
answer
391
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} : C_{\ast} ...
- 945
2
votes
1
answer
169
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 ...
- 141
2
votes
0
answers
70
views
Does every SES of injective bounded cochain complexes split?
Question: Does every short exact sequence of injective bounded cochain complexes, $0\rightarrow I^\bullet\rightarrow J^\bullet\rightarrow K^\bullet\rightarrow 0$, split?
I am interested in a discrete ...
- 213
2
votes
0
answers
117
views
Hypercube of chain complexes as functor from (Δ^1 )^n to ∞-category of chain complexes
A hypercube of chain complexes consists of $\mathbb{Z}$-graded vector spaces $C_\epsilon$ for $\epsilon\in\{0,1\}^n$ and maps $D_{\epsilon,\epsilon^\prime}:C_{\epsilon}\to C_{\epsilon^\prime}$ for $\...
- 673
2
votes
0
answers
147
views
Homotopy equivalence of chain complexes from subcomplexes and quotient complexes
Let $C_1$ be a finite-dimensional chain complex over $\mathbb{C}$ coefficients. Let $S_i$ be a subcomplex of $C_1$ and let $Q_1$ be the quotient complex. Suppose $S_1$ and $Q_1$ are chain homotopy ...
- 673
2
votes
0
answers
116
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....
- 167
2
votes
0
answers
310
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 ...
- 5,230
2
votes
0
answers
87
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 ...
- 911
2
votes
0
answers
545
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 $\...
- 175
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 ...
- 6,962
2
votes
0
answers
272
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)...
- 6,023
2
votes
0
answers
64
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 \...
- 161
2
votes
0
answers
704
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 ...
- 751
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\...
- 173
2
votes
0
answers
866
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 ...
- 9,009
1
vote
1
answer
261
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 ...
- 451
1
vote
1
answer
197
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 ...
- 482
1
vote
1
answer
102
views
Cohomology of "symplectically self-dual" chain complex
Let $G,H$ be abelian groups (denoted additively) with their Pontryagin duals denoted as $G^*$ and $H^*$. (The cases I'm interested in are products of $\mathbb Z_n$, $\mathbb Z$, $\mathbb R$, and $\...
- 3,001
1
vote
2
answers
298
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$?
- 18.7k
1
vote
1
answer
223
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 ...
- 517
1
vote
0
answers
46
views
Regression models as local sections of a chain complex
Let's say we find some regression equation $\ell$ (best fit / linear / whatever words you need to put here) for a sample $D$, subset of population $P$. This equation/model can be thought of as a ...
- 1,466