**3**

votes

**1**answer

69 views

### t-structure induced on the Verdier quotient ${\cal T}/\cal S$

Let $\mathfrak t$ be a $t$-structure on a triangulated category $\cal T$. Let $\cal S$ be a thick (or even non-thick) triangulated subcategory, and ${\cal T}/\cal S$ the Verdier quotient.
Is there a ...

**2**

votes

**0**answers

37 views

### Fracturing $t$-structures

$\def\tee{\mathfrak{t}}$ Let $\tee_1,\tee_2$ be two $t$-structures on a triangulated category $\cal T$; call them fracturing if the two fiber sequences $\tau^\le_1X\to X\to \tau^\ge_1X$ and ...

**4**

votes

**1**answer

153 views

### On push-forward of the constant sheaf for fibrations

Let $f\colon E\to B$ be a fiber bundle with a connected fiber $F$, $f$ is proper. Let $\underline{\mathbb{C}}_E$ be the constant sheaf on $E$. Let $f_*(\underline{\mathbb{C}}_E)$ denote its direct ...

**25**

votes

**2**answers

471 views

### Complete the following sequence: point, triangle, octahedron, . . . in a dg-category

Let $\mathcal C$ be a pre-triangulated dg-category (or a stable $\infty$-category, if you wish).
An object $X$ in $\mathcal C$ gives a "point":
$$X$$
A morphism $X\xrightarrow f Y$ in $\mathcal C$ ...

**6**

votes

**2**answers

116 views

### Equivalence between a derived subcategory and a subcategory of the derived category

Let $\mathcal{A}$ be a subcategory of $\mathcal{C}$. Let $D(\mathcal{A})$ and $D(\mathcal{C})$ be the associated derived categories. We can define $D_\mathcal{A}(\mathcal{C}) = \{X \in ...

**9**

votes

**1**answer

165 views

### Homotopy property of constructible sheaves on stratified spaces

Let $X$ be a stratified topological space (in my case $X$ is a compact space presented as a finite union of locally closed topological manifolds of finite dimension (strata) such that the closure of ...

**0**

votes

**1**answer

98 views

### Projective resolutions of torsion modules [closed]

Let $l$ be a prime number, $n\in \mathbb{Z}$. Is it true that any finitely generated $\mathbb{Z}/l^n\mathbb{Z}$-module has a finite (left) resolution by free finitely generated ...

**4**

votes

**1**answer

180 views

### When may “summand of” be dropped from the definition of perfect dg module?

Let $\mathcal{A}$ be a small dg category. In Section 1 of Lunts-Orlov http://arxiv.org/pdf/0908.4187v5.pdf, $Perf(\mathcal{A})$ is defined to be the full DG subcategory of ...

**3**

votes

**0**answers

189 views

### N-periodic derived categories

I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...

**6**

votes

**0**answers

67 views

### 2-functoriality of equivariant derived categories

I am wondering about the 2-functoriality in equivariant derived categories, and I hope that someone can clarify... (apologies if this is a stupid question)
For the more precise formulation, recall ...

**18**

votes

**4**answers

2k views

### determinant of a perfect complex

Say $K_\bullet$ is a bounded complex of vector bundles. I seem to want the determinant of $K_\bullet$ to be the alternating tensor product of the terms of the complex:
$\det(K) = \bigotimes_n ...

**3**

votes

**0**answers

75 views

### Short proof of the classification of representation-finite symmetric algebras up to stable equivalence

Assume $K$ is an algebraically closed field and $A$ a finite dimensional $K$-algebra. Assume additionally that $A$ is symmetric and representation-finite.
Then one has the following classification of ...

**6**

votes

**0**answers

175 views

### Is there an obstruction which classifies “quasi-isomorphism but not chain equivalence”?

Fix a ring $R$ and let $C_\bullet$, $D_\bullet$ be (possibly unbounded) chain complexes of $R$-modules. Assume that $f_\bullet:C_\bullet \to D_\bullet$ is a quasi-isomorphism: that is to say, $f$ is a ...

**3**

votes

**1**answer

185 views

### comparison of truncations

I am trying to understand the proof of Lemma 3.0.15 of this paper (Ben-Zvi, Nadler, Preygel - Integral transforms for coherent sheaves).
The context is of two triangulated categories $C,D$ with ...

**2**

votes

**0**answers

117 views

### derived automorphisms of K3 surfaces of picard rank one

I am aware of work of Bayer-Bridgeland, which describes G=Aut(D(K3)) for a K3 of Picard rank one. Is it possible to use their result to give an explicit presentation of G, in terms of generators and ...

**1**

vote

**0**answers

120 views

### Verdier duality on excellent schemes

Let $f:X\rightarrow Y$ be a regular morphism between $k$-schemes which are noetherian and excellent with a funcion of dimension.
In the book by Illusie-Laszlo-Orgogozo, there is a theorem (4.4.1 in ...

**3**

votes

**2**answers

181 views

### Definition of the differential of the Cone of a morphism of complexes [closed]

Let $(F^\bullet,d_F)$ and $(G^\bullet,d_G)$ be two complexes in an abelian category $\mathbf{A}$.
The complex cone $Cone(\varphi)^\bullet$ of a morphism of complexes $\varphi:F^\bullet \to G^\bullet$ ...

**7**

votes

**0**answers

69 views

### Non-Standard Derived Equivalences of Non-Flat Algebras

I read that for algebras $R$ and $S$ (over a commutative ring), assuming that $R$ or $S$ is flat, the existence of a derived equivalence $\mathcal{D}(R) \to \mathcal{D}(S)$ implies the existence of an ...

**2**

votes

**1**answer

126 views

### How do you rigidify a Bousfield localization?

I'm learning about Bousfield localizations. For a triangulated category satisfying some axioms, a Bousfield localizations can be described as an idempotent functor $L:D \to D$.
I thought there is a ...

**2**

votes

**0**answers

91 views

### Factorization of a map through a square

Assume to have an abelian category $\mathcal{A}$, and consider its derived category $\mathcal{D^b(A)}$). Let $F:\mathcal{D^b(A)}\rightarrow\mathcal{D^b(A)} $ be a functor between triangulated ...

**8**

votes

**2**answers

250 views

### derived categories as presentable DG-categories

Let $A$ be a ring. Is it true that the DG category of unbounded complexes of $A$-modules, localized by quasi-isomorphisms, is cocomplete and compactly generated? What would be a reference for that and ...

**5**

votes

**0**answers

148 views

### Extension of sheaf of Azumaya algebras and derived equivalence

Suppose there is a smooth variety $X$ and a sheaf of algebra $\mathcal{B}$. Let $Z\subseteq X$ be a closed subvariety, whose codimension is large (say $\geq 2$). If the restriction of $\mathcal{B}$ to ...

**4**

votes

**1**answer

166 views

### Does derived equivalence of the fibres imply derived equivalence of the total spaces?

Let $f:X\to B$ and $g:Y\to B$ be smooth morphisms of complex projective varieties. Assume that for every closed point $b\in B$, the fibres $X_b=X\times \kappa(b)$ and $Y_b$ are derived equivalent. ...

**1**

vote

**1**answer

107 views

### Derived equivalence of families of dual abelian varieties

Let $B$ be a smooth projective complex variety and $\pi:X\to B$ a smooth projective map whose fibres $X_b$ are abelian varieties. Let $\psi:Y\to B$ be the naturally associated bundle such that the ...

**4**

votes

**0**answers

161 views

### Derived equivalent varieties with differing integral Mukai-Hodge structures?

For a smooth projective complex variety $X$ of dimension $n$, let $H^i(X)$ denote its integral Hodge structure of weight $i$. Define $\tilde{ H^0}(X) = \bigoplus H^{2i}(X)\otimes \Bbb Z(i)$ and ...

**8**

votes

**0**answers

154 views

### List of known Fourier Mukai partners?

I'm familiar with some examples of pairs of derived equivalent varieties, for example an abelian variety and its dual, a K3 surface and certain moduli schemes on it, or the Pfaffian-Grassmannian ...

**1**

vote

**0**answers

191 views

### Quantities associated to deformed sheaves

I am trying to figure out what happens to "quantities" associated to a sheaf when one deforms it. I am actually interested in deforming a bounded complex of coherent sheaves but I want to make the ...

**2**

votes

**1**answer

303 views

### Will a tilting sheaf over Z which is a generator over Q be a generator modulo every prime?

Assume you have a smooth quasi-projective scheme $X$ (you can actually assume $X$ is projective over an affine scheme of finite type) defined over $\mathbb Z$ (or if you prefer, a discrete valuation ...

**2**

votes

**1**answer

188 views

### An alternative definition of pseudo-coherent complex

Let $(X,\mathcal{O}_X)$ be a scheme or a general ringed space. First recall that a complex of $\mathcal{O}_X)$-modules $\mathcal{E}^{\bullet}$ is called strictly perfect if $\mathcal{E}^{\bullet}$ is ...

**19**

votes

**1**answer

516 views

### Why would one “attempt” to define points of a motive as $\operatorname{Ext}^1(\mathbb{Q}(0),M)$?

I'm a novice when it comes to motives. (I've read multiple introductory texts.)
I'm attempting to read Galois Theory and Diophantine geometry by Minhyong Kim. In it, he says that "One might attempt, ...

**13**

votes

**1**answer

574 views

### When is every “solid” perfect complex faithful?

Let $R$ be a noetherian commutative ring. Consider $D^{perf}(R)=K^b(R-proj)$ the category of bounded complexes of finitely generated projective $R$-modules, with maps of complexes up to homotopy.
...

**5**

votes

**1**answer

283 views

### An equivalence of derived categories by Happel-Reiten-Smalø

I have a problem in understanding the proof of a theorem by Happel-Reiten-Smalø. The original reference is this article
http://arxiv.org/abs/0911.4473
.
I write down the text of the theorem and a ...

**1**

vote

**2**answers

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

**1**

vote

**1**answer

144 views

### Can one drop the locally free assumption in projection formula on a projective bundle?

Let $X$ be a noetherian scheme over $\mathbb{C}$, and let $E$ be a locally free sheaf of finite rank over $X$. Then we have the projective bundle $f: \mathbb{P}(E)\rightarrow X$.
Now $f$ is a flat ...

**2**

votes

**0**answers

70 views

### space of stability condition for an elliptic curve

Let $E$ be an elliptic curve. I want to understand why $\mathrm{Stab}(E)/\mathrm{Aut}(D^b(E))$ is a $\mathbb{C}^\times$-bundle over the moduli space $\mathbb{H}/\mathrm{SL}(2,\mathbb{Z})$ of elliptic ...

**5**

votes

**1**answer

91 views

### Injective model structure on sheaves of bounded complexes of $A$-modules

The following might be very well known for people who works with model categories, but I do not find the answer.
Let $A$-be a ring. Denote $\mathbf{Ch}_+(A)$ the category of positive degree cochain ...

**4**

votes

**1**answer

137 views

### Interchanging the tensor product with infinite product

Let $R$ be a $k$-algebra (not necessary commutative) and let $\mathbf{D}(R)$ be its derived category (right modules). I'm interested in the class of objects $V$ of $\mathbf{D}(R^{op})$ having the ...

**4**

votes

**2**answers

197 views

### Vanishing natural transformation and strong generator

Let $X$ be a smooth projective variety (over the field of complex numbers). Let $T$ be strong generator of $D^b(X)$ : this means that every object in $D^b(X)$ can be obtained in a given finite number ...

**4**

votes

**0**answers

154 views

### object in D^bCoh(P^2) with prescribed RHom's

Let $\mathbb{C}P^2$ denote the projective plane.
From reading the section of http://homepages.math.uic.edu/~coskun/gokova.pdf
which surveys Gieseker stable sheaves, I have understood that there are ...

**3**

votes

**1**answer

148 views

### Derived pullback of the coarse moduli morphism

Let $f: \mathcal{X}\to X$ be a morphism from a smooth DM-stack $\mathcal{X}$ to its coarse moduli space $X$. Assume that $X$ is also smooth. Is it true that $Lf^*$ is fully faithful and induces an ...

**0**

votes

**1**answer

132 views

### perfect modules over polynomial algebra

This may be obvious. My question is short:
$R$ is the polynomial algebra $\mathbb{k}[X_{1},\dots , X_{n}]$. Is the $R$-module $\mathbb{k}$ perfect in the sense that $\mathbb{k}$ is a compact object ...

**1**

vote

**0**answers

64 views

### On (universal) additive functors making a given complex contractible: examples?

Let $M=(M^i)$ be a (cohomological) complex of objects of some additive category $A$ (I am mostly interested in "short" complexes; yet one may also consider an unbounded $M$). I am interested in those ...

**2**

votes

**0**answers

115 views

### Full exceptional collections in derived category of coherent sheaves on non-compact varieties

Let $X$ be a smooth algebraic variety over $\mathbb{C}$, and $D^b(X)$ its bounded derived category of coherent sheaves. Then a full exceptional collection will lead to significant simplifications in ...

**1**

vote

**2**answers

110 views

### Showing that the stable module category of a ring $R$ restricted to maximal Cohen-Macaulay objects is trivial if $\text{gldim } R < \infty$

(In the following, a (not necessarily commutative) ring $R$ is Gorenstein if it has finite injective dimension as a module over itself on either side, and a finitely generated (right) $R$-module is ...

**6**

votes

**1**answer

232 views

### When the restriction of a derived functor to a subcategory is the derived functor of the restriction

Let $\mathcal{D},\mathcal{E}$ be abelian categories and $\mathcal{C}$ be a Serre subcategory of $\mathcal{D}$.
Let $D(\mathcal{C}), \, D(\mathcal{D})$ denote the derived categories of ...

**1**

vote

**0**answers

63 views

### Do flat resolutions guarantee the existence of Tor (without enough projectives)?

Let $\mathcal A$ be an abelian category with a symmetric monoidal structure $\otimes$. Suppose that $\mathcal A$ does not have enough projectives, but every object has a flat resolution Then, is the ...

**5**

votes

**1**answer

141 views

### Left orthogonals to compact objects in triangulated categories: existence and “control”?

Let $C$ be a compactly generated triangulated category. Can it contain a non-zero object $M$ such that there are no non-zero morphisms FROM $M$ into compact objects? I would be grateful for any ...

**3**

votes

**1**answer

277 views

### Equivariant Derived Category

Can someone give me a reference for the following or an idea on why it is true? (This is taken from remark 1.5 on page 5 of http://arxiv.org/abs/0810.0794.)
Suppose we have an algebraic group $G$ ...

**0**

votes

**1**answer

206 views

### Grothendieck-Verdier duality for affine morphisms

Suppose $X,Y$ are varieties over $\mathbb{C}$, $Y$ is smooth and $X$ is Gorenstein ($X$ is not smooth in my case). Let $f: X \to Y$ be an affine morphism, and each fibre of $f$ has the same dimension ...

**2**

votes

**1**answer

153 views

### Ext groups in the equivariant derived category

I apologize in advance that this question is probably too basic for MO, but I reckoned I would not get an answer on Math.Stackexchange.
I am starting to learn about perverse sheaves, the ...