Showing 1–18 of 18 results for author: Canonaco, A

Strong uniqueness of enhancements for the dual numbers: a case study

Authors: Alberto Canonaco, Amnon Neeman, Paolo Stellari

Abstract: We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows a complete classification of indecomposable objects. Along the way we also prove that all the derived categories of any hereditary category have strongly uniqu… ▽ More We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows a complete classification of indecomposable objects. Along the way we also prove that all the derived categories of any hereditary category have strongly unique enhancements. △ Less

Submitted 15 May, 2025; originally announced May 2025.

Comments: 26 pages. Comments are welcome

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 categories. 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… ▽ More This paper surveys some recent results, concerning the intrinsicness of natural subcategories of weakly approximable triangulated categories. 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 27 December, 2024; v1 submitted 8 July, 2024; originally announced July 2024.

Comments: Final version to appear in Bollettino dell'Unione Matematica Italiana. 26 pages

Localizations of the categories 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 cohomologically unital, of unital and of strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. The result is proven at the $\infty$-categorical level by considering the natural $\infty$-categorical models of the categories ab… ▽ More We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of cohomologically unital, of unital and of strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. The result is proven at the $\infty$-categorical level by considering the natural $\infty$-categorical models of the categories above. As an application of the techniques we develop to compare the localizations mentioned above, we provide a new proof of the existence of internal Homs for the homotopy category of dg categories in terms of the category of (strictly) unital $A_\infty$ functors. This yields a complete proof of a claim by Kontsevich and Keller. △ Less

Submitted 16 October, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: Exposition improved. The introduction now includes more results and an extended discussion about applications. 40 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

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

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

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

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

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

Exceptional sequences and derived autoequivalences

Authors: Alberto Canonaco

Abstract: We prove a general theorem that gives a non trivial relation in the group of derived autoequivalences of a variety (or stack) X, under the assumption that there exists a suitable functor from the derived category of another variety Y admitting a full exceptional sequence. Applications include the case in which X is Calabi-Yau and either X is a hypersurface in Y (this extends a previous result by… ▽ More We prove a general theorem that gives a non trivial relation in the group of derived autoequivalences of a variety (or stack) X, under the assumption that there exists a suitable functor from the derived category of another variety Y admitting a full exceptional sequence. Applications include the case in which X is Calabi-Yau and either X is a hypersurface in Y (this extends a previous result by the author and R.L. Karp, where Y was a weighted projective space) or Y is a hypersurface in X. The proof uses a resolution of the diagonal of Y constructed from the exceptional sequence. △ Less

Submitted 30 December, 2007; originally announced January 2008.

Comments: 17 pages

MSC Class: 18E30

A sufficient criterion for homotopy cartesianess

Authors: Alberto Canonaco, Matthias Kuenzer

Abstract: Suppose given a commutative quadrangle in a Verdier triangulated category such that there exists an induced isomorphism on the horizontally taken cones. Suppose that the endomorphism ring of the initial or the terminal corner object of this quadrangle satisfies a finiteness condition. Then this quadrangle is homotopy cartesian. Suppose given a commutative quadrangle in a Verdier triangulated category such that there exists an induced isomorphism on the horizontally taken cones. Suppose that the endomorphism ring of the initial or the terminal corner object of this quadrangle satisfies a finiteness condition. Then this quadrangle is homotopy cartesian. △ Less

Submitted 31 August, 2007; originally announced August 2007.

MSC Class: 18E30

Derived autoequivalences and a weighted Beilinson resolution

Authors: Alberto Canonaco, Robert L. Karp

Abstract: Given a smooth stacky Calabi-Yau hypersurface X in a weighted projective space, we consider the functor G which is the composition of the following two autoequivalences of D^b(X): the first one is induced by the spherical object O_X, while the second one is tensoring with O_X(1). The main result of the paper is that the composition of G with itself w times, where w is the sum of the weights of t… ▽ More Given a smooth stacky Calabi-Yau hypersurface X in a weighted projective space, we consider the functor G which is the composition of the following two autoequivalences of D^b(X): the first one is induced by the spherical object O_X, while the second one is tensoring with O_X(1). The main result of the paper is that the composition of G with itself w times, where w is the sum of the weights of the weighted projective space, is isomorphic to the autoequivalence "shift by 2". The proof also involves the construction of a Beilinson type resolution of the diagonal for weighted projective spaces, viewed as smooth stacks. △ Less

Submitted 30 December, 2007; v1 submitted 27 October, 2006; originally announced October 2006.

Comments: 19 pages; minor modifications; accepted by J. Geom. Phys

MSC Class: 18E30; 14J32; 14A20

The Beilinson complex and canonical rings of irregular surfaces

Authors: Alberto Canonaco

Abstract: In the first part of the paper Beilinson's theorem on the bounded derived category of coherent sheaves on P^n is extended to weighted projective spaces in a rather explicit form. To this purpose the usual category of coherent sheaves is replaced by a suitable category of graded sheaves, and a more general theory of graded schemes is developed. In the second part of the paper the weighted version… ▽ More In the first part of the paper Beilinson's theorem on the bounded derived category of coherent sheaves on P^n is extended to weighted projective spaces in a rather explicit form. To this purpose the usual category of coherent sheaves is replaced by a suitable category of graded sheaves, and a more general theory of graded schemes is developed. In the second part of the paper the weighted version of Beilinson's theorem is applied to prove a structure theorem for certain canonical projections of surfaces of general type into a 3-dimensional weighted projective space. This result (which generalizes to the weighted case a theorem by Catanese and Schreyer) is mainly interesting for irregular surfaces, and we illustrate it by studying a family of surfaces with p_g=q=2 and K^2=4, whose canonical rings are explicitly computed along the way. △ Less

Submitted 24 October, 2006; originally announced October 2006.

Comments: 103 pages

MSC Class: 14A20; 14F05; 14J29; 13A02; 18E30; 14K05

Journal ref: Mem. Amer. Math. Soc. 183 (2006), no. 862

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