Showing 1–8 of 8 results for author: Meazzini, F

Hyper-holomorphic connections on vector bundles on hyper-Kähler manifolds

Authors: Francesco Meazzini, Claudio Onorati

Abstract: We study infinitesimal deformations of autodual and hyper-holomorphic connections on complex vector bundles on hyper-Kähler manifolds of arbitrary dimension. In particular, we describe the DG Lie algebra controlling this deformation problem. Moreover, we prove associative formality for derived endomorphisms of a holomorphic vector bundle admitting a projectively hyper-holomorphic connection. We study infinitesimal deformations of autodual and hyper-holomorphic connections on complex vector bundles on hyper-Kähler manifolds of arbitrary dimension. In particular, we describe the DG Lie algebra controlling this deformation problem. Moreover, we prove associative formality for derived endomorphisms of a holomorphic vector bundle admitting a projectively hyper-holomorphic connection. △ Less

Submitted 26 July, 2022; v1 submitted 8 April, 2022; originally announced April 2022.

Comments: 26 pages. Version 2: exposition improved, some changes to Sections 3 and 5, geometric applications to projectively hyper-holomorphic vector bundles unchanged

MSC Class: 14J42; 32G07; 14D15

Hilbert squares of degeneracy loci

Authors: Enrico Fatighenti, Francesco Meazzini, Giovanni Mongardi, Andrea T. Ricolfi

Abstract: Let $S$ be the first degeneracy locus of a morphism of vector bundles corresponding to a general matrix of linear forms in $\mathbb{P}^s$. We prove that, under certain positivity conditions, its Hilbert square $\mathrm{Hilb}^2(S)$ is isomorphic to the zero locus of a global section of an irreducible homogeneous vector bundle on a product of Grassmannians. Our construction involves a naturally asso… ▽ More Let $S$ be the first degeneracy locus of a morphism of vector bundles corresponding to a general matrix of linear forms in $\mathbb{P}^s$. We prove that, under certain positivity conditions, its Hilbert square $\mathrm{Hilb}^2(S)$ is isomorphic to the zero locus of a global section of an irreducible homogeneous vector bundle on a product of Grassmannians. Our construction involves a naturally associated Fano variety, and an explicit description of the isomorphism. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 20 pages, comments welcome!

Formality conjecture for minimal surfaces of Kodaira dimension 0

Authors: Ruggero Bandiera, Marco Manetti, Francesco Meazzini

Abstract: Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models of DG-Lie algebras equipped with a cyclic structure of degree 2 which is non-degenerate in cohomology, and does not rely (even for K3 surfaces) on previous res… ▽ More Let F be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the DG-Lie algebra RHom(F,F) of derived endomorphisms of F is formal. The proof is based on the study of equivariant $L_{\infty}$ minimal models of DG-Lie algebras equipped with a cyclic structure of degree 2 which is non-degenerate in cohomology, and does not rely (even for K3 surfaces) on previous results on the same subject. △ Less

Submitted 2 August, 2020; v1 submitted 24 July, 2019; originally announced July 2019.

Comments: Post-print version; accepted for publication in Compositio Mathematica

Report number: Roma01.math.AG MSC Class: 14F05; 14D15; 16W50; 18G55

Journal ref: Compositio Math. 157 (2021) 215-235

Deformations of polystable sheaves on surfaces: quadraticity implies formality

Authors: Ruggero Bandiera, Marco Manetti, Francesco Meazzini

Abstract: We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable coherent sheaf on a smooth complex projective surface the DG-Lie algebra of derived endomorphisms is formal if and only if the Kuranishi family is quadratic. We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable coherent sheaf on a smooth complex projective surface the DG-Lie algebra of derived endomorphisms is formal if and only if the Kuranishi family is quadratic. △ Less

Submitted 17 June, 2020; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: V3 post-print version; accepted for publication in Moscow Mathematical Journal

Report number: Roma01.math.AG MSC Class: 14F05; 14D15; 16W50; 18G55

Deformations of algebraic schemes via Reedy-Palamodov cofibrant resolutions

Authors: Marco Manetti, Francesco Meazzini

Abstract: Let $X$ be a Noetherian separated and finite dimensional scheme over a field $\mathbb{K}$ of characteristic zero. The goal of this paper is to study deformations of $X$ over a differential graded local Artin $\mathbb{K}$-algebra by using local Tate-Quillen resolutions, i.e., the algebraic analog of the Palamodov's resolvent of a complex space. The above goal is achieved by describing the DG-Lie al… ▽ More Let $X$ be a Noetherian separated and finite dimensional scheme over a field $\mathbb{K}$ of characteristic zero. The goal of this paper is to study deformations of $X$ over a differential graded local Artin $\mathbb{K}$-algebra by using local Tate-Quillen resolutions, i.e., the algebraic analog of the Palamodov's resolvent of a complex space. The above goal is achieved by describing the DG-Lie algebra controlling deformation theory of a diagram of differential graded commutative algebras, indexed by a direct Reedy category. △ Less

Submitted 4 September, 2019; v1 submitted 19 October, 2018; originally announced October 2018.

Comments: Final version. To appear in Indagationes Mathematicae

Report number: Roma01.math.AG MSC Class: 18G55; 14D15; 16W50

Journal ref: Indagationes Mathematicae 31, 7-32 (2020)

A DG-enhancement of D(QCoh(X)) with applications in deformation theory

Authors: Francesco Meazzini

Abstract: It is well-known that DG-enhancements of D(QCoh(X)) are all equivalent to each other, see [23]. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived endomorphisms of a quasi-coherent sheaf F on a finite-dimensional Noetherian separated scheme (even if F does not admit a locally free resolution). Moreover, the… ▽ More It is well-known that DG-enhancements of D(QCoh(X)) are all equivalent to each other, see [23]. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived endomorphisms of a quasi-coherent sheaf F on a finite-dimensional Noetherian separated scheme (even if F does not admit a locally free resolution). Moreover, these complexes are endowed with DG-Lie algebra structures, which we prove to control infinitesimal deformations of F. △ Less

Submitted 15 August, 2018; originally announced August 2018.

Report number: Roma01.math.AG MSC Class: 14F05; 14D15; 16W50; 18G55

Formal deformation theory in left-proper model categories

Authors: Marco Manetti, Francesco Meazzini

Abstract: We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local DG-Artin ring. We develop the notion of deformation of a morphism in a left-proper model category. As an application we provide a geometric/homotopic description of deformations of commutative (non-positively) graded differential algebras over a local DG-Artin ring. △ Less

Submitted 19 February, 2018; originally announced February 2018.

Report number: Roma01.math.AG MSC Class: 18G55; 14D15; 16W50

Journal ref: New York J. Math. 25, 1259-1311 (2019)

Quiver representations over a quasi-Frobenius ring and Gorenstein-projective modules

Authors: Francesco Meazzini

Abstract: We consider a finite acyclic quiver $\mathcal{Q}$ and a quasi-Frobenius ring $R$. We endow the category of quiver representations over $R$ with a model structure, whose homotopy category is equivalent to the stable category of Gorenstein-projective modules over the path algebra $R\mathcal{Q}$. As an application, we then characterize Gorenstein-projective $R\mathcal{Q}$-modules in terms of the co… ▽ More We consider a finite acyclic quiver $\mathcal{Q}$ and a quasi-Frobenius ring $R$. We endow the category of quiver representations over $R$ with a model structure, whose homotopy category is equivalent to the stable category of Gorenstein-projective modules over the path algebra $R\mathcal{Q}$. As an application, we then characterize Gorenstein-projective $R\mathcal{Q}$-modules in terms of the corresponding quiver $R$-representations; this generalizes a result obtained by Luo-Zhang to the case of not necessarily finitely generated $R\mathcal{Q}$-modules, and partially recover results due to Enochs-Estrada-García Rozas, and to Eshraghi-Hafezi-Salarian. Our approach to the problem is completely different since the proofs mainly rely on model category theory. △ Less

Submitted 2 August, 2020; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: Post-print version; accepted for publication in Rendiconti di Matematica e delle sue Applicazioni

Report number: Roma01.Math.AG MSC Class: 16D90; 16E65; 16G20