Search Results

Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction to the global existence o …

Let $X$ be an affine scheme and $\mathcal{E}$ a finitely generated locally free sheaf on $X$. It is obvious that $\mathcal{E}$ is a projective object in the category Qcoh$(X)$ since we can pass to rin …

Let $X$ be a scheme and let $D^b_{\text{coh}}(X)$ be the derived category of complexes of sheaves with bounded, coherent cohomologies. We know that the category $D^b_{\text{coh}}(X)$ has some drawbac …

Let $X$ be a scheme and let $D_{qoch}(X)$ and $D^b_{coh}(X)$ be the unbounded derived category of quasi-coherent sheaves and bounded derived category of coherent sheaves on $X$, respectively. $D^b_{ …

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 …

First consider a scheme $X$ with an open cover $\mathcal{U}=\{U_i\}$. An object with descent data on $\mathcal{U}$ is a collection $(\mathcal{E}_i,\phi_{ij})$ where $\mathcal{E}_i$ is a quasi-cohere …

Sorry for the naive question. Let $X_1$, $X_2$ and $Y$ be three projective varieties over an algebraically closed field of characteristic zero. If we have $X_1\times Y\cong X_2\times Y$, do we automat …

In Toen's paper The homotopy theory of dg-algebras and derived Morita theory, Theorem 8.15, he essentially proved the following result. Let $X$ and $Y$ be two smooth and proper schemes over $k$. L …

In a 1998 paper by B. Keller, the author consider the following problem in Section 1.4: Let $k$ be a commutative ring and $X$ a scheme over $k$. We can consider the cyclic homology as well as the Ho …

We say a complex manifold $X$ has the resolution property if every coherent sheaf $\mathcal{M}$ on $X$ admits a surjection $\mathcal{E}\twoheadrightarrow \mathcal{M}$ by some finite rank locally free …

Let $\mathcal{C}$ be a category. We call a morphism $\alpha: X\rightarrow X$ an idempotent if $\alpha^2=\alpha$ in $\mathcal{C}$. We call $\mathcal{C}$ is $\textit{idempotent complete}$ if any idempo …

I'm sorry for the self-citation. But your question is largely answered in the monograph Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck, or the arxiv version, joint work of Jean-Mich …

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 …

Let's consider the Springer resolution of the nilpotent cone $\mathcal{N}$ of a complex semisimple Lie algebra $\mathfrak{g}$, which is $$ \widetilde{\mathcal{N}}=T^*\mathcal{B}\rightarrow \mathcal{N …

Let X be a complex manifold and $TX$ its tangent bundle. The Atiyah class $\alpha(E)\in \text{Ext}^1(E\otimes TX, E)$ for a vector bundle $E$ is defined to be the obstruction of the global existence o …