All Questions
Tagged with ac.commutative-algebra derived-categories
12 questions with no upvoted or accepted answers
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
10
votes
0
answers
241
views
Has anyone seen this construction of dg algebras?
Let $A$ be an associative algebra, $M$ a right $A$-module. Suppose we are given an $A$-module homomorphism $M \to A$. Then we can make $M$ itself into an associative algebra via the multiplication
$$ ...
- 40.2k
8
votes
0
answers
337
views
flatness and derived completion
Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion.
If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat.
If $A$ is not noetherian, ...
- 3,472
6
votes
0
answers
399
views
Unbounded derived Nakayama lemma
Let $R$ be a (commutative) local ring, which I don't assume to be noetherian. Let $m$ be its maximal ideal, and $k$ its residue field.
Let $X$ be a complex of $R$-modules with finitely generated ...
- 15.8k
6
votes
0
answers
607
views
On a theorem of Hopkins-Neeman-Thomason on generators of thick subcategories of perfect complexes
Notations and background. Let $R$ be a commutative noetherian local ring and let $D(R)$ denote the derived category of the category of R-modules. A strictly perfect complex on $R$ is a bounded complex ...
- 3,101
5
votes
0
answers
586
views
When is the cotangent complex perfect?
Let $X\rightarrow S$ be a proper flat morphism of schemes.
When is the cotangent complex $L_{X/S}$ perfect ?
It is well known, that for local complete intersections the cotangent complex is perfect, ...
- 51
4
votes
0
answers
113
views
Determining whether a morphism is the induced morphism?
Let $F\colon \mathcal A \to \mathcal B$ be a left exact functor between Grothendieck abelian categories. Given a morphism $f\colon A\to B$ in $\mathcal A$ and a morphism $g\colon RF(A)\to RF(B)$ in ...
- 3,079
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
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
161
views
A Nakayama type of claim for countably generated modules on complex affine varieties
Let $U\subset \mathbb{A}^n_{\mathbb{C}}$ be any Zariski open affine subvarity. Let $M$ be an $\mathcal{O}(U)$-module. Suppose $M$ satisfies $M\overset{L}{\otimes}\mathbb{C}_{\mathfrak{M}}\cong 0$ for ...
- 163
1
vote
0
answers
111
views
Kunneth formula for hypercohomology
Let $A_{\bullet}$ and $B_{\bullet}$ be two bounded complexes of sheaves over a variety $X$. Is there a Kunneth-like formula for the hypercohomology of the tensor product $A_{\bullet}\otimes B_{\bullet}...
- 494
1
vote
0
answers
359
views
Thickness of the category of perfect complexes with finite length homology
Let $R$ be a commutative Noetherian local ring and let $D(R)$ be the derived category of $R$-modules. Recall that a chain complex $C_\bullet$ of modules over $R$ is called perfect if it is isomorphic ...
- 3,101