Counting hyperelliptic curves on an abelian surface with quasi-modular forms (Q481151): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \((A, L)\) be a polarized abelian surface with polarization of type \((1, h -1)\). Let \(N_{g,h}\) denote the number of hyperelliptic curves in the linear system \(|L|\) which are of geometric genus \(g\) and arithmetic genus \(h\), and define \[ F_g(u) = \sum_{h=g}^\infty N_{g,h}u^{h-1}. \] In the case \(g = 2\), all curves are hyperelliptic, and Göttsche proved that \(F_2(u)=E_2(u)+1/24\) where \(E_2\) is the Eisenstein series of weight 2. The paper under review, formulates a conjectural formula in terms of quasi modular forms for yet a refinement of the generating series above. This is defined by means of the number of Weierstrass points of the hyperelliptic curves that are lying over each point of \(A[2]\). The conjectural formula is based on the assumption of the validity of the Gromov-Witten crepant resolution conjecture for the resolution \(K\to A/\pm 1\) where \(K\) is the corresponding Kummer \(K3\) surface. To be able to use this conjecture, the following isomorphism of stacks of orbifold stable maps is proven: \[ \overline{M}([A/\pm 1];2g+2,\beta)\cong \overline{M}([\text{Sym}^2 A];2g+2,i_*\beta) \] where \(i:[A/\pm 1]\to [\text{Sym}^2 A]\) is induced from \(A\to A\times A\) sending \(a\mapsto (a,-a)\). The idea is then that counting hyperelliptic curves in \(A\) is equivalent to counting certain stacky rational curves in the orbifold \([A/ \pm1]\). Using the crepant resolution conjecture, this should be the same as counting certain rational curves in the smooth \(K3\) surface \(K\) which has been studied by Yau-Zaslow and Bryan-Leung. As an application of this formula, the paper under review provides a lower bound on the arithmetic genus of a hyperelliptic curve in \(A\). In particular it is proven that there are no smooth hyperelliptic curves on \(A\) of genus greater than \(5\). | |||
Property / review text: Let \((A, L)\) be a polarized abelian surface with polarization of type \((1, h -1)\). Let \(N_{g,h}\) denote the number of hyperelliptic curves in the linear system \(|L|\) which are of geometric genus \(g\) and arithmetic genus \(h\), and define \[ F_g(u) = \sum_{h=g}^\infty N_{g,h}u^{h-1}. \] In the case \(g = 2\), all curves are hyperelliptic, and Göttsche proved that \(F_2(u)=E_2(u)+1/24\) where \(E_2\) is the Eisenstein series of weight 2. The paper under review, formulates a conjectural formula in terms of quasi modular forms for yet a refinement of the generating series above. This is defined by means of the number of Weierstrass points of the hyperelliptic curves that are lying over each point of \(A[2]\). The conjectural formula is based on the assumption of the validity of the Gromov-Witten crepant resolution conjecture for the resolution \(K\to A/\pm 1\) where \(K\) is the corresponding Kummer \(K3\) surface. To be able to use this conjecture, the following isomorphism of stacks of orbifold stable maps is proven: \[ \overline{M}([A/\pm 1];2g+2,\beta)\cong \overline{M}([\text{Sym}^2 A];2g+2,i_*\beta) \] where \(i:[A/\pm 1]\to [\text{Sym}^2 A]\) is induced from \(A\to A\times A\) sending \(a\mapsto (a,-a)\). The idea is then that counting hyperelliptic curves in \(A\) is equivalent to counting certain stacky rational curves in the orbifold \([A/ \pm1]\). Using the crepant resolution conjecture, this should be the same as counting certain rational curves in the smooth \(K3\) surface \(K\) which has been studied by Yau-Zaslow and Bryan-Leung. As an application of this formula, the paper under review provides a lower bound on the arithmetic genus of a hyperelliptic curve in \(A\). In particular it is proven that there are no smooth hyperelliptic curves on \(A\) of genus greater than \(5\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Amin Gholampour / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14N35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H57 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H52 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11G10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6379839 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polarized abelian surface | |||
Property / zbMATH Keywords: polarized abelian surface / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
hyperelliptic curves | |||
Property / zbMATH Keywords: hyperelliptic curves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gromov-Witten crepant resolution conjecture | |||
Property / zbMATH Keywords: Gromov-Witten crepant resolution conjecture / rank | |||
Normal rank |
Revision as of 19:19, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Counting hyperelliptic curves on an abelian surface with quasi-modular forms |
scientific article |
Statements
Counting hyperelliptic curves on an abelian surface with quasi-modular forms (English)
0 references
12 December 2014
0 references
Let \((A, L)\) be a polarized abelian surface with polarization of type \((1, h -1)\). Let \(N_{g,h}\) denote the number of hyperelliptic curves in the linear system \(|L|\) which are of geometric genus \(g\) and arithmetic genus \(h\), and define \[ F_g(u) = \sum_{h=g}^\infty N_{g,h}u^{h-1}. \] In the case \(g = 2\), all curves are hyperelliptic, and Göttsche proved that \(F_2(u)=E_2(u)+1/24\) where \(E_2\) is the Eisenstein series of weight 2. The paper under review, formulates a conjectural formula in terms of quasi modular forms for yet a refinement of the generating series above. This is defined by means of the number of Weierstrass points of the hyperelliptic curves that are lying over each point of \(A[2]\). The conjectural formula is based on the assumption of the validity of the Gromov-Witten crepant resolution conjecture for the resolution \(K\to A/\pm 1\) where \(K\) is the corresponding Kummer \(K3\) surface. To be able to use this conjecture, the following isomorphism of stacks of orbifold stable maps is proven: \[ \overline{M}([A/\pm 1];2g+2,\beta)\cong \overline{M}([\text{Sym}^2 A];2g+2,i_*\beta) \] where \(i:[A/\pm 1]\to [\text{Sym}^2 A]\) is induced from \(A\to A\times A\) sending \(a\mapsto (a,-a)\). The idea is then that counting hyperelliptic curves in \(A\) is equivalent to counting certain stacky rational curves in the orbifold \([A/ \pm1]\). Using the crepant resolution conjecture, this should be the same as counting certain rational curves in the smooth \(K3\) surface \(K\) which has been studied by Yau-Zaslow and Bryan-Leung. As an application of this formula, the paper under review provides a lower bound on the arithmetic genus of a hyperelliptic curve in \(A\). In particular it is proven that there are no smooth hyperelliptic curves on \(A\) of genus greater than \(5\).
0 references
polarized abelian surface
0 references
hyperelliptic curves
0 references
Gromov-Witten crepant resolution conjecture
0 references