Search Results

Let $X$ be a scheme and $E^{\cdot}$ be a cochain complex of sheaves of $\mathcal{O}_X$-modules. We call $E^{\cdot}$ a strictly perfect complex if $E^{\cdot}$ is a bounded (in both direction) complex …

Let $\mathcal{A}$ be an abelian category and $\mathcal{K}(\mathcal{A})$ be the homotopy category of chain complexes in $\mathcal{A}$. It is well-known that $\mathcal{K}(\mathcal{A})$ is idempotent com …

Let $A$ and $B$ be differential graded algebras over a field $k$ and $D(A)$ and $D(B)$ be the derived categories of differential graded modules. Let $N$ be an $A$-$B$ bimodule. Then $(-)\otimes^{\mat …

Let $\mathcal{T}$ be a triangulated category which has arbitraty direct sums. An object $E\in \mathcal{T}$ is called compact if the functor Hom$(E,-)$ commutes with arbitrary direct sums. A compact ob …

Let $X$ be a projective variety over an algebraically closed field $k$ and $D^b(X)$ be the derived category of bounded complexes of coherent sheaves on $X$. Let $S$ be the Serre functor on $D^b(X)$. A …

Let $X$ be a K3 surface and fix an ample line bundle on $X$. Let $v\in \widetilde{H}(X,\mathbb{Z})$ be a Mukai vector and $M(v)$ be the moduli space of semi-stable coherent sheaves on $X$ with Mukai v …

In Huybrechts' book Fourier-Mukai Transforms in Algebraic Geometry I found the following result due to Mukai (Page 232, Lemma 10.6) Let $X$ and $Y$ be two $K3$ surfaces. Then the Mukai vector of any o …

Let $A$, $B$ be two DG algebras and $D(A)$, $D(B)$ be derived categories of DG-modules of $A$, $B$, respectively. We call $A$ and $B$ are dg Morita equivalent if there is an $A$-$B$ bimodule $T$ with …

Let $\mathcal{T}$ be a triangulated category which has arbitraty direct sums. An object $E\in \mathcal{T}$ is called compact if the functor Hom$(E,-)$ commutes with arbitrary direct sums. A triangula …

This question arise from the comparision of the reconstruction theorems of Bondal-Orlov and Balmer and is inspired by Shizhuo Zhang's mathoverflow question: How to unify various reconstruction theorem …

We know that for a curve $X$, any object $\mathcal{E}^{\bullet}$ in the derived category $D^b_{\text{coh}}(X)$ is formal, i.e. $\mathcal{E}^{\bullet}$ is quasi-isomporphic to the direct sum of its co …

Let $\mathcal{D}$ be a $k$-linear triangulated category and $\langle E_n,E_{n-1},\ldots, E_0\rangle$ be a sequence of objects of $\mathcal{D}$. We call $\langle E_n,E_{n-1},\ldots, E_0\rangle$ an $\te …

This question is related to this MO question. Let $X$ be a projective curve over a field $\mathbb{C}$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category …

This question is related to one of my previous question Do we have the following isomorphism for $\mathcal{Ext}$? Let $X$ be a smooth variety (over $\mathbb{C}$) and $\Delta: X \rightarrow X \times X …

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 acycl …