“…If
, we adapt the formalism of differential graded Lie algebras, which was used by Iacono and Manetti to give an algebraic proof of the BTT theorem [
16–18], to the context of log schemes. If
, we use the recent formalism developed by Chan–Leung–Ma [5] (see also [
4]) and by Felten–Filip–Ruddat [
8] to construct smoothings of degenerate Calabi–Yau varieties, and we apply an algebraic result (Proposition 2.8).…”