No Arabic abstract
We construct a $k[[Q]]$-linear predifferential graded Lie algebra $L^*_{X/S}$ associated to a log smooth and saturated morphism $f: X rightarrow S$ and prove that it controls the log smooth deformation functor. This provides a geometric interpretation of a construction by Chan-Leung-Ma whereof $L^*_{X/S}$ is a purely algebraic version. Our proof crucially relies on studying deformations of the Gerstenhaber algebra of polyvector fields and interestingly does not need to keep track of the log structure. The method of using Gerstenhaber algebras is closely related to recent developments in mirror symmetry.
We show that hermitian K-theory is universal among generalized motivic cohomology theories with transfers along finite Gorenstein morphisms with trivialized dualizing sheaf. As an application, we obtain a Hilbert scheme model for hermitian K-theory as a motivic space. We also give an application to computational complexity: we prove that 1-generic minimal border rank tensors degenerate to the big Coppersmith-Winograd tensor.
The vector space of holomorphic polyvector fields on any complex manifold has a natural Gerstenhaber algebra structure. In this paper, we study BV operators of the Gerstenhaber algebras of holomorphic polyvector fields on smooth compact toric varieties. We give a necessary and sufficient condition for the existence of BV operators of the Gerstenhaber algebra of holomorphic polyvector fields on any smooth compact toric variety.
We give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that it is a product of Atiyah and Kodaira--Spencer classes. This allows us to obtain deformation-invariant virtual cycles on moduli spaces of objects of the derived category on threefolds.
This paper shows that Mustata-Nakamuras conjecture holds for pairs consisting of a smooth surface and a multiideal with a real exponent over the base field of positive characteristic. As corollaries, we obtain the ascending chain condition of the minimal log discrepancies and of the log canonical thresholds for those pairs. We also obtain finiteness of the set of the minimal log discrepancies of those pairs for a fixed real exponent.
We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduce two new natural extensions of the notion of a CohFT: homotopical (necessary to structure chain-level Gromov--Witten invariants) and quantum (with examples found in the works of Buryak--Rossi on integrable systems). We introduce a new version of Kontsevichs graph complex, enriched with tautological classes on the moduli spaces of stable curves. We use it to study a new universal deformation group which acts naturally on the moduli spaces of quantum homotopy CohFTs, by methods due to Merkulov--Willwacher. This group is shown to contain both the prounipotent Grothendieck--Teichmuller group and the Givental group.