English

Reconstructing curves from their Hodge classes

Algebraic Geometry 2021-04-13 v1

Abstract

Let SS be a smooth algebraic surface in P3(C)\mathbb{P}^3(\mathbb{C}). A curve CC in SS has a cohomology class ηCH1(ΩS1)\eta_C \in H^1 \hspace{-3pt}\left( \Omega^1_S \right). Define α(C)\alpha(C) to be the equivalence class of ηC\eta_C in the quotient of H1(ΩS1)H^1 \hspace{-3pt}\left( \Omega^1_S \right) modulo the subspace generated by the class ηH\eta_H of a plane section of SS. In the paper "Reconstructing subvarieties from their periods" the authors Movasati and Sert\"{o}z pose several interesting questions about the reconstruction of CC from the annihilator Iα(C)I_{\alpha(C)} of α(C)\alpha(C) in the polynomial ring R=H0(OP3)R=H^0_*(\mathcal{O}_{\mathbb{P}^3}). It contains the homogeneous ideal of CC, but is much larger as R/Iα(C)R/I_{\alpha(C)} is artinian. We give sharp numerical conditions that guarantee CC is reconstructed by forms of low degree in Iα(C)I_{\alpha(C)}. We also show it is not always the case that the class α(C)\alpha(C) is \textit{perfect}, that is, that Iα(C)I_{\alpha(C)} could be bigger than the sum of the Jacobian ideal of SS and of the homogeneous ideals of curves DD in SS for which Iα(D)=Iα(C)I_{\alpha(D)}=I_{\alpha(C)}.

Keywords

Cite

@article{arxiv.2104.05576,
  title  = {Reconstructing curves from their Hodge classes},
  author = {Maria Gioia Cifani and Gian Pietro Pirola and Enrico Schlesinger},
  journal= {arXiv preprint arXiv:2104.05576},
  year   = {2021}
}
R2 v1 2026-06-24T01:05:11.620Z