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.
The purpose of this note is to suggest an analogue for genus 2 curves of part of Gross and Zagier's work on elliptic curves. Experimentally, for genus 2 curves with CM by a quartic CM field K, it appears that primes dividing the denominators of the discriminants of the Igusa class polynomials all have the property 1) that they are bounded by d, the absolute value of the discriminant of K, and 2) that they divide d-x^2, for some integer x whose square is less than d. A slightly stronger condition is given in Section 3. Such primes are primes of bad reduction for the genus 2 curve and primes of …
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 whic…
As the conclusion of a line of investigation undertaken in two previous papers, we compute asymptotic frequencies for the values taken by numerators of differences of consecutive Farey fractions with denominators restricted to lie in arithmetic progression.
Genus 2 curves are useful in cryptography for both discrete-log based and pairing-based systems, but a method is required to compute genus 2 curves such that the Jacobian has a given number of points. Currently, all known methods involve constructing genus 2 curves with complex multiplication via computing their three Igusa class polynomials. These polynomials have rational coefficients and require extensive computation and precision to compute. Both the computation and the complexity analysis of these algorithms can be improved by a more precise understanding of the denominators of the coeffi…
We study the twisted local zeta function associated to a polynomial in two variables with coefficients in a non-Archimedean local field of arbitrary characteristic. Under the hypothesis that the polynomial is arithmetically non degenerate, we obtain an explicit list of candidates for the poles in terms of geometric data obtained from a family of arithmetic Newton polygons attached to the polynomial. The notion of arithmetical non degeneracy due to Saia and Zúñiga-Galindo is weaker than the usual notion of non degeneracy due to Kouchnirenko. As an application we obtain asymptotic expansions for…
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 Yang's 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 polyn…
Let $F_Q$ be the set of Farey fractions of order $Q$. Given the integers $\d\ge 2$ and $0\le \c \le \d-1$, let $F_Q(c,d)$ be the subset of $F_Q$ of those fractions whose denominators are $\equiv c \pmod d$, arranged in ascending order. The problem we address here is to show that as $Q\to\infty$, there exists a limit probability measuring the distribution of $s$-tuples of consecutive denominators of fractions in $F_Q(c,d)$. This shows that the clusters of points $(q_0/Q,q_1/Q,...,q_s/Q)\in[0,1]^{s+1}$, where $q_0,q_1,...,q_s$ are consecutive denominators of members of $F_Q$ produce a limit set,…
In a recent paper the author derived a formula for calculating common denominators for the homogeneous components of the Baker-Campbell-Hausdorff (BCH) series. In the present work it is proved that this formula actually yields the smallest such common denominators. In an appendix a new efficient algorithm for computing coefficients of the BCH series is presented, which is based on these common denominators, and requires only integer arithmetic rather than less efficient rational arithmetic.
Two theorems of elmentary arithmetic, one stating that the sum of the reciprocals of any number of consecutive positive integers is never an integer, and a generalization thereof by Trygve Nagell, are shown to be provable inside a very weak arithmetic, Richard Kaye's $PA^-$, in which there is no induction axiom whatsoever.
In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\mathbb Z$. As applications, we obtain the first `non-abelian' Chowla-Selberg formula, which is a special case of Colmez's conjecture; an explicit arithmetic intersection formula between arithmetic Humbert surfaces and CM cycles in the arithmetic Siegel modular variety of genus two; Lauter's conjecture about the denominators of CM values of Igusa invariants; and a result about bad reductions of CM genus two curves.
In this paper, we consider modular forms for finite index subgroups of the modular group whose Fourier coefficients are algebraic. It is well-known that the Fourier coefficients of any holomorphic modular form for a congruence subgroup (with algebraic coefficients) have bounded denominators. It was observed by Atkin and Swinnerton-Dyer that this is no longer true for modular forms for noncongruence subgroups and they pointed out that unbounded denominator property is a clear distinction between modular forms for noncongruence and congruence modular forms. It is an open question whether genuine…
We bound the running time of an algorithm that computes the genus-two class polynomials of a primitive quartic CM-field K. This is in fact the first running time bound and even the first proof of correctness of any algorithm that computes these polynomials. Essential to bounding the running time is our bound on the height of the polynomials, which is a combination of denominator bounds of Goren and Lauter and our own absolute value bounds. The absolute value bounds are obtained by combining Dupont's estimates of theta constants with an analysis of the shape of CM period lattices. The algorithm…
We study the arithmetic of Eisenstein cohomology classes (in the sense of G. Harder) for symmetric spaces associated to GL_2 over imaginary quadratic fields. We prove in many cases a lower bound on their denominator in terms of a special L-value of a Hecke character providing evidence for a conjecture of Harder that the denominator is given by this L-value. We also prove under some additional assumptions that the restriction of the classes to the boundary of the Borel-Serre compactification of the spaces is integral. Such classes are interesting for their use in congruences with cuspidal class…
It is shown that $c=-29/16$ is the unique rational number of smallest denominator, and the unique rational number of smallest numerator, for which the map $f_c(x) = x^2+c$ has a rational periodic point of period $3$. Several arithmetic conditions on the set of all such rational numbers $c$ and the rational orbits of $f_c(x)$ are proved. A graph on the numerators of the rational $3$-periodic points of maps $f_c$ is considered which reflects connections between solutions of norm equations from the cubic field of discriminant $-23$.
Mazur, Rubin, and Stein have recently formulated a series of conjectures about statistical properties of modular symbols in order to understand central values of twists of elliptic curve $L$-functions. Two of these conjectures relate to the asymptotic growth of the first and second moments of the modular symbols. We prove these on average by using analytic properties of Eisenstein series twisted by modular symbols. Another of their conjectures predicts the Gaussian distribution of normalized modular symbols ordered according to the size of the denominator of the cusps. We prove this conjecture…
To compare continued fraction digits with the denominators of the corresponding approximants we introduce the arithmetic-geometric scaling. We will completely determine its multifractal spectrum by means of a number theoretical free energy function and show that the Hausdorff dimension of sets consisting of irrationals with the same scaling exponent coincides with the Legendre transform of this free energy function. Furthermore, we identify the asymptotic of the local behaviour of the spectrum at the right boundary point and discuss a connection to the set of irrationals with continued fractio…
This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $Γ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy with respect to $Γ^{A}(f)$. The set of degenerate polynomials, with respect to a fixed geometric Newton polygon, contains an open subset, for the Zariski topology, formed by non degenerate polynomials …
In this paper we classify curves of genus two over a perfect field k of characteristic two. We find rational models of curves with a given arithmetic structure for the ramification divisor and we give necessary and sufficient conditions for two models of the same type to be k-isomorphic. As a consequence, we obtain an explicit formula for the number of k-isomorphism classes of curves of genus two over a finite field. Moreover, we prove that the field of moduli of any curve coincides with its field of definition, by exhibiting rational models of curves with any prescribed value of their Igusa i…
Research Center in Mathematics and Applications (CIMA)（数学与应用研究中心）；Department of Mathematics, School of Sciences and Technology of the University of Évora（埃武拉大学科学与技术学院数学系）
本文研究了素数表示常数递归构造中出现的映射$\mathcal{T}(x)=\lfloor x floor(1+\{x\})$的有理动力学，定义了有理数的阶，并证明了有限阶有理数的自然密度为1，同时给出了特定分母下的显式分数家族。
