arXiv subjects

Alberto Canonaco

Publications and source records attributed to Alberto Canonaco.

At least 19 recordsLinked to original sources

arXiv2026

Metrics on triangulated categories and their enhancements

In this paper we investigate the uniqueness of enhancements of the natural subcategories of weakly approximable triangulated categories. The main idea is to enhance at the level of $\infty$-categories the recently developed theory of excellent metrics. The applications of our results include a vast generalization of the known results about the (strong) uniqueness of enhancements in the linear and nonlinear setting, providing positive answers to some open questions. In addition we prove that, under some natural assumptions, the equivalences between such subcategories can be lifted through their natural inclusions. This completes the picture started in our previous paper arXiv:2505.10374 and extends the known results about Margolis Uniqueness Conjecture for the homotopy category of spectra.

math.AG↗

arXiv2026

New examples of non-Fourier-Mukai exact functors via non-isomorphic octahedra

We study a triangulated category $\mathscr S$ that admits a full and strong exceptional sequence of three objects with one-dimensional Hom spaces. We show that the isomorphism classes of exact functors from $\mathscr S$ to another triangulated category $\mathscr T$ are in bijection with the isomorphism classes of octahedra in $\mathscr T$ satisfying a natural condition. As an application, we construct an exact functor from $\mathscr S$ to $\mathbf D^b(\Bbbk[x]\text{-}\mathrm{mod})$ that does not admit a dg lift. This provides an explicit example of a non-Fourier-Mukai exact functor between $\mathbf D^b(\mathbb P^2)$ and $\mathbf D^b(\mathbb P^1)$.

math.AG↗

arXiv2025

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

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.

math.AG↗

arXiv2024

Weakly approximable triangulated categories and enhancements: a survey

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.

math.AG↗

arXiv2024

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

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.

math.CT↗

arXiv2024

The passage among the subcategories of weakly approximable triangulated categories

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.

math.AG↗

arXiv2022

Internal Homs via extensions of dg functors

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.

math.AG↗

arXiv2021

Uniqueness of enhancements for derived and geometric categories

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.

math.AG↗

arXiv2020

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

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.

math.AG↗

arXiv2019

A tour about existence and uniqueness of dg enhancements and lifts

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.

math.AG↗

arXiv2018

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

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.

math.AG↗

arXiv2013

Fourier-Mukai functors in the supported case

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.

math.AG↗

arXiv2012

Fourier-Mukai functors: a survey

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.

math.AG↗

arXiv2011

Non-uniqueness of Fourier-Mukai kernels

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.

math.AG↗

arXiv2011

Does full imply faithful?

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.

math.AG↗

arXiv2007

Exceptional sequences and derived autoequivalences

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.

math.AG↗

arXiv2007

Derived autoequivalences and a weighted Beilinson resolution

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.

math.AG↗

arXiv2007

A sufficient criterion for homotopy cartesianess

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.

math.KT↗