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

Reconstructing curves from their Hodge classes

Enrico Schlesinger
2022-01-01

Abstract

Let $S$ be a smooth algebraic surface in $mathbb{P}^3(mathbb{C})$. A curve $C$ in $S$ has a cohomology class $eta_C in H^1 hspace{-3pt}left( Omega^1_S ight)$. Define $alpha(C)$ to be the equivalence class of $eta_C$ in the quotient of $H^1 hspace{-3pt}left( Omega^1_S ight)$ modulo the subspace generated by the class $eta_H$ of a plane section of $S$. In the paper "Reconstructing subvarieties from their periods" the authors Movasati and Sert"{o}z pose several interesting questions about the reconstruction of $C$ from the annihilator $I_{alpha(C)}$ of $alpha(C)$ in the polynomial ring $R=H^0_*(cO_{P^3})$. It contains the homogeneous ideal of $C$, but is much larger as $R/I_{alpha(C)}$ is artinian. We give sharp numerical conditions that guarantee $C$ is reconstructed by forms of low degree in $I_{alpha(C)}$. We also show it is not always the case that the class $alpha(C)$ is extit{perfect}, that is, that $I_{alpha(C)}$ could be bigger than the sum of the Jacobian ideal of $S$ and of the homogeneous ideals of curves $D$ in $S$ for which $I_{alpha(D)}=I_{alpha(C)}$.
2022
Algebraic cycles · Smooth surfaces · Arithmetically Cohen-Macaulay curves and rational curves
File in questo prodotto:
File Dimensione Formato  
CPS Hodge.pdf

accesso aperto

Descrizione: Articolo principale versione pubblicata online
: Publisher’s version
Dimensione 1.77 MB
Formato Adobe PDF
1.77 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1196679
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact