The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
89 views

Mukai flops and derived categories

As proved by Kawamata and by Namikawa, if $M$ and $M'$ are complex projective varieties which are related by a Mukai flop (elementary transformation) along projective spaces $W\subset M$ and ...
3
votes
0answers
67 views

A canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$ (references)

According to several articles I could find, a canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$, where $r \geq 2$. I don't know how to obtain this ...
5
votes
2answers
220 views

Is the homotopy category of a ring also the derived category of another ring?

Let $R$ be an associative ring. Let $K(R)$ be the category of chain complexes of $R$-modules and chain homotopy classes of maps between them, and let $D(R)$ be its localization with respect to ...
3
votes
1answer
236 views

Reference for comparison of heart cohomology with standard cohomology

I'm looking for a reference for the following fact (which I believe to be true and should be easy for people who understand how spectral sequences arise from filtrations). Let A,B be two hearts of ...
1
vote
0answers
135 views

Derived category of product of complex manifolds

Let $X$ and $Y$ be a compact complex manifold. Is it possible to describe the derived category $D^b(X\times Y)$ of coherent sheaves in terms of $D^b(X)$ and $D^b(Y)$? I am particularly interested in ...
5
votes
1answer
267 views

Equivariant motivic sheaves

Thanks to the work of Cisinski-Deglise: http://arxiv.org/abs/0912.2110, we now have a triangulated category of `motivic sheaves' available that admits the standard yoga of the six functors. Is there ...
23
votes
4answers
1k views

What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra. In the former, one assigns to ...
0
votes
0answers
110 views

Why “Fourier”-Mukai? [duplicate]

The Fourier-Mukai functor is one of the most important tools to work with in the derived category. While it is clear why the name of S.Mukai appears there, why does Joseph Fourier appear in the name ...
1
vote
1answer
177 views

Morphism between Fourier-Mukai functors implies the morphism between kernels?

Suppose $X,Y$ are smooth varieties over $\mathbb{C}$, and let $K_i \in D^b(X \times Y), i=1,2$ be objects in the derived category of bounded complex of coherent sheaves on $X \times Y$. Then there are ...
2
votes
1answer
55 views

dg-flat complexes and their characters

Let $\otimes$ denotes the usual tensor products of complexes and symbols live in the category of chain complexes of $R$-modules. Let $X$ be a dg-flat complex (i.e. $X_n$ is flat for each n and ...
3
votes
2answers
266 views

Derived category of a hypersurface

Let $X$ be a smooth projective variety over $\mathbb{C}$, and $H \subset X$ be a smooth hypersurface. Many properties of an ambient variety $X$ could somehow inherit to the hypersurface $H$, I was ...
3
votes
1answer
161 views

flat descent for perverse sheaves

Let $E \in D^{b}_{c}(X,\overline{\mathbb{Q}}_{l})$ where $X$ is a $k$ scheme of finite type for a field $k$. Let $Y\rightarrow X$ a finite flat surjective morphism such that $f^{*}E$ is perverse and ...
5
votes
1answer
178 views

Equivariant Formality

Let $G$ be a finite group and $\mathcal{A}$ be a $dg$-algebra. Assume $G$ acts on $\mathcal{A}$, i.e. there exists a homomorphism $G\to {\rm Aut}_{dg}(\mathcal{A})$. Assume further there exists a ...
4
votes
0answers
107 views

Formal DG-algebras

Sorry for this question but I really have difficulties with model categories. Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...
0
votes
2answers
183 views

Injective resolution for right derived functor

This question is base on my previous question, and I repeat it here: Suppose $X$ is a projective variety and $D^{+}(X)$ is the derived cateogry of bounded below complexes of sheaf of ...
4
votes
2answers
436 views

Why is the derived tensor product only defined for bounded above derived categories?

In "Residues and Duality" by Hartshorne, the derived tensor $\otimes$ only defined for the bounded above categories (see Chapter I, section 4), that is one has $$\otimes: D^{-}(X) \times D^{-}(X) \to ...
8
votes
1answer
392 views

Are $D^b_{coh}(X)$ and $D^b(Coh(X))$ derived equivalent?

Let $X$ be a variety. Let $D^b(Coh(X))$ be the derived category of bounded complexes of coherent sheaves on $X$, and $D^b_{coh}(X)$ be the derived category of bounded complexes of sheaves of ...
5
votes
2answers
258 views

Equivariant derived category and invariant divisor

I'm looking for a reference of the following (folklore?) result. Let $X$ be a smooth projective variety equipped with a $G=\mathbb{Z}/2\mathbb{Z}$ action (we consider the simplest case, everything ...
0
votes
0answers
237 views

generators for derived category

Let $G$ be a algabraic group $G$ over a field $k$. We denote by $D^b(\mathrm{Repr}(G))$ the derived category of finite dimensional representations. Under what kind of assmumptions one has a generating ...
4
votes
0answers
157 views

Grothendieck group of intersection of quadrics

Conjecturally, for a complete intersection $X$ the group $K_0(X)$ is finitely generated iff $H^{p,q}(X)=0$ for $p≠q$. This holds if and only if $X$ is a quadric, a cubic surface, or an ...
0
votes
0answers
160 views

Hodge structure of abelian surfaces

In my case, I have an abelian surface $A$ of (2,8)-polarization, and I have some finite group (may not be abelian group) $G$ acting on $A$ without fixed point. I want to understand when there is a ...
3
votes
0answers
416 views

unique enhancement for derived categories

I have two questions concerning the existence and uniqueness of enhancements in the following cases: i.) Let $A$ be a finite dimensional $k$ algebra of finite global dimension. Does the triangulated ...
6
votes
0answers
231 views

Reconstructing the Chow ring from the derived category

Let $X$ be a smooth projective variety and write $\mathbf{D}(X)$ for its triangulated category of perfect complexes of quasi-coherent sheaves. Recall that $\mathbf{D}(X)$ determines the Grothendieck ...
4
votes
1answer
257 views

Fourier-Mukai transform for abelian varieties

Let $A$ be an abelian variety over $\mathbb{C}$, $L$ be a very ample line bundle on $A$, then the dual abelian variety is $\hat{A} \cong A/K(L)$ with $K(L)$ the kernel of surjective morphism $A \to ...
-2
votes
1answer
292 views

Derived Category.

Question 1: Let $X$ be a scheme. Then generally for the complex $C^{\bullet}$ in $D^b(X)$, we define $R\Gamma(C^{\bullet})\colon$ = Complex obtained by applying $\Gamma$ to the injective resolution ...
2
votes
0answers
167 views

what is the zero locus of a morphism of the derived category?

For a morphism of quasi-coherent sheaves $v\colon E \to F$, on a scheme $X$, one can ask about the locus where $v =0$. When $F$ is a vector bundle, it's easy to see that this locus is closed.* Is ...
5
votes
1answer
289 views

Derived categories of singular varieties

Given my limited knowledge on derived categories, all the results on derived categories of complex of bounded sheaves are build upon smooth varieties, and people literally avoid singular case (as in ...
4
votes
1answer
144 views

Is the injective structure on unbounded chain complexes simplicial?

In Mark Hovey's article Model category structures on chain complexes of sheaves (arXiv:math/9909024) a model structure on the category $Ch(A)$ of unbounded chain complexes for a Grothendieck abelian ...
2
votes
0answers
124 views

semiorthogonal decomposition

We consider $\mathbb{P}^1$ and the semiorthogonal decomposition $<\mathcal{O},\mathcal{O}(1)>=D^b(\mathbb{P}^1)$. Let $x$ be a closed point and $k(x)$ the corresponding skyscraper sheaf. Every ...
3
votes
1answer
145 views

Is there a blow-up formula for the derived category of a singular ambient variety?

For a nonsingular variety sitting inside a nonsingular ambient variety there is a semi-orthogonal decomposition of the derived category of the blow-up (with center that subvariety). What can be said ...
0
votes
1answer
177 views

Could we construct the Jacobian variety of a smooth curve $C$ with genus $>2$ from its derived category $D(C)$?

Let's consider a smooth curve $C$ over $\mathbb{C}$. We know that the Jacobian variety $Jac(C)$ of $C$ is the moduli space of the degree $0$ line bundles on $C$. $Jac(C)$ is an abelian variety of ...
1
vote
0answers
49 views

injective dimension of dualizing complex

Let $R$ be a balanced dualizing complex of a Noetherian connected graded algebras $A$. Dose one always have $\text{id}_A R = \text{id}_{A^{op}} R$? Thanks a lot.
1
vote
0answers
104 views

The associated graded of a mixed Hodge module

Unfortunately this question will be a bit vague, since the question revolves around a memory of something I may have heard in a talk (long time ago). Let $X$ be a smooth complex variety. Let $MHM(X)$ ...
2
votes
1answer
170 views

Formality of classifying spaces (for not necessarily connected groups)

As should be evident from the title this question has a similar flavor to: Formality of classifying spaces However, unlike Geordie's question, I will be working with torsion free coefficients (say ...
1
vote
1answer
168 views

Could we extend the Atiyah class to the sheaf of poly-vector fields to get a Poisson bracket?

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 ...
3
votes
1answer
328 views

Can we define the tensor product in the derived category $D^b_{\text{coh}}(X)$ just from $D^b_{\text{coh}}(X)$ in certain cases?

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 ...
9
votes
4answers
579 views

What is the relation between the Lie bracket on $TX$ as commutator and that coming from the Atiyah class?

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 ...
0
votes
2answers
241 views

Balanced dualizing complexes according to A. Yekutieli

I am reading A. Yekutieli's original article on dualizing complexes for noncommutative algebras and I found a problem I cannot solve. First, some background. We start with a field $k$ and a ...
3
votes
1answer
167 views

The Hochschild cohomology of a variety “with coefficient” in a vector bundle

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 ...
2
votes
0answers
73 views

Continuity of constructible derived category

Let $X_0$ be a variety over $\mathbb F_q$. Denote by $X_n$ its basechange to $\mathbb F_{q^n}$ and let $X=\lim X_n$ be its basechange to the algebraic closure $\overline{\mathbb F}_q$. Let ...
2
votes
1answer
139 views

Does Wolbert's derived equivalence between $E_*^R$-local $R$-modules and $R_E$-modules come from a Quillen equivalence?

Let $R$ be a ring spectrum (in the world of EKMM $S$-modules) and let $E$ be a smashing $R$-module. Denote by $R_E$ the $E_*$-localization of $R$. By a theorem of Wolbert (Theorem 2 in Classifying ...
5
votes
1answer
304 views

A naive question on eigensheaves for group actions on derived categories

In this Mathoverflow question, Examples of Eigensheaves outside of langlands, David Ben-Zvi says " Given a G -space X you can recover quasicoherent sheaves on X from sheaves on X/G (ie equivariant ...
8
votes
1answer
512 views

Why is proving fully-faithfulness of an integral functor locally analytically sufficient?

More than once I've come across a statement in a paper about derived categories in which it says something to the effect of "in order to prove that $\Phi:D^b(X)\rightarrow D^b(Y)$ is fully-faithful we ...
16
votes
2answers
462 views

Homotopy-theoretic derived Morita equivalences

Recall that two $k$-algebras $A, B$ are Morita equivalent iff their categories of left modules are equivalent. However, this relation turns out to be rather fine and one introduces a coarser ...
2
votes
1answer
211 views

why is the homological projective dual of this Lefschetz decomposition non-commutative?

I am reading these notes of an excellent course by Kuznetsov on Homological Projective Duality. On page 10 there is Example 1''. One starts with projective space, endowed with the identity embedding ...
5
votes
1answer
111 views

Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it: The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...
13
votes
1answer
513 views

How can one interpret homology and Stokes' Theorem via derived categories?

I am very far removed from being an expert on derived categories. Every few months, however, I read a different introductory text with the hope that eventually I will have some basic grasp on this ...
3
votes
3answers
263 views

When an exact embedding of abelian categories induces a full embedding of their derived categories?

Let $F:A\to A'$ be a (full) exact embedding of abelian categories. When $D(F):D(A)\to D(A')$ (or its bounded version) is a full embedding also? I would be interested in any necessary or sufficient ...
6
votes
1answer
234 views

Derived categories of toric varieties and convex geometry

Toric varieties and convex polyhedra are intimately connected. Some of this can be found in standard text books (the connection between divisors and mixed volumes seems to be a popular example). One ...
4
votes
0answers
129 views

Derived category of toroidal varieties

This question comes from the first reduction step of Theorem 4.2 of Kawamata's paper on K-equivalent implies D-equivalent on toroidal varieties. But my question has little to do with this theorem. A ...