Deformation of pairs and Noether–Lefschetz loci in toric varieties

Abstract

We continue our study of the Noether–Lefschetz loci in toric varieties and investigate deformation of pairs (V, X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a simplicial projective toric variety PΣ2k+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathbb {P}_{\\Sigma }^{2k+1}$$\\end{document}, with V⊂X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$V\\subset X$$\\end{document}. The hypersurface X is supposed to be of Macaulay type, which means that its toric Jacobian ideal is Cox–Gorenstein, a property that generalizes the notion of Gorenstein ideal in the standard polynomial ring. Under some assumptions, we prove that the class λV∈Hk,k(X)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\lambda _V\\in H^{k,k}(X)$$\\end{document} deforms to an algebraic class if and only if it remains of type (k, k). Actually we prove that locally the Noether–Lefschetz locus is an irreducible component of a suitable Hilbert scheme. This generalizes Theorem 4.2 in our previous work (Bruzzo and Montoya 15(2):682–694, 2021) and the main theorem proved by Dan (in: Analytic and Algebraic Geometry. Hindustan Book Agency, New Delhi, pp 107–115, 2017).