Showing 1–37 of 37 results for author: Stellari, P

Weakly approximable triangulated categories and enhancements: a survey

Authors: Alberto Canonaco, Amnon Neeman, Paolo Stellari

Abstract: This paper surveys some recent results, concerning the intrinsicness of natural subcategories of weakly approximable triangulated subcategories. We also review the results about uniqueness of enhancements of triangulated categories, with the aim of showing the fruitful interplay. In particular, we show how this leads to a vast generalization of a result by Rickard about derived invariance for sche… ▽ More This paper surveys some recent results, concerning the intrinsicness of natural subcategories of weakly approximable triangulated subcategories. We also review the results about uniqueness of enhancements of triangulated categories, with the aim of showing the fruitful interplay. In particular, we show how this leads to a vast generalization of a result by Rickard about derived invariance for schemes and rings. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 26 pages

Localizations of the category of $A_\infty$ categories and internal Homs over a ring

Authors: Alberto Canonaco, Mattia Ornaghi, Paolo Stellari

Abstract: We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of unital and of strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. The same result is also proved at the $\infty$-categorical level in the strictly unital case. As an application, we provide a new proof of the existence of i… ▽ More We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of unital and of strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. The same result is also proved at the $\infty$-categorical level in the strictly unital case. As an application, we provide a new proof of the existence of internal Homs for the homotopy category of dg categories in terms of the category of unital $A_\infty$ functors, thus yielding a complete proof of a claim by Kontsevich and Keller. △ Less

Submitted 9 April, 2024; originally announced April 2024.

Comments: 35 pages

The passage among the subcategories of weakly approximable triangulated categories

Authors: Alberto Canonaco, Christian Haesemeyer, Amnon Neeman, Paolo Stellari

Abstract: In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This extends all the existing results about subcategories of weakly approximable triangulated categories. Together with a forthcoming paper about uniqueness of enhanceme… ▽ More In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This extends all the existing results about subcategories of weakly approximable triangulated categories. Together with a forthcoming paper about uniqueness of enhancements, our result allows us to generalize a celebrated theorem by Rickard which asserts that if $R$ and $S$ are left coherent rings, then a derived equivalence of $R$ and $S$ is "independent of the decorations". That is, if $D^?(R\text{-}\square)$ and $D^?(S\text{-}\square)$ are equivalent as triangulated categories for some choice of decorations $?$ and $\square$, then they are equivalent for every choice of decorations. But our theorem is much more general, and applies also to quasi-compact and quasi-separated schemes -- even to the relative version, in which the derived categories consist of complexes with cohomology supported on a given closed subscheme with quasi-compact complement. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: Main paper by Alberto Canonaco, Amnon Neeman and Paolo Stellari with an appendix by Christian Haesemeyer. 65 pages

Categorical Torelli theorems: results and open problems

Authors: Laura Pertusi, Paolo Stellari

Abstract: We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible subcategories of the bounded derived category of coherent sheaves of such a variety. The focus is on Enriques surfaces, prime Fano threefolds and cubic fourfolds. We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible subcategories of the bounded derived category of coherent sheaves of such a variety. The focus is on Enriques surfaces, prime Fano threefolds and cubic fourfolds. △ Less

Submitted 30 August, 2022; v1 submitted 11 January, 2022; originally announced January 2022.

Comments: 59 pages. Final version to appear in a special issue of Rend. Circ. Mat. Palermo (2)

A Refined Derived Torelli Theorem for Enriques surfaces, II: the non-generic case

Authors: Chunyi Li, Paolo Stellari, Xiaolei Zhao

Abstract: We prove that two Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. This improves and completes our previous result joint with Nuer where the same statement is proved for generic Enriques surfaces. We prove that two Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. This improves and completes our previous result joint with Nuer where the same statement is proved for generic Enriques surfaces. △ Less

Submitted 18 January, 2022; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: 25 pages. Final version to appear in Math. Z. (special volume in honor of O. Debarre)

Uniqueness of enhancements for derived and geometric categories

Authors: Alberto Canonaco, Amnon Neeman, Paolo Stellari

Abstract: We prove that the derived categories of abelian categories have unique enhancements -- all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally we show that the derived category of complexes with quasi-coherent cohomology and t… ▽ More We prove that the derived categories of abelian categories have unique enhancements -- all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally we show that the derived category of complexes with quasi-coherent cohomology and the category of perfect complexes have unique enhancements for quasi-compact and quasi-separated schemes. △ Less

Submitted 12 January, 2021; originally announced January 2021.

Comments: 69 pages

A refined Derived Torelli Theorem for Enriques surfaces

Authors: Chunyi Li, Howard Nuer, Paolo Stellari, Xiaolei Zhao

Abstract: We prove that two general Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. We apply the same techniques to give a new simple proof of a conjecture by Ingalls and Kuznetsov relating the derived categories of the blow-up of general Artin\textendash Mumford quartic double solids and of the as… ▽ More We prove that two general Enriques surfaces defined over an algebraically closed field of characteristic different from $2$ are isomorphic if their Kuznetsov components are equivalent. We apply the same techniques to give a new simple proof of a conjecture by Ingalls and Kuznetsov relating the derived categories of the blow-up of general Artin\textendash Mumford quartic double solids and of the associated Enriques surfaces. This paper originated from one of the problem sections at the workshop \emph{Semiorthogonal decompositions, stability conditions and sheaves of categories}, Université de Toulouse, May 2--5, 2018. △ Less

Submitted 10 November, 2020; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: 30 pages. Final version to appear in Math. Ann

Stability conditions in families

Authors: Arend Bayer, Martí Lahoz, Emanuele Macrì, Howard Nuer, Alexander Perry, Paolo Stellari

Abstract: We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and Piyaratne-Toda. Our notion includes openness of stability, semistable reduction, a support property uniformly across the family, and boundedness of semistable objects. We s… ▽ More We develop a theory of Bridgeland stability conditions and moduli spaces of semistable objects for a family of varieties. Our approach is based on and generalizes previous work by Abramovich-Polishchuk, Kuznetsov, Lieblich, and Piyaratne-Toda. Our notion includes openness of stability, semistable reduction, a support property uniformly across the family, and boundedness of semistable objects. We show that such a structure exists whenever stability conditions are known to exist on the fibers. Our main application is the generalization of Mukai's theory for moduli spaces of semistable sheaves on K3 surfaces to moduli spaces of Bridgeland semistable objects in the Kuznetsov component associated to a cubic fourfold. This leads to the extension of theorems by Addington-Thomas and Huybrechts on the derived category of special cubic fourfolds, to a new proof of the integral Hodge conjecture, and to the construction of an infinite series of unirational locally complete families of polarized hyperkähler manifolds of K3 type. Other applications include the deformation-invariance of Donaldson-Thomas invariants counting Bridgeland stable objects on Calabi-Yau threefolds, and a method for constructing stability conditions on threefolds via degeneration. △ Less

Submitted 25 January, 2022; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: 146 pages

MSC Class: 14A22; 14D20; 14F05; 14J28; 14M20; 14N35; 18E30

Journal ref: Publ. Math. IHES 133, 157-325 (2021)

Localizations of the category of $A_\infty$ categories and internal Homs

Authors: Alberto Canonaco, Mattia Ornaghi, Paolo Stellari

Abstract: We prove that the localizations of the categories of dg categories, of cohomologically unital and strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. Moreover we show that the last two localizations are equivalent to the corresponding quotients by the relation of being isomorphic in the cohomology of the $A_\infty$ category of… ▽ More We prove that the localizations of the categories of dg categories, of cohomologically unital and strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. Moreover we show that the last two localizations are equivalent to the corresponding quotients by the relation of being isomorphic in the cohomology of the $A_\infty$ category of $A_\infty$ functors. As an application we give a complete proof of a claim by Kontsevich stating that the category of internal Homs for two dg categories can be described as the category of strictly unital $A_\infty$ functors between them. △ Less

Submitted 13 March, 2020; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 25 pages. Final version

Journal ref: Doc. Math. 24 (2019), 2463-2492

Lectures on non-commutative K3 surfaces, Bridgeland stability, and moduli spaces

Authors: Emanuele Macrì, Paolo Stellari

Abstract: We survey the basic theory of non-commutative K3 surfaces, with a particular emphasis to the ones arising from cubic fourfolds. We focus on the problem of constructing Bridgeland stability conditions on these categories and we then investigate the geometry of the corresponding moduli spaces of stable objects. We discuss a number of consequences related to cubic fourfolds including new proofs of th… ▽ More We survey the basic theory of non-commutative K3 surfaces, with a particular emphasis to the ones arising from cubic fourfolds. We focus on the problem of constructing Bridgeland stability conditions on these categories and we then investigate the geometry of the corresponding moduli spaces of stable objects. We discuss a number of consequences related to cubic fourfolds including new proofs of the Torelli theorem and of the integral Hodge conjecture, the extension of a result of Addington and Thomas and various applications to hyperkähler manifolds. These notes originated from the lecture series by the first author at the school on "Birational Geometry of Hypersurfaces", Palazzo Feltrinelli - Gargnano del Garda (Italy), March 19-23, 2018. △ Less

Submitted 24 February, 2019; v1 submitted 16 July, 2018; originally announced July 2018.

Comments: 66 pages. v2: Minor corrections, updated bibliography. To appear in: Birational Geometry of Hypersurfaces, Lecture Notes of the Unione Matematica Italiana, Springer

MSC Class: 14D20; 14F05; 14J32; 14M20; 18E30

Stability conditions on Kuznetsov components

Authors: Arend Bayer, Martí Lahoz, Emanuele Macrì, Paolo Stellari

Abstract: We introduce a general method to induce Bridgeland stability conditions on semiorthogonal components of triangulated categories. In particular, we prove the existence of Bridgeland stability conditions on the Kuznetsov component of the derived category of Fano threefolds and of cubic fourfolds. As an application, in the appendix, written jointly with Xiaolei Zhao, we give a variant of the proof of… ▽ More We introduce a general method to induce Bridgeland stability conditions on semiorthogonal components of triangulated categories. In particular, we prove the existence of Bridgeland stability conditions on the Kuznetsov component of the derived category of Fano threefolds and of cubic fourfolds. As an application, in the appendix, written jointly with Xiaolei Zhao, we give a variant of the proof of the Torelli theorem for cubic fourfolds by Huybrechts and Rennemo. △ Less

Submitted 25 January, 2022; v1 submitted 31 March, 2017; originally announced March 2017.

Comments: 53 pages. Appendix about the Torelli theorem for cubic fourfolds by A. Bayer, M. Lahoz, E. Macrì, P. Stellari, and X. Zhao. Final version to appear in Ann. Sci. Éc. Norm. Supér

MSC Class: 14C34; 14D20; 14F05; 18E30

Generalized twisted cubics on a cubic fourfold as a moduli space of stable objects

Authors: Martí Lahoz, Manfred Lehn, Emanuele Macrì, Paolo Stellari

Abstract: We revisit the work of Lehn-Lehn-Sorger-van Straten on twisted cubic curves in a cubic fourfold not containing a plane in terms of moduli spaces. We show that the blow-up $Z'$ along the cubic of the irreducible holomorphic symplectic eightfold $Z$, described by the four authors, is isomorphic to an irreducible component of a moduli space of Gieseker stable torsion sheaves or rank three torsion fre… ▽ More We revisit the work of Lehn-Lehn-Sorger-van Straten on twisted cubic curves in a cubic fourfold not containing a plane in terms of moduli spaces. We show that the blow-up $Z'$ along the cubic of the irreducible holomorphic symplectic eightfold $Z$, described by the four authors, is isomorphic to an irreducible component of a moduli space of Gieseker stable torsion sheaves or rank three torsion free sheaves. For a very general such cubic fourfold, we show that $Z$ is isomorphic to a connected component of a moduli space of tilt-stable objects in the derived category and to a moduli space of Bridgeland stable objects in the Kuznetsov component. Moreover, the contraction between $Z'$ and $Z$ is realized as a wall-crossing in tilt-stability. Finally, $Z$ is birational to an irreducible component of Gieseker stable aCM bundles of rank six. △ Less

Submitted 31 May, 2017; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: 34 pages. Minor revisions. Final version to appear in J. Math. Pures Appl

A tour about existence and uniqueness of dg enhancements and lifts

Authors: Alberto Canonaco, Paolo Stellari

Abstract: This paper surveys the recent advances concerning the relations between triangulated (or derived) categories and their dg enhancements. We explain when some interesting triangulated categories arising in algebraic geometry have a unique dg enhancement. This is the case, for example, for the unbounded derived category of quasi-coherent sheaves on an algebraic stack or for its full triangulated subc… ▽ More This paper surveys the recent advances concerning the relations between triangulated (or derived) categories and their dg enhancements. We explain when some interesting triangulated categories arising in algebraic geometry have a unique dg enhancement. This is the case, for example, for the unbounded derived category of quasi-coherent sheaves on an algebraic stack or for its full triangulated subcategory of perfect complexes. Moreover we give an account of the recent results about the possibility to lift exact functors between the bounded derived categories of coherent sheaves on smooth schemes to dg (quasi-)functors. △ Less

Submitted 2 March, 2019; v1 submitted 2 May, 2016; originally announced May 2016.

Comments: Paper appeared in J. Geom. Phys. The present version (38 pages) differs from the published one only in the statement of Thm 4.2 (the old Thm. 4.1). This is due to a gap in the proof of Thm C in the published version of arXiv:1507.05509 which has been corrected in the new version arXiv:1507.05509v5

Journal ref: J. Geom. Phys. 122 (2017), 28-52

Uniqueness of dg enhancements for the derived category of a Grothendieck category

Authors: Alberto Canonaco, Paolo Stellari

Abstract: We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we deduce that the unbounded derived category of quasi-coherent sheaves on an algebraic stack and the category of perfect complexes on a noetherian concentrated algebra… ▽ More We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we deduce that the unbounded derived category of quasi-coherent sheaves on an algebraic stack and the category of perfect complexes on a noetherian concentrated algebraic stack with quasi-finite affine diagonal and enough perfect coherent sheaves have a unique dg enhancement. In particular, the category of perfect complexes on a noetherian scheme with enough locally free sheaves has a unique dg enhancement. △ Less

Submitted 5 December, 2018; v1 submitted 20 July, 2015; originally announced July 2015.

Comments: 32 pages. This version fills a gap in the proof of the previous Theorem C which now appears with slightly stronger hypotheses. The main results (Theorems A and B and their geometric applications) are unchanged

Journal ref: J. Eur. Math. Soc. 20 (2018), 2607-2641

ACM bundles on cubic threefolds

Authors: Martí Lahoz, Emanuele Macrì, Paolo Stellari

Abstract: We study ACM bundles on cubic threefolds by using derived category techniques. We prove that the moduli space of stable Ulrich bundles of any rank is always non-empty by showing that it is birational to a moduli space of semistable torsion sheaves on the projective plane endowed with the action of a Clifford algebra. We describe this birational isomorphism via wall-crossing in the space of Bridgel… ▽ More We study ACM bundles on cubic threefolds by using derived category techniques. We prove that the moduli space of stable Ulrich bundles of any rank is always non-empty by showing that it is birational to a moduli space of semistable torsion sheaves on the projective plane endowed with the action of a Clifford algebra. We describe this birational isomorphism via wall-crossing in the space of Bridgeland stability conditions, in the example of instanton sheaves of minimal charge. △ Less

Submitted 9 February, 2015; v1 submitted 8 February, 2015; originally announced February 2015.

Comments: 40 pages. The previous version contained a typo in the name of the first author, which has been corrected. This paper consists of the first three sections of the previous version of arXiv:1303.6998 which was split into two different papers. Final version to appear in Algebraic Geometry

The Space of Stability Conditions on Abelian Threefolds, and on some Calabi-Yau Threefolds

Authors: Arend Bayer, Emanuele Macrì, Paolo Stellari

Abstract: We describe a connected component of the space of stability conditions on abelian threefolds, and on Calabi-Yau threefolds obtained as (the crepant resolution of) a finite quotient of an abelian threefold. Our proof includes the following essential steps: 1. We simultaneously strengthen a conjecture by the first two authors and Toda, and prove that it follows from a more natural and seemingly we… ▽ More We describe a connected component of the space of stability conditions on abelian threefolds, and on Calabi-Yau threefolds obtained as (the crepant resolution of) a finite quotient of an abelian threefold. Our proof includes the following essential steps: 1. We simultaneously strengthen a conjecture by the first two authors and Toda, and prove that it follows from a more natural and seemingly weaker statement. This conjecture is a Bogomolov-Gieseker type inequality involving the third Chern character of "tilt-stable" two-term complexes on smooth projective threefolds; we extend it from complexes of tilt-slope zero to arbitrary tilt-slope. 2. We show that this stronger conjecture implies the so-called support property of Bridgeland stability conditions, and the existence of an explicit open subset of the space of stability conditions. 3. We prove our conjecture for abelian threefolds, thereby giving reproving and generalizing a result by Maciocia and Piyaratne. Important in our approach is a more systematic understanding on the behaviour of quadratic inequalities for semistable objects under wall-crossing, closely related to the support property. △ Less

Submitted 19 April, 2016; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: 45 pages, 1 figure. v2: addressed referee comments. To appear in Inventiones Math

MSC Class: 14F05 (Primary); 14J30; 18E30 (Secondary)

Internal Homs via extensions of dg functors

Authors: Alberto Canonaco, Paolo Stellari

Abstract: We provide a simple proof of the existence of internal Homs in the localization of the category of dg categories with respect to all quasi-equivalences and of some of their main properties such as the so-called derived Morita theory. This was originally proved in a seminal paper by Toën. We provide a simple proof of the existence of internal Homs in the localization of the category of dg categories with respect to all quasi-equivalences and of some of their main properties such as the so-called derived Morita theory. This was originally proved in a seminal paper by Toën. △ Less

Submitted 28 November, 2022; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 19 pages. Minor changes with respect to the published version: the statement and proof of Proposition 3.10 have been changed and the result is now completed by Corollary 3.13

Journal ref: Adv. Math. 277 (2015), 100-123

ACM bundles on cubic fourfolds containing a plane

Authors: Martí Lahoz, Emanuele Macrì, Paolo Stellari

Abstract: We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four. We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four. △ Less

Submitted 20 November, 2017; v1 submitted 27 March, 2013; originally announced March 2013.

Comments: 18 pages. This is the last section of the previous version of arXiv:1303.6998 which is now spit into two parts. Explanations added

Journal ref: In: Brauer groups and obstruction problems: Moduli spaces and arithmetic, 155-175, Progr. Math. 320, Birkhauser/Springer (2017)

Fourier-Mukai functors: a survey

Authors: Alberto Canonaco, Paolo Stellari

Abstract: This paper surveys some recent results about Fourier--Mukai functors. In particular, given an exact functor between the bounded derived categories of coherent sheaves on two smooth projective varieties, we deal with the question whether this functor is of Fourier--Mukai type. Several related questions are answered and many open problems are stated. This paper surveys some recent results about Fourier--Mukai functors. In particular, given an exact functor between the bounded derived categories of coherent sheaves on two smooth projective varieties, we deal with the question whether this functor is of Fourier--Mukai type. Several related questions are answered and many open problems are stated. △ Less

Submitted 26 October, 2012; v1 submitted 14 September, 2011; originally announced September 2011.

Comments: 31 pages. Final version to appear in EMS Ser. Congr. Rep., Eur. Math. Soc

Does full imply faithful?

Authors: Alberto Canonaco, Dmitri Orlov, Paolo Stellari

Abstract: We study full exact functors between triangulated categories. With some hypotheses on the source category we prove that it admits an orthogonal decomposition into two pieces such that the functor restricted to one of them is zero while the restriction to the other is faithful. In particular, if the source category is either the category of perfect complexes or the bounded derived category of coher… ▽ More We study full exact functors between triangulated categories. With some hypotheses on the source category we prove that it admits an orthogonal decomposition into two pieces such that the functor restricted to one of them is zero while the restriction to the other is faithful. In particular, if the source category is either the category of perfect complexes or the bounded derived category of coherent sheaves on a noetherian scheme supported on a closed connected subscheme, then any non-trivial exact full functor is faithful as well. Finally we show that removing the noetherian hypothesis this result is not true. △ Less

Submitted 12 September, 2011; v1 submitted 31 January, 2011; originally announced January 2011.

Comments: 12 pages. Minor changes. Final version to appear in J. Noncommut. Geom

Journal ref: J. Noncommut. Geom., 7 (2013), no. 2, 357--371

Fourier-Mukai functors in the supported case

Authors: Alberto Canonaco, Paolo Stellari

Abstract: We prove that exact functors between the categories of perfect complexes supported on projective schemes are of Fourier--Mukai type if the functor satisfies a condition weaker than being fully faithful. We also get generalizations of the results in the literature in the case without support conditions. Some applications are discussed and, along the way, we prove that the category of perfect suppor… ▽ More We prove that exact functors between the categories of perfect complexes supported on projective schemes are of Fourier--Mukai type if the functor satisfies a condition weaker than being fully faithful. We also get generalizations of the results in the literature in the case without support conditions. Some applications are discussed and, along the way, we prove that the category of perfect supported complexes has a strongly unique enhancement. △ Less

Submitted 6 December, 2013; v1 submitted 5 October, 2010; originally announced October 2010.

Comments: 36 pages. Major revision and new results added. Accepted for publication in Compositio Math

Non-uniqueness of Fourier-Mukai kernels

Authors: Alberto Canonaco, Paolo Stellari

Abstract: We prove that the kernels of Fourier-Mukai functors are not unique in general. On the other hand we show that the cohomology sheaves of those kernels are unique. We also discuss several properties of the functor sending an object in the derived category of the product of two smooth projective schemes to the corresponding Fourier-Mukai functor. We prove that the kernels of Fourier-Mukai functors are not unique in general. On the other hand we show that the cohomology sheaves of those kernels are unique. We also discuss several properties of the functor sending an object in the derived category of the product of two smooth projective schemes to the corresponding Fourier-Mukai functor. △ Less

Submitted 12 September, 2011; v1 submitted 28 September, 2010; originally announced September 2010.

Comments: 12 pages. Minor changes. Final version to appear in Math. Zeit

Fano varieties of cubic fourfolds containing a plane

Authors: Emanuele Macri, Paolo Stellari

Abstract: We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived cate… ▽ More We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived category of twisted sheaves on the corresponding K3 surface. △ Less

Submitted 22 December, 2011; v1 submitted 15 September, 2009; originally announced September 2009.

Comments: 26 pages. Many changes in the exposition. Final version to appear in Math. Ann

A categorical invariant for cubic threefolds

Authors: Marcello Bernardara, Emanuele Macri, Sukhendu Mehrotra, Paolo Stellari

Abstract: We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism class. We prove a categorical version of the Torelli theorem for cubic threefolds. More precisely, we show that the non-trivial part of a semi-orthogonal decomposition of the derived category of a cubic threefold characterizes its isomorphism class. △ Less

Submitted 18 October, 2011; v1 submitted 25 March, 2009; originally announced March 2009.

Comments: 30 pages. Minor changes. Final version to appear in Adv. Math

Formal deformations and their categorical general fibre

Authors: Daniel Huybrechts, Emanuele Macri, Paolo Stellari

Abstract: We study the general fibre of a formal deformation over the formal disk of a projective variety from the view point of abelian and derived categories. The abelian category of coherent sheaves of the general fibre is constructed directly from the formal deformation and is shown to be linear over the field of Laurent series. The various candidates for the derived category of the general fibre are… ▽ More We study the general fibre of a formal deformation over the formal disk of a projective variety from the view point of abelian and derived categories. The abelian category of coherent sheaves of the general fibre is constructed directly from the formal deformation and is shown to be linear over the field of Laurent series. The various candidates for the derived category of the general fibre are compared. If the variety is a surface with trivial canonical bundle, we show that the derived category of the general fibre is again a linear triangulated category with a Serre functor given by the square of the shift functor. △ Less

Submitted 17 August, 2009; v1 submitted 18 September, 2008; originally announced September 2008.

Comments: This paper contains the more formal aspects discussed in the first sections of arXiv:0710.1645v2 which is now split into two independent papers. 23 pages. Final version to appear in Comment. Math. Helv

Infinitesimal Derived Torelli Theorem for K3 surfaces

Authors: Emanuele Macri, Paolo Stellari, Sukhendu Mehrotra

Abstract: We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which preserves the Mukai pairing, an infinitesimal weight-2 decomposition and the orientation of a positive 4-dimensional space. This generalizes the derived version o… ▽ More We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which preserves the Mukai pairing, an infinitesimal weight-2 decomposition and the orientation of a positive 4-dimensional space. This generalizes the derived version of the Torelli Theorem. Along the way we show the compatibility of the actions on Hochschild homology and singular cohomology of any Fourier--Mukai functor. △ Less

Submitted 25 March, 2009; v1 submitted 16 April, 2008; originally announced April 2008.

Comments: Main paper by E. Macri and P. Stellari. Appendix by S.Mehrotra. 21 pages. Final version to appear in Int. Math. Res. Not

Derived equivalences of K3 surfaces and orientation

Authors: Daniel Huybrechts, Emanuele Macri, Paolo Stellari

Abstract: Every Fourier--Mukai equivalence between the derived categories of two K3 surfaces induces a Hodge isometry of their cohomologies viewed as Hodge structures of weight two endowed with the Mukai pairing. We prove that this Hodge isometry preserves the natural orientation of the four positive directions. This leads to a complete description of the action of the group of all autoequivalences on coh… ▽ More Every Fourier--Mukai equivalence between the derived categories of two K3 surfaces induces a Hodge isometry of their cohomologies viewed as Hodge structures of weight two endowed with the Mukai pairing. We prove that this Hodge isometry preserves the natural orientation of the four positive directions. This leads to a complete description of the action of the group of all autoequivalences on cohomology very much like the classical Torelli theorem for K3 surfaces determining all Hodge isometries that are induced by automorphisms. △ Less

Submitted 25 March, 2009; v1 submitted 8 October, 2007; originally announced October 2007.

Comments: This version only contains the proof that every equivalence between the derived categories of two K3 surfaces induces an orientation preserving Hodge isometry. The more formal aspects of our proof contained in the first sections of arXiv:0710.1645v2 appear now in the independent paper arXiv:0809.3201. 29 pages. Final version to appear in Duke Math. J

Journal ref: Duke Math. J. 149, no. 3 (2009), 461-507

Inducing stability conditions

Authors: Emanuele Macri, Sukhendu Mehrotra, Paolo Stellari

Abstract: We study stability conditions induced by functors between triangulated categories. Given a finite group acting on a smooth projective variety we prove that the subset of invariant stability conditions embeds as a closed submanifold into the stability manifold of the equivariant derived category. As an application we examine stability conditions on Kummer and Enriques surfaces and we improve the… ▽ More We study stability conditions induced by functors between triangulated categories. Given a finite group acting on a smooth projective variety we prove that the subset of invariant stability conditions embeds as a closed submanifold into the stability manifold of the equivariant derived category. As an application we examine stability conditions on Kummer and Enriques surfaces and we improve the derived version of the Torelli Theorem for the latter surfaces already present in the litterature. We also study the relationship between stability conditions on projective spaces and those on their canonical bundles. △ Less

Submitted 10 January, 2009; v1 submitted 25 May, 2007; originally announced May 2007.

Comments: 31 pages. Final version to appear in J. Algebraic Geom

Automorphisms and autoequivalences of generic analytic K3 surfaces

Authors: Emanuele Macri, Paolo Stellari

Abstract: This is a systematic exposition of recent results which completely describe the group of automorphisms and the group of autoequivalences of generic analytic K3 surfaces. These groups, hard to determine in the algebraic case, admit a good description for generic analytic K3 surfaces, and are in fact seen to be closely interrelated. This is a systematic exposition of recent results which completely describe the group of automorphisms and the group of autoequivalences of generic analytic K3 surfaces. These groups, hard to determine in the algebraic case, admit a good description for generic analytic K3 surfaces, and are in fact seen to be closely interrelated. △ Less

Submitted 25 October, 2007; v1 submitted 27 February, 2007; originally announced February 2007.

Comments: 34 pages. Minor corrections. Final version to appear in J. Geom. Phys

MSC Class: 18E30; 14J28

Stability conditions for generic K3 categories

Authors: Daniel Huybrechts, Emanuele Macri, Paolo Stellari

Abstract: A K3 category is by definition a Calabi-Yau category of dimension two. Geometrically K3 categories occur as bounded derived categories of (twisted) coherent sheaves on K3 or abelian surfaces. A K3 category is generic if there are no spherical objects (or just one up to shift). We study stability conditions on K3 categories as introduced by Bridgeland and prove his conjecture about the topology o… ▽ More A K3 category is by definition a Calabi-Yau category of dimension two. Geometrically K3 categories occur as bounded derived categories of (twisted) coherent sheaves on K3 or abelian surfaces. A K3 category is generic if there are no spherical objects (or just one up to shift). We study stability conditions on K3 categories as introduced by Bridgeland and prove his conjecture about the topology of the stability manifold and the autoequivalences group for generic twisted projective K3, abelian surfaces, and K3 surfaces with trivial Picard group. △ Less

Submitted 11 April, 2007; v1 submitted 16 August, 2006; originally announced August 2006.

Comments: 32 pages, presentation slightly changed, to appear in Compositio Math

Journal ref: Compositio 144 (2008), 134-162

Twisted Fourier-Mukai functors

Authors: Alberto Canonaco, Paolo Stellari

Abstract: Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories of twisted coherent sheaves and at the same time we weaken the hypotheses on the functor. As an application we get a complete description of the exact functo… ▽ More Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories of twisted coherent sheaves and at the same time we weaken the hypotheses on the functor. As an application we get a complete description of the exact functors between the abelian categories of twisted coherent sheaves on smooth projective varieties. △ Less

Submitted 18 December, 2006; v1 submitted 9 May, 2006; originally announced May 2006.

Comments: 16 pages. Minor changes. Final version to appear in Adv. Math

MSC Class: 14F22; 18E10; 18E30

Derived categories and Kummer varieties

Authors: Paolo Stellari

Abstract: We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary and sufficient conditions for the existence of equivalences between the twisted derived categories of two Kummer surfaces in terms of Hodge isometries betwee… ▽ More We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary and sufficient conditions for the existence of equivalences between the twisted derived categories of two Kummer surfaces in terms of Hodge isometries between the generalized transcendental lattices of the corresponding abelian surfaces. △ Less

Submitted 18 December, 2006; v1 submitted 18 February, 2006; originally announced February 2006.

Comments: 14 pages. Minor changes (theorem numbering slightly changed). Final version to appear in Math. Zeit

A finite group acting on the moduli space of K3 surfaces

Authors: Paolo Stellari

Abstract: We consider the natural action of a finite group on the moduli space of polarized K3 surfaces which induces a duality defined by Mukai for surfaces of this type. We show that the group permutes polarized Fourier-Mukai partners of polarized K3 surfaces and we study the divisors in the fixed loci of the elements of this finite group. We consider the natural action of a finite group on the moduli space of polarized K3 surfaces which induces a duality defined by Mukai for surfaces of this type. We show that the group permutes polarized Fourier-Mukai partners of polarized K3 surfaces and we study the divisors in the fixed loci of the elements of this finite group. △ Less

Submitted 13 May, 2007; v1 submitted 25 May, 2005; originally announced May 2005.

Comments: 10 pages, major revisions, final version to appear in Trans. Amer. Math. Soc

MSC Class: 14J28; 14J10

Proof of Caldararu's conjecture. An appendix to a paper by Yoshioka

Authors: Daniel Huybrechts, Paolo Stellari

Abstract: We show that any orientation preserving Hodge isometry between the Hodge structures of two K3 surfaces X and X' twisted by Brauer classes $α$ resp. $α'$ can be lifted to a Fourier-Mukai equivalence between the derived categories of $α$ resp. $α'$-twisted sheaves. We show that any orientation preserving Hodge isometry between the Hodge structures of two K3 surfaces X and X' twisted by Brauer classes $α$ resp. $α'$ can be lifted to a Fourier-Mukai equivalence between the derived categories of $α$ resp. $α'$-twisted sheaves. △ Less

Submitted 28 March, 2006; v1 submitted 24 November, 2004; originally announced November 2004.

Comments: 10 pages, to appear in Adv. Stud. in Pure Math. 43, Moduli spaces and arithmetic geometry. Final version. Minor mistakes corrected

Journal ref: Adv. Stud. Pure Math. 45 (2007), 31-42

Equivalences of twisted K3 surfaces

Authors: Daniel Huybrechts, Paolo Stellari

Abstract: We prove that two derived equivalent twisted K3 surfaces have isomorphic periods. The converse is shown for K3 surfaces with large Picard number. It is also shown that all possible twisted derived equivalences between arbitrary twisted K3 surfaces form a subgroup of the group of all orthogonal transformations of the cohomology of a K3 surface. The passage from twisted derived equivalences to a… ▽ More We prove that two derived equivalent twisted K3 surfaces have isomorphic periods. The converse is shown for K3 surfaces with large Picard number. It is also shown that all possible twisted derived equivalences between arbitrary twisted K3 surfaces form a subgroup of the group of all orthogonal transformations of the cohomology of a K3 surface. The passage from twisted derived equivalences to an action on the cohomology is made possible by twisted Chern characters that will be introduced for arbitrary smooth projective varieties. △ Less

Submitted 16 May, 2005; v1 submitted 2 September, 2004; originally announced September 2004.

Comments: Final version. 35 pages. to appear in Math. Ann

Journal ref: Math. Ann. 332 (2005), 901-936

Singular cubic fourfolds containing a plane

Authors: Paolo Stellari

Abstract: In this paper we consider cubic 4-folds containing a plane whose discriminant curve is a reduced nodal plane sextic. In particular, we describe the singular points of such cubic 4-folds and we give an estimate of the rank of the free abelian group generated by the equivalence classes of the algebraic cycles of codimension 2. Moreover, we describe some conditions on the geometry of the plane sextic… ▽ More In this paper we consider cubic 4-folds containing a plane whose discriminant curve is a reduced nodal plane sextic. In particular, we describe the singular points of such cubic 4-folds and we give an estimate of the rank of the free abelian group generated by the equivalence classes of the algebraic cycles of codimension 2. Moreover, we describe some conditions on the geometry of the plane sextics so that all the associated cubic 4-folds are singular and we construct a family of smooth rational cubic 4-folds whose discriminant curve is reduced but reducible. △ Less

Submitted 12 September, 2011; v1 submitted 25 April, 2004; originally announced April 2004.

Comments: 19 pages. Exposition improved but no new results added to the previous version. Final version to appear in Le Matematiche

MSC Class: 14J35; 14H50

Some remarks about the FM-partners of K3 surfaces with Picard numbers 1 and 2

Authors: Paolo Stellari

Abstract: In this paper we prove some results about K3 surfaces with Picard number 1 and 2. In particular, we give a new simple proof of a theorem due to Oguiso which shows that, given an integer $N$, there is a K3 surface with Picard number 2 and at least $N$ non-isomorphic FM-partners. We describe also the Mukai vectors of the moduli spaces associated to the Fourier-Mukai partners of K3 surfaces with Pi… ▽ More In this paper we prove some results about K3 surfaces with Picard number 1 and 2. In particular, we give a new simple proof of a theorem due to Oguiso which shows that, given an integer $N$, there is a K3 surface with Picard number 2 and at least $N$ non-isomorphic FM-partners. We describe also the Mukai vectors of the moduli spaces associated to the Fourier-Mukai partners of K3 surfaces with Picard number 1. △ Less

Submitted 25 May, 2005; v1 submitted 12 May, 2002; originally announced May 2002.

Comments: LaTeX, 10 pages

MSC Class: 14J28

Journal ref: Geom. Dedic. 108 (2004), 1--13