##
**Symmetry and variation of Hodge structures.**
*(English)*
Zbl 1070.14013

Let \(X\) be a smooth algebraic variety over \(\mathbb C\) whose canonical bundle \(K_X\) is ample. Then \(K_X\) determines a natural polarization on \(X\), and there is a semiuniversal deformation \(p: \mathcal X \to (Y, y_0)\) of \(X\). In particular, the tangent space \(T_{Y, y_0}\) of \(Y\) at \(y_0\) is naturally isomorphic to \(H^1 (X, T_X)\), and the dimension of \(Y\) at \(y_0\) is at least \(\dim H^1 (X, T_X) - \dim H^2 (X, T_X)\). To each positive integer \(k \leq \dim X\) there corresponds a variation of Hodge structure \((R^k p_* (\mathbb Z), H^{p,q} (y), Q)\) with \(p+q=k\) and \(R^k p_* (\mathbb Z) \otimes \mathbb C = \bigoplus_{p+q =k} H^{p,q} (y)\), where the polarization \(Q\) is a quadratic form on \(R^k p_* (\mathbb Z)\) for which the subspaces \(H^{p,q} (y)\) are mutually orthogonal. There is a holomorphic map \(\Phi: Y \to D\) associated to this variation of Hodge structure, where \(D\) is a classifying domain of polarized Hodge structures of type \((h^{k,0}, h^{k-1,1}, \ldots, h^{0,k})\) with \(h^{p,q} = \dim H^{p,q} (y)\). The infinitesimal Torelli theorem is said to hold for the variety \(X\) if the differential \(d\Phi\) of \(\Phi\) is injective. In this paper the authors provide a series of examples of surfaces of general type for which the infinitesimal Torelli theorem fails to hold on the whole moduli space despite the fact that the canonical system is generally quasi very ample.

Reviewer: Min Ho Lee (Cedar Falls)

### MSC:

14D07 | Variation of Hodge structures (algebro-geometric aspects) |

32G20 | Period matrices, variation of Hodge structure; degenerations |

14C30 | Transcendental methods, Hodge theory (algebro-geometric aspects) |

32J25 | Transcendental methods of algebraic geometry (complex-analytic aspects) |