New proofs for technical results in "Infinitesimal invariants of mixed Hodge structures'' (arXiv:2406.17118

Cubic forms $C$ are constructed in the work of R. Aguilar, M. Green and P. Griffiths to establish the generic global Torelli theorem for Fano-K3 pairs $(X,Y)$, where $X:F=0$ is a cubic threefold in ${\mathbb{P}}^4$ and $Y\in \mathrm{\mid }-K_X\mathrm{\mid }$ is an anticanonical smooth section of $X$ defined by a quadratic form $Q$. In this article, we prove the following two results, which were previously verified with the computer aid of Macaulay2: for a generic pair $(X,Y)$, (i) the cubic form $C$ is smooth; (2) $(J_{F,3}:Q)=0$, and thereby give a precise meaning of the word ``generic" in this context.