Showing 1–10 of 10 results for author: Ornaghi, M

A model structure on the category of A$_\infty$-categories with strict morphisms

Authors: Mattia Ornaghi

Abstract: We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the cofibrant objects have cofibrant morphisms. As a consequence we prove that the semi-free A$_\infty$-categories (resp. resolutions) are cofibrant objects (resp.… ▽ More We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the cofibrant objects have cofibrant morphisms. As a consequence we prove that the semi-free A$_\infty$-categories (resp. resolutions) are cofibrant objects (resp. resolution) in this model structure. △ Less

Submitted 28 June, 2025; originally announced June 2025.

Comments: 9 pages, 2 figures

MSC Class: 14F08; 18G70; 18N40

A remark on fibrancy of ($\mbox{A$_{\infty}$Cat}$,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$)

Authors: Xiaofa Chen, Mattia Ornaghi

Abstract: In this note we prove the existence, in the category of (strictly unital) A$_{\infty}$categories, of the pullback of a (strictly unital) A$_{\infty}$functor, satisfying a particular property (denoted by F1), along any A$_{\infty}$functor. As a consequence we provide a positive answer to Pascaleff's question whether (A$_{\infty}$Cat,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$) is a fibrant object… ▽ More In this note we prove the existence, in the category of (strictly unital) A$_{\infty}$categories, of the pullback of a (strictly unital) A$_{\infty}$functor, satisfying a particular property (denoted by F1), along any A$_{\infty}$functor. As a consequence we provide a positive answer to Pascaleff's question whether (A$_{\infty}$Cat,$W^{\tiny\mbox{A}_{\infty}}_{\tiny\mbox{qe}}$) is a fibrant object in RelCat. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Comments: 12 pages. Comments are welcome

MSC Class: 14F08; 18E35; 18G70

Tensor product of A$_{\infty}$-categories

Authors: Mattia Ornaghi

Abstract: In this paper we define the tensor product of two A$_{\infty}$-categories and two A$_{\infty}$-functors. This tensor product makes the category of A$_{\infty}$-categories symmetric monoidal (up to homotopy), and the category A$_{\infty}$Cat$^u$/$_{\approx}$ a closed symmetric monoidal category. Moreover, we define the derived tensor product making Ho(A$_{\infty}$Cat), the homotopy category of the… ▽ More In this paper we define the tensor product of two A$_{\infty}$-categories and two A$_{\infty}$-functors. This tensor product makes the category of A$_{\infty}$-categories symmetric monoidal (up to homotopy), and the category A$_{\infty}$Cat$^u$/$_{\approx}$ a closed symmetric monoidal category. Moreover, we define the derived tensor product making Ho(A$_{\infty}$Cat), the homotopy category of the A$_{\infty}$-categories, a closed symmetric monoidal category. We provide also an explicit description of the internal homs in terms of A$_{\infty}$- functors. △ Less

Submitted 15 November, 2024; originally announced November 2024.

Comments: Preliminary version, 31 pages. Comments are welcome

MSC Class: 14F08; 18E35; 18G70

The Homotopy Theory of $A_\infty$Categories

Authors: Mattia Ornaghi

Abstract: In this paper we describe the homotopy category of the $A_\infty$categories. To do that we introduce the notion of semi-free $A_\infty$category, which plays the role of standard cofibration. Moreover, we define the non unital $A_\infty$ (resp. DG)categories with cofibrant morphisms and we prove that any non unital $A_\infty$ (resp. DG)category has a resolution of this kind. In this paper we describe the homotopy category of the $A_\infty$categories. To do that we introduce the notion of semi-free $A_\infty$category, which plays the role of standard cofibration. Moreover, we define the non unital $A_\infty$ (resp. DG)categories with cofibrant morphisms and we prove that any non unital $A_\infty$ (resp. DG)category has a resolution of this kind. △ Less

Submitted 9 August, 2024; originally announced August 2024.

Comments: 49 pages, 5 figures

MSC Class: 14F08; 18E35; 18G70

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

Rigid Dualizing Complexes over Commutative Rings and their Functorial Properties

Authors: Mattia Ornaghi, Saurabh Singh, Amnon Yekutieli

Abstract: In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid dualizing complexes have strong functorial properties, allowing us to construct the twisted induction pseudofunctor, which is our ring-theoretic version of the twist… ▽ More In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid dualizing complexes have strong functorial properties, allowing us to construct the twisted induction pseudofunctor, which is our ring-theoretic version of the twisted inverse pseudofunctor $f^{!}$. This is the first article of a bigger project, whose final goal is establishing Grothendieck Duality, including global duality for proper maps, for Deligne-Mumford stacks. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Comments: 119 pages, 7 figures

MSC Class: Primary: 14F08. Secondary: 18G80; 13D09; 16E45

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 descent criterion for equivalences between equivariant derived categories

Authors: Francesco Amodeo, Riccardo Moschetti, Mattia Ornaghi

Abstract: We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between the equivariant derived categories to descend to the categories of perfect complexes. We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between the equivariant derived categories to descend to the categories of perfect complexes. △ Less

Submitted 13 February, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Comments: Corrected mistakes in the definitions, results slightly improved

MSC Class: 13D09; 18E30; 14F43

Voevodsky's conjecture for cubic fourfolds and Gushel-Mukai fourfolds via noncommutative K3 surfaces

Authors: Mattia Ornaghi, Laura Pertusi

Abstract: In the first part of this paper we will prove the Voevodsky's nilpotence conjecture for smooth cubic fourfolds and ordinary generic Gushel-Mukai fourfolds. Then, making use of noncommutative motives, we will prove the Voevodsky's nilpotence conjecture for generic Gushel-Mukai fourfolds containing a $τ$-plane $\G(2,3)$ and for ordinary Gushel-Mukai fourfolds containing a quintic del Pezzo surface. In the first part of this paper we will prove the Voevodsky's nilpotence conjecture for smooth cubic fourfolds and ordinary generic Gushel-Mukai fourfolds. Then, making use of noncommutative motives, we will prove the Voevodsky's nilpotence conjecture for generic Gushel-Mukai fourfolds containing a $τ$-plane $\G(2,3)$ and for ordinary Gushel-Mukai fourfolds containing a quintic del Pezzo surface. △ Less

Submitted 8 January, 2018; v1 submitted 31 March, 2017; originally announced March 2017.

Comments: 16 pages, minor mistakes corrected in version 2

Journal ref: J. Noncommut. Geom. 13 (2019), 499-515

A comparison between pretriangulated $\mbox{A}_{\infty}$-categories and $\infty$-Stable categories

Authors: Mattia Ornaghi

Abstract: In this paper we will prove that the $\mbox{A}_{\infty}$-nerve of two quasi-equivalent $\mbox{A}_{\infty}$-categories are weak-equivalent in the Joyal model structure, a consequence of this fact is that the $\mbox{A}_{\infty}$-nerve of a pretriangulated $\mbox{A}_{\infty}$-category is $\infty$-stable. Moreover we give a comparison between the notions of pretriangulated $\mbox{A}_{\infty}$-categori… ▽ More In this paper we will prove that the $\mbox{A}_{\infty}$-nerve of two quasi-equivalent $\mbox{A}_{\infty}$-categories are weak-equivalent in the Joyal model structure, a consequence of this fact is that the $\mbox{A}_{\infty}$-nerve of a pretriangulated $\mbox{A}_{\infty}$-category is $\infty$-stable. Moreover we give a comparison between the notions of pretriangulated $\mbox{A}_{\infty}$-categories, pretriangulated dg-categories and $\infty$-stable categories. △ Less

Submitted 2 September, 2016; originally announced September 2016.

Comments: 22 pages. Preliminary version. Comments are welcome