English

Hodge cycles for cubic hypersurfaces

Algebraic Geometry 2021-09-17 v2 Algebraic Topology Complex Variables

Abstract

We study an algebraic cycle of the form Z0=rPn2+rˇPˇn2Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}, rN,rˇZ,  1r,rˇ10,  gcd(r,rˇ)=1r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1, inside the cubic Fermat variety X0X_0 of even dimension n4n\geq 4 and with dim(Pn2Pˇn2)=m\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m. We take a smooth deformation space S\sf S of X0X_0 such that the triple (X0,Pn2,Pˇn2)(X_0, {\mathbb P}^\frac{n}{2}, \check{\mathbb P}^\frac{n}{2}) becomes rigid. For m=n22m=\frac{n}{2}-2 and for many examples of NNN\in{\mathbb N} and nn we show that the NN-th order Hodge locus attached to Z0Z_0 is smooth and reduced of positive dimension if and only if (r,rˇ)=(1,1)( r ,\check r )=(1,-1). In this case, the underlying algebraic cycles are conjectured to be cubic ruled cycles. For m=n23m=\frac{n}{2}-3 the same happens for all choices of coefficients r r and rˇ\check r and we do not know what kind of algebraic cycles might produce such Hodge cycles. The first case gives us a conjectural description of a component of the Hodge locus, and the second case gives us strong computer assisted evidences for the existence of new Hodge cycles for cubic hypersurfaces. Whereas the well-known construction of Hodge cycles due to D. Mumford and A. Weil for CM abelian varieties, and Y. Andr\'e's motivated cycles can be described in theoretical terms, the full proof of the existence of our Hodge cycle seems to be only possible with more powerful computing machines.

Keywords

Cite

@article{arxiv.1902.00831,
  title  = {Hodge cycles for cubic hypersurfaces},
  author = {Hossein Movasati},
  journal= {arXiv preprint arXiv:1902.00831},
  year   = {2021}
}

Comments

New section is added more computer data are provided

R2 v1 2026-06-23T07:30:35.081Z