Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userComparing arithmetic intersection formulas for denominators of Igusa class polynomials
286
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Bruinier and Yang conjectured a formula for intersection numbers on an arithmetic Hilbert modular surface, and as a consequence obtained a conjectural formula for CM(K).G_1 under strong assumptions on the ramification in K. Yang later proved this conjecture under slightly stronger assumptions on the ramification. In recent work, Lauter and Viray proved a different formula for CM(K).G_1 for primitive quartic CM fields with a mild assumption, using a method of proof independent from that of Yang. In this paper we show that these two formulas agree, for a class of primitive quartic CM fields which is slightly larger than the intersection of the fields considered by Yang and Lauter and Viray. Furthermore, the proof that these formulas agree does not rely on the results of Yang or Lauter and Viray. As a consequence of our proof, we conclude that the Bruinier-Yang formula holds for a slightly largely class of quartic CM fields K than what was proved by Yang, since it agrees with the Lauter-Viray formula, which is proved in those cases. The factorization of these intersection numbers has applications to cryptography: precise formulas for them 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.
rate research
Read More
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.
Bruinier and Yang conjectured a formula for an intersection number on the arithmetic Hilbert modular surface, CM(K).T_m, where CM(K) is the zero-cycle of points corresponding to abelian surfaces with CM by a primitive quartic CM field K, and T_m is the Hirzebruch-Zagier divisors parameterizing products of elliptic curves with an m-isogeny between them. In this paper, we examine fields not covered by Yangs proof of the conjecture. We give numerical evidence to support the conjecture and point to some interesting anomalies. We compare the conjecture to both the denominators of Igusa class polynomials and the number of solutions to the embedding problem stated by Goren and Lauter.
In earlier work generalizing a 1977 theorem of Alladi, the authors proved a partition-theoretic formula to compute arithmetic densities of certain subsets of the positive integers $mathbb N$ as limiting values of $q$-series as $qto zeta$ a root of unity (instead of using the usual Dirichlet series to compute densities), replacing multiplicative structures of $mathbb N$ by analogous structures in the integer partitions $mathcal P$. In recent work, Wang obtains a wide generalization of Alladis original theorem, in which arithmetic densities of subsets of prime numbers are computed as values of Dirichlet series arising from Dirichlet convolutions. Here the authors prove that Wangs extension has a partition-theoretic analogue as well, yielding new $q$-series density formulas for any subset of $mathbb N$. To do so, we outline a theory of $q$-series density calculations from first principles, based on a statistic we call the $q$-density of a given subset. This theory in turn yields infinite families of further formulas for arithmetic densities.
We give algorithms for computing the singular moduli of suitable nonholomorphic modular functions F(z). By combining the theory of isogeny volcanoes with a beautiful observation of Masser concerning the nonholomorphic Eisenstein series E_2*(z), we obtain CRT-based algorithms that compute the class polynomials H_D(F;x), whose roots are the discriminant D singular moduli for F(z). By applying these results to a specific weak Maass form F_p(z), we obtain a CRT-based algorithm for computing partition class polynomials, a sequence of polynomials whose traces give the partition numbers p(n). Under the GRH, the expected running time of this algorithm is O(n^{5/2+o(1)}). Key to these results is a fast CRT-based algorithm for computing the classical modular polynomial Phi_m(X,Y) that we obtain by extending the isogeny volcano approach previously developed for prime values of m.
We present two class number formulas associated to orders in totally definite quaternion algebras in the spirit of the Eichler class number formula. More precisely, let $F$ be a totally real number field, $D$ be a totally definite quaternion $F$-algebra, and $mathcal{O}$ be an $O_F$-order in $D$. Assume that $mathcal{O}$ has nonzero Eichler invariants at all finite places of $F$ (e.g. $mathcal{O}$ is an Eichler order of arbitrary level). We derive explicit formulas for the following two class numbers associated to $mathcal{O}$: (1) the class number of the reduced norm one group with respect to $mathcal{O}$, namely, the cardinality of the double coset space $D^1backslashwidehat{D}^1/widehat{mathcal{O}}^1$; (2) the number of locally principal right $mathcal{O}$-ideal classes within the spinor class of the principal right $mathcal{O}$-ideals, that is, the cardinality of $D^timesbackslashbig(D^timeswidehat{D}^1widehat{mathcal{O}}^timesbig)/widehat{mathcal{O}}^times$. Both class numbers depend only on the spinor genus of $mathcal{O}$, hence the title of the present paper. The proofs are made possible by optimal spinor selectivity for quaternion orders.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
