All Questions
Tagged with homological-algebra derived-categories
93 questions with no upvoted or accepted answers
12
votes
0
answers
552
views
References for a certain generalization of Hochschild cohomology?
Let $C$ be an algebra. Let $E = C^{\otimes 2n}$ be the tensor product (over the ground field) of $2n$ copies of $C$. [EDIT: Or better, $E = C\otimes C^{op}\otimes C\otimes C^{op}\cdots\otimes C \...
- 12.8k
10
votes
0
answers
312
views
Triangle $X'\to X\to X''\to\Sigma X'$ splits if $X\simeq X'\oplus X''$?
Given a commutative ring $R$ and a distinguished triangle $X'\to X\to X''\xrightarrow e\Sigma X'$ in the derived category $D(R)$, where $X',X,X''$ are perfect complexes. If we have an equivalence $X\...
user20948
9
votes
0
answers
499
views
3x3 lemma in triangulated categories
I am currently reading Le Stum's Rigid Cohomology and have encountered the following passage (proof of Proposition 5.2.16):
The deduction made here seems to be purely "triangulated category-...
- 28.2k
9
votes
0
answers
327
views
Dualizable objects in homotopy category of chain complexes
The proposition 1.9 from "Duality, Trace and Transfer" by Dold and Puppe states that:
Given a commutative ring $R$, a chain complex of $R$-modules is strongly dualizable in $Ho(Ch(R))$, the homotopy ...
user95283
9
votes
0
answers
506
views
Categorification of definitions in the context of the derived category of quasi-coherent sheaves
Let $SpecA=X$ be an affine noetherian scheme. Let $QCoh(X)$ denote the derived (stable $\infty$-)category of quasi-coherent sheaves on $X$. There are the following special full subcategories spanned ...
- 7,789
9
votes
0
answers
311
views
Evens norm as a derived functor
In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...
- 1,484
8
votes
0
answers
197
views
Non-Standard Derived Equivalences of Non-Flat Algebras
I read that for algebras $R$ and $S$ (over a commutative ring), assuming that $R$ or $S$ is flat, the existence of a derived equivalence $\mathcal{D}(R) \to \mathcal{D}(S)$ implies the existence of an ...
- 156
7
votes
0
answers
142
views
When is an algebra derived indecomposable?
Call a finite dimensional (acyclic) quiver $K$-algebra A derived indecomposable in case $A$ is not derived equivalent to an algebra of the form $B \otimes_K C$.
For example when the number of simples ...
- 26.5k
7
votes
0
answers
417
views
Understanding Koszul Duality in BGG and Gelfand, Manin
I'm trying to understand a particular point in the proof of Koszul duality between $D^b(\Lambda(V))$ and $D^b(S(V^*))$ as seen in "Algebraic Bundles over $\mathbb{P}^n$ and Problems of Linear Algebra" ...
- 841
7
votes
0
answers
268
views
Identifying and reconstructing the derived category from its auto-equivalences
Background: Given a smooth irreducible algebraic variety $Y$ with $\omega_Y$ or $\omega_Y^{-1}$ ample. Then Bondal-Orlov theorem states that if there exists any other smooth algebraic variety $Y'$ ...
- 1,981
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 ...
- 15.5k
7
votes
0
answers
275
views
Not isomorphic varieties with isomorphic tilting algebras
Let $X$ be a smooth projective variety over a field, than tilting object $T$ on $X$ is a perfect complex that is a compact generator of the derived category $\operatorname{D}(QCoh(X))$ and satisfies ...
- 1,545
6
votes
0
answers
126
views
Explicit proof that $\mathbb{k}[x]/(x^n)$ is not derived discrete
In the question Explicit proof that algebra is derived wild it was asked whether there are examples of algebras $A$ where it is possible to show explicitly that $A$ is derived wild by finding an ...
- 1,474
6
votes
0
answers
201
views
Smoothness of a variety implies homological smoothness of DbCoh
I have been told that $D^bCoh(X)$ is homologically smooth if $X$ is a smooth variety, and I am trying to construct a proof. My background is not in algebra, so I apologize for elementary questions.
It ...
6
votes
0
answers
656
views
The derived version of the Grothendieck spectral sequence
Consider the (very well known) Grothendieck spectral sequence for composition of functors $\mathcal F: \mathcal A \to \mathcal B$ and $\mathcal G: \mathcal B \to \mathcal C$ between abelian categories ...
- 61
6
votes
0
answers
542
views
N-periodic derived categories
I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...
- 18.7k
5
votes
0
answers
660
views
Hypercohomology spectral sequence from the derived category point of view
Let $F\colon \mathsf{A}\to\mathsf{B}$ be an additive functor between abelian categories and let $M$ be a complex on $\mathsf{A}$. There's a "hypercohomology spectral sequence"
$$E_1^{i,j}=\...
- 711
5
votes
0
answers
214
views
Universal property for derived category of coherent sheaves
Let $X$ be a scheme, and let $D^{*}(X)$ be the unbounded (resp. unbounded, resp. bounded below/above, etc) derived category of coherent sheaves on $X$.
The work of Robalo establishes a universal ...
- 1,635
5
votes
0
answers
321
views
Do differential objects form triangulated categories?
Let $\mathcal{A}$ be a (fixed) additive category. To a differential object $(A,a)$ for $\mathcal{A}$ (so, $a:A\to A$ and $a^2=0$) one may associate an $\mathcal{A}$-complex $\dots \to A\stackrel{a}{\...
- 16.9k
5
votes
0
answers
300
views
Can we obtain a derived category from an additive category? Like a category of Banach modules?
Let $A$ be a Banach algebra, let $A$-mod be the category of left Banach modules (as defined in Helemskii's "Banach and locally convex algebras"), $A$-mod is an additive category, but not abelian ...
- 211
4
votes
0
answers
86
views
Lifting maps on the spectral sequence of a double complex to the derived category
Question
The differentials on the $(r+1)$th page of a spectral sequence are maps on the cohomologies of the complexes on $r$th page. So, between two adjacent complexes $K^\bullet,L^\bullet$ on the $r$...
4
votes
0
answers
238
views
Derived functors from localization vs animation
I got a bit confused with the derived functors getting from the localization and the animation. More specifically, let $\mathcal{A}$ be an abelian category generated by compact projective objects $\...
- 255
4
votes
0
answers
102
views
Derived category supported in a Serre subcategory of a locally noetherian category
This is a cross-post from math.stackexchange at https://math.stackexchange.com/questions/4251692/derived-category-supported-in-a-serre-subcategory-of-a-locally-noetherian-catego, since I didn't get ...
- 41
4
votes
0
answers
168
views
detecting a semi-free module from its bar-resolution
Let $A$ be a DG-algebra over a field (say $k$). A DG-module $M$ over $A$ is said to be semi-free if it admits an exhaustive filtration $0 = M_0 \subset M_1 \subset \ldots \subset M_p = M$ such that ...
- 7,300
4
votes
0
answers
90
views
Examples of "non equivalent" algebras that are derived equivalent?
One can define different equivalence relations between algebras depending on what one want to study, but also these definitions may have their own life and not result as one expected at first.
My ...
- 1,028
4
votes
0
answers
134
views
Reflexive vs. pseudo-coherent abelian groups
Recall that a module M over some ring R is pseudo-coherent if it admits a resolution whose terms are finitely generated projective R-modules. Another notion is to ask whether M is reflexive when ...
- 2,040
4
votes
0
answers
145
views
When is being flat a derived invariant?
For which commutative rings k is the following true:
A k-algebra $A$ that is flat over $k$ and derived equivalent to a $k$-algebra $B$ implies that also $B$ is flat over $k$.
The motivation is ...
- 26.5k
4
votes
0
answers
205
views
Sheaf-type property for Derived Categories?
Suppose $X$ is a finite dimensional complex space (I'm happy to restrict to $X$ being a scheme of finite type over $\mathbb C$ as well). I'm wondering if the following sheaf-like properties hold for ...
- 1,761
4
votes
0
answers
258
views
Generators of unbounded derived categories of (quasi-)coherent sheaves
An object $T$ in a triangulated category $\mathcal{D}$ is called a generator if $T^\perp=0$, which means that for any nonzero $X$ in $\mathcal{D}$, there are $i\in\mathbb{Z}$ and a nonzero morphism $T[...
- 263
4
votes
0
answers
235
views
Serre duality graded singularity category
Let $R$ be a local Gorenstein ring of Krull dimension $d$ with an isolated singularity. Defined $D_{sing}(R)$ as the Verdier quotient $D^b(R)/Perf(R)$). Then, a famous result of Auslander says that ...
- 7,300
4
votes
0
answers
502
views
Reference for Grothendieck's duality and Cousin, Dualizing and Residual complexes
I am a graduate student currently reading Hartshorne's Residues and Duality. In order to reach the construction of the right adjoint $f^!$ of $Rf_*$ for some special types of maps of locally ...
4
votes
0
answers
445
views
When do we have $D_{\text{perf}}(\text{Qcoh}(X))\simeq D_{\text{perf}}(X)$?
Let $(X,\mathcal{O}_X)$ be a scheme (or more generally a ringed space). We know that in general the derived category of complexes of quasi-coherent modules $D(\text{Qcoh}(X))$ is not equivalent to the ...
- 9,019
4
votes
0
answers
685
views
Unbounded derived category that is not left-complete
Let me first recall some definition: Let $A$ be a Grothendieck Abelian category. Then, then category $\mathrm{Ch}(A)$ (I am using homological indexing) admits a combinatorial model structure (see for ...
- 805
3
votes
0
answers
120
views
Derived tensor by perfect complex preserves exact triangle in singularity category?
Let $R$ be a commutative Noetherian ring. Let $\operatorname{D}_{sg}(R)$ be the singularity category of $R$, i.e., the Verdier localization of $D_b(\text{mod } R)$ by the thick subcategory of perfect ...
- 413
3
votes
0
answers
107
views
Dimension of hom spaces between indecomposable modules
Undergraduate-Level Background
Let $A$ be an Artin algebra over an algebraically closed field $k$, and let $C = Rep(A)$ denotes the category of $k$-linear, $k$-finite dimensional representations of $A$...
- 5,230
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
160
views
Does a functor preserving injectives also preserve K-injective complexes?
Let $F:A\to B$ be an exact functor of Grothendieck abelian categories. If $F$ preserves injective objects, then does the exact functor $F:K(A)\to K(B)$ preserves K-injective complexes?
For example, ...
- 615
3
votes
0
answers
80
views
Coxeter polynomials of graphs
Let $Q$ be a finite connected and directed graph with $n$ points.
Assume $Q$ is acyclic as a directed graph.
Let $C=C_Q$ be the Cartan matrix of $Q$, that is the matrix with entries $c_{i,j}$ being ...
- 26.5k
3
votes
0
answers
129
views
Constructing functorial homotopies in derived infinity-category
I'm interested in the following problem : let $\mathcal{C}$ be an $\infty$-category and $\mathcal{D}:=D_\infty(\mathbb{Z})$ the derived $\infty$-category of abelian groups. Consider functors $A, B, C ,...
- 617
3
votes
0
answers
424
views
Stalks of perverse cohomology sheaves?
For a complex of sheaves $\cal{F}^{\bullet}$ on a variety $X$, a useful fact is that the stalks of the cohomology sheaves of $\mathcal{F}^{\bullet}$ agree with the cohomology groups of the complex of ...
- 1,701
3
votes
0
answers
87
views
Decomposability of chain complexes
The following is stated in Luc Illusie, "Frobenius and Hodge degeneration", part 4.6.
Let $L$ be a bounded chain complex. There is a sequence of obstructions, first $c_i\in \mathrm{Ext}^2(H^iL, H^{i-...
- 858
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
156
views
Weak generators of the right-bounded derived category of a finite-dimensional algebra
The setup:
Let $A$ be a finite-dimensional $k$-algebra over some field $k$.
Let $\mathcal{B} = Hot^-(Proj \, A)$ denote the homotopy category of cochain complexes of (possibly infinitely generated) ...
- 61
3
votes
0
answers
166
views
Edge map in derived categories
Let $\mathscr{A},\mathscr{B}$ be abelian categories, the first with enough projectives, together with a right-exact functor $F\colon \mathscr{A}\to\mathscr{B}$ (in my example, it is a tensor product, ...
- 5,670
3
votes
0
answers
136
views
Can a acyclic quiver algebra be derived equivalent to a non-acyclic quiver algebra?
Can a quiver algebra with acyclic quiver be derived equivalent to a quiver algebra with non-acyclic quiver?
(I moved this question from another thread Derived equivalences of Dyck paths , where the ...
- 26.5k
3
votes
0
answers
61
views
Can one relate $K_0$ of an $A_\infty$-category $\mathcal A$ to $K_0(Fun_{A_\infty}(\mathcal A, \mathcal A))$?
For an $A_\infty$-category $\mathcal A$, one defines the group $K_0(\mathcal A)$ by
$$K_0(\mathcal A) := \mathbb Z \operatorname{Ob} \operatorname{Tw} \mathcal A / \left<[A]+[B]-[C]\right>$$
...
- 1,893
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
111
views
Is there a relation between Projection formula and Verdier duality
For suitable settings, $f\colon X\to Y$, $F,G$ we have projection formula and Verdier duality:
Projection formula: $Rf_!(F\otimes^\mathbb{L}f^{-1}G)\cong Rf_!F\otimes^{\mathbb{L}}G$
Verdier Duality:...
user39380
3
votes
0
answers
67
views
Fracturing $t$-structures
$\def\tee{\mathfrak{t}}$ Let $\tee_1,\tee_2$ be two $t$-structures on a triangulated category $\cal T$; call them fracturing if the two fiber sequences $\tau^\le_1X\to X\to \tau^\ge_1X$ and $\tau^\...
- 13.6k
3
votes
0
answers
209
views
Closed Model Category Structure on Chain Complexes Related to A Left-exact Functor
Let $F:A \to B$ be an additive left-exact functor of abelian categories (Do not assume that they have enough injectives / projectives.) Suppose we are given a class of objects $R$ adapted to $F$ (see ...
- 607