Table of Contents
Fetching ...

Joint deformations of manifolds, coherent sheaves and sections

Donatella Iacono, Marco Manetti

TL;DR

The paper develops a DG-Lie algebraic framework for infinitesimal deformations of triples $(X,\mathcal F,\sigma)$, where $X$ is smooth, $\mathcal F$ is coherent, and $\sigma$ is a global section. Central to the construction is the coherent DG-Lie algebroid $\mathcal C^*(X,\mathcal E^*,s)$, built as the mapping cocone of $e_s: \mathcal P^*(X,\mathcal E^*) \to \mathcal E^*$, whose derived global sections $L$ control deformations via Maurer–Cartan theory and gauge equivalence; this control is shown to be independent of the chosen resolution. The descent framework of Hinich and Fiorenza–Iacono–Martinengo is employed to glue local data through Thom–Whitney totalization, yielding global deformation functors $\text{Def}_{(X,\mathcal F,\sigma)}$. The approach specializes to deformations of pairs $(X,Z)$ with $Z$ a divisor, where the deformation theory is governed by the mapping cone $e_\sigma: \mathcal P(X,\mathcal L) \to \mathcal L$, and it recovers known results on locally trivial and unobstructed deformations, including Calabi–Yau cases with $H^1(X,\mathcal L)=0$. Overall, the work provides a robust DG-Lie algebraic mechanism to study deformations of triples and divisor pairs with concrete hypercohomological interpretations.

Abstract

We describe a differential graded Lie algebra controlling infinitesimal deformations of triples $(X,\mathcal{F},σ)$, where $\mathcal{F}$ is a coherent sheaf on a smooth variety $X$ over an algebraically closed field of characteristic 0 and $σ\in H^0(X,\mathcal{F})$. Then, we apply this result to investigate deformations of pairs (variety, divisor).

Joint deformations of manifolds, coherent sheaves and sections

TL;DR

The paper develops a DG-Lie algebraic framework for infinitesimal deformations of triples , where is smooth, is coherent, and is a global section. Central to the construction is the coherent DG-Lie algebroid , built as the mapping cocone of , whose derived global sections control deformations via Maurer–Cartan theory and gauge equivalence; this control is shown to be independent of the chosen resolution. The descent framework of Hinich and Fiorenza–Iacono–Martinengo is employed to glue local data through Thom–Whitney totalization, yielding global deformation functors . The approach specializes to deformations of pairs with a divisor, where the deformation theory is governed by the mapping cone , and it recovers known results on locally trivial and unobstructed deformations, including Calabi–Yau cases with . Overall, the work provides a robust DG-Lie algebraic mechanism to study deformations of triples and divisor pairs with concrete hypercohomological interpretations.

Abstract

We describe a differential graded Lie algebra controlling infinitesimal deformations of triples , where is a coherent sheaf on a smooth variety over an algebraically closed field of characteristic 0 and . Then, we apply this result to investigate deformations of pairs (variety, divisor).

Paper Structure

This paper contains 6 sections, 12 theorems, 81 equations.

Key Result

Theorem 1

The infinitesimal deformations of the triples $(X,\mathcal{F},\sigma)$ are controlled by the DG-Lie algebra $L$ of the derived global sections of the complex Moreover, the homotopy type of the DG-Lie algebra $L$ is independent on the choice of $\mathcal{E}^*$ and $s$.

Theorems & Definitions (37)

  • Theorem : =Theorem \ref{['main theorem of triple']}
  • Lemma 2.1
  • proof
  • Remark 2.2
  • Example 2.3
  • Example 2.4
  • Lemma 2.5
  • proof
  • Theorem 3.1: Hinich
  • Theorem 3.2: FIM
  • ...and 27 more