Infinitesimal Torelli theorem for complete intersections in certain homogeneous Kähler manifolds. II (Q803217)

Recall that a Kähler C-space with \(b_ 2=1\) is determined by a certain pair (\({\mathfrak g},\alpha_ r)\) of a complex simple Lie algebra \({\mathfrak g}\) and a simple root \(\alpha_ r\) [cf. part I of this paper, ibid. 38, 609-624 (1986; Zbl 0627.14009); {\S}1]. Let \(Y=({\mathfrak g},\alpha_ r)\) be an N-dimensional Kähler C-space with \(b_ 2(Y)=1\) and denote by \({\mathcal O}_ Y(1)\) the ample generator of \(Pic(Y)\). If a section of the vector bundle \(E=\oplus^{N-n}_{i=1}{\mathcal O}_ Y(d_ i) \), \(d_ i>0\) defines an irreducible nonsingular subvariety X, we call it a nonsingular complete intersection of type \((d_ 1,d_ 2,...,d_{N- n})\). In part I, we showed that the infinitesimal Torelli theorem holds for X with ample canonical bundle if Y is an irreducible Hermitian symmetric space of compact type or a certain non-symmetric Kähler C- space with \(b_ 2=1\). Between part I and the present article, a big progress was made by Flenner: He developed a powerful criterion [\textit{F. Flenner}, Math. Z. 193, 307-322 (1986; Zbl 0613.14010); theorem (1.1)] and completely answered the infinitesimal Torelli problem for nonsingular complete intersections in a projective space \({\mathbb{P}}^ N\) [theorem (3.1) of the cited paper]. The purpose of this article is to give another application of Flenner's criterion. Namely, we show the following main theorem: Let X be a nonsingular complete intersection of type \((d_ 1,d_ 2,...d_{N-n})\) in a Kähler C-space Y with \(b_ 2(Y)=1\). Assume that Y is neither a projective space nor a complex quadric. Then the infinitesimal Torelli theorem holds for X provided that (1) the canonical bundle \(K_ X\) of X is non-negative, or (2) \(d_ i\geq 2\) for any i and X is neither (a) a hypersurface of degree 2 in \((A_ 4,\alpha_ 2)\), \((D_ 5,\alpha_ 4)\), \((E_ 6,\alpha_ 2)\), \((E_ 7,\alpha_ 1)\), \((E_ 8,\alpha_ 8)\), \((F_ 4,\alpha_ 1)\) of \((F_ 4,\alpha_ 3)\), nor (b) a complete intersection of type (2,2) in \((B_ l,\alpha_ 2)\), \((D_ l,\alpha_ 2)\), \((E_ 6,\alpha_ 2)\), \((E_ 7,\alpha_ 1)\), \((E_ 8,\alpha_ 8)\), \((F_ 4,\alpha_ 1)\) or \((F_ 4,\alpha_ 3).\)