English

The dimension of the image of the Abel map associated with normal surface singularities

Algebraic Geometry 2019-09-17 v1 Geometric Topology

Abstract

Let (X,o)(X,o) be a complex normal surface singularity with rational homology sphere link and let X~\widetilde{X} be one of its good resolutions. Fix an effective cycle ZZ supported on the exceptional curve and also a possible Chern class lH2(X~,Z)l'\in H^2(\widetilde{X},\mathbb{Z}). Define Ecal(Z){\rm Eca}^{l'}(Z) as the space of effective Cartier divisors on ZZ and cl(Z):Ecal(Z)Picl(Z)c^{l'}(Z):{\rm Eca}^{l'}(Z)\to {\rm Pic}^{l'}(Z), the corresponding Abel map. In this note we provide two algorithms, which provide the dimension of the image of the Abel map. Usually, dimPicl(Z)=pg\dim {\rm Pic}^{l'}(Z)=p_g, dimIm(cl(Z))\dim\,{\rm Im} (c^{l'}(Z)) and codimIm(cl(Z)){\rm codim}\,{\rm Im} (c^{l'}(Z)) are not topological, they are in subtle relationship with cohomologies of certain line bundles. However, we provide combinatorial formulae for them whenever the analytic structure on X~\widetilde{X} is generic. The codimIm(cl(Z)){\rm codim}\,{\rm Im} (c^{l'}(Z)) is related with {h1(X~,L)}LIm(cl(Z))\{h^1(\widetilde{X},\mathcal{L})\}_{\mathcal{L}\in {\rm Im} (c^{l'}(Z))}; in order to treat the `twisted' family {h1(X~,L0L)}LIm(cl(Z))\{h^1(\widetilde{X},\mathcal{L}_0\otimes \mathcal{L})\}_{\mathcal{L}\in {\rm Im} (c^{l'}(Z))} we need to elaborate a generalization of the Picard group and of the Abel map. The above algorithms are also generalized.

Keywords

Cite

@article{arxiv.1909.07023,
  title  = {The dimension of the image of the Abel map associated with normal surface singularities},
  author = {János Nagy and András Némethi},
  journal= {arXiv preprint arXiv:1909.07023},
  year   = {2019}
}