{"id":"arxiv/2601.05571","url":"https://arxiv.org/abs/2601.05571","tags":["math.AG"],"score":0,"title":"New proofs for technical results in \"Infinitesimal invariants of mixed Hodge structures'' (arXiv:2406.17118v1)","domain":"math.AG","source":"arxiv","authors":["Zhenjian Wang"],"reviews":0,"subject":"math.AG","summary":"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|-K_X|$ 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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-09","reactions":{}}