An arithmetic intersection formula for denominators of Igusa class polynomials

DOI10.1353/AJM.2015.0010MaRDI QIDQ5248804zbMATH OpenOpenAlexFDO

Authors Bianca Viray, Kristin Lauter

Publication date 11 May 2015

Published in American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1210.7841, http://muse.jhu.edu/journals/american_journal_of_mathematics/summary/v137/137.2.lauter.html

zbMATH Keywords

arithmetic intersection numberIgusa class polynomialsarithmetic Hilbert modular surface

Mathematics Subject Classification ID

Complex multiplication and moduli of abelian varieties (11G15) Arithmetic varieties and schemes; Arakelov theory; heights (14G40) Complex multiplication and abelian varieties (14K22)

Abstract: In this paper we prove an explicit formula for the arithmetic intersection number (CM(K).G1)_{ell} on the Siegel moduli space of abelian surfaces, generalizing the work of Bruinier-Yang and Yang. These intersection numbers allow one to compute the denominators of Igusa class polynomials, which has important applications to the construction of genus 2 curves for use in cryptography. Bruinier and Yang conjectured a formula for intersection numbers on an arithmetic Hilbert modular surface, and as a consequence obtained a conjectural formula for the intersection number (CM(K).G1)_{ell} under strong assumptions on the ramification of the primitive quartic CM field K. Yang later proved this conjecture assuming that O_K is freely generated by one element over the ring of integers of the real quadratic subfield. In this paper, we prove a formula for (CM(K).G1)_{ell} for more general primitive quartic CM fields, and we use a different method of proof than Yang. We prove a tight bound on this intersection number which holds for all primitive quartic CM fields. As a consequence, we obtain a formula for a multiple of the denominators of the Igusa class polynomials for an arbitrary primitive quartic CM field. Our proof entails studying the Embedding Problem posed by Goren and Lauter and counting solutions using our previous article that generalized work of Gross-Zagier and Dorman to arbitrary discriminants.

Recommendations

• Denominators of Igusa class polynomials
• Comparing arithmetic intersection formulas for denominators of Igusa class polynomials
• Igusa class polynomials, embeddings of quartic CM fields, and arithmetic intersection theory
• An arithmetic intersection formula on Hilbert modular surfaces
• Arithmetic intersection on a Hilbert modular surface and the Faltings height

Cited in

(14)

• The CM class number one problem for curves of genus 2
• Comparing arithmetic intersection formulas for denominators of Igusa class polynomials
• Bad reduction of genus three curves with complex multiplication
• A bound on the primes of bad reduction for CM curves of genus \(3\)
• Difference of modular functions and their CM value factorization
• Primes dividing invariants of CM Picard curves
• Denominators of Igusa class polynomials
• Hilbert theta series and invariants of genus 2 curves
• Examples of CM curves of genus two defined over the reflex field
• Principally polarized squares of elliptic curves with field of moduli equal to \(\mathbb{Q}\)
• On different expressions for invariants of hyperelliptic curves of genus 3
• A Gross-Zagier formula for quaternion algebras over totally real fields
• On the \(j\)-invariants of CM-elliptic curves defined over \(\mathbb{Z}_p\)
• Intersection of modular polynomials

This page was built for publication: An arithmetic intersection formula for denominators of Igusa class polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5248804)