**21**

votes

**1**answer

638 views

### Which properties of a variety are detected by its derived category of coherent sheaves?

Context: I'm giving an informal seminar/reading group collection of talks on derived categories, following on from earlier talks giving the abstract definition. I am starting to talk about ...

**0**

votes

**0**answers

176 views

### Triangulated category of singularities of quotient

Let $X$ be a variety, the triangulated category of singularities $D_{sg}^b(X)$ is obtained by taking the quotient of $D^b(X)$ by the category of perfect complexes. Suppose there is a group $G$ acting ...

**1**

vote

**0**answers

128 views

### Ext and cup products and subvarieties

I am trying to understand Remark 11.3 in Huybrechts's amazing book on derived categories (FM transforms in AG).
He starts with smooth projective varieties $j\colon Y \subset X$ and aims to describe ...

**3**

votes

**1**answer

310 views

### unbounded derived category of a $\infty$-topos

In HTT(Higher Topos Theory) Remark7.3.1.19, it it sketched that the proper base change theorem for $\infty$-topos implies the usual proper base change theorem in (unbounded) derived category. However, ...

**10**

votes

**1**answer

146 views

### Fourier-Mukai functors being identity on objects

Let $X$ be a projective variety over $\mathbb{C}$, denote by $D^b(X)$ the bounded derived category of coherent sheaves on $X$. Suppose we have a Fourier-Mukai functor $\Phi_{X\rightarrow ...

**0**

votes

**0**answers

54 views

### Derived tensor product and restriction

Let $A$ be a commutative ring, and let $B$ be a commutative $A$-algebra.
We have a restriction map $(-)_A : D(B) \to D(A)$ which takes an object of the derived category of $B$-modules $M$, and ...

**2**

votes

**0**answers

90 views

### Is there any numerical obstruction for all perfect complexes on a scheme being strictly perfect?

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 ...

**3**

votes

**1**answer

381 views

### Why care about Fourier-Mukai partners?

Two (smooth, projective, complex?) varieties are called Fourier-Mukai partners if they have equivalent derived categories of coherent sheaves. On the other hand, my general impression is that cool ...

**0**

votes

**1**answer

252 views

### A functorial isomorphism in derived category

This question is a direct continuation of Question 1 in this post: Two basic questions on derived categories
Let $f\colon \mathcal{A}\to\mathcal{B}$ be a left exact functor between two abelian ...

**3**

votes

**2**answers

559 views

### Two basic questions on derived categories

Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon ...

**2**

votes

**0**answers

139 views

### Do all full exceptional sequences of a triangulated category have the same length?

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 ...

**1**

vote

**0**answers

163 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 ...

**1**

vote

**0**answers

120 views

### Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?

Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and
$$
X_n=\underbrace{ X\times_S ...

**6**

votes

**1**answer

335 views

### Idea and intuition behind Penrose transform

I would like to know what a Penrose transform is, or more precisely, what is it intended to be - I'm interested in ideas, intuition and some examples of application.
My knowledge of differential ...

**6**

votes

**0**answers

170 views

### Compact objects and ind-objects in triangulated categories

question : let $A$ be triangulated category compactly generated by subcategory $A^c$ of compact objects. Consider category of ind-objects $Ind(A^c)$. Is there relation between $A$ and $Ind(A^c)$? ...

**4**

votes

**0**answers

197 views

### Does GKZ's reflexivity theorem imply the Plucker formula?

Let $S\subset\mathbb{P}^n$, Gelfand-Kapranov-Zelevinsky defined its dual variety $S^\vee\subset\mathbb{P}^{n^\ast}$. In this paper (http://arxiv.org/pdf/math/0111179v1.pdf), the author obtained the ...

**2**

votes

**0**answers

128 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 ...

**3**

votes

**1**answer

139 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

**2**answers

271 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

**1**answer

336 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

**0**answers

168 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 ...

**7**

votes

**2**answers

461 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 ...

**24**

votes

**4**answers

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 ...

**1**

vote

**1**answer

244 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

**1**answer

67 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

**2**answers

344 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

**1**answer

205 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

**1**answer

213 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

**0**answers

127 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

**2**answers

259 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

**2**answers

798 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 ...

**9**

votes

**1**answer

522 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 ...

**6**

votes

**2**answers

313 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

**0**answers

272 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

**0**answers

166 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

**0**answers

172 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

**0**answers

438 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 ...

**8**

votes

**0**answers

288 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

**1**answer

337 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 ...

**-1**

votes

**1**answer

311 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

**0**answers

199 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

**1**answer

452 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

**1**answer

216 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

**0**answers

202 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

**1**answer

220 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

**1**answer

217 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 ...

**2**

votes

**0**answers

62 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

**0**answers

152 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

**1**answer

206 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

**1**answer

219 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 ...