On the Hodge conjecture for quasi-smooth intersections in toric varieties (Q2054963)

The Hodge conjecture for smooth hypersurfaces or smooth complete intersections in a projective space remains open. In general, one does not know whether the Hodge conjecture holds for a smooth hypersurface in the \textit{Noether-Lefschetz locus} [\textit{A. Dan} and \textit{I. Kaur}, C. R., Math., Acad. Sci. Paris 354, No. 3, 297--300 (2016; Zbl 1380.14001)]. In the paper under review, the authors proved two results. The first answers the Hodge conjecture for a very general quasi-smooth intersection in toric varieties. The second is about the Hodge conjecture for a quasi-smooth hypersurface in the Noether-Lefschetz locus. Let \(\mathbb{P}^d_\Sigma\) be an Oda projective simplicial toric variety, and \(X\) be a very general quasi-smooth intersection cut off by \(f_1,\ldots, f_s\) such that the \(\dim X=d-s\) is even, and the divisor \[ \sum^{s}_{i=1} \operatorname{div}(f_i)-\beta_0 \] is nef. Then any Hodge class in the middle cohomology of \(X\) is algebraic, which is the restriction of an algebraic class on \(\mathbb{P}^d_\Sigma\). Assume that the Picard number of the Oda variety \(\mathbb{P}^{2k+1}_\Sigma\) is one. Let \(X_f\) be a quasi-smooth hypersurface in \(\mathbb{P}^{2k+1}_\Sigma\), and \(\lambda\in H^{k, k}(X_f)_p\) be a non-trivial primitive Hodge class. With suitable condition on the local Nother-Lefschetz locus \(NL^k_\lambda\) with respect to the class \(\lambda\), the Hodge conjecture holds for any quasi-smooth hypersurface in \(NL^k_\lambda\).