Periods of complete intersection algebraic cycles

DOI10.1007/S00229-021-01290-XMaRDI QIDQ2114207zbMATH OpenOpenAlexFDO

Publication date 15 March 2022

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.03964

Fermat hypersurface Hodge theory variational Hodge conjecture

Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Algebraic cycles (14C25) Variation of Hodge structures (algebro-geometric aspects) (14D07) Period matrices, variation of Hodge structure; degenerations (32G20)

Abstract: For every even number

n

, and every

n

-dimensional smooth hypersurface of

m a t h b b P^{n + 1}

of degree

d

, we compute the periods of all its

f r a c n 2

-dimensional complete intersection algebraic cycles. Furthermore, we determine the image of the given algebraic cycle under the cycle class map inside the De Rham cohomology group of the corresponding hypersurface in terms of its Griffiths basis and the polarization. As an application, we use this information to address variational Hodge conjecture for a non complete intersection algebraic cycle. We prove that the locus of general hypersurfaces containing two linear cycles whose intersection is of dimension less than

f r a c n 2 - f r a c d d - 2

, corresponds to the Hodge locus of any integral combination of such linear cycles.

Review text

Let \(X\) be a smooth, projective hypersurface in \(\mathbb{P}^{n+1}\) of degree \(d\) and \(n\) even. Consider a complete intersection subvariety \(Z\) in \(\mathbb{P}^{n+1}\) which is also contained in \(X\). The author computes the periods associated to \(Z\). Villaflor Loyola then uses this result to prove that algebraic cycles in \(X\) of the form \(\delta:= a[V_1]+b[V_2]\) where \(a, b \in \mathbb{Z}\), \(V_i\) are isomorphic to \(\mathbb{P}^{n/2}\) and \(V_1 \cap V_2 \cong \mathbb{P}^m\) for \(m<(n/2)- (d/(d-2))\) satisfy the variational Hodge conjecture i.e., for deformations of \(X\), the cohomology class of the algebraic cycle \(\delta\) remains of type \((n,n)\) if and only if \(\delta\) remains algebraic. The author also proves that the Hodge locus associated to \(\delta\) is smooth, reduced and coincides with the intersection of the Hodge loci associated to \([V_1]\) and \([V_2]\), in an open neighbourhood of the point, say \(o\), corresponding to the Fermat hypersurface. Additionally Villaflor Loyola shows, if one drops the condition on \(m\), then the dimension of the tangent space at \(o\) of the Hodge locus associated to \(\delta\) is of dimension strictly greater than the dimension of the intersection of the Hodge loci associated to \([V_1]\) and \([V_2]\).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Periods of complete intersection algebraic cycles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2114207)