Log smooth deformation theory via Gerstenhaber algebras

Abstract

We construct a \(k\left[ \!\left[ Q\right] \!\right] \)-linear predifferential graded Lie algebra \(L^{\bullet }_{X_0/S_0}\) associated to a log smooth and saturated morphism \(f_0: X_0 \rightarrow S_0\) and prove that it controls the log smooth deformation functor. This provides a geometric interpretation of a construction in Chan et al. (Geometry of the Maurer-Cartan equation near degenerate Calabi-Yau varieties, 2019. arXiv:1902.11174) whereof \(L^{\bullet }_{X_0/S_0}\) is a purely algebraic version. Our proof crucially relies on studying deformations of the Gerstenhaber algebra of polyvector fields; this method is closely related to recent developments in mirror symmetry.

Introduction

Given a smooth variety X over an algebraically closed field \(k \supset \mathbb {Q}\), smooth deformation theory associates a functor \(\mathrm {Def}_X: \mathbf {Art}\rightarrow \mathbf {Set}\) of Artin rings to it such that \(\mathrm {Def}_X(A)\) is the set of isomorphism classes of smooth deformations of X over \(\mathrm {Spec}\ A\).

To understand the properties of such functors of Artin rings, differential graded Lie algebras (dglas) are well-established. Given a dgla \(L^{\bullet }\), there is an associated functor

$$\begin{aligned} \mathrm {Def}_{L^{\bullet }}: \mathbf {Art} \rightarrow \mathbf {Set} \end{aligned}$$

of Artin rings by taking an Artin ring A to solutions \(\eta \in L^1 \otimes {\mathfrak {m}}_A\) of the Maurer–Cartan equation

$$\begin{aligned} d\eta + \frac{1}{2}[\eta ,\eta ] = 0 \end{aligned}$$

up to gauge equivalence. We say a dgla \(L^{\bullet }\) controls deformations of X if \(\mathrm {Def}_X \cong \mathrm {Def}_{L^{\bullet }}\). Such an isomorphism reduces the problem of understanding deformations of X to the problem of understanding \(L^{\bullet }\). This has been fruitful in various places, e.g. when proving the Bogomolov–Tian–Todorov theorem with purely algebraic means in [12].

Our setup: log smooth deformation theory

In this paper, we establish an analog of the above dgla in logarithmic geometry, replacing the smooth variety X by a log smooth morphism. Log smoothness is the analog of the classical notion of smoothness and has been introduced in [16]. It allows to treat certain singularities as if they were smooth, a technique which has been proven fruitful in smoothing normal crossing spaces, e.g. by Kawamata–Namikawa in [19], and in mirror symmetry, e.g. by Gross–Siebert in [7]. Infinitesimal log smooth deformation theory was established by F. Kato in [14]. It studies deformations of a log smooth morphism \(f_0: X_0 \rightarrow S_0\) of fs log schemes. Here, the base is a log point \(S_0 = \mathrm {Spec}\ (Q \rightarrow k)\) for a sharp toric monoid Q, most commonly \(Q = 0\) or \(Q = \mathbb {N}\). The map \(Q \rightarrow k\) is \(0 \mapsto 1\) and \(0 \not = q \mapsto 0\). Log smooth deformation theory replaces \(\mathbf {Art}\) by \(\mathbf {Art}_Q\), the category of local Artin \(k\left[ \!\left[ Q \right] \!\right] \)-algebras with residue field k. Every \(A \in \mathbf {Art}_Q\) gives rise to a log ring \(Q \rightarrow A\) via the \(k\left[ \!\left[ Q\right] \!\right] \)-algebra structure, and thus to a log scheme \(S = \mathrm {Spec}\ (Q \rightarrow A)\), for which we write \(S \in \mathbf {Art}_Q\) by abuse of notation. A log smooth deformation over \(S \in \mathbf {Art}_Q\) is a Cartesian diagram

where f is log smooth. Because \(S_0 \rightarrow S\) is strict, it does not matter in which category of log schemes—of all, of fine, or of fine saturated log schemes—we consider Cartesianity. For technical reasons, we restrict to morphisms \(f_0: X_0 \rightarrow S_0\) which are saturated, cf. Remark 10.2. This notion is also known as being of Cartier type; most strikingly, saturated and log smooth implies that the fibers of \(f_0\) are reduced and Cohen–Macaulay, cf. [28] for more of its elementary properties. In case \(f_0\) is saturated, the deformation f is saturated as well. Étale locally, such deformations exist uniquely up to (non-unique) isomorphism, cf. [14, Prop. 8.4]. Taking isomorphism classes of deformations yields the log smooth deformation functor

$$\begin{aligned} LD_{X_0/S_0}: \mathbf {Art}_Q \rightarrow \mathbf {Set}, \end{aligned}$$

which has a representable hull in case \(f_0: X_0 \rightarrow S_0\) is proper by [14, Thm. 8.7].

The main result: a pre-DGLA controls \(LD_{X_0/S_0}\)

We provide the dgla in the log setting by translating ideas of Chan–Leung–Ma in [1] to our setting and bridging the remaining gap to log smooth deformation theory. To achieve this, \(k\left[ \!\left[ Q\right] \!\right] \)-linear dglas do not suffice. Namely, if \(LD_{X_0/S_0}\) were controlled by such a dgla, then for every \(S \in \mathbf {Art}_Q\), we would have a deformation over S corresponding to the trivial Maurer–Cartan solution \(\eta = 0\), so there would exist a log smooth deformation over every base (which is in the classical setting the fiber product \(X \times S\)). This is not the case—the spaces in [29, Thm. 3] are d-semistable normal crossing spaces all of whose flat deformations are locally trivial. Thus, by [14, Thm. 11.7], they can be endowed with a log smooth log structure over \(\mathrm {Spec}\ (\mathbb {N}\rightarrow k)\), but they admit no log smooth deformation over e.g. \(\mathrm {Spec}\ (\mathbb {N}\rightarrow k[t]/(t^2))\). Instead of dglas, we employ \(k\left[ \!\left[ Q\right] \!\right] \)-linear predifferential graded Lie algebras, a notion which essentially coincides with almost dgla in [1]. We define them and study systematically their basic properties in the Appendix 10.2. They are graded Lie algebras \((L^{\bullet },[-,-])\) over \(k\left[ \!\left[ Q\right] \!\right] \) endowed with a derivation d which does not need to be a differential, but which admits an element \(\ell \in L^2\) with \(d^2 = [\ell ,-]\). This allows us to define an associated deformation functor

$$\begin{aligned} \mathrm {Def}_{L^{\bullet }}: \mathbf {Art}_Q \rightarrow \mathbf {Set} \end{aligned}$$

via the modified Maurer–Cartan equation \(d\eta + \frac{1}{2}[\eta ,\eta ] + \ell = 0\); then \(\eta = 0\) is no longer a solution.

Theorem 1.1

Let \(f_0: X_0 \rightarrow S_0\) be log smooth and saturated. Then there is a \(k\left[ \!\left[ Q\right] \!\right] \)-linear predifferential graded Lie algebra \(L^{\bullet } := L^{\bullet }_{X_0/S_0}\) and a natural equivalence

$$\begin{aligned} LD_{X_0/S_0} \cong \mathrm {Def}_{L^{\bullet }} \end{aligned}$$

of functors of Artin rings.

Since \(\mathrm {Def}_{L^{\bullet }}\) is a deformation functor with tangent space isomorphic to \(H^1(X_0,\Theta ^1_{X_0/S_0})\), we also recover the existence of a hull in case \(f_0\) is proper.

In case \(Q = 0\), the pdgla \(L^{\bullet }_{X_0/S_0}\) is in fact a dgla. Here Theorem 1.1 is only a slight generalization of existing results. E.g. if \(D \subset X\) is a normal crossing divisor in a smooth variety, a dgla controlling divisorial deformations (which correspond to log smooth deformations here) has been studied in [17] and [10]. A variant of this are the compactified Landau–Ginzburg models of [18]. This paper uses the \(L_\infty \)-approach, which is related to our dgla by homotopy transfer results like [12, Thm. 3.2] going back to [13].

The strategy of the proof

A purely algebraic construction of a dgla controlling smooth deformations is used in [12], but the method is not sufficient to prove Theorem 1.1 because it relies on regluing the trivial smooth deformation. Instead, we prove the theorem in the following three steps:

\(\mathbf {LD} \cong \mathbf {GD}\). We study Gerstenhaber algebras of polyvector fields. Given a deformation \(f: X \rightarrow S\) of \(f_0: X_0 \rightarrow S_0\), the exterior powers of the relative log derivations \(\Theta ^1_{X/S}\) can be endowed with a Schouten–Nijenhuis bracket, giving rise to the Gerstenhaber algebra \(G^{\bullet }_{X/S}\). We view it as a deformation of the Gerstenhaber algebra \(G^{\bullet }_{X_0/S_0}\) associated to the central fiber \(f_0\). After fixing an affine cover \(\{V_\alpha \}\) of \(X_0\), every deformation of \(G^{\bullet }_{X_0/S_0}\) must be locally isomorphic to the Gerstenhaber algebra \(G^{\bullet }_{V_\alpha /S}\) of the unique log smooth deformation of \(V_\alpha /S_0\) (which we denote by \(V_\alpha /S\) by abuse of notation). It turns out that gluings of the \(G^{\bullet }_{V_\alpha /S}\) (encoded by a deformation functor \(GD_{X_0/S_0}\)) are equivalent to actual log smooth deformations \(f: X \rightarrow S\), setting up an equivalence of deformation functors \(LD_{X_0/S_0} \cong GD_{X_0/S_0}\). The equivalence heavily depends on a careful study of automorphisms of log smooth deformations, which we carry out in Sect. 2.

\(\mathbf {GD} \cong \mathbf {TD}\). In the next step, the abstract setup of [1] enters. The Gerstenhaber algebra \(G^{\bullet }_{X_0/S_0}\) corresponds to 0-th order data in [1, Defn. 2.9], and the \(G^{\bullet }_{V_\alpha /S}\) correspond to the higher order data in [1, Defn. 2.13]. The patching data in [1, Defn. 2.15] correspond to isomorphisms on \(V_{\alpha } \cap V_{\beta }\) which are induced by geometric isomorphisms of log smooth deformations.

There is no canonical gluing of the \(G^{\bullet }_{V_\alpha /S}\) (that would correspond to something like a trivial deformation). Instead, we perform a Thom–Whitney resolution; it yields a bigraded Gerstenhaber algebra \({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S})\) with a non-trivial differential \(d: {\text {TW}}^{p,q} \rightarrow {\text {TW}}^{p,q + 1}\). Once we forget this differential, there is—up to isomorphism—a unique gluing \({\text {PV}}_{X_0/S}\) of the affine patches \({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S})\), essentially corresponding to [1, Lemma 3.21]. Our proof shows the cohomological principles behind the explicit-constructive proof in [1, Lemma 3.21].

Given a gluing of the \(G^{\bullet }_{V_\alpha /S}\), its Thom–Whitney resolution endows \({\text {PV}}_{X_0/S}\) with a differential \(d: {\text {PV}}_{X_0/S}^{p,q} \rightarrow {\text {PV}}_{X_0/S}^{p,q+1}\) once we have chosen an isomorphism \({\text {PV}}_{X_0/S} \cong {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S})\) of bigraded sheaves. Conversely, every differential on \({\text {PV}}_{X_0/S}\) gives a gluing of the \(G^{\bullet }_{V_\alpha /S}\) by taking cohomology. This sets up an equivalence of deformation functors \(GD_{X_0/S_0} \cong TD_{X_0/S_0}\) where the latter classifies differentials.

\(\mathbf {TD} \cong \mathbf {Def}\). Relaxing the condition \(d^2 = 0\) on a differential, we obtain the notion of predifferential. We prove that there is a compatible way to endow the \({\text {PV}}_{X_0/S}\) with a predifferential, corresponding to \(\bar{\partial }_\alpha + [\mathfrak {d}_\alpha ,-]\) in [1, Thm. 3.34]. Once we have a predifferential, the defect of another predifferential to be a differential is measured by a Maurer–Cartan equation, corresponding to the so-called classical Maurer–Cartan equation in [1, Defn. 5.10]. This sets up the final equivalence \(TD_{X_0/S_0} \cong \mathrm {Def}_{L^{\bullet }}\). The geometric Čech gluing in [1, §5.3] loosely corresponds to going back from a Maurer–Cartan solution to glue the \(G^{\bullet }_{V_\alpha /S}\).

Our Lie algebra \(L^{\bullet }_{X_0/S_0}\) is essentially the \((-1,*)\)-part of the differential graded Batalin–Vilkovisky algebra \(PV^{*,*}(X)\) in [1, Thm. 1.1]. What is new in our paper, is that it actually controls log smooth deformations. The main technical difference is that whereas [1] uses a countable covering \(\{U_i\}\) of \(X_0\) and sticks to sections over these opens, we consequently stick to sheaves on \(X_0\). Therefore, we hope to help the algebraic geometer to get through the ideas of [1].

An example

In Sect. 9, we compute and discuss the \(k\left[ \!\left[ \mathbb {N}\right] \!\right] \)-linear pdgla \(L^{\bullet }_{C_0/S_0}\) of a proper log smooth curve \(f_0: C_0 \rightarrow S_0\) over \(S_0 = \mathrm {Spec}\ (\mathbb {N}\rightarrow k)\). The computation suggests that, in general, it is very difficult to compute \(L^{\bullet }_{X_0/S_0}\) explicitly.

Outlook

Beyond the scope of this paper, it should be possible to use the techniques of [1, Thm. 1.2] to prove that in case \(f_0: X_0 \rightarrow S_0\) is log Calabi–Yau, i.e., \(\Omega ^d_{X_0/S_0} \cong \mathcal {O}_{X_0}\), it is possible to take \(\ell = 0\), i.e., \(L^{\bullet }_{X_0/S_0}\) is actually a dgla. This is unobstructedness in the sense of [1]. Namely, then \(\eta = 0\) is a Maurer–Cartan element, corresponding to a distinguished deformation over every \(S \in \mathbf {Art}_Q\). In particular, one can construct a limit over \(k\left[ \!\left[ Q\right] \!\right] \) and ask for an algebraization of that formal scheme. However, this does not imply unobstructedness in the sense of a Bogomolov–Tian–Todorov theorem. Namely, this would require \(LD_{X_0/S_0}(S') \rightarrow LD_{X_0/S_0}(S)\) to be surjective for every thickening \(S \rightarrow S'\) in \(\mathbf {Art}_Q\).

When we finished the first version of this article, we hoped to apply Theorem 1.1 to obtain a Bogomolov–Tian–Todorov theorem in log geometry. Namely, in [12], the classical Bogomolov–Tian–Todorov theorem is obtained by proving that the dgla controlling \(\mathrm {Def}_X\) is homotopy abelian. In fact it is possible—under suitable hypotheses—to adapt their methods and use the abstract Bogomolov–Tian–Todorov theorem of [11] to prove the central fiber \(L^{\bullet }_{X_0/S_0} \otimes _{k\left[ \!\left[ Q\right] \!\right] } k\) homotopy abelian. This is now proven in our preprint [34] and shows a log Bogomolov–Tian–Todorov theorem in case \(Q = 0\); it generalizes results on the deformation of pairs (XD) in [17, Lemma 4.19] and [10]. Similarly, the Bogomolov–Tian–Todorov theorem for compactified Landau–Ginzburg models in [18] is a variant of this theme. The case \(Q \not = 0\), which was completely open when we finished the first version of this article, is now settled in [34] with an argument in local algebra; it is essentially a consequence of the unobstructedness results by Chan–Leung–Ma in [1].

Our method is not bound to the log smooth case. E.g. it should also apply to the deformation theory of log toroidal families of [2], which are a generalization of log smooth families which does not need to be log smooth everywhere. The key missing step for the general situation is local uniqueness of deformations, which is only known for some types of log toroidal families, see [2, Thm. 6.13]. In particular, once the theory is established, we would get the existence of a hull of the log toroidal deformation functor. In less generality, the existence of a hull has been recently achieved by Ruddat–Siebert in [30, Thm. C.6] for divisorial deformations of toric log Calabi–Yau spaces. In this paper, we restrict ourselves to the log smooth setting for simplicity.

There has been recent interest in Gerstenhaber algebras of polyvector fields also in tropical geometry. In [23], integral polyvector fields on algebraic tori are studied in order to compute Gromov–Witten invariants via tropical curves. Moreover, it turns out that wall-crossing transformations, i.e., the gluing isomorphisms of the Gross–Siebert program, induce particularly simple operations on these polyvector fields. This gives a new tropical encoding of the Gross–Siebert gluing on the level of Gerstenhaber algebras analogous to our first isomorphism \(LD_{X_0/S_0} \cong GD_{X_0/S_0}\). We expect this to be related also to [21], where the refined scattering diagrams of [22] are related to Maurer–Cartan solutions in an appropriate dgla.

In [15], F. Kato introduces functors of log Artin rings as a more natural framework for infinitesimal log smooth deformation theory. The question which generalized dglas control these functors is subject to future studies.

Finally, it would be interesting how deformation quantization relates to log smooth deformation theory, relating the base \(k\left[ \!\left[ \hbar \right] \!\right] \) to \(k\left[ \!\left[ \mathbb {N}\right] \!\right] \). Deformation quantization of affine toric varieties, which are the building blocks of log smooth morphisms, has been achieved recently in [3].

Infinitesimal automorphisms

The relationship between automorphisms of first order deformations and derivations is well-known. In this section, we determine higher infinitesimal automorphisms of deformations in terms of derivations, i.e., automorphisms of higher order deformations. In [12], higher infinitesimal deformations play a crucial role in proving that classical smooth deformations are controlled by a dgla, and we need them as well. Assume we have a surjection \(A' \rightarrow A\) in \(\mathbf {Art}_Q\) with kernel \(I \subset A'\) inducing a thickening \(S \rightarrow S'\), and assume a Cartesian diagram

of saturated log smooth morphisms. The ideal sheaf of \(X \subset X'\) is

$$\begin{aligned} \mathcal {I}= \mathcal {I}_{X'/X} = I \cdot \mathcal {O}_{X'} \end{aligned}$$

because \(f'\) is flat (as is every integral log smooth morphism). Elements of the sheaf of automorphisms \(\mathcal {A}ut_{X'/X}\) of \(X'\) which are compatible with \(f': X' \rightarrow S'\) and induce the identity on X are pairs \((\phi ,\Phi )\) where

$$\begin{aligned} \phi : \mathcal {O}_{X'} \rightarrow \mathcal {O}_{X'} \qquad \mathrm {and} \qquad \Phi : \mathcal {M}_{X'} \rightarrow \mathcal {M}_{X'} \end{aligned}$$

are the constituting homomorphisms. As we will see below, the sheaf of groups \(\mathcal {A}ut_{X'/X}\) is isomorphic to the sheaf \(\mathcal {D}er_{X'/S'}(\mathcal {I})\) of relative log derivations \((D, \Delta )\) with values in \(\mathcal {I}\), i.e., \(D: \mathcal {O}_{X'} \rightarrow \mathcal {I}\) is a derivation and \(\Delta : \mathcal {M}_{X'} \rightarrow \mathcal {I}\) is its log part. This is a sheaf of Lie algebras as a subalgebra of \(\Theta ^1_{X'/S'}\) which is filtered by

$$\begin{aligned} F^k := F^k\mathcal {D}er_{X'/S'}(\mathcal {I}) := \mathcal {D}er_{X'/S'}(\mathcal {I}^k) \subset \mathcal {D}er_{X'/S'}(\mathcal {I}) \end{aligned}$$

for \(k \ge 1\), the sheaf of derivations with values in \(\mathcal {I}^k \subset \mathcal {I}\). The ideal \(\mathcal {I}\) is generated by elements in the image of \(f'^{-1}\mathcal {O}_{S'} \rightarrow \mathcal {O}_{X'}\), so if \((D,\Delta ) \in F^k\mathcal {D}er_{X'/S'}(\mathcal {I})\), then \(D(\mathcal {I}^\ell ) \subset \mathcal {I}^{k + \ell }\). This shows \([F^k,F^\ell ] \subset F^{k + \ell }\), so the lower central series of \(\mathcal {D}er_{X'/S'}(\mathcal {I})\) is eventually 0, and it is a sheaf of nilpotent Lie algebras. In particular, following e.g. [25], the Baker–Campbell–Hausdorff formula starting with

$$\begin{aligned} \theta * \xi = \theta + \xi + \frac{1}{2}[\theta ,\xi ] + \cdots \end{aligned}$$

turns \(\mathcal {D}er_{X'/S'}(\mathcal {I})\) into a sheaf of groups.

The sheaves \(\mathcal {D}er_{X'/S'}(\mathcal {I})\) and \(\mathcal {A}ut_{X'/X}\) have classical analogs, which we denote by \(\underline{\mathcal {D}er}_{X'/S'}(\mathcal {I})\) and \(\underline{\mathcal {A}ut}_{X'/X}\). They are the classical relative derivations with values in \(\mathcal {I}\) respective the automorphisms of the underlying scheme \(\underline{X}'\) over \(\underline{S}'\). Using the Baker–Campbell–Hausdorff formula again, we find \(\underline{\mathcal {D}er}_{X'/S'}(\mathcal {I})\) a sheaf of groups. There are group isomorphisms

given by plugging in the derivation \(D: \mathcal {O}_{X'} \rightarrow \mathcal {I}\) into the power series expansion of the exponential (at 0) respective the automorphism \(\phi : \mathcal {O}_{X'} \rightarrow \mathcal {O}_{X'}\) into the expansion of the logarithm (at 1).

Remark 2.1

This pair of inverse group isomorphisms seems to be folklore; it is used e.g. implicitly in [12, Thm. 5.3]. However, we are not aware of any explicit reference where it has been proven in the setting of sheaves of automorphisms of flat deformations. That the construction above yields maps between \(\underline{\mathcal {D}er}_{X'/S'}(\mathcal {I})\) and \(\underline{\mathcal {A}ut}_{X'/X}\) follows from our explicit computation below; that they are inverse to each other follows from the fact that the two power series \(\mathrm {exp}(T)\) and \(\mathrm {log}(1 + T)\) are inverse to each other in \(\mathbb {Q}\left[ \!\left[ T\right] \!\right] \)—this argument has been used e.g. in [32, Thm. 7.2]. The maps are homomorphisms, heuristically, because the Baker–Campbell–Hausdorff formula just makes explicit the product we get when composing the exponentials as endomorphisms.

We extend the above picture to the diagram

(1)

where the vertical arrows are the forgetful maps. Given \((D,\Delta ) \in \mathcal {D}er_{X'/S'}(\mathcal {I})\), we define \((\phi ,\Phi ) = \mathrm {exp}_{X'/X}(D,\Delta )\) by the formulas

$$\begin{aligned}&\phi : \mathcal {O}_{X'} \rightarrow \mathcal {O}_{X'}, \quad \phi (a) = \sum _{n=0}^\infty \frac{D^n(a)}{n!}\\&\Phi : \mathcal {M}_{X'} \rightarrow \mathcal {M}_{X'}, \quad \Phi (m)= m + \alpha ^{-1}\left( \sum _{n = 0}^\infty \frac{[\Delta (m) + D]^n(1)}{n!}\right) \end{aligned}$$

where the series are actually finite sums. The symbol \(\Delta (m)\) denotes the multiplication operator with this element.

Lemma 2.2

We have \(\mathrm {exp}_{X'/X}(D,\Delta ) \in \mathcal {A}ut_{X'/X}\).

Proof

The map \(\phi : \mathcal {O}_{X'} \rightarrow \mathcal {O}_{X'}\) is a ring automorphism by the method of the classical proof of \(e^xe^y = e^{x + y}\). Since \(D(f'^{-1}s) = 0\) for \(s \in \mathcal {O}_{S'}\), the morphism \(\psi : X' \rightarrow X'\) induced by \(\phi \) satisfies \(f' \circ \psi = f'\), and \(\psi \times _{S'} S = \mathrm {id}_X\) because \(\phi (a) - a \in \mathcal {I}\). That \(\Phi \) is a monoid homomorphism follows from the identity

$$\begin{aligned} \frac{[\Delta (m + m') + D]^n(1)}{n!} = \sum _{k + \ell = n}\frac{[\Delta (m) + D]^k(1)}{k!} \cdot \frac{[\Delta (m') + D]^\ell (1)}{\ell !} \end{aligned}$$

which is proven by induction, and the identity

$$\begin{aligned} D^n(\alpha (m)) = \alpha (m) \cdot [\Delta (m) + D]^n(1) \end{aligned}$$

shows that \(\alpha \circ \Phi = \phi \circ \alpha \), i.e., \((\phi ,\Phi )\) defines a log morphism \(\Psi : X' \rightarrow X'\). Because \(\Delta (f'^{-1}m) = 0\) for \(m \in \mathcal {M}_{S'}\), we have \(f' \circ \Psi = f'\), and

$$\begin{aligned} \left( \sum _{n = 0}^\infty \frac{[\Delta (m) + D]^n(1)}{n!}\right) \in 1 + \mathcal {I}\end{aligned}$$

proves that \(\Psi \times _{S'} S = \mathrm {id}_X\). The map \(\Psi \) is an isomorphism because it is one on underlying schemes and on ghost sheaves, and because \(\mathcal {M}_{X'}\) is fine. \(\square \)

We construct an ansatz for the inverse \(\mathrm {log}_{X'/X}\). On the classical part, given \(\phi \), our ansatz

$$\begin{aligned} D: \mathcal {O}_{X'} \rightarrow \mathcal {I}, \quad D(a) = \sum _{n = 1}^\infty \frac{(-1)^{n - 1}[\phi - \mathrm {Id}]^n(a)}{n} \end{aligned}$$

is the formula of the logarithm. The sum is finite since \([\phi - \mathrm {Id}](\mathcal {I}^k) \subset \mathcal {I}^{k + 1}\); this identity holds by the explicit formula for \(\phi - \mathrm {Id}\) because \(D(\mathcal {I}^k) \subset \mathcal {I}^{k + 1}\). Given \(\Phi \), by induction

$$\begin{aligned}{}[\phi - \mathrm {Id}]^n(\alpha (m)) = \alpha (m) \cdot \left[ (-1)^n\sum _{k = 0}^n{n \atopwithdelims ()k}(-1)^k\alpha (\Phi ^k(m) - m)\right] \end{aligned}$$

where \(\Phi ^k(m) - m \in \mathcal {M}_{X'}^*\) is the unique invertible by which these elements differ, so we make an ansatz

$$\begin{aligned} \Delta : \mathcal {M}_{X'} \rightarrow \mathcal {I}, \quad \Delta (m) = \sum _{n = 1}^\infty \left( \sum _{k = 0}^n {{n}\atopwithdelims (){k}} \frac{(-1)^{k + 1}\alpha (\Phi ^k(m) - m)}{n}\right) \end{aligned}$$

for the log part. Setting \(\Phi (m) - m =: v \in \mathcal {M}_{X'}^*\), we find \(\alpha (v) \in 1 + \mathcal {I}\); indeed, since \(\Phi |_X = \mathrm {Id}_X\), we have \(v|_X = 0\), and thus \(\alpha (v)|_X = 1\). Now inductively

$$\begin{aligned} \sigma _n := \sigma _n(\alpha (v)) := (-1)^n\sum _{k = 0}^n\left( {{n}\atopwithdelims (){k}} (-1)^k \prod _{i = 0}^{k - 1}\phi ^i(\alpha (v))\right) \in \mathcal {I}^{n} \end{aligned}$$

since \(\sigma _{n + 1} = \alpha (v)\phi (\sigma _n) - \sigma _n\), and we conclude that the sum defining \(\Delta (m)\) is finite. Indeed, we have \(\Delta (m) = \sum _{n = 1}^\infty \frac{(-1)^{n-1}}{n} \sigma _n(\alpha (v))\).

Lemma 2.3

We have \(\mathrm {log}_{X'/X}(\phi ,\Phi )\in \mathcal {D}er_{X'/S'}(\mathcal {I})\) where \(\mathrm {log}_{X'/X}\) is defined by the above formulas.

Proof

Given \((\phi ,\Phi )\) let \((D,\Delta )\) be defined by the formulas. Setting \(\chi := \phi - \mathrm {Id}\), we have \(\chi (\mathcal {O}_{X'}) \subset \mathcal {I}\). Clearly \(D(a + b) = D(a) + D(b)\) and \(D(f^{-1}s) = 0\) for \(s \in \mathcal {O}_{S'}\) since \(\phi (f^{-1}s) = f^{-1}s\). We have \(\chi (ab) = a\chi (b) + b\chi (a) + \chi (a)\chi (b)\) and thus

$$\begin{aligned}&\chi ^n(ab) = \sum _{k,\ell \ge 0}{n \atopwithdelims (){k,\ell }}\chi ^k(a)\chi ^\ell (b),\\&{n \atopwithdelims (){k,\ell }} := \left\{ \begin{array}{ll} \frac{n!}{(n - k)!(n - \ell )!(k + \ell - n)!} &{}\quad 0 \le k,\ell \le n \le k + \ell \\ 0 &{}\quad \mathrm{else} \end{array} \right. \end{aligned}$$

for \(n \ge 0\) by induction since \({n \atopwithdelims ()k-1,\ell } + {n \atopwithdelims ()k,\ell -1} + {n \atopwithdelims ()k-1,\ell - 1} = {n + 1\atopwithdelims ()k,\ell }\). Since for a polynomial \(p \in \mathbb {Q}[m]\) of degree \(< k\) we have \(\sum _{m = 0}^k (-1)^mp(m){k \atopwithdelims ()m} = 0\), we find

$$\begin{aligned} \gamma _{k,\ell } := \sum _{n = 1}^\infty \frac{(-1)^{n - 1}}{n}{n \atopwithdelims ()k,\ell } = \left\{ \begin{array}{ll} \frac{(-1)^{k + \ell - 1}}{k + \ell } &{}\quad k\ell = 0, k + \ell \ge 1 \\ 0 &{}\quad \mathrm{else} \end{array} \right. \end{aligned}$$

and therefore

$$\begin{aligned} D(ab) = \sum _{k,\ell \ge 0}\gamma _{k,\ell }\cdot \chi ^k(a)\chi ^\ell (b) = aD(b) + bD(a) \end{aligned}$$

showing that \(D: \mathcal {O}_{X'} \rightarrow \mathcal {I}\) is a derivation. For \(m_1, m_2 \in \mathcal {M}_{X'}\) writing \(\Phi (m_i) = m_i + v_i\) we have

$$\begin{aligned} \sigma _n(\alpha (v_1)\alpha (v_2)) = \sum _{k,\ell \ge 0} {n \atopwithdelims ()k,\ell }\sigma _k(\alpha (v_1))\sigma _\ell (\alpha (v_2)) \end{aligned}$$

by induction starting with \(\sigma _0 = 1\), so we get

$$\begin{aligned} \Delta (m_1 + m_2) = \sum _{k,\ell \ge 0}\gamma _{k,\ell }\cdot \sigma _k(\alpha (v_1))\sigma _\ell (\alpha (v_2)) = \Delta (m_1) + \Delta (m_2) \end{aligned}$$

since \(\Phi (m_1 + m_2) = m_1 + m_2 + v_1 + v_2\). We have \(\Delta (f^{-1}n) = 0\) for \(n \in \mathcal {M}_{S'}\) since \(\Phi (f^{-1}n) = f^{-1}n\), and \(\alpha \cdot \Delta = D \circ \alpha \) holds by construction. \(\square \)

The forgetful maps \(\iota _D, \iota _A\) in diagram (1) above are injective group homomorphisms. For, if \(V' := (X')^{str} \subset X'\) is the strict locus defined in the “Appendix”, then \(\iota _D\) and \(\iota _A\) are isomorphisms on \(V'\). Because

$$\begin{aligned} \mathcal {D}er_{X'/S'}(\mathcal {I}) \cong \mathcal {H}om(\Omega ^1_{X'/S'},\mathcal {I}) \end{aligned}$$

and \(\mathcal {I}\subset \mathcal {O}_{X'}\) has injective restrictions to \(V'\) (which is a direct consequence of Proposition 10.1), we get \(\iota _D\) injective. If we have two automorphisms \((\phi ,\Phi )\) and \((\phi ,\Phi ')\), then \(\Phi \) and \(\Phi '\) coincide on ghost sheaves—this is because the restriction map \(\overline{\mathcal {M}}_{X'} \rightarrow \overline{\mathcal {M}}_X\rightarrow \overline{\mathcal {M}}_{X_0}\) of a log deformation is an isomorphism—so there is an invertible u with \(\Phi '(m) = u + \Phi (m)\). Because \(\iota _A|_{V'}\) is an isomorphism, we have \(u|_{V'} = 0\), and thus \(u = 0\). We conclude:

Proposition 2.4

The maps

are inverse isomorphisms of sheaves of groups.

Remark 2.5

The case of first order deformations, i.e., \(\mathcal {I}^2 = 0\), has been described in [6, Lemma 2.10]. Indeed, this result has been our main inspiration to find the description of infinitesimal automorphisms of higher order. Automorphisms of all orders of log rings have been studied in [7, Prop. 2.14].

Gerstenhaber algebra of polyvector fields

Given \(S \in \mathbf {Art}_Q\), let \(f: X \rightarrow S\) be log smooth and saturated. The polyvector fields \(G^{\bullet }_{X/S} := \bigwedge ^{-{\bullet }}\Theta ^1_{X/S}\) in negative grading, i.e., concentrated in degrees \(-d \le {\bullet } \le 0\) for d the relative dimension, form a Gerstenhaber algebra. This means it is endowed with two bilinear operations \(\wedge \) and \([-,-]\), which are graded in the sense that (for \({\mathcal {G}}^{\bullet } = G^{\bullet }_{X/S}\))

$$\begin{aligned} {\mathcal {G}}^p \wedge {\mathcal {G}}^q \subset {\mathcal {G}}^{p + q} \quad \mathrm {and} \quad [{\mathcal {G}}^p,{\mathcal {G}}^q] \subset {\mathcal {G}}^{p + q + 1}. \end{aligned}$$

They satisfy the relations

  • \(x \wedge (y \wedge z) = (x \wedge y) \wedge z \quad \mathrm {and} \quad x \wedge y = (-1)^{|x||y|}(y \wedge x)\)

  • \([x,y \wedge z] = [x,y] \wedge z + (-1)^{(|x| + 1)|y|} y \wedge [x,z]\)

  • \([x,y] = - (-1)^{(|x| + 1)(|y| + 1)}[y,x]\)

  • \([x,[y,z]] = [[x,y],z] + (-1)^{(|x| + 1)(|y| + 1)} [y,[x,z]]\)

where |x| denotes the degree of the homogeneous element x. For the bracket \([-,-]\) we take the negative \(-[-,-]_{sn}\) of the Schouten–Nijenhuis bracket. Recall that the latter one is the unique bracket satisfying the above relations and such that \([g,h]_{sn} = 0\) for functions \(g,h \in \mathcal {O}_X\), such that \([\theta , \xi ]_{sn} = [\theta ,\xi ]\) is the Lie bracket for vector fields \(\theta ,\xi \in \Theta ^1_{X/S}\), and such that \([\theta ,g]_{sn} = \langle dg, \theta \rangle \) for the natural pairing \(\langle \cdot ,\cdot \rangle \) of vector fields and differential forms. Our grading convention as well as the \((-1)\)-sign in the bracket follow [1].

In the spirit of [1, Defn. 2.9], we say a Gerstenhaber algebra \({\mathcal {G}}^{\bullet }\) is \((-1)\)-injective if the map

$$\begin{aligned} {\mathcal {G}}^{-1} \rightarrow \mathcal {H}om({\mathcal {G}}^0,{\mathcal {G}}^0), \quad \theta \mapsto [\theta ,-] \end{aligned}$$

is injective. Using Proposition 10.1 of the “Appendix”, we find that \(G^{\bullet }_{X/S}\) is \((-1)\)-injective. Indeed, on the strict locus \(X^{str} \subset X\) the sheaf \(G^{-1}_{X/S}\) represents classical relative derivations on \(\mathcal {O}_X\).

The Gerstenhaber algebra and deformations

Let \(S \rightarrow S'\) be a thickening given by a surjection \(A' \rightarrow A\) in \(\mathbf {Art}_Q\), and let \(f': X' \rightarrow S'\) be a deformation of \(f: X \rightarrow S\). Let \(\mathcal {I}_{X'/X} = I \cdot \mathcal {O}_{X'}\) be the ideal sheaf. We obtain an exact sequence

$$\begin{aligned} 0 \rightarrow \mathcal {I}_{X'/X} \cdot G^{\bullet }_{X'/S'} \rightarrow G^{\bullet }_{X'/S'} \rightarrow G^{\bullet }_{X/S} \rightarrow 0 \end{aligned}$$
(2)

of Gerstenhaber algebras. Here the right hand homomorphism is induced by pulling back homomorphisms \(h: \Omega ^1_{X'/S'} \rightarrow \mathcal {O}_{X'}\) along \(c: X \rightarrow X'\). Elements \(\theta \in \mathcal {I}_{X'/X} \cdot G^{-1}_{X'/S'}\) induce gauge transforms

$$\begin{aligned} \mathrm {exp}_\theta : G^{\bullet }_{X'/S'} \rightarrow G^{\bullet }_{X'/S'}, \quad \xi \mapsto \sum _{k = 0}^\infty \frac{([\theta ,-])^k(\xi )}{k!}, \end{aligned}$$
(3)

which are well-defined Gerstenhaber algebra automorphisms over \(G^{\bullet }_{X/S}\) since \(\mathcal {I}_{X'/X}\) is nilpotent. If \(\mathrm {exp}_\theta = \mathrm {exp}_\xi \), then \(\theta = \xi \) due to \((-1)\)-injectivity. Indeed, with the Baker–Campbell–Hausdorff product on \(\mathcal {I}_{X'/X} \cdot G^{-1}_{X'/S'}\) the map \(\theta \mapsto \mathrm {exp}_\theta \) becomes a group homomorphism, and if \(\mathrm {exp}_\theta = \mathrm {Id}\), then \(\theta = 0\) by induction since it holds for small extensions \(S \rightarrow S'\).

Automorphisms of \(G^{\bullet }_{X'/S'}\) can be induced by geometric automorphisms as well. Namely, for two deformations \(f'_i: X'_i \rightarrow S' \ (i = 1,2)\) and an isomorphism \(\varphi : X_1' \rightarrow X_2'\) over \(f: X \rightarrow S\), there is a natural map

$$\begin{aligned} T_\varphi : G^{\bullet }_{X_2'/S'} \rightarrow \varphi _*G^{\bullet }_{X_1'/S'} \end{aligned}$$

of Gerstenhaber algebras which is induced by \(\mathcal {O}_{X_2'} \rightarrow \varphi _*\mathcal {O}_{X_1'}\) and the pullback of homomorphisms \(h: \Omega ^1_{X_2'/S'} \rightarrow \mathcal {O}_{X_2'}\) along \(\varphi \). More precisely, \(h \in \Theta ^1_{X_2'/S'}\) gives rise to a composition

$$\begin{aligned} \Omega ^1_{X_1'/S'} \cong \varphi ^*\Omega ^1_{X_2'/S'} \xrightarrow {\varphi ^*h} \varphi ^*\mathcal {O}_{X_2'} \cong \mathcal {O}_{X_1'}, \end{aligned}$$

and thus to an element \(T_\varphi (h) \in \varphi _*\Theta ^1_{X_1'/S'}\).

Remark 3.1

The inverse \(\varphi ^{-1}\) induces a map \(d(\varphi ^{-1}): \Theta ^1_{X_2'/S'} \rightarrow (\varphi ^{-1})^*\Theta ^1_{X_1'/S'}\) whose composition with the canonical map \((\varphi ^{-1})^*\Theta ^1_{X_1'/S'} \rightarrow \varphi _*\Theta ^1_{X_1'/S'}\) coincides with \(T_\varphi \). In fact, when we write \(\Omega _i := \Omega ^1_{X_i'/S'}\) and \(\mathcal {O}_i := \mathcal {O}_{X_i'}\), we have maps \((\varphi ^{-1})^*\Omega _1 \rightarrow \Omega _2\) and \(\Omega _2 \rightarrow \varphi _*\Omega _1\); they induce the diagram

of isomorphisms of \(\mathcal {O}_{X_2'}\)-modules, which is commutative since the composition \((\varphi ^{-1})^*\Omega _1 \rightarrow \Omega _2 \rightarrow \varphi _*\Omega _1\) is the canonical isomorphism.

Given a deformation \(f': X' \rightarrow S'\) of \(f: X \rightarrow S\), an automorphism \(\varphi \in \mathcal {A}ut_{X'/X}\) induces—on the one hand side—a map \(T_\varphi : G^{\bullet }_{X'/S'} \rightarrow G^{\bullet }_{X'/S'}\); on the other hand side, we have an element \(\theta = \mathrm {log}_{X'/X}(\varphi ) \in \mathcal {D}er_{X'/S'}(\mathcal {I}_{X'/X})\). Now \(\mathcal {D}er_{X'/S'}(\mathcal {I}_{X'/X}) = \mathcal {I}_{X'/X}\cdot G^{-1}_{X'/S'}\) because \(h: \Omega ^1_{X'/S'} \rightarrow \mathcal {O}_{X'}\) takes values in \(\mathcal {I}_{X'/X}\) if and only if \(c^*(h) = 0\). Thus

$$\begin{aligned} \theta = (D,\Delta ) := \mathrm {log}_{X'/X}(\varphi ) \in \mathcal {I}_{X'/X}\cdot G^{-1}_{X'/S'} \end{aligned}$$

induces a gauge transform \(\mathrm {exp}_{-\theta }\); it coincides with \(T_\varphi \) by the Lemma below. The sign in \(-\theta \) is due to our convention \([-,-] = -[-,-]_{sn}\).

Lemma 3.2

Let \(f': X' \rightarrow S'\) be a deformation of \(f: X \rightarrow S\), and let \(\varphi \in \mathcal {A}ut_{X'/X}\). Then the induced map \(T_\varphi : G^{\bullet }_{X'/S'} \rightarrow G^{\bullet }_{X'/S'}\) is equal to the gauge transform \(\mathrm {exp}_{-\theta }\) for \(\theta = \mathrm {log}_{X'/X}(\varphi )\). Moreover, every gauge transform \(\mathrm {exp}_\theta \) with \(\theta \in \mathcal {I}_{X'/X} \cdot G^{-1}_{X'/S'}\) is induced by a unique automorphism \(\varphi \in \mathcal {A}ut_{X'/X}\).

Proof

For \(a \in G^0_{X'/S'}\) we have

$$\begin{aligned} T_\varphi (a) = \sum _{k = 0}^\infty \frac{D^k(a)}{k!} = \sum _{k = 0}^\infty \frac{([-\theta ,-])^k(a)}{k!} = \mathrm {exp}_{-\theta }(a) \end{aligned}$$

so it remains to prove equality on \(G^{-1}_{X'/S'}\). The derivation \(\theta = (D,\Delta )\) induces a map \(\nabla : \Omega ^1_{X'/S'} \rightarrow \mathcal {O}_{X'} \rightarrow \Omega ^1_{X'/S'}\) by the formula \(\nabla (\omega ) = d\langle \omega ,\theta \rangle \) that we use in the formula

$$\begin{aligned} d\varphi : \quad \Omega ^1_{X'/S'} \rightarrow \Omega ^1_{X'/S'}, \quad \omega \mapsto \sum _{n = 0}^\infty \frac{\nabla ^n(\omega )}{n!} \end{aligned}$$

for the action of \(\varphi \) on differential forms. Writing \(\varphi = (\phi ,\Phi )\) as in Sect. 2, we find for \(\xi \in G^{-1}_{X'/S'}\)

$$\begin{aligned} \langle \omega ,T_\varphi (\xi )\rangle = \phi \left( \langle (d\varphi )^{-1}(\omega ),\xi \rangle \right) = \langle \omega ,\mathrm {exp}_{-\theta }\rangle \end{aligned}$$

by the formula

$$\begin{aligned} \langle \omega ,([-\theta ,-])^m(\xi )\rangle = \sum _{\ell = 0}^m {{m}\atopwithdelims (){\ell }}(-1)^\ell D^{m - \ell }\langle \nabla ^\ell (\omega ),\xi \rangle , \end{aligned}$$

which is proven easily by induction. Since \(G^{\bullet }_{X'/S'}\) is (locally) generated by \(G^{-1}_{X'/S'}\) as a ring with respect to \(\wedge \), we see \(T_\varphi = \mathrm {exp}_{-\theta }\). For the second statement, we use that \(\mathrm {log}_{X'/X}\) is a bijection and that \(G^{\bullet }_{X'/S'}\) is \((-1)\)-injective. \(\square \)

Deformations of Gerstenhaber algebras

Given \(f_0: X_0 \rightarrow S_0\), we study deformations of the Gerstenhaber algebra \(G^{\bullet }_{X_0/S_0}\), i.e., the deformation functor \(GD_{X_0/S_0}\), which we introduce below. We fix an affine cover \(\mathcal {V}= \{V_\alpha \}\) of \(X_0\) and we denote the—up to non-unique isomorphism—unique log smooth deformation of \(V_\alpha \) over S by \(V_\alpha \rightarrow S\) (by abuse of notation with the same symbol for all S). On overlaps, we choose isomorphisms

$$\begin{aligned} \Phi _{\alpha \beta }: V_\beta |_{V_\alpha \cap V_\beta } \rightarrow V_\alpha |_{V_\alpha \cap V_\beta }; \end{aligned}$$

they induce isomorphisms \(\phi _{\alpha \beta }: G^{\bullet }_{V_\alpha /S}|_{V_\alpha \cap V_\beta } \rightarrow G^{\bullet }_{V_\beta /S}|_{V_\alpha \cap V_\beta }\) of Gerstenhaber algebras contravariantly (by our construction in Sect. 3). Whenever we can compose these isomorphisms to an automorphism, it is a gauge transform by Lemma 3.2.

Definition 4.1

A Gerstenhaber deformation of \(f_0: X_0 \rightarrow S_0\) is a Gerstenhaber algebra \({\mathcal {G}}^{\bullet }\) on \(X_0\) together with a morphism \({\mathcal {G}}^{\bullet } \rightarrow G^{\bullet }_{X_0/S_0}\) and isomorphisms \(\chi _\alpha : {\mathcal {G}}^{\bullet }|_{V_\alpha } \cong G^{\bullet }_{V_\alpha /S}\) compatible with the map to \(G^{\bullet }_{X_0/S_0}\) and such that on \(V_\alpha \cap V_\beta \), the cocycle \(\phi _{\alpha \beta } \circ \chi _\alpha \circ \chi _\beta ^{-1}\) is a gauge transform. An isomorphism of Gerstenhaber deformations is an isomorphism \(\psi : {\mathcal {G}}^{\bullet }_1 \rightarrow {\mathcal {G}}^{\bullet }_2\) compatible with the maps to \(G^{\bullet }_{X_0/S_0}\) and such that the cocycle \(\chi _{2\alpha } \circ \psi \circ \chi _{1\alpha }^{-1}\) is a gauge transform. Isomorphism classes define a functor

$$\begin{aligned} GD_{X_0/S_0}: \mathbf {Art}_Q \rightarrow \mathbf {Set} \end{aligned}$$

of Artin rings.

A log smooth deformation \(f: X \rightarrow S\) induces a Gerstenhaber deformation \({\mathcal {G}}^{\bullet } = G^{\bullet }_{X/S}\). For \(\chi _\alpha \) we take the maps (contravariantly) induced by any geometric isomorphism \(X|_{V_\alpha } \cong V_\alpha \). The different choices give rise to isomorphic Gerstenhaber deformations with the identity on \({\mathcal {G}}^{\bullet }\) as isomorphism. This induces a natural transformation \(LD_{X_0/S_0} \Rightarrow GD_{X_0/S_0}\).

Proposition 4.2

The transformation \(LD_{X_0/S_0} \Rightarrow GD_{X_0/S_0}\) is an isomorphism of functors.

Proof

We prove \(LD_{X_0/S_0}(S) \cong GD_{X_0/S_0}(S)\) for \(S \in \mathbf {Art}_Q\). Let \(f: X \rightarrow S\) and \(g: Y \rightarrow S\) be two log smooth deformations, choose isomorphisms \(X|_{V_\alpha } \cong V_\alpha \) and \(Y|_{V_\alpha } \cong V_\alpha \), and suppose there is an isomorphism \(\psi : G^{\bullet }_{X/S} \rightarrow G^{\bullet }_{Y/S}\) of the corresponding Gerstenhaber deformations. It induces gauge transforms \(\psi _\alpha : G^{\bullet }_{V_\alpha /S} \rightarrow G^{\bullet }_{V_\alpha /S}\) according to Definition 4.1, which are induced by automorphisms \(\Psi _\alpha : V_\alpha \rightarrow V_\alpha \) by Lemma 3.2. They give isomorphisms \(Y|_{V_\alpha } \rightarrow X|_{V_\alpha }\) that glue to a global isomorphism \(\Psi : Y \rightarrow X\), so the transformation is injective.

Conversely, let \({\mathcal {G}}^{\bullet }\) be a Gerstenhaber deformation over S, and let \(\gamma _{\alpha \beta } = \phi _{\alpha \beta } \circ \chi _\alpha \circ \chi _\beta ^{-1}\) be the gauge transform of Definition 4.1. It is induced by an automorphism \(\Gamma _{\alpha \beta }: V_\beta |_{V_\alpha \cap V_\beta } \rightarrow V_\beta |_{V_\alpha \cap V_\beta }\), which we use to define isomorphisms

$$\begin{aligned} \Psi _{\alpha \beta } := \Phi _{\alpha \beta } \circ \Gamma _{\alpha \beta }^{-1}: V_\beta |_{V_\alpha \cap V_\beta } \rightarrow V_\alpha |_{V_\alpha \cap V_\beta } \ . \end{aligned}$$

Note that the (contravariantly) induced map on Gerstenhaber algebras is \(\chi _\beta \circ \chi _\alpha ^{-1}\), so they satisfy the cocycle condition by Lemma 3.2. Gluing yields a log smooth deformation whose image in \(GD_{X_0/S_0}(S)\) is \({\mathcal {G}}^{\bullet }\). \(\square \)

Thom–Whitney resolutions

In this section, we briefly review the Thom–Whitney resolution. These resolutions are acyclic resolutions of complexes that are adapted to preserve additional algebraic structures such as \(\wedge \) and \([-,-]\) of a Gerstenhaber algebra; therefore, they have been employed in [12] and [1] to study deformations. In their present form they first occur in [26]. Their construction starts from a semicosimplicial complex \(V^\Delta \). Recall that, denoting \(\Delta _{\text {mon}}\) the category of sets \([n]=\{0,1,\ldots ,n\}\) for \(n \ge 0\) with morphisms the order-preserving injective maps, a semicosimplicial object in a category \(\mathcal {C}\) is a covariant functor \(\mathcal {C}^\Delta : \Delta _\text {mon} \rightarrow \mathcal {C}\). Thus, a semicosimplicial object is a diagram

$$\begin{aligned} A_0 \ \begin{array}{c} \longrightarrow \\ \longrightarrow \end{array} \ A_1 \ \begin{array}{c} \longrightarrow \\ \longrightarrow \\ \longrightarrow \end{array} \ A_2 \ \begin{array}{c} \longrightarrow \\ \longrightarrow \\ \longrightarrow \\ \longrightarrow \end{array} \ \cdots \end{aligned}$$

where for each \(n \ge 1\), we have \(n + 1\) morphisms \(\partial _{k,n}: A_{n - 1} \rightarrow A_n\) satisfying \(\partial _{\ell ,n+1}\partial _{k,n} = \partial _{k+1,n+1}\partial _{\ell ,n}\).

Example 5.1

Let X be a k-scheme, let \({\mathcal {U}} = \{U_i\}\) be an affine cover of X, and let \(\mathcal {F}\) be a sheaf of k-vector spaces. The Čech semicosimplicial sheaf \(\mathcal {F}({\mathcal {U}})\) is the semicosimplicial sheaf

$$\begin{aligned} \prod _i\mathcal {F}(U_i) \ \begin{array}{c} \longrightarrow \\ \longrightarrow \end{array} \ \prod _{i<j}\mathcal {F}(U_{ij}) \ \begin{array}{c} \longrightarrow \\ \longrightarrow \\ \longrightarrow \end{array} \ \prod _{i<j<k}\mathcal {F}(U_{ijk}) \ \begin{array}{c} \longrightarrow \\ \longrightarrow \\ \longrightarrow \\ \longrightarrow \end{array} \ \cdots \end{aligned}$$

with the usual Čech maps, and with \(\mathcal {F}(U) := j_*\mathcal {F}|_U\). Similarly, if \({\mathcal {G}}^{\bullet }\) is a sheaf of Gerstenhaber algebras on X, then \({\mathcal {G}}^{\bullet }({\mathcal {U}})\) is a semicosimplicial sheaf of Gerstenhaber algebras, i.e., each term \({\mathcal {G}}^{\bullet }({\mathcal {U}})_n = \prod _{i_0< \cdots < i_n}{\mathcal {G}}^{\bullet }(U_{i_0 \ldots i_n})\) is a Gerstenhaber algebra, and the Čech maps are morphisms thereof.

For each n, the differential forms on \(\{t_0 + \cdots + t_n = 1\} \subset \mathbb {A}^{n + 1}\) form a differential graded commutative algebra

$$\begin{aligned} (A_{PL})_n = k[t_0, \ldots , t_n, dt_0, \ldots , dt_n]/(1 - \sum t_i, \sum dt_i); \end{aligned}$$

here, \(\mathrm {deg}(t_i) = 0\) and \(\mathrm {deg}(dt_i) = 1\). In particular, \(k[t_0, \ldots , t_n, dt_0, \ldots , dt_n]\) is the graded commutative polynomial ring with \(dt_i \cdot dt_j = - dt_j \cdot dt_i\). The inclusions \(\mathbb {A}^{n} \rightarrow \mathbb {A}^{n + 1}\) of coordinate hyperplanes induce face maps \(\delta ^{k,n}: (A_{PL})_n \rightarrow (A_{PL})_{n - 1}\), which turn \(A_{PL}\) into a semisimplicial dgca. Given a semicosimplicial complex \(V^\Delta \) of k-vector spaces—i.e., \(V^\Delta ([n]) =: (V_n^{\bullet },d)\) is a complex—we use the maps \(\delta ^{k,n}\) together with the coface maps \(\partial _{k,n}\) of \(V^\Delta \) to define homomorphisms

$$\begin{aligned} \delta ^{k,n} \otimes \text {Id}:&\qquad (A_{PL})_n^i \otimes _k V_n^j\,\quad \rightarrow (A_{PL})_{n - 1}^i \otimes _k V_n^j\\ \text {Id} \otimes \partial _{k,n}:&\quad (A_{PL})_{n-1}^i \otimes _k V_{n - 1}^j \rightarrow (A_{PL})_{n - 1}^i \otimes _k V_n^j \end{aligned}$$

of vector spaces. Following [4], the Thom–Whitney bicomplex has graded pieces

$$\begin{aligned} C^{i,j}_\text {TW}(V^\Delta ) = \left\{ (x_n)_{n \in \mathbb {N}} \in \prod _{n \in \mathbb {N}} (A_{PL})_n^i \otimes V_n^j \ | \ (\delta ^{k,n} \otimes \text {Id})(x_n) = (\text {Id} \otimes \partial _{k,n})(x_{n-1}) \right\} \end{aligned}$$

with differentials given by

$$\begin{aligned}&\delta _1: C_\text {TW}^{i,j}(V^\Delta ) \rightarrow C^{i + 1,j}_\text {TW}(V^\Delta ), \quad (a_n \otimes v_n) \mapsto \qquad \quad (da_n \otimes v_n), \\&\delta _2: C_\text {TW}^{i,j}(V^\Delta ) \rightarrow C^{i,j + 1}_\text {TW}(V^\Delta ), \quad (a_n \otimes v_n) \mapsto (-1)^i(a_n \otimes dv_n). \end{aligned}$$

The Thom–Whitney complex \(\text {Tot}_\text {TW}(V^\Delta ) = \text {Tot}(C^{{\bullet },{\bullet }}_\text {TW}(V^\Delta ))\) is its total complex. The construction is functorial for homomorphisms of semicosimplicial dg vector spaces, and it is exact by [26, Lemma 2.4], where \(U^\Delta \rightarrow V^\Delta \rightarrow W^\Delta \) is exact if it is exact on each \(V_n^i\).

For later use, we prove a base change result on the Thom–Whitney construction. We say \(V^\Delta \) is bounded if \(V_n^{\bullet } = 0\) for \(n>\!\!> 0\).

Lemma 5.2

Let \(R \rightarrow S\) be a finite type homomorphism of k-algebras, and let \(V^\Delta \) be a bounded semicosimplicial complex of R-modules. Then the canonical map \(C_\text {TW}^{i,j}(V^\Delta ) \otimes _R S \rightarrow C_\text {TW}^{i,j}(V^\Delta \otimes _R S)\) is bijective.

Proof

After factoring \(R \rightarrow T \rightarrow S\)—where \(T = R[x_1,\ldots ,x_n]\) is a polynomial ring and \(T \rightarrow S\) is surjective—it suffices to prove the statement for \(R \rightarrow S\) either flat or surjective. For the flat case, first note that the product in the definition of \(C_\text {TW}^{i,j}\) is actually a finite direct sum because \(V^\Delta \) is bounded. Now \(C_\text {TW}^{i,j}(V^\Delta )\) is the kernel of

$$\begin{aligned} \sum _{n,k} (\delta ^{k,n} \otimes \text {Id} - \text {Id} \otimes \partial _{k,n}): \quad \bigoplus _n (A_{PL})_n^i \otimes V_n^j \rightarrow \bigoplus _{n} (A_{PL})_{n-1}^i \otimes V_n^j, \end{aligned}$$

so its formation commutes with flat tensor products. For the surjective case, let \(I \subset R\) be the kernel. Because \(C_\text {TW}^{i,j}\) is exact, we find a diagram

with exact rows. Then \(p_S\) is surjective, and a similar argument using a surjection \(R^{\oplus m} \rightarrow I\) shows \(p_I\) surjective as well. In particular, we find \(p_S\) bijective. \(\square \)

Thom–Whitney resolutions on schemes

We globalize the Thom–Whitney construction to schemes. This has been done in [9], but we recall it here for convenience.

Construction 5.3

Let X be a k-scheme and \(\mathcal {F}^\Delta \) be a semicosimplicial complex of sheaves of k-vector spaces. Then applying the above construction on every open, we obtain a presheaf \(C^{i,j}_\text {TW}(\mathcal {F}^\Delta )\), which is a sheaf. Indeed, for a sheaf \(\mathcal {E}\) of k-vector spaces, \(U \mapsto (A_{PL})^i_n \otimes _k {\mathcal {E}}(U)\) is a sheaf, products of sheaves are sheaves, and taking elements that satisfy an equation preserves the sheaf condition.

As above, we say \(\mathcal {F}^\Delta \) is bounded if \(\mathcal {F}^{\bullet }_n = 0\) for \(n>\!\!> 0\). In case \(\mathcal {F}^\Delta \) is a bounded semicosimplicial complex of quasi-coherent \(\mathcal {O}_X\)-modules, also \(C^{i,j}_\text {TW}(\mathcal {F}^\Delta )\) is a quasi-coherent \(\mathcal {O}_X\)-module because the infinite product in the construction is actually finite.

Lemma 5.4

Let \(c: Y \rightarrow X\) be a morphism of finite type of k-schemes, and let \(\mathcal {F}^\Delta \) be a bounded semicosimplicial complex of quasi-coherent \(\mathcal {O}_X\)-modules. Then the canonical map \(c^*C^{i,j}_\text {TW}(\mathcal {F}^\Delta ) \rightarrow C^{i,j}_\text {TW}(c^*\mathcal {F}^\Delta )\) is an isomorphism.

Proof

The inverse image \(c^*\mathcal {F}^\Delta \) is a bounded semicosimplicial complex of quasi-coherent \(\mathcal {O}_Y\)-modules, so everything is quasi-coherent. It thus suffices to compare on some affine cover of Y, where it follows from Lemma 5.2. \(\square \)

Example 5.5

Let X be a separated k-scheme of finite type, let \({\mathcal {U}} = \{U_i\}\) be a finite affine cover, and let \(\mathcal {F}^{\bullet }\) be a complex of quasi-coherent \(\mathcal {O}_X\)-modules. Then \(\mathcal {F}^{\bullet }({\mathcal {U}})\) is a bounded semicosimplicial complex of quasi-coherent \(\mathcal {O}_X\)-modules. Because the inclusions \(j: U_{i_0 \ldots i_n} \rightarrow X\) are affine, we have \(\mathcal {F}^{\bullet }({\mathcal {U}})\otimes \mathcal {O}_Y = (\mathcal {F}^{\bullet } \otimes \mathcal {O}_Y)({\mathcal {U}})\) for a thickening \(c: Y \rightarrow X\), and hence the natural map

$$\begin{aligned} c^*C^{i,j}_\text {TW}(\mathcal {F}^{\bullet }({\mathcal {U}})) \rightarrow C^{i,j}_\text {TW}\left( (c^*\mathcal {F}^{\bullet })(c^{-1}({\mathcal {U}}))\right) \end{aligned}$$

is an isomorphism.

For a complex of sheaves \(\mathcal {F}^{\bullet }\), the map

$$\begin{aligned} \mathcal {F}^j \rightarrow C^{0,j}_\text {TW}(\mathcal {F}^{\bullet }({\mathcal {U}})), \qquad f \mapsto (1 \otimes (f_{U|_{i_0 \ldots i_n}})) \end{aligned}$$

induces a quasi-isomorphism \(\mathcal {F}^{\bullet } \rightarrow \text {Tot}_\text {TW}(\mathcal {F}^{\bullet }({\mathcal {U}}))\); this is shown by postcomposing with the integration quasi-isomorphism to the Čech complex \(\check{\mathcal {C}}^{\bullet }({\mathcal {U}},\mathcal {F}^{\bullet })\).

Lemma 5.6

Let X be a separated k-scheme of finite type, let \({\mathcal {U}} = \{U_i\}\) be a finite affine cover, and let \(\mathcal {F}^{\bullet }\) be a complex of quasi-coherent \(\mathcal {O}_X\)-modules. Then we have \(H^\ell (X,C^{i,j}_\mathrm {TW}(\mathcal {F}^{\bullet }({\mathcal {U}}))) = 0\) for \(\ell \ge 1\).

Proof

We compute the cohomology via the Čech complex \(\check{\mathcal {C}}^{\bullet } ({\mathcal {U}},C^{i,j}_\mathrm {TW}(\mathcal {F}^{\bullet })) \); our proof roughly follows [1, Lemma 3.27]. Note that for an open \(V \subset X\), we have

$$\begin{aligned} C^{i,j}_\mathrm {TW}(\mathcal {F}^{\bullet }({\mathcal {U}}))(V)= & {} \{(f_{i_0\ldots i_n}) \in \prod _{i_0< \cdots < i_n} (A_{PL})^i_n \otimes \mathcal {F}^j(U_{i_0 \ldots i_n} \cap V) \ | \nonumber \\&\ \forall k \le n: (\delta _{k,n} \otimes \mathrm {Id})(f_{i_0 \ldots i_n}) = f_{i_0 \ldots \hat{i}_k \ldots i_n}|_{U_{i_0 \ldots i_n} \cap V} \} \end{aligned}$$
(4)

where the product runs over all (finitely many) ordered tuples \((i_0, \ldots ,i_n)\). Given an element \((f_{\alpha _0 \ldots \alpha _\ell ;i_0 \ldots i_n}) \in \check{\mathcal {C}}^\ell ({\mathcal {U}},C^{i,j}_\mathrm {TW}(\mathcal {F}^{\bullet }))\), we find

$$\begin{aligned} (\check{d}(f_{\alpha _0 \ldots \alpha _\ell ;i_0 \ldots i_n}))_{\alpha _0 \ldots \alpha _{\ell + 1};i_0 \ldots i_n} = \sum _{k = 0}^{\ell + 1}(-1)^kf_{\alpha _0 \ldots \hat{\alpha _k} \ldots \alpha _{\ell + 1};i_0 \ldots i_n}|_{U_{\alpha _0 \ldots \alpha _{\ell + 1}}\cap U_{i_0 \ldots i_n}} \end{aligned}$$

for the Čech differential, so we can work in \((A_{PL})_n^i \otimes \check{\mathcal {C}}^{\bullet } ({\mathcal {U}},\mathcal {F}^j(U_{i_0 \ldots i_n}))\) (notation from Example 5.1) for each tuple \((i_0, \ldots , i_n)\) separately. Because the complex \((A_{PL})_n^i \otimes \check{\mathcal {C}}^{\bullet } ({\mathcal {U}},\mathcal {F}^j(U_{i_0 \ldots i_n}))\) does not have cohomology in degree \(\not = 0\), we can find elements

$$\begin{aligned} F_{\alpha _0 \ldots \alpha _{\ell - 1};i_0 \ldots i_n} \in (A_{PL})^i_n \otimes \mathcal {F}^j(U_{\alpha _0 \ldots \alpha _{\ell - 1}} \cap U_{i_0 \ldots i_n}) \end{aligned}$$

with \(\check{d}(F_{\bullet }) = (f_{\bullet })\), but we might have \((F_{\bullet }) \notin \check{\mathcal {C}}^{\ell - 1} ({\mathcal {U}},C^{i,j}_\mathrm {TW}(\mathcal {F}^{\bullet }({\mathcal {U}})))\) since \((F_{\bullet })\) might not satisfy equation (4).

We correct \((F_{\bullet })\) to an element \((v_{\bullet }) \in \check{\mathcal {C}}^{\ell - 1} ({\mathcal {U}},C^{i,j}_\mathrm {TW}(\mathcal {F}^{\bullet }({\mathcal {U}})))\) by induction on n. For \(n < i\) we have \((A_{PL})^i_n = 0\), so we set \(v_{{\bullet };i_0 \ldots i_n} = 0\). For \(n = i\) we take \(v_{{\bullet };i_0 \ldots i_n} = F_{{\bullet };i_0 \ldots i_n}\) which satisfies equation (4) (when we plug it in on the left). For the induction step, let \(K_{n + 1}\) be the kernel of \(\check{\mathcal {C}}^{\ell - 1} ({\mathcal {U}},\mathcal {F}^j(U_{i_0 \ldots i_{n+1}})) \rightarrow \check{\mathcal {C}}^\ell ({\mathcal {U}},\mathcal {F}^j(U_{i_0 \ldots i_{n + 1}}))\), and note that \(\sum \delta _{k,n + 1}: (A_{PL})^i_{n + 1} \rightarrow \bigoplus _{k = 0}^{n + 1}(A_{PL})^i_n\) is surjective by [5, Lemma 8.3] (or [1, Lemma 3.5]). We assemble these spaces into a diagram

with exact columns and surjective rows. Assuming \((v_{\bullet })\) to be constructed up to order n, we need to find

$$\begin{aligned} (v_{{\bullet };i_0 \ldots i_{n + 1}}) \in (A_{PL})^i_{n + 1} \otimes \check{\mathcal {C}}^{\ell - 1} ({\mathcal {U}},\mathcal {F}^j(U_{i_0 \ldots i_{n+1}})) \end{aligned}$$

such that \(\check{d}(v_{{\bullet };i_0 \ldots i_{n + 1}}) = (f_{{\bullet };i_0 \ldots i_{n + 1}})\) and—to satisfy Eq. (4)—we have \(\Delta ^{\ell - 1}(v_{{\bullet };i_0 \ldots i_{n + 1}}) = \hat{v}_{i_0 \ldots i_{n + 1}}\) where \(\hat{v}_{i_0 \ldots i_{n + 1}}\) is constructed from \((v_{\bullet })\) (up to order n) by the right hand side of Eq. (4). Given \((F_{{\bullet };i_0 \ldots i_{n + 1}})\) this is an easy diagram chase. \(\square \)

Corollary 5.7

Let \(A' \rightarrow A\) be a morphism in \(\mathbf {Art}_Q\), let \(f': X' \rightarrow S'\) be separated, let \({\mathcal {U}}'\) be a finite affine cover of \(X'\), and let \(X = X' \times _{S'} S\). Let \(\mathcal {F}^{\bullet }\) be a complex of quasi-coherent \(\mathcal {O}_{X'}\)-modules which are flat over \(A'\), and let \(\mathcal {C} := C^{i,j}_\text {TW}(\mathcal {F}^{\bullet }({\mathcal {U}}'))\). Then the canonical map \(H^0(X',\mathcal {C}) \otimes _{A'} A \rightarrow H^0(X,\mathcal {C} \otimes _{A'} A)\) is bijective.

Proof

We have a factorization \(A' \rightarrow A'[x_1, \ldots ,x_n]/(x_1^{m_1}, \ldots ,x_n^{m_n}) \rightarrow A\) in \(\mathbf {Art}_Q\) with the second map surjective, so it suffices to prove the statement for \(A' \rightarrow A\) either flat or a small extension. The flat case is by flat base change. In the small extension case, let \(I \subset A'\) be the ideal. Then we have \(I \cdot \mathcal {C} \cong (\mathcal {C} \otimes _{A'} k) \otimes _k I\) due to flatness, so Proposition 5.6 shows \(H^1(X',I \cdot \mathcal {C}) = 0\); thus, the result follows from the long exact sequence in sheaf cohomology. \(\square \)

The Thom–Whitney Gerstenhaber algebra

We perform a Thom–Whitney resolution of the Gerstenhaber algebras \(G^{\bullet }_{V_\alpha /S}\) of polyvector fields and glue them canonically to a global sheaf of (bigraded) Gerstenhaber algebras \(\mathrm {PV}_{X_0/S}\). This sheaf depends on \(X_0\) and the base S, but not on a deformation \(f: X \rightarrow S\), thus the notation “\(X_0/S\)”. The gluing is inspired by the gluing construction in [1, 3.3].

Let \({\mathcal {G}}^{\bullet }\) be a Gerstenhaber k-algebra on a (separated) finite type k-scheme X, and let \({\mathcal {U}}\) be an open affine cover. To perform a Thom–Whitney resolution, we turn \({\mathcal {G}}^{\bullet }\) into a complex of coherent sheaves by endowing it with the differential 0. We set \(\text {TW}^{p,q}({\mathcal {G}}^{\bullet }) := C^{q,p}_\text {TW}({\mathcal {G}}^{\bullet }({\mathcal {U}}))\); the switch of indices is on purpose to fit the conventions of [1]. The operations

$$\begin{aligned} (a \otimes v) \wedge (b \otimes w) := (-1)^{|b||v|}(a \wedge b) \otimes (v \wedge w) \end{aligned}$$

and

$$\begin{aligned}{}[a \otimes v, b \otimes w] := (-1)^{(|v| + 1)|b|}(a\wedge b) \otimes [v,w] \end{aligned}$$

turn it into a bigraded Gerstenhaber algebra \({\text {TW}}^{{\bullet },{\bullet }}({\mathcal {G}}^{\bullet })\) (or \({\text {TW}}^{{\bullet },{\bullet }}\) for brevity), i.e., we have

$$\begin{aligned} {\text {TW}}^{p,q} \wedge {\text {TW}}^{i,j} \subset {\text {TW}}^{p + i, q + j} \quad \mathrm {and}\quad [{\text {TW}}^{p,q},{\text {TW}}^{i,j}] \subset {\text {TW}}^{p + i + 1, q + j} \end{aligned}$$

as well as the usual relations with respect to the total degree \(p + q\). The differential \(d: {\text {TW}}^{p,q} \rightarrow {\text {TW}}^{p,q+1}, a \otimes v \mapsto da \otimes v\), satisfies the relations

$$\begin{aligned} d(x \wedge y) = dx \wedge y + (-1)^{|x|} x \wedge dy, \quad d[x,y] = [dx,y] + (-1)^{|x| + 1}[x,dy] \end{aligned}$$
(5)

and \(d^2 = 0\) whereas the other differential \({\text {TW}}^{p,q} \rightarrow {\text {TW}}^{p + 1,q}\) of this Thom–Whitney bicomplex is 0. We say that its total complex \({\text {TW}}^{\bullet }({\mathcal {G}}^{\bullet }) := \mathrm {Tot}_\mathrm {TW}({\mathcal {G}}^{\bullet }({\mathcal {U}}))\) is a (strongly) differential Gerstenhaber algebra. The quasi-isomorphism \(({\mathcal {G}}^{\bullet },0) \rightarrow ({\text {TW}}^{\bullet }({\mathcal {G}}^{\bullet }),d)\) is a functorial acyclic resolution of differential Gerstenhaber algebras. In particular, we can recover \({\mathcal {G}}^{\bullet }\) as the cohomology sheaves \(\mathcal {H}^{\bullet }(\mathrm {TW}^{\bullet }({\mathcal {G}}^{\bullet }))\) which form a Gerstenhaber algebra for every differential Gerstenhaber algebra. Sometimes we write \(\mathcal {H}^{\bullet }({\text {TW}}^{{\bullet },{\bullet }})\) for the cohomology; then taking the total complex is implicit—cohomologies are, for us, always singly graded. However, in bidegree (pq) with \(q > 0\), the cohomology of \(d: {\text {TW}}^{p,q} \rightarrow {\text {TW}}^{p, q + 1}\) is 0 anyway.

Remark 6.1

Do not confuse our notion of differential Gerstenhaber algebra with the one of e.g. [20] which is more closely related to Batalin–Vilkovisky algebras.

Example 6.2

Let \(f: X \rightarrow S\) be a log smooth and saturated deformation of the space \(f_0: X_0 \rightarrow S_0\). Then we have a resolution \(G^{\bullet }_{X/S} \rightarrow {\text {TW}}^{\bullet }(G^{\bullet }_{X/S})\). If we deform further to \(f': X' \rightarrow S'\), then applying \({\text {TW}}(-)\) to the exact sequence (2) we obtain the exact sequence

$$\begin{aligned} 0 \rightarrow \mathcal {I}_{X'/X} \cdot {\text {TW}}^{\bullet }(G^{\bullet }_{X'/S'}) \rightarrow {\text {TW}}^{\bullet }(G^{\bullet }_{X'/S'}) \rightarrow {\text {TW}}^{\bullet }(G^{\bullet }_{X/S}) \rightarrow 0 \end{aligned}$$

because \({\text {TW}}^{\bullet }(G^{\bullet }_{X'/S'})\) is flat over \(S'\) and compatible with base change.

If \(\mathrm {exp}_\theta : G^{\bullet }_{X'/S'} \rightarrow G^{\bullet }_{X'/S'}\) is a gauge transform (relative to \(f: X \rightarrow S\)), then the induced automorphism \({\text {TW}}(\mathrm {exp}_\theta )\) is the gauge transform defined by the element

$$\begin{aligned} (1 \otimes (\theta |_{U_{i_0 \ldots i_n}})) \in \mathcal {I}_{X'/X}\cdot {\text {TW}}^{-1,0}(G^{\bullet }_{X'/S'}) \end{aligned}$$

via the formula in (3).

\((-1)\)-injectivity is preserved by the Thom–Whitney construction. This is important for Lemma 6.6 below.

Lemma 6.3

Let \({\mathcal {G}}^{\bullet }\) be a \((-1)\)-injective Gerstenhaber algebra. Then for a non-zero \(\theta \in {\text {TW}}^{-1,j}({\mathcal {G}}^{\bullet })\) the map \([\theta ,-]: {\text {TW}}^{0,0}({\mathcal {G}}^{\bullet }) \rightarrow {\text {TW}}^{0,j}({\mathcal {G}}^{\bullet })\) is not the zero map.

Proof

We work over an arbitrary open \(V \subset X\). Following the description of \(C^{i,j}_\mathrm {TW}\) in Lemma 5.6, the element \(\theta \in {\text {TW}}^{-1,j}({\mathcal {G}}^{\bullet })\) is given by a family \((\theta _{i_0 \ldots i_n})\). After denoting \(\{t_\mu \}\) some basis of \((A_{PL})^j_n\), we can decompose \(\theta _{i_0 \ldots i_n} = \sum _\mu a_\mu t_\mu \otimes \theta _{i_0 \ldots i_n}^\mu \) with \(\theta ^\mu _{i_0 \ldots i_n} \in {\mathcal {G}}^{-1}(U_{i_0 \ldots i_n} \cap V)\). For some non-zero \(\theta ^\mu _{i_0 \ldots i_n}\) we find a function \(f \in \mathcal {O}_X(U_{i_0 \ldots i_n} \cap V)\) such that \([\theta ^\mu _{i_0 \ldots i_n},f] \not = 0\), hence \([\theta ,(1 \otimes f)] \not = 0\) for the induced element \((1 \otimes f) \in {\text {TW}}^{0,0}({\mathcal {G}}^{\bullet })(U_{i_0 \ldots i_n} \cap V)\). \(\square \)

We apply this construction to the Gerstenhaber algebras \(G^{\bullet }_{V_\alpha /S}\) and obtain differential Gerstenhaber algebras \({\text {TW}}^{\bullet }(G^{\bullet }_{V_\alpha /S})\) as well as isomorphisms \({\text {TW}}(\phi _{\alpha \beta })\) on overlaps. Every cocycle

$$\begin{aligned} {\text {TW}}(\phi _{\gamma \alpha }) \circ {\text {TW}}(\phi _{\beta \gamma }) \circ {\text {TW}}(\phi _{\alpha \beta }) \end{aligned}$$

is a gauge transform by an element in \(\mathcal {I}\cdot {\text {TW}}^{-1,0}(G^{\bullet }_{V_\alpha /S}|_{V_\alpha \cap V_\beta \cap V_\gamma })\), where \(\mathcal {I}\) is the kernel of \(\mathcal {O}_X \rightarrow \mathcal {O}_{X_0}\). When gluing them as differential Gerstenhaber algebras, this induces a Gerstenhaber deformation (Definition 4.1) by taking cohomology. As a step towards that, our goal is to glue them as a bigraded Gerstenhaber algebra, i.e., without differential (and keeping the bigrading).

Definition 6.4

A Thom–Whitney–Gerstenhaber (TWG) deformation is a bigraded Gerstenhaber algebra \(\mathcal {T}^{{\bullet },{\bullet }}\) with a morphism \(\mathcal {T}^{{\bullet },{\bullet }} \rightarrow {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{X_0/S_0})\) (of bigraded Gerstenhaber algebras) and isomorphisms \(\chi _\alpha : \mathcal {T}^{{\bullet },{\bullet }}|_{V_\alpha } \cong {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S})\) compatible with the maps to \({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{X_0/S_0})\) such that the cocycle \(\phi _{\alpha \beta } \circ \chi _\alpha \circ \chi _\beta ^{-1}\) is a gauge transform defined by an element in \(\mathcal {I}\cdot {\text {TW}}^{-1,0}(G^{\bullet }_{V_\beta /S}|_{V_\alpha \cap V_\beta })\). Isomorphisms are analogous to Gerstenhaber deformations.

In general, gauge transforms are not compatible with the differentials, so there is no canonical differential on \(\mathcal {T}^{{\bullet },{\bullet }}\) coming out of the data. The canonical example of a TWG deformation is the following.

Example 6.5

Let \({\mathcal {G}}^{\bullet }\) be a Gerstenhaber deformation. Then \({\text {TW}}^{{\bullet },{\bullet }}({\mathcal {G}}^{\bullet })\) is a TWG deformation upon forgetting the differential.

Given a morphism \(S \rightarrow S'\) in \(\mathbf {Art}_Q\) and a TWG deformation \(\mathcal {T}^{{\bullet },{\bullet }}\) on \(S'\), Lemma 5.4 shows that \(\mathcal {T}^{{\bullet },{\bullet }}\otimes _{A'} A\) is a TWG deformation as well (where \(A = \mathcal {O}(S)\)). Moreover, TWG deformations have a deformation theory just like classical flat deformations:

Lemma 6.6

Let \(0 \rightarrow I \rightarrow A' \rightarrow A \rightarrow 0\) be a small extension in \(\mathbf {Art}_Q\) and let \(\mathcal {T}^{{\bullet },{\bullet }}\) be a TWG deformation on \(S = \mathrm {Spec}\ A\). Then:

  • Given a lifting \(\mathcal {T}'^{{\bullet },{\bullet }}\) on \(S'\), the relative automorphisms are in

    $$\begin{aligned} H^0(X_0,{\text {TW}}^{-1,0}(G^{\bullet }_{X_0/S_0})) \otimes _k I. \end{aligned}$$
  • Given a lifting \(\mathcal {T}'^{{\bullet },{\bullet }}\) on \(S'\), the isomorphism classes of liftings are in

    $$\begin{aligned} H^1(X_0,{\text {TW}}^{-1,0}(G^{\bullet }_{X_0/S_0})) \otimes _k I. \end{aligned}$$
  • The obstructions to the existence of a lifting are in

    $$\begin{aligned} H^2(X_0,{\text {TW}}^{-1,0}(G^{\bullet }_{X_0/S_0})) \otimes _k I. \end{aligned}$$

Since \({\text {TW}}^{-1,0}(G^{\bullet }_{X_0/S_0})\) is acyclic by Lemma 5.6, there is indeed a unique lifting up to isomorphism. This means for every S, there is up to isomorphism a unique TWG deformation \({\text {PV}}_{X_0/S}\) (depending on S and the morphism \(f_0: X_0 \rightarrow S_0\), but no further data) which we call the Thom–Whitney Gerstenhaber algebra. In fact, \({\text {PV}}_{X_0/S}\) has many automorphisms, so there is no canonical choice. Thus we fix once and for all one \({\text {PV}}_{X_0/S}\) for every \(S \in \mathbf {Art}_Q\). The notation \({\text {PV}}\) is taken from [1]; presumably, \({\text {PV}}\) stands for “polyvector fields” since it is obtained by resolving the Gerstenhaber algebra of polyvector fields.

Proof of the Lemma

Given a lifting \(\mathcal {T}'^{{\bullet },{\bullet }}\), we consider the choice of a morphism \(\mathcal {T}'^{{\bullet },{\bullet }} \rightarrow \mathcal {T}^{{\bullet },{\bullet }}\) that is the given one on \({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S'}) \rightarrow {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S})\) as part of the datum. Since the gauge transforms \(\phi _{\alpha \beta } \circ \chi _\alpha \circ \chi _\beta ^{-1}\) are \(A'\)-linear, the TWG deformation \(\mathcal {T}'^{{\bullet },{\bullet }}\) consists of sheaves of \(A'\)-modules. Thus the sequence

$$\begin{aligned} 0 \rightarrow I \cdot \mathcal {T}'^{{\bullet },{\bullet }} \rightarrow \mathcal {T}'^{{\bullet },{\bullet }} \rightarrow \mathcal {T}^{{\bullet },{\bullet }} \rightarrow 0 \end{aligned}$$

makes sense and it is exact because it is locally the sequence of Example 6.2. Every element \(\theta \in I \cdot \mathcal {T}'^{-1,0}\) induces a gauge transform \(\mathrm {exp}_\theta \) by the formula in Sect. 4. It is an automorphism of \(\mathcal {T}'^{{\bullet },{\bullet }}\) in the sense of Definition 6.4 because it is a gauge transform on \({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S'})\) as well, so we obtain a sheaf map

$$\begin{aligned} \mathrm {exp}_{\mathcal {T}'/\mathcal {T}}: I \cdot \mathcal {T}'^{-1,0} \rightarrow \mathcal {A}ut_{\mathcal {T}'/\mathcal {T}}, \quad \theta \mapsto (\xi \mapsto \xi + [\theta ,\xi ]) \end{aligned}$$

into the sheaf of lifting automorphisms. It is injective due to Lemma 6.3. By the very definition of an automorphism of TWG deformations, every \(\varphi \in \mathcal {A}ut_{\mathcal {T}'/\mathcal {T}}\) is (locally) induced by some \(\theta \in \mathfrak {m} \cdot \mathcal {T}'^{-1,0}\) where \(\mathfrak {m} \subset A'\) is the maximal ideal. Because the induced automorphism on \(\mathcal {T}^{{\bullet },{\bullet }}\) is the identity, we have indeed that \(\theta \in I \cdot \mathcal {T}'^{-1,0}\), so \(\mathrm {exp}_{\mathcal {T}'/\mathcal {T}}\) is an isomorphism. Finally we have \({\text {TW}}^{-1,0}(G^{\bullet }_{X_0/S_0}) \otimes _k I \cong I \cdot \mathcal {T}'^{-1,0}\), so the result follows by the standard methods that are developed for smooth deformations in [8, III]. \(\square \)

Corollary 6.7

Let \(I_S \subset A = \mathcal {O}(S)\) be the maximal ideal. Then every automorphism of a TWG deformation \(\mathcal {T}\) is a gauge transform, i.e.,

$$\begin{aligned} \mathrm {exp}_\mathcal {T}: I_S \cdot \mathcal {T}^{-1,0} \rightarrow \mathcal {A}ut_\mathcal {T}\end{aligned}$$

is an isomorphism (once we endow \(I_S \cdot \mathcal {T}^{-1,0}\) with the Baker–Campbell–Hausdorff product).

Proof

This follows by induction on the length of A, breaking the extension into small extensions. \(\square \)

Remark 6.8

If \(S \rightarrow S'\) is a map in \(\mathbf {Art}_Q\) corresponding to a homomorphism \(A' \rightarrow A\) of Artin rings, then \({\text {PV}}_{X_0/S'} \otimes _{A'} A\) is a TWG deformation on S. In particular, there is an isomorphism to \({\text {PV}}_{X_0/S}\). Moreover, we have an induced homomorphism \({\text {PV}}_{X_0/S'} \rightarrow {\text {PV}}_{X_0/S'} \otimes _{A'} A\). However, there is no canonical homomorphism \({\text {PV}}_{X_0/S'} \rightarrow {\text {PV}}_{X_0/S}\) since there is no preferred isomorphism \({\text {PV}}_{X_0/S'} \otimes _{A'} A \cong {\text {PV}}_{X_0/S}\). This is because \({\text {PV}}_{X_0/S}\) has many automorphisms. We see that \(S \mapsto {\text {PV}}_{X_0/S}\) is not functorial in a strict sense.

Differentials on TWG deformations

After constructing a unique TWG deformation \({\text {PV}}_{X_0/S}\), we now study differentials \(d: {\text {PV}}_{X_0/S}^{p,q} \rightarrow {\text {PV}}_{X_0/S}^{p,q+1}\) on it. Recall from e.g. [1, Lemma 2.5] that if \(\theta \in \mathcal {I}_{X/X_0} \cdot {\text {TW}}^{-1,0}(G^{\bullet }_{X/S})\), then

$$\begin{aligned} \mathrm {exp}_\theta \circ (d + [\xi ,-]) \circ \mathrm {exp}_{-\theta } = d + [\mathrm {exp}_\theta (\xi ) - T([\theta ,-])(d\theta ),-] \end{aligned}$$
(6)

where \(T([\theta ,-])\) means to plug in the operator \([\theta ,-]\) into the power series expansion of \(T(x) = \frac{\mathrm {exp}(x) - 1}{x}\). This means under a gauge transform, the differential d is transformed into something of the form \(d + [\eta ,-]\) for \(\eta \in \mathcal {I}_{X/X_0}\cdot {\text {TW}}^{-1,1}(G^{\bullet }_{X/S})\). Hence every differential on \({\text {PV}}_{X_0/S}\) should be locally of this form. More formally we define:

Definition 7.1

Let \(\mathcal {T}^{{\bullet },{\bullet }}\) be a TWG deformation. Then a predifferential is a map \(d: \mathcal {T}^{p,q} \rightarrow \mathcal {T}^{p,q + 1}\) that satisfies (5), that is compatible with the differential on \({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{X_0/S_0})\), and such that

$$\begin{aligned} d|_{V_\alpha } - \chi _\alpha ^{-1} \circ d_\alpha \circ \chi _\alpha = [\eta _\alpha ,-] \end{aligned}$$

for some \(\eta _\alpha \in \mathcal {I}\cdot \mathcal {T}^{-1,1}|_{V_\alpha }\) where \(d_\alpha \) is the differential on \({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S})\). It is a differential if \(d^2 = 0\). We denote the set of predifferentials by \(\mathrm {PDiff}(\mathcal {T}^{{\bullet },{\bullet }})\) and the set of differentials by \(\mathrm {Diff}(\mathcal {T}^{{\bullet },{\bullet }})\). Two predifferentials \(d_1,d_2\) are gauge equivalent, if there is an automorphism \(\psi : \mathcal {T}^{{\bullet },{\bullet }} \rightarrow \mathcal {T}^{{\bullet },{\bullet }}\) of TWG deformations such that \(\psi \circ d_1 = d_2 \circ \psi \).

Example 7.2

Let \({\mathcal {G}}^{\bullet }\) be a Gerstenhaber deformation. Then the differential of \({\text {TW}}^{{\bullet },{\bullet }}({\mathcal {G}}^{\bullet })\) is a differential in the above sense. Since \({\text {TW}}^{{\bullet },{\bullet }}({\mathcal {G}}^{\bullet }) \cong {\text {PV}}_{X_0/S}\), it induces a differential on \({\text {PV}}_{X_0/S}\) whose gauge equivalence class does not depend on the chosen isomorphism.

Every restriction \({\text {PV}}_{X_0/S'} \rightarrow {\text {PV}}_{X_0/S}\) induces a restriction \(\mathrm {Diff}({\text {PV}}_{X_0/S'}) \rightarrow \mathrm {Diff}({\text {PV}}_{X_0/S})\) on differentials. On gauge equivalence classes, this restriction is independent of the chosen map \({\text {PV}}_{X_0/S'} \rightarrow {\text {PV}}_{X_0/S}\), so we obtain a functor

$$\begin{aligned} TD_{X_0/S_0}: \mathbf {Art}_Q \rightarrow \mathbf {Set} \end{aligned}$$

of Artin rings. To construct an inverse of the natural transformation

$$\begin{aligned} \mathbf {tw}: GD_{X_0/S_0} \Rightarrow TD_{X_0/S_0} \end{aligned}$$

given by Example 7.2, we need a lemma.

Lemma 7.3

Let \(\eta _\alpha \in I_S \cdot {\text {TW}}^{-1,1}(G^{\bullet }_{V_\alpha /S})\) be such that \(d_\alpha + [\eta _\alpha ,-]\) is a differential. Then the two differentials \(d_\alpha \) and \(d_\alpha + [\eta _\alpha ,-]\) are gauge equivalent.

Proof

First assume \(S \rightarrow S'\) is a small extension, set \(\mathcal {T}' := {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S'})\) etc. and consider \(\eta _\alpha \in I_{S'}\cdot \mathcal {T}'^{-1,1}\) such that \(\eta _\alpha |_S = 0\). Then the condition that \(d_\alpha + [\eta _\alpha ,-]\) is a differential (has square zero) becomes \(d\eta _\alpha = 0\) (cf. Maurer–Cartan equation), and for \(\theta \in I \cdot \mathcal {T}'^{-1,0}\) formula (6) simplifies to \( \mathrm {exp}_\theta \circ d \circ \mathrm {exp}_{-\theta } = d + [-d\theta ,-]\). Because \(V_\alpha \) is affine, we have \(H^1(V_\alpha , G^{-1}_{V_\alpha /S'}) = 0\), so we can find a gauge transform in \(\mathcal {A}ut_{\mathcal {T}'/\mathcal {T}}\) with \(\mathrm {exp}_\theta \circ d_\alpha = (d + [\eta _\alpha ,-]) \circ \mathrm {exp}_\theta \).

Now the proof is by induction on the length of \(A = \mathcal {O}(S)\). If \(\eta _\alpha \in I_{S'}\cdot \mathcal {T}'^{-1,1}\) such that \(d_\alpha + [\eta _\alpha ,-]\) is a differential, then the restrictions to \(\mathcal {T}\) are gauge equivalent. The gauge transform can be lifted to \(\mathcal {T}'\), giving a gauge equivalence of \(d_\alpha + [\eta _\alpha ,-]\) and \(d_\alpha + [\eta _\alpha ',-]\) for some \(\eta _\alpha '\) with \(\eta _\alpha '|_S = 0\), the latter being gauge equivalent to \(d_\alpha \) by the above argument. \(\square \)

Given a differential \(d \in \mathrm {Diff}({\text {PV}}_{X_0/S})\), the isomorphism

$$\begin{aligned} \chi _\alpha : ({\text {PV}}_{X_0/S},d)|_{V_\alpha } \cong ({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S}),d_\alpha + [\chi _\alpha (\eta _\alpha ),-]) \end{aligned}$$

is compatible with differentials. By Lemma 7.3 we can further compose with a gauge transform to \(({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S}),d_\alpha )\). Thus taking cohomology yields a Gerstenhaber deformation \(\mathcal {H}^{\bullet }({\text {PV}}_{X_0/S},d)\) whose isomorphism class does not depend on the chosen gauge transform (namely, every gauge transform that leaves the differential invariant descends to a gauge transform on cohomology). Likewise, if \(d_1\) and \(d_2\) are gauge equivalent differentials, the induced Gerstenhaber deformations are isomorphic. We find a natural transformation

$$\begin{aligned} \mathbf {h}: TD_{X_0/S_0} \Rightarrow GD_{X_0/S_0} \end{aligned}$$

which is inverse to the natural transformation \(\mathbf {tw}\) constructed above.

Lemma 7.4

The functors \(GD_{X_0/S_0}\) and \(TD_{X_0/S_0}\) are naturally equivalent.

Proof

Given a Gerstenhaber deformation \({\mathcal {G}}^{\bullet }\), we have a resolution \({\mathcal {G}}^{\bullet } \rightarrow {\text {TW}}^{\bullet }({\mathcal {G}}^{\bullet })\), so \(\mathbf {h} \circ \mathbf {tw} = \mathrm {Id}\). It thus suffices to prove that \(\mathbf {h}\) is injective. Let \(d_1,d_2\) be two differentials and let \(\psi : \mathcal {H}^{\bullet }({\text {PV}}_{X_0/S},d_1) \cong \mathcal {H}^{\bullet }({\text {PV}}_{X_0/S},d_2)\) be an isomorphism. Fix the structure of Gerstenhaber deformation on the cohomologies by choosing isomorphisms \(\tilde{\chi }_{\alpha ,i}: ({\text {PV}}_{X_0/S},d_i)|_{V_\alpha } \cong ({\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S}),d_\alpha )\) as in the construction of \(\mathbf {h}\). The map \(\psi \) induces a gauge transform \(\mathrm {exp}_{\theta _\alpha }: G^{\bullet }_{V_\alpha /S} \rightarrow G^{\bullet }_{V_\alpha /S}\) which has a unique lift to a gauge transform \(\mathrm {exp}_{\tilde{\theta }_\alpha }: {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S}) \rightarrow {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{V_\alpha /S})\) since \({\text {TW}}^{-1,{\bullet }}(G^{\bullet }_{V_\alpha /S})\) is a resolution of \(G^{-1}_{V_\alpha /S}\). Using the \(\tilde{\chi }_{\alpha ,i}\), we obtain an isomorphism \(({\text {PV}}_{X_0/S},d_1)|_{V_\alpha } \rightarrow ({\text {PV}}_{X_0/S},d_2)|_{V_\alpha }\) inducing \(\psi \) in cohomology. Again by uniqueness they glue to a global isomorphism, so \(d_1,d_2\) are gauge equivalent. \(\square \)

Maurer–Cartan elements

We construct a \(k\left[ \!\left[ Q\right] \!\right] \)-linear pdgla \(L^{\bullet }_{X_0/S_0}\) which controls \(TD_{X_0/S_0}\) and thus log smooth deformations. To this end, we relate differentials on \({\text {PV}}_{X_0/S}\) to an appropriate Maurer–Cartan equation.

The predifferentials \(\mathrm {PDiff}({\text {PV}}_{X_0/S})\)—considered as a sheaf on \(X_0\)—form an \(I_S \cdot {\text {PV}}_{X_0/S}^{-1,1}\)-torsor for its additive group structure. Indeed, for \(\eta \in I_S \cdot {\text {PV}}_{X_0/S}^{-1,1}\) and \(d \in \mathrm {PDiff}({\text {PV}}_{X_0/S})\), also \(d + [\eta ,-]\) is a predifferential. Every predifferential is (locally) of this form and Lemma 6.3 shows that for \(\eta \not = \eta '\) we have \(d + [\eta ,-] \not = d + [\eta ',-]\). Using Lemma 5.6 inductively over small extensions, we find \(H^\ell (X_0,{\text {PV}}^{i,j}_{X_0/S}) = 0\) for \(\ell \ge 1\). This suggests \(H^1(X_0,I_S \cdot {\text {PV}}^{-1,1}_{X_0/S}) = 0\) (which does not follow immediately), so there would be always a predifferential. In fact, more is true:

Lemma 8.1

Let \(S \rightarrow S'\) be a small extension and let \(d \in \mathrm {PDiff}({\text {PV}}_{X_0/S})\). Choose a restriction \({\text {PV}}_{X_0/S'} \rightarrow {\text {PV}}_{X_0/S}\) (which is unique up to automorphisms of \({\text {PV}}_{X_0/S}\)). Then there is a predifferential \(d' \in \mathrm {PDiff}({\text {PV}}_{X_0/S'})\) with \(d'|_S = d\).

Proof

The sheaf of predifferentials on \({\text {PV}}_{X_0/S'}\) that restrict to d over S is an \(I\cdot {\text {PV}}_{X_0/S'}^{-1,1}\)-torsor. Since

$$\begin{aligned} H^1(X_0,I\cdot {\text {PV}}_{X_0/S'}^{-1,1}) \cong H^1(X_0,{\text {TW}}^{-1,1}(G^{\bullet }_{X_0/S_0}) \otimes I) = 0, \end{aligned}$$

it has a global section. \(\square \)

Corollary 8.2

\(\mathrm {PDiff}({\text {PV}}_{X_0/S})\) is a trivial \(I_S \cdot {\text {PV}}_{X_0/S}^{-1,1}\)-torsor. Every predifferential d induces a bijection \(I_S \cdot {\text {PV}}_{X_0/S}^{-1,1} \rightarrow \mathrm {PDiff}({\text {PV}}_{X_0/S}), \eta \mapsto d_\eta := d + [\eta ,-]\).

Remark 8.3

The predifferential that we find here corresponds to the operator \(\bar{\partial }_\alpha + [\mathfrak {d}_\alpha ,\cdot ]\) in [1, Thm. 3.34].

Given a differential \(d \in \mathrm {Diff}({\text {PV}}_{X_0/S})\) and \(\eta \in I_S \cdot {\text {PV}}_{X_0/S}^{-1,1}\), we find

$$\begin{aligned} (d + [\eta ,-])^2(\kappa ) =\left[ d\eta + \frac{1}{2}[\eta ,\eta ],\kappa \right] =: [\ell ,\kappa ]. \end{aligned}$$

The element \(\ell \in {\text {PV}}_{X_0/S}^{-1,2}\) is unique with that property by Lemma 6.3, so indeed for every predifferential d there is a unique \(\ell = \ell (d) \in {\text {PV}}_{X_0/S}^{-1,2}\) with \(d^2 = [\ell ,-]\) (because locally we can compare it to a differential). Now if d is a predifferential, then

$$\begin{aligned} (d + [\eta ,-])^2 = \left[ d\eta + \frac{1}{2}[\eta ,\eta ] + \ell (d),- \right] \end{aligned}$$

so \(d + [\eta ,-]\) is a differential if and only if \(d\eta + \frac{1}{2}[\eta ,\eta ] + \ell = 0\). This is the Maurer–Cartan equation.

Remark 8.4

Our Maurer–Cartan equation corresponds to the classical Maurer–Cartan equation in [1, Defn. 5.10].

Our next goal is to construct the \(k\left[ \!\left[ Q\right] \!\right] \)-pdgla \(L^{\bullet }_{X_0/S_0}\). Let \(\mathcal {A}:= k\left[ \!\left[ Q\right] \!\right] \), let \({\mathfrak {m}}_Q \subset \mathcal {A}\) be the maximal ideal, let \(\mathcal {A}_k := \mathcal {A}/{\mathfrak {m}}_Q^{k + 1}\), and let \(S_k := \mathrm {Spec}\ (Q \rightarrow \mathcal {A}_k)\). Then \(S_k \rightarrow S_{k + 1}\) is a small extension, so after choosing restrictions \({\text {PV}}_{X_0/S_{k + 1}} \rightarrow {\text {PV}}_{X_0/S_k}\) we choose inductively compatible predifferentials \(d_k\) on \({\text {PV}}_{X_0/S_k}\) by Lemma 8.1. For \(S \in \mathbf {Art}_Q\), there is at most one morphism \(S \rightarrow S_k\), and there is a minimal k such that \(\mathrm {Hom}(S,S_k) \not = \emptyset \). For this minimal k, we choose a restriction \({\text {PV}}_{X_0/S_k} \rightarrow {\text {PV}}_{X_0/S}\) and we endow \({\text {PV}}_{X_0/S}\) with the restricted predifferential \(d_k|_S\). The construction yields an \(\mathcal {O}(S)\)-pdgla

$$\begin{aligned} L^{\bullet }(S) := (\Gamma (X_0,{\text {PV}}^{-1,{\bullet }}_{X_0/S}),\ [-,-],\ d_k|_S,\ \ell (d_k|_S)) \end{aligned}$$

which is functorial for morphisms \(S \rightarrow S_\ell \) (where \(\ell \ge k\)). In particular, using Corollary 5.7, we get exact sequences

$$\begin{aligned} 0 \rightarrow {\mathfrak {m}}_Q^{k + 1}\cdot L^{\bullet }(S_{k + 1}) \rightarrow L^{\bullet }(S_{k + 1}) \rightarrow L^{\bullet }(S_k) \rightarrow 0 \end{aligned}$$

on the level of global sections where the right hand map is compatible with d and \(\ell \). The limit

$$\begin{aligned} L^{\bullet } := L^{\bullet }_{X_0/S_0} := \varprojlim L^{\bullet }(S_k) \end{aligned}$$

is an \(\mathcal {A}\)-pdgla since its pieces are complete by [33, 09B8] (note the index shift).

Remark 8.5

In case \(Q = 0\), the pdgla \(L^{\bullet }\) is an actual dgla. Namely, we have \(\mathcal {A}= k\left[ \!\left[ 0\right] \!\right] = k\) and thus \(\mathcal {A}_k = k\)—all restrictions \({\text {PV}}_{X_k/S_0} \rightarrow {\text {PV}}_{X_0/S_0}\) are isomorphisms. Therefore, \(d_k = d_0\) is a differential and \(\ell (d_k) = 0\).

Proposition 8.6

There is a natural equivalence \(\mathbf {mc}: \mathrm {Def}_{L^{\bullet }} \Rightarrow TD_{X_0/S_0}\).

Proof

By [33, 09B8] the canonical map

$$\begin{aligned} L^{\bullet }_{X_0/S_0} \otimes _\mathcal {A}\mathcal {A}_k \rightarrow L^{\bullet }(S_k) \end{aligned}$$

is an isomorphism, so after restriction along \(S \rightarrow S_k\) and using Corollary 5.7, we obtain an isomorphism

$$\begin{aligned} L^{\bullet }_{X_0/S_0} \otimes _\mathcal {A}\mathcal {O}(S) \rightarrow L^{\bullet }(S) = \Gamma (X_0,{\text {PV}}^{-1,{\bullet }}_{X_0/S}), \end{aligned}$$

which is functorial with respect to \(S \rightarrow S_\ell \). Maurer–Cartan elements \(\eta \in I_S \cdot L^1(S)\) induce differentials \(d_\eta \in \mathrm {Diff}({\text {PV}}_{X_0/S})\) by Corollary 8.2. If \(\eta ,\eta ' \in I_S \cdot L^1(S)\) are gauge equivalent via \(\theta \in I_S \cdot L^0(S)\), i.e., we have \(d_\eta \circ \mathrm {exp}_\theta = \mathrm {exp}_\theta \circ d_{\eta '}\) on \(L^{\bullet }(S)\), then \(d_\eta ,d_{\eta '}\) are gauge equivalent on \({\text {PV}}_{X_0/S}\). Indeed, by Corollary 8.2 we can find a unique \(\xi \in I_S\cdot L^1(S)\) such that

$$\begin{aligned} d_\xi = \mathrm {exp}_\theta \circ d_{\eta '} \circ \mathrm {exp}_\theta ^{-1} \end{aligned}$$

on \({\text {PV}}_{X_0/S}\). Restricting the equation to \(L^{\bullet }(S) \subset {\text {PV}}_{X_0/S}\), we find \(\eta = \xi \) by Lemma 6.3. We get a well-defined transformation \(\mathbf {mc}\) on the level of objects. It is injective because every automorphism of \({\text {PV}}_{X_0/S}\) is a gauge transform, and it is surjective by Corollary 8.2 and the fact that \(d_\eta \) is a differential if and only if \(\eta \) is Maurer–Cartan. \(\mathbf {mc}\) is a natural transformation, i.e., compatible with maps \(S \rightarrow S'\), because we can always find a restriction \({\text {PV}}_{X_0/S'} \rightarrow {\text {PV}}_{X_0/S}\) which fits into a commutative diagram

with the chosen horizontal maps. Finally, recall that on \(TD_{X_0/S_0}\) the restriction is independent of the choice for \({\text {PV}}_{X_0/S'} \rightarrow {\text {PV}}_{X_0/S}\). \(\square \)

Using Proposition 10.5, we recover that \(LD_{X_0/S_0}\) is a deformation functor, which was first proved in [14]. We find that the tangent space \(t_{LD}\) is isomorphic to \(H^1(L^{\bullet }_0) \cong H^1(X_0, \Theta ^1_{X_0/S_0})\), so in case \(f_0: X_0 \rightarrow S_0\) is proper, we recover that \(LD_{X_0/S_0}\) has a hull by Schlessingers’ criterion [31, Thm. 2.11].

Example: a log smooth curve

In this section, we compute the pdgla \(L^{\bullet }_{C_0/S_0}\) for a log smooth curve \(f_0: C_0 \rightarrow S_0\); though not all intricacies of \(L^{\bullet }_{X_0/S_0}\) show up here, it gives a first impression of how the pdgla looks like. As underlying space, we take

$$\begin{aligned} \underline{C}_0 := \{XYZ = 0\} \subset \mathbb {P}^2_k, \end{aligned}$$

i.e., three pairwise intersecting lines. It carries an obvious log structure of embedding type (see [14, 11.4]) via the embedding \(\underline{C}_0 \subset \mathbb {P}^2_k\); however, it does not admit a global section (at least we cannot find it) which would yield a log smooth log morphism \(f_0: C_0 \rightarrow S_0 := \mathrm {Spec}\ (\mathbb {N}\rightarrow k)\). Instead, we turn \(\underline{C}_0\) into a log smooth curve as follows: The standard open covering of \(\mathbb {P}^2_k\) induces an open covering of \(\underline{C}_0\) with three opens

$$\begin{aligned} V_x = \mathrm {Spec}\ k[y,z]/(yz), \quad V_y = \mathrm {Spec}\ k[z,x]/(zx), \quad V_z = \mathrm {Spec}\ k[x,y]/(xy) \end{aligned}$$

which are glued via

$$\begin{aligned} \mathcal {O}(V_x|_{xy})= & {} k[y]_y \xrightarrow {\cong } k[x]_x = \mathcal {O}(V_y|_{xy}), \quad y \mapsto 1/x, \\ \mathcal {O}(V_y|_{yz})= & {} k[z]_z \xrightarrow {\cong } k[y]_y = \mathcal {O}(V_z|_{yz}), \quad z \mapsto 1/y, \\ \mathcal {O}(V_z|_{zx})= & {} k[x]_x \xrightarrow {\cong } k[z]_z = \mathcal {O}(V_x|_{zx}), \quad x\mapsto 1/z. \end{aligned}$$

Each open \(V_\alpha \) has a deformation \(C_\alpha \rightarrow \mathbb {S}:= \mathbb {A}^1_t\); more precisely, we have three log smooth families

$$\begin{aligned} C_x:= & {} \mathrm {Spec}\ (\mathbb {N}^2 \rightarrow k[y,z]) \rightarrow \mathrm {Spec}\ (\mathbb {N}\rightarrow k[t]) = \mathbb {S}, \quad t \mapsto yz, \\ C_y:= & {} \mathrm {Spec}\ (\mathbb {N}^2 \rightarrow k[z,x]) \rightarrow \mathrm {Spec}\ (\mathbb {N}\rightarrow k[t]) = \mathbb {S}, \quad t \mapsto zx, \\ C_z:= & {} \mathrm {Spec}\ (\mathbb {N}^2 \rightarrow k[x,y]) \rightarrow \mathrm {Spec}\ (\mathbb {N}\rightarrow k[t]) = \mathbb {S}, \quad t \mapsto xy. \end{aligned}$$

We define \(C_x|_{xy} := \{y \not = 0\} \subset C_x\) etc.—then we have isomorphisms

$$\begin{aligned}&C_x|_{xy} \xrightarrow {\cong } C_y|_{xy}, \quad y \mapsto 1/x, \quad z \mapsto zx^2, \\&C_y|_{yz} \xrightarrow {\cong } C_z|_{yz}, \quad z \mapsto 1/y, \quad x \mapsto xy^2, \\&C_z|_{zx} \xrightarrow {\cong } C_x|_{zx}, \quad x \mapsto 1/z, \quad y \mapsto yz^2 \end{aligned}$$

of families of log schemes. These are not the standard isomorphisms which yield \(\mathbb {P}^2\); in fact, they do not satisfy the cocycle condition on the triple intersection, and thus, they cannot be glued to a family. However, unlike the standard isomorphisms, they are compatible with the map to the base. Thus, after restriction to \(\underline{C}_0\), they glue to a log smooth curve \(f_0: C_0 \rightarrow S_0\) because on \(\underline{C}_0\), the cocycle condition is empty—there is no triple intersection.

We compute the Gerstenhaber algebra \(G^{\bullet }_{C_0/S_0}\) of polyvector fields; it is concentrated in degrees 0 and \(-1\). The sheaf of absolute log differentials \(\Omega ^1_{C_0}\) is on the open cover \(\{V_\alpha \}\) given by

$$\begin{aligned} \Omega ^1_{C_0}|_{V_x} = \mathcal {O}_{V_x} \left\langle \frac{dy}{y},\frac{dz}{z} \right\rangle , \quad \Omega ^1_{C_0}|_{V_y} = \mathcal {O}_{V_y} \left\langle \frac{dz}{z},\frac{dx}{x} \right\rangle , \quad \Omega ^1_{C_0}|_{V_z} = \mathcal {O}_{V_z} \left\langle \frac{dx}{x},\frac{dy}{y} \right\rangle \end{aligned}$$

where \(\mathcal {O}\langle a,b\rangle := \mathcal {O}\cdot a \oplus \mathcal {O}\cdot b\) is the direct sum on formal generators specified in the bracket; the transition maps are given by

$$\begin{aligned} V_x|_{xy}\rightarrow & {} V_y|_{xy}: \qquad \frac{dy}{y} \mapsto -\frac{dx}{x}, \quad \frac{dz}{z} \mapsto 2\frac{dx}{x} + \frac{dz}{z} , \\ V_x|_{zx}\rightarrow & {} V_z|_{zx}: \qquad \frac{dy}{y} \mapsto 2\frac{dx}{x} + \frac{dy}{y}, \quad \frac{dz}{z} \mapsto -\frac{dx}{x} , \\ V_y|_{yz}\rightarrow & {} V_z|_{yz}: \qquad \frac{dx}{x} \mapsto \frac{dx}{x} + 2\frac{dy}{y}, \quad \frac{dz}{z} \mapsto - \frac{dy}{y} . \end{aligned}$$

The image of \(f_0^*\Omega ^1_{S_0} \rightarrow \Omega ^1_{C_0}\) is freely generated by the sum of the two generators on every \(V_\alpha \), e.g. \(\frac{dy}{y} + \frac{dz}{z}\) on \(V_x\); setting

$$\begin{aligned} \omega |_{V_x} = \left[ \frac{dy}{y}\right] , \quad \omega |_{V_y} = \left[ \frac{dz}{z}\right] , \quad \omega |_{V_z} = \left[ \frac{dx}{x}\right] , \end{aligned}$$

we get a global section \(\omega \in \Gamma (C_0,\Omega ^1_{C_0/S_0})\) of the quotient, which defines a trivialization \(\mathcal {O}_{C_0} \cong \Omega ^1_{C_0/S_0}, \ 1 \mapsto \omega \), of the log canonical bundle. In particular, the relative tangent bundle \(G^{-1}_{C_0/S_0} = \Theta ^1_{C_0/S_0}\) is trivial as well; under the natural embedding \(\Theta ^1_{C_0/S_0} \subset \Theta ^1_{\underline{C}_0}\) (which forgets the log part of the derivation and the fact that it is relative), the dual of \(\omega \) is the derivation given by

$$\begin{aligned}&V_x: \quad \partial _{yz} := y\partial _y - z\partial _z, \nonumber \\&V_y: \quad \partial _{zx} := z\partial _z - x\partial _x, \nonumber \\&V_z: \quad \partial _{xy} := x\partial _x - y\partial _y. \nonumber \end{aligned}$$

\(\wedge \)-multiplication with an element of \(G^0_{C_0/S_0} = \mathcal {O}_{C_0}\) is given by the \(\mathcal {O}_{C_0}\)-module structure; since \(G^{-2}_{C_0/S_0} = 0\), this determines the \(\wedge \)-multiplication completely. When \(f,g \in \mathcal {O}_{C_0}\) and \(\theta \in \Theta ^1_{C_0/S_0}\), then \([f,g] = 0\) and \([\theta ,\theta ] = 0\)—note that there is two times \(\theta \) in the bracket; in general, \([\theta ,\xi ] \not = 0\) for a second element \(\xi \in \Theta ^1_{C_0/S_0}\). Finally, we have

$$\begin{aligned}&V_x: \qquad [\partial _{yz},y] = -y, \quad [\partial _{yz},z] = z, \\&V_y: \qquad [\partial _{zx},z] = -z, \quad [\partial _{zx},x] = x, \\&V_z: \qquad [\partial _{xy},x] = -x, \quad [\partial _{xy},y] = y \end{aligned}$$

since our Lie bracket is the negative of the Schouten–Nijenhuis bracket.

When \(S \in \mathbf {Art}_\mathbb {N}\), then the families \(C_\alpha /\mathbb {S}\) induce log smooth deformations \(V_\alpha /S\) as required at the beginning of Sect. 4. The corresponding Gerstenhaber algebras are

$$\begin{aligned} G^{\bullet }_{V_x/S}= & {} \mathcal {O}_{V_x/S} \cdot 1 \oplus \mathcal {O}_{V_x/S} \cdot \partial _{yz}, \\ G^{\bullet }_{V_y/S}= & {} \mathcal {O}_{V_y/S} \cdot 1 \oplus \mathcal {O}_{V_y/S} \cdot \partial _{zx}, \\ G^{\bullet }_{V_z/S}= & {} \mathcal {O}_{V_z/S} \cdot 1 \oplus \mathcal {O}_{V_z/S} \cdot \partial _{xy} \end{aligned}$$

where \(\mathcal {O}_{V_x/S}\) is the structure sheaf of \(C_x \times _\mathbb {S}S\)—i.e., of the deformation \(V_x/S\)—and where \(\partial _{yz}\) must be interpreted in the respective ring. Our isomorphisms \(C_x|_{xy} \cong C_y|_{xy}\) etc. above induce the required isomorphisms \(\Phi _{\alpha \beta }: V_\beta |_{V_\alpha \cap V_\beta } \cong V_\alpha |_{V_\alpha \cap V_\beta }\). Because the cocycle condition is empty again, we can actually glue the pieces to a Gerstenhaber deformation \(G^{\bullet }_{C_0/S} := \mathcal {O}_{C_0/S} \cdot 1 \oplus \mathcal {O}_{C_0/S} \cdot \partial \) in the sense of Definition 4.1.

Next, we perform the Thom–Whitney resolution of \(G^{\bullet }_{C_0/S}\) with respect to the cover \({\mathcal {U}} := \{V_\alpha \}\); this yields a TWG deformation together with a differential on it, not only a predifferential. In particular, this computes \({\text {PV}}_{C_0/S} \cong {\text {TW}}^{{\bullet },{\bullet }}(G^{\bullet }_{C_0/S}({\mathcal {U}}))\). Since the Gerstenhaber deformations \(G^{\bullet }_{C_0/S}\) are compatible for all \(S \in \mathbf {Art}_\mathbb {N}\), we also get restriction maps between the different \({\text {PV}}_{C_0/S}\) and compatible differentials. Thus, in order to obtain

$$\begin{aligned} L^{\bullet }_{C_0/S_0} = \varprojlim \Gamma (C_0,{\text {PV}}^{-1,{\bullet }}_{C_0/S_k}), \end{aligned}$$

we only need to compute the global sections of the Thom–Whitney resolution.

After ordering the index set as \(x< y < z\), the global sections of the semicosimplicial sheaf of Gerstenhaber algebras \(G^{\bullet }_{C_0/S}({\mathcal {U}})\) are

with \(\delta _0(a,b,c) = (c,c,b)\) and \(\delta _1(a,b,c) = (b,a,a)\) (in both rows); all other pieces \(G^i_n := G^i_{C_0/S}({\mathcal {U}})_n\) are zero. Concretely, for \(S_k = \mathrm {Spec}\ (\mathbb {N}\rightarrow k[t]/(t^{k + 1}))\), we get

$$\begin{aligned}&k[y,z,t]/(yz - t, t^{k + 1}) \times k[z,x,t]/(zx - t, t^{k + 1}) \times k[x,y,t]/(xy - t, t^{k + 1}) \\&\qquad \qquad&\rightrightarrows k[z,t]_z/(t^{k + 1}) \times k[x,t]_x/(t^{k + 1}) \times k[y,t]_y/(t^{k + 1})\\&k[y,z,t]/(yz - t, t^{k + 1}) \cdot \partial \times k[z,x,t]/(zx - t, t^{k + 1}) \cdot \partial \times k[x,y,t]/(xy - t, t^{k + 1}) \cdot \partial \\&\qquad \qquad&\rightrightarrows k[z,t]_z/(t^{k + 1}) \cdot \partial \times k[x,t]_x/(t^{k + 1}) \cdot \partial \times k[y,t]_y/(t^{k + 1}) \cdot \partial \end{aligned}$$

with

$$\begin{aligned}&\delta _0(y,z,x) = (tz,x,ty), \qquad \qquad \ \ \delta _1(y,z,x) = (z,tx,y),\\&\delta _0(z,x,y) = (1/z,t/x,1/y), \qquad \delta _1(z,x,y) = (t/z,1/x,t/y), \end{aligned}$$

and the same for the \(\Theta ^1\)-row. The relevant pieces of the semisimplicial dgca \(A_{PL}\) are

$$\begin{aligned} (A_{PL})_0^0 = k, \ (A_{PL})_1^0 \cong k[t_0], \ (A_{PL})_0^1 = 0, \ (A_{PL})_1^1 \cong k[t_0]dt_0; \end{aligned}$$

the two non-trivial relevant face maps \((A_{PL})_1^0 \rightarrow (A_{PL})_0^0\) are \(t_0 \mapsto 0\) and \(t_0 \mapsto 1\). We find

$$\begin{aligned} {\text {TW}}^{0,0}_k:= & {} {\text {TW}}^{0,0}(G^{\bullet }_{C_0/S_k}({\mathcal {U}})) \nonumber \\= & {} \{((f,g,h),\sum t_0^i(p_i,q_i,r_i)) \in k \otimes G^0_0 \times k[t_0] \otimes G_1^0 \ | \ \nonumber \\&\delta _0(f,g,h) = (p_0,q_0,r_0), \ \delta _1(f,g,h) = \sum _i (p_i,q_i,r_i)\} \nonumber \\\cong & {} G_0^0 \times t_0^2(k[t_0] \otimes G_1^0); \nonumber \end{aligned}$$

the last isomorphism is due to the fact that we can choose the \(G^0_0\)-part and the \(t_0^i\)-parts for \(i \ge 2\) arbitrarily whereafter the remaining two parts are uniquely determined by the equations. To write down the limit \({\text {TW}}^{0,0}_\infty := \varprojlim {\text {TW}}^{0,0}_k\), let us introduce notation

$$\begin{aligned} k\langle \!\langle x,y\rangle \!\rangle := \left\{ \sum _{i,j = 0}^\infty \alpha _{ij}x^iy^j \ | \ \forall k : \#\{\alpha _{ij} | \alpha _{ij} \not = 0 \wedge (i< k \vee j< k)\} < \infty \right\} \subset k\left[ \!\left[ x,y\right] \!\right] ; \end{aligned}$$

then we have

$$\begin{aligned}&{\text {TW}}^{0,0}_\infty \cong k\langle \!\langle y,z \rangle \!\rangle \times k\langle \!\langle z,x\rangle \!\rangle \times k\langle \!\langle x,y\rangle \!\rangle \times t_0^2k[t_0,z]_z\left[ \!\left[ t\right] \!\right] \\&\times t_0^2k[t_0,x]_x\left[ \!\left[ t\right] \!\right] \times t_0^2k[t_0,y]_y\left[ \!\left[ t\right] \!\right] . \end{aligned}$$

Since \((A_{PL})_0^1 = 0\), the next piece is

$$\begin{aligned} {\text {TW}}^{0,1}_\infty \cong k[t_0,z]_z\left[ \!\left[ t\right] \!\right] dt_0 \times k[t_0,x]_x\left[ \!\left[ t\right] \!\right] dt_0 \times k[t_0,y]_y\left[ \!\left[ t\right] \!\right] dt_0; \end{aligned}$$

finally,

$$\begin{aligned} {\text {TW}}^{-1,0}_\infty = {\text {TW}}^{0,0}_\infty \cdot \partial , \quad {\text {TW}}^{-1,1}_\infty = {\text {TW}}^{0,1}_\infty \cdot \partial . \end{aligned}$$

By construction, (\({\text {TW}}^{0,0}_\infty , \wedge )\) is canonically a subring of

$$\begin{aligned} k\langle \!\langle y,z \rangle \!\rangle \times k\langle \!\langle z,x\rangle \!\rangle \times k\langle \!\langle x,y\rangle \!\rangle \times k[t_0,z]_z\left[ \!\left[ t\right] \!\right] \times k[t_0,x]_x\left[ \!\left[ t\right] \!\right] \times k[t_0,y]_y\left[ \!\left[ t\right] \!\right] ; \end{aligned}$$

if \((f,g,h,p,q,r) \in {\text {TW}}^{0,0}_\infty \) with \(p = \sum p_i(t,z)t_0^i\) etc., then in the image

$$\begin{aligned}&(p_0,q_0,r_0) = \delta _0(f,g,h)\nonumber \\&\quad \hbox {and}\ (p_1,q_1,r_1) = \delta _1(f,g,h) - \delta _0(f,g,h)- \sum _{i \ge 2}(p_i,q_i,r_i). \end{aligned}$$

In particular, the unit of the ring is (1, 1, 1, 0, 0, 0); now, \({\text {TW}}^{-1,0}_\infty \) is a free \({\text {TW}}^{0,0}_\infty \)-module of rank 1 with generator \(\partial := 1 \cdot \partial \). The operator \([\partial ,-]\) acts as a derivation on \({\text {TW}}^{0,0}_\infty \), and it acts on \({\text {TW}}^{0,1}_\infty \). Via this action, we describe the Lie bracket on the graded Lie algebra \(L^{\bullet }_{C_0/S_0} = {\text {TW}}^{-1,{\bullet }}_\infty \); namely, for \(a,b \in {\text {TW}}^{0,0}_\infty \), we have

$$\begin{aligned}{}[a\partial ,b\partial ] = (a[\partial ,b] - b[\partial ,a])\partial \end{aligned}$$

for the Lie bracket \([{\text {TW}}^{-1,0}_\infty ,{\text {TW}}^{-1,0}_\infty ]\), and for \(a \in {\text {TW}}^{0,0}_\infty ,m \in {\text {TW}}^{0,1}_\infty \), we have

$$\begin{aligned}{}[a\partial ,m\partial ] = (a[\partial ,m] - [\partial ,a]m)\partial \end{aligned}$$

for the Lie bracket \([{\text {TW}}^{-1,0}_\infty ,{\text {TW}}^{-1,1}_\infty ]\); moreover, \([{\text {TW}}^{-1,1}_\infty ,{\text {TW}}^{-1,1}_\infty ] = 0\) since \({\text {TW}}^{-1,2}_\infty = 0\). The differential \(d: {\text {TW}}^{-1,0}_\infty \rightarrow {\text {TW}}^{-1,1}_\infty \) is given by formally deriving \(t_0\), i.e., by mapping \(ft_0 \mapsto fdt_0\) etc.—after embedding \({\text {TW}}^{-1,0}_\infty = {\text {TW}}^{0,0}_\infty \cdot \partial \) in

$$\begin{aligned} \left( k\langle \!\langle y,z \rangle \!\rangle \times k\langle \!\langle z,x\rangle \!\rangle \times k\langle \!\langle x,y\rangle \!\rangle \times k[t_0,z]_z\left[ \!\left[ t\right] \!\right] \times k[t_0,x]_x\left[ \!\left[ t\right] \!\right] \times k[t_0,y]_y\left[ \!\left[ t\right] \!\right] \right) \cdot \partial , \end{aligned}$$

only the last three factors matter. On e.g. the factor \(k[t_0,z]_z\left[ \!\left[ t\right] \!\right] \), the map is given by \(\sum p_i(t,z)t_0^i \mapsto \sum ip_i(t,z)t_0^{i - 1}\). Since d is a differential, we have \(\ell = 0\); the \(k\left[ \!\left[ t\right] \!\right] \)-linear pdgla \(L^{\bullet }_{C_0/S_0}\) is actually a dgla in this example.

Since \(L^2_{C_0/S_0} = 0\), every \(\eta \in L^1_{C_0/S_0} \otimes _{\left[ \!\left[ t \right] \!\right] } A\) solves the Maurer–Cartan equation; we leave it to the interested reader to compute the gauge equivalence classes and the deformation functor. Conjecturally, it is represented by a \(k\left[ \!\left[ t\right] \!\right] \)-algebra which is isomorphic to \(k\left[ \!\left[ t,s\right] \!\right] \). Namely, \(f_0: C_0 \rightarrow S_0\) is log smooth and log Calabi–Yau, so we expect the deformation functor to be represented by a smooth \(k\left[ \!\left[ t\right] \!\right] \)-algebra; its fiber over k should have as many variables as the tangent space

$$\begin{aligned} H^1(L^{\bullet }_{C_0/S_0} \otimes _{k\left[ \!\left[ t\right] \!\right] } k) \cong H^1(C_0,\Theta ^1_{C_0/S_0}) \end{aligned}$$

has dimensions.

References

  1. 1.

    Chan, K., Leung, N.C., Ma, Z.N.: Geometry of the Maurer-Cartan equation near degenerate Calabi-Yau varieties. arXiv preprint arXiv:1902.11174 (2019)

  2. 2.

    Felten, S., Filip, M., Ruddat, H.: Smoothing toroidal crossing spaces. arXiv preprint arXiv:1908.11235 (2019)

  3. 3.

    Filip, M.: Hochschild cohomology and deformation quantization of affine toric varieties. J. Algebra 506, 188–214 (2018)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Fiorenza, D., Manetti, M., Martinengo, E.: Cosimplicial DGLAs in deformation theory. Commun. Algebra 40(6), 2243–2260 (2012)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Griffiths, P.A., Morgan, J.W.: Rational Homotopy Theory and Differential Forms. Volume 16 of Progress in Mathematics. Birkhäuser, Boston (1981)

    Google Scholar 

  6. 6.

    Gross, M., Siebert, B.: Mirror symmetry via logarithmic degeneration data, II. J. Algebr. Geom. 19(4), 679–780 (2010)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Gross, M., Siebert, B.: From real affine geometry to complex geometry. Ann. Math. 174, 1301–1428 (2011)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Grothendieck, A.: Revêtements étales et groupe fondamental. Fasc. I: Exposés 1 à 5, Volume 1960/61 of Séminaire de Géométrie Algébrique. Institut des Hautes Études Scientifiques, Paris (1963)

  9. 9.

    Hinich, V., Schechtman, V.: Deformation theory and lie algebra homology. I. Algebra Colloq. 4(2), 213–240 (1997)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Iacono, D.: Deformations and obstructions of pairs \((X, D)\). Int. Math. Res. Not. IMRN 19, 9660–9695 (2015)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Iacono, D.: On the abstract Bogomolov–Tian–Todorov theorem. Rend. Mat. Appl. (7) 38(2), 175–198 (2017)

    MathSciNet  MATH  Google Scholar 

  12. 12.

    Iacono, D., Manetti, M.: An algebraic proof of Bogomolov–Tian–Todorov theorem. In: Deformation Spaces, Aspects Math., E40, pp. 113–133. Vieweg + Teubner, Wiesbaden (2010)

  13. 13.

    Kadeishvili, T.V.: The algebraic structure in the homology of an \(A(\infty )\)-algebra. Soobshch. Akad. Nauk Gruzin. SSR, 108(2):249–252 (1983), 1982

  14. 14.

    Kato, F.: Log smooth deformation theory. Tohoku Math. J. Second Ser. 48(3), 317–354 (1996)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Kato, F.: Functors of log Artin rings. Manuscr. Math. 96(1), 97–112 (1998)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Kato, K.: Logarithmic Structures of Fontaine-Illusie. Algebraic Analysis. Geometry, and Number Theory (Baltimore, MD, 1988), pp. 191–224. Johns Hopkins Univ. Press, Baltimore (1989)

    Google Scholar 

  17. 17.

    Katzarkov, L., Kontsevich, M., Pantev, T.: Hodge theoretic aspects of mirror symmetry. In: From Hodge Theory to Integrability and TQFT tt*-Geometry, Volume 78 of Proc. Sympos. Pure Math. Amer. Math. Soc., Providence, pp. 87–174 (2008)

  18. 18.

    Katzarkov, L., Kontsevich, M., Pantev, T.: Bogomolov–Tian–Todorov theorems for Landau–Ginzburg models. J. Differ. Geom. 105(1), 55–117 (2017)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Kawamata, Y., Namikawa, Y.: Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties. Invent. Math. 118(3), 395–409 (1994)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Kosmann-Schwarzbach, Y.: Exact gerstenhaber algebras and lie bialgebroids. In: Kersten, P.H.M., Krasil’Shchik, I.S. (eds.) Geometric and Algebraic Structures in Differential Equations, vol. 41, pp. 153–165. Springer, Dordrecht (1995)

    Google Scholar 

  21. 21.

    Leung, N.C., Ma, Z.N., Young, M.B.: Refined scattering diagrams and theta functions from asymptotic analysis of Maurer–Cartan equations. arXiv preprint arXiv:1902.05765 (2019)

  22. 22.

    Mandel, T.: Scattering diagrams, theta functions, and refined tropical curve counts. arXiv preprint arXiv:1503.06183 (2015)

  23. 23.

    Mandel, T., Ruddat, H.: Tropical quantum field theory, mirror polyvector fields, and multiplicities of tropical curves. arXiv preprint arXiv:1902.07183 (2019)

  24. 24.

    Manetti, M.: Deformation theory via differential graded Lie algebras. Algebraic Geometry Seminars. 1998–1999 (Italian) (Pisa), pp. 21–48. Scuola Norm. Sup, Pisa (1999)

  25. 25.

    Manetti, M.: Lectures on deformations of complex manifolds (deformations from differential graded viewpoint). Rend. Mat. Appl. (7) 24(1), 1–183 (2004)

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Navarro, V.: Sur la théorie de Hodge-Deligne. Invent. Math. 90(1), 11–76 (1987)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Nizioł, W.: Toric singularities: log-blow-ups and global resolutions. J. Algebr. Geom. 15(1), 1–29 (2006)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Ogus, A.: Lectures on Logarithmic Algebraic Geometry. Cambridge Studies in Advanced Mathematics, vol. 178. Cambridge University Press, Cambridge (2018)

    Google Scholar 

  29. 29.

    Persson, U., Pinkham, H.: Some examples of nonsmoothable varieties with normal crossings. Duke Math. J. 50(2), 477–486 (1983)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Ruddat, H., Siebert, B.: Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations. arXiv preprint arXiv:1907.03794 (2019)

  31. 31.

    Schlessinger, M.: Functors of Artin rings. Trans. Am. Math. Soc. 130, 208–222 (1968)

    MathSciNet  Article  Google Scholar 

  32. 32.

    Serre, J.-P.: Lie Algebras and Lie Groups, Volume 1500 of Lecture Notes in Mathematics. Springer, Berlin (2006). 1964 Lectures Given at Harvard University, Corrected Fifth Printing of the Second (1992) Edition

  33. 33.

    The Stacks Project Authors. Stacks project. http://stacks.math.columbia.edu/

  34. 34.

    Felten, S., Petracci, A.: The Logarithmic Bogomolov-Tian-Todorov Theorem. arXiv:2010.13656 (2020)

Download references

Acknowledgements

This paper is a byproduct which arose from studying [1] in order to apply it in [2]. I owe many ideas of the present paper to [1]. I thank my collaborator Matej Filip of [2] for pointing me to the subject and especially the idea to control logarithmic deformations by some sort of dgla. I thank my PhD advisor Helge Ruddat for encouraging this work and for constant support. I thank Ziming Ma for valuable comments on a first draft. I thank Bernd Siebert for help with the introduction. I thank the anonymous referee for careful reading and many helpful recommendations. Finally, I thank JGU Mainz for its hospitality and for funding the open access publication, and Carl-Zeiss-Stiftung for financial support.

Funding

Open Access funding enabled and organized by Projekt DEAL.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Simon Felten.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix

Appendix

The strict locus of log smooth morphisms

We include the result below for which we have, for the general case, no published reference. For an s-injective morphism \(f: X \rightarrow S\) of fs log schemes—s-injective means that the induced map \(\overline{\mathcal {M}}_{S,f(\bar{x})} \rightarrow \overline{\mathcal {M}}_{X,\bar{x}}\) on ghost stalks is injective—consider the strict locus \(X^{str} \subset X\), i.e., the union of all opens \(U \subset X\) such that \(f|_U: U \rightarrow S\) is strict. It is the maximal open subset with that property. Since XS are fine, f is strict on U if and only if \(\phi : f^{-1}(\overline{\mathcal {M}}_S) \rightarrow \overline{\mathcal {M}}_X\) is an isomorphism on U. For a geometric point \(\bar{x} \in X\) where \(\phi _{\bar{x}}\) is an isomorphism on stalks, \(\phi \) is surjective in an étale neighbourhood of \(\bar{x}\) due to coherence (since there every stalk is a quotient of \(\overline{\mathcal {M}}_{X,\bar{x}}\)). s-injectivity shows it is an isomorphism. Thus \(\bar{x} \in X^{str}\), and the converse is clear. We see that the formation of \(X^{str}\) commutes with base change along strict morphisms \(T \rightarrow S\).

Proposition 10.1

Let \(f: X \rightarrow S\) be a log smooth and saturated morphism of fs log schemes. Then \(X^{str} \subset X\) is scheme-theoretically dense. In particular, the forgetful map \(\Theta ^1_{X/S} \rightarrow \Theta ^1_{\underline{X}/\underline{S}}\) to the derivations of underlying schemes is injective.

Proof

First note that \(f: X \rightarrow S\) is exact and hence s-injective. Using [28, III. Thm. 3.3.3], we see that it is sufficient to prove the density statement for the morphism

$$\begin{aligned} \mathrm {Spec}\ (P \rightarrow \mathbb {Z}[P]) \rightarrow \mathrm {Spec}\ (Q \rightarrow \mathbb {Z}[Q]) \end{aligned}$$

induced by a saturated injection \(Q \subset P\) of sharp toric monoids. Now we can take the set \(U_2\) of [2, Cor. 3.11]. \(\square \)

Remark 10.2

The density statement fails if we assume \(f: X \rightarrow S\) only integral, but not saturated. Consider e.g. \(\mathrm {Spec}\ (\mathbb {N}\rightarrow \mathbb {C}[t]/(t^2)) \rightarrow \mathrm {Spec}\ (\mathbb {N}\rightarrow \mathbb {C})\) induced by \(\mathbb {N}\rightarrow \mathbb {N}, 1 \mapsto 2\), which is log smooth and integral, but nowhere strict. Moreover, we do not know if the injectivity statement remains true. This is the reason why we restrict the whole paper to saturated log smooth morphisms.

Remark 10.3

In the case \(S = \mathrm {Spec}\ (0 \rightarrow k)\), Proposition 10.1 is (in a weak sense) equivalent to [27, Prop. 2.6]. Namely, if \(f: X \rightarrow S\) is log smooth and saturated, then it is log-regular, and the log-trivial locus \(X^{tr}\) equals the strict locus \(X^{str}\). The former is dense by [27, Prop. 2.6], so the latter is dense; since X is reduced, \(X^{str}\) is scheme-theoretically dense as well. Conversely, if X is a log-regular fs log scheme of finite type over S, then the (structure) morphism \(f: X \rightarrow S\) is saturated and log smooth by [28, IV, Thm. 3.5.1]. Proposition 10.1 implies that \(X^{str} \subset X\) is scheme-theoretically dense, so \(X^{tr} = X^{str}\) is dense.

\(\Lambda \)-linear predifferential graded lie algebras

Fix a complete local Noetherian ring \(\Lambda \) with maximal ideal \({\mathfrak {m}} \subset \Lambda \). We briefly introduce the type of Lie algebra which controls log smooth deformations. This type of Lie algebra is called almost dgla in [1, Thm. 1.1] where the existence of such a dgla is proven under some abstract conditions.

Definition 10.4

A \(\Lambda \)-linear predifferential graded Lie algebra (\(\Lambda \)-pdgla) is a quadruple \((L^{\bullet },[-,-],d,\ell )\) where \((L^{\bullet },[-,-])\) is a graded \(\Lambda \)-linear Lie algebra such that every \(L^i\) is complete, \(d: L^{\bullet } \rightarrow L^{{\bullet } + 1}\) is a \(\Lambda \)-linear derivation of degree 1 and \(\ell \in {\mathfrak {m}}\cdot L^2\) is such that \(d^2 = [\ell ,-]\). In particular, d is not a differential in general.

For a local Artin \(\Lambda \)-algebra A (with residue field \(k := \Lambda /{\mathfrak {m}}\Lambda \)), the tensor product \(L^{\bullet } \otimes _\Lambda A\) is an A-pdgla since \(L^i \otimes _\Lambda A\) is complete. We consider them as some sort of infinitesimal deformation of the dgla

$$\begin{aligned} L^{\bullet }_0 := L^{\bullet } \otimes _\Lambda k, \end{aligned}$$

which we call the central fiber. In fact, since \(\ell \in {\mathfrak {m}}\cdot L^2\), it is a dgla (\(d^2 = 0\)). We say \(L^{\bullet }\) is faithful if for all \(A \in \mathbf {Art}_\Lambda \) and all \(\xi \in L^{\bullet } \otimes _\Lambda A\), we have that \([\xi ,-] = 0\) implies \(\xi = 0\). In a faithful \(L^{\bullet }\), the equality \([\xi ,-] = 0\) implies \(\xi = 0\) also for \(\xi \in L^{\bullet }\).

Elements \(\theta \in {\mathfrak {m}}\cdot L^0\) give rise to gauge transforms

$$\begin{aligned} \mathrm {exp}_\theta : L^{\bullet } \rightarrow L^{\bullet }, \quad \xi \mapsto \sum _{i = 0}^\infty \frac{([\theta ,-])^i(\xi )}{i!} = \xi + [\theta ,\xi ] + \frac{1}{2}[\theta ,[\theta ,\xi ]] + \cdots , \end{aligned}$$

which are well-defined since \(L^{\bullet }\) is complete. We find the identities

$$\begin{aligned} \mathrm {exp}_\theta (\xi + \chi ) = \mathrm {exp}_\theta (\xi ) + \mathrm {exp}_\theta (\chi ), \quad \mathrm {exp}_\theta ([\xi ,\chi ]) = [\mathrm {exp}_\theta (\xi ),\mathrm {exp}_\theta (\chi )] \end{aligned}$$

but \(\mathrm {exp}_\theta \) is not compatible with d, i.e., in general \(\mathrm {exp}_\theta \circ d \not = d \circ \mathrm {exp}_\theta \). If \(L^{\bullet }\) is faithful, then \(\mathrm {exp}_\theta = \mathrm {exp}_{\theta '}\) implies \(\theta = \theta '\). We consider gauge transforms as some sort of infinitesimal automorphism. In fact, \(\mathrm {exp}_\theta \) induces the identity on \(L^{\bullet }_0\).

Given an element \(\eta \in {\mathfrak {m}}\cdot L^1\), we define a derivation \(d_\eta := d + [\eta ,-]\) and consider it as a deformation of the differential on \(L_0^{\bullet }\). We have \(d_\eta ^2 = 0\) if and only if \(\eta \) satisfies the Maurer–Cartan equation

$$\begin{aligned} d\eta + \frac{1}{2}[\eta ,\eta ] + \ell = 0. \end{aligned}$$

In this case, we say \(\eta \) is Maurer–Cartan. If \(L^{\bullet }\) is faithful, then \(d_\eta = d_{\eta '}\) implies \(\eta = \eta '\). We say two elements \(\eta ,\eta '\) are gauge equivalent if there is \(\theta \in {\mathfrak {m}}\cdot L^0\) with \(d_\eta \circ \mathrm {exp}_\theta = \mathrm {exp}_\theta \circ d_{\eta '}\). In this case, \(\eta \) is Maurer–Cartan if and only if \(\eta '\) is. We consider gauge equivalence classes of Maurer–Cartan elements as deformations of \(L^{\bullet }_0\). We define the Maurer–Cartan functor

$$\begin{aligned} \mathrm {MC}_{L^{\bullet }}: \mathbf {Art}_\Lambda \rightarrow \mathbf {Set} \end{aligned}$$

by taking \(A \in \mathbf {Art}_\Lambda \) to the set of Maurer–Cartan elements in \(L^{\bullet } \otimes _\Lambda A\) and the deformation functor

$$\begin{aligned} \mathrm {Def}_{L^{\bullet }}: \mathbf {Art}_\Lambda \rightarrow \mathbf {Set} \end{aligned}$$

by taking gauge equivalence classes thereof. In case \(\Lambda = k\) (in which \(L^{\bullet }\) is an actual dgla) these functors reduce to the classical Maurer–Cartan and deformation functor. In general, they share a number of properties with them:

Proposition 10.5

We have:

  • The Maurer–Cartan functor \(\mathrm {MC}_{L^{\bullet }}\) is homogeneous.

  • The transformation \(\mathrm {MC}_{L^{\bullet }} \Rightarrow \mathrm {Def}_{L^{\bullet }}\) is smooth and surjective.

  • The functor \(\mathrm {Def}_{L^{\bullet }}\) is a deformation functor.

  • The tangent space of \(\mathrm {MC}_{L^{\bullet }}\) is isomorphic to \(Z^1(L^{\bullet }_0)\).

  • The tangent space of \(\mathrm {Def}_{L^{\bullet }}\) is isomorphic to \(H^1(L^{\bullet }_0)\).

Proof

The proof does not employ new ideas beyond the classical situation (see e.g. [24]), so we give only a brief indication. Let \(A' \rightarrow A\) and \(A'' \rightarrow A\) be surjections in \(\mathbf {Art}_\Lambda \). We consider the canonical map

$$\begin{aligned} \sigma : F(A'' \times _A A') \rightarrow F(A'') \times _{F(A)} F(A') \end{aligned}$$

for any functor F of Artin rings. Recall that homogeneous means \(\sigma \) is an isomorphism. It suffices to prove this for a small extension \(A'' \rightarrow A\). In this case, \(B := A'' \times _A A' \rightarrow A'\) is a small extension as well with the same kernel I, so we obtain a diagram

with exact rows. When we use the fact that the two kernels are equal, a straightforward diagram chase yields the result. To prove \(\mathrm {MC}_{L^{\bullet }} \Rightarrow \mathrm {Def}_{L^{\bullet }}\) smooth, we use that every gauge transform can be lifted to some gauge transform because \(L^0 \otimes A' \rightarrow L^0 \otimes A\) is surjective. To prove that \(\mathrm {Def}_{L^{\bullet }}\) is a deformation functor, we use the map \(\mathrm {MC}_{L^{\bullet }} \Rightarrow \mathrm {Def}_{L^{\bullet }}\) and that, when \(A = k\), the restriction of a gauge transform on \(L^{\bullet } \otimes A'\) to A is trivial. \(\square \)

Remark 10.6

The functor \(\mathrm {MC}_{L^{\bullet }}\) is a deformation functor (like every homogeneous functor), but \(\mathrm {Def}_{L^{\bullet }}\) is not homogeneous. Namely, a deformation functor is prorepresentable if and only if it is homogeneous and has finite-dimensional tangent space, but e.g. the flat deformation functor of some surfaces is not prorepresentable (which is certainly an example of our theory).

If we replace d by \(d_\eta \) and \(\ell \) by the corresponding \(\ell _\eta \), then the deformation functor remains unchanged. Taking this into account, we propose the following notion of homomorphism for future study of pdglas.

Definition 10.7

A homomorphism \(\psi : L^{\bullet } \rightarrow M^{\bullet }\) of \(\Lambda \)-pdglas is a \(\Lambda \)-linear homomorphism of graded Lie algebras together with \(\kappa _\psi \in {\mathfrak {m}}\cdot M^1\) such that \(d_M \circ \psi - \psi \circ d_L = [\kappa _\psi ,\psi (-)]\) and \(\psi (\ell _L) = \ell _M - d_M\kappa _\psi + \frac{1}{2}[\kappa _\psi ,\kappa _\psi ]\).

A homomorphism induces a map \(\mathrm {Def}(\psi )\) sending \(\eta \mapsto \psi (\eta ) - \kappa _\psi \).

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Felten, S. Log smooth deformation theory via Gerstenhaber algebras. manuscripta math. (2020). https://doi.org/10.1007/s00229-020-01255-6

Download citation

Mathematics Subject Classification

  • Primary 14D15
  • Secondary 14J32