In this paper we study the values of modular functions at the Markov quadratics which are defined in terms of their cycle integrals along the associated closed geodesics. These numbers are shown to satisfy two properties that were conjectured by Kaneko. More precisely we show that the values of a modular function f, along any branch B of the Markov tree, converge to the value of f at the Markov number which is the predecessor of the tip of B. We also prove an interlacing property for these values.
In 2008, M. Kaneko made several interesting observations about the values of the modular j invariant at real quadratic irrationalities. The values of modular functions at real quadratics are defined in terms of their cycle integrals along the associated geodesics. In this paper we prove some of the conjectures of M. Kaneko for a general modular function.
Kaneko and Koike introduced the notion of extremal quasi-modular form and proposed conjectures on their arithmetic properties. The aim of this note is to prove a rather sharp multiplicity estimate for these quasi-modular forms. The note ends with discussions and partial answers around these conjectures and an appendix by G. Nebe containing the proof of the integrality of the Fourier coefficients of the normalised extremal quasimodular form of weight 14 and depth 1.
Let $U(p)$ denote the Atkin operator of prime index $p$. Honda and Kaneko proved infinite families of congruences of the form $f|U(p) \equiv 0 \pmod{p}$ for weakly holomorphic modular forms of low weight and level and primes $p$ in certain residue classes, and conjectured the existence of similar congruences modulo higher powers of $p$. Partial results on some of these conjectures were proved recently by Guerzhoy. We construct infinite families of weakly holomorphic modular forms on the Fricke groups $Γ^*(N)$ for $N=1,2,3,4$ and describe explicitly the action of the Hecke algebra on these form…
In this paper, we investigate linear relations among regularized motivic iterated integrals on $\mathbb{P}^{1}\setminus\{0,1,\infty\}$ of depth two, which we call regularized motivic double zeta values. Some mysterious connections between motivic multiple zeta values and modular forms are known, e.g. Gangl--Kaneko--Zagier relation for the totally odd double zeta values and Ihara--Takao relation for the depth graded motivic Lie algebra. In this paper, we investigate so-called non-admissible cases and give many new Gangl--Kaneko--Zagier type and Ihara--Takao type relations for regularized motivi…
Kaneko and Sakai recently observed that certain elliptic curves whose associated newforms (by the modularity theorem) are given by the eta-quotients can be characterized by a particular differential equation involving modular forms and Ramanujan-Serre differential operator. In this paper, we study certain properties of modular parametrizations associated to the elliptic curves over Q, and as a consequence we generalize and explain some of their findings.
We present explicit formulas for Hecke eigenforms as linear combinations of q-analogues of modified double zeta values. As an application, we obtain period polynomial relations and sum formulas for these modified double zeta values. These relations have similar shapes as the period polynomial relations of Gangl, Kaneko and Zagier and the usual sum formulas for classical double zeta values.
We study quasimodular forms of depth $\leq4$ and determine under which conditions they occur as solutions of modular differential equations. Furthermore, we study which modular differential equations have quasimodular solutions. We use these results to investigate extremal quasimodular forms as introduced by M. Kaneko and M. Koike further. Especially, we prove a conjecture stated by these authors concerning the divisors of the denominators occurring in their Fourier expansion.
The elliptic modular j function enjoys many beautiful properties. Its Fourier coefficients are related to the Monster group, and its CM values generate abelian extensions over imaginary quadratic fields. Kaneko gave an arithmetic formula for the Fourier coefficients expressed in terms of the traces of the CM values. In this article, we are concerned with analogues of Kaneko's result for the McKay-Thompson series of square-free level.
Under the generalized Lindelöf hypothesis, the exponent in the error term of the prime geodesic theorem for the modular surface is reduced to $\frac{5}{8}+\varepsilon $ outside a set of finite logarithmic measure.
We prove a geometric formula for the cycle integrals of Parson's weight 2k modular integrals in terms of the intersection angles of geodesics on modular curves. Our result is an analog for modular integrals of a classical formula for the cycle integrals of certain hyperbolic Poincaré series, due to Katok. On the other hand, it extends a recent geometric formula of Matsusaka and Duke, Imamoglu, and Tóth for the cycle integrals of weight 2 modular integrals.
Soundararajan and Young (2013) proposed a new approach to improve the error term of the prime geodesic theorem for the modular group and actually obtained the exponent 25/36 of the error term. In the present paper, we sharpen it to 9/13.
We provide a simple and general construction of infinite families of consistent, modular-covariant pairs of characters satisfying the basic requirements to describe two-character RCFT. These correspond to solutions of generic second-order modular linear differential equations. To find these solutions, we first construct "quasi-characters" from the Kaneko-Zagier equation and subsequent works by Kaneko and collaborators, together with coset dual generalisations that we provide in this paper. We relate our construction to the Hecke images recently discussed by Harvey and Wu.
Let $f$ be a Petersson normalized Hecke-Maass cusp form with spectral parameter $t\geq 2$ and let $\mathcal{C}_{D}$ be the union of closed geodesics in $\text{Sl}_{2}(\mathbb{Z})\setminus \mathbb{H}$ associated to a fundamental discriminant $D>0$. Following a suggestion by Sarnak in his letter to Reznikov, we express the restriction norm $||f|_{\mathcal{C}_{D}}||_{2}^{2}$ as a weighted sum of central values of L-functions using Waldspurger's formula. This allows us to get an unconditional improvement over the current bounds.
In a recent work of Duke, Imamoglu, and Tóth, the linking number of certain links on the space $\text{SL}(2,\mathbb{Z})\backslash\text{SL}(2,\mathbb{R})$ is investigated. This linking number has an alternative interpretation as the intersection number of closed geodesics on the modular curve, which is the focus of this paper. By relating the intersection number to a combinatorial computation involving rivers of Conway topographs, an efficient algorithm for computing intersection numbers is produced. A formula for the total intersection of a pair of positive coprime fundamental discriminants is…
In this survey article, we discuss the algebraic structure of q-analogues of multiple zeta values, which are closely related to derivatives of Eisenstein series. Moreover, we introduce the formal double Eisenstein space, which generalizes the formal double zeta space of Gangl, Kaneko, and Zagier. Using the algebraic structure of q-analogues of multiple zeta values, we will present a realization of this space. As an application, we will obtain purely combinatorial proofs of identities among (quasi-)modular forms.
Zagier's well-known work on traces of singular moduli relates the coefficients of certain weakly holomorphic modular forms of weight $1/2$ to traces of values of the modular $j$-function at imaginary quadratic points. A real quadratic analogue was recently studied by Duke, Imamoglu, and Tóth. They showed that the coefficients of certain weight $1/2$ mock modular forms \[ f_D = \sum_{d>0} a(d,D) q^d, \qquad D>0 \] are given in terms of traces of cycle integrals of the $j$-function. Their result applies to those coefficients $a(d,D)$ for which $dD$ is not a square. Recently Bruinier, Funke, and …
We define a weighted multiplicity function for closed geodesics of given length on a finite area Riemann surface. These weighted multiplicities appear naturally in the Selberg trace formula, and in particular their mean square plays an important role in the study of statistics of the eigenvalues of the Laplacian on the surface. In the case of the modular domain, E. Bogomolny, F. Leyvraz and C. Schmit gave a formula for the mean square, which was rigorously proved by M. Peter. In this paper we calculate the mean square of weighted multiplicities for some surfaces associated to congruence subgro…
We give asymptotic upper and lower bounds for the real and imaginary parts of cycle integrals of the classical modular j-function along geodesics that correspond to Markov irrationalities.
We determine the variance for the fluctuations of the arithmetic measures obtained by collecting all closed geodesics on the modular surface with the same discriminant and ordering them by the latter. This arithmetic variance differs by subtle factors from the variance that one gets when considering individual closed geodesics when ordered by their length. The arithmetic variance is the same one that appears in the fluctuations of measures associated with quantum states on the modular surface.
We asymptotically estimate the variance for the distribution of closed geodesics in small random balls or annuli on the modular surface $Γ\backslash\mathbb{H}$. A probabilistic model in which closed geodesics are modeled using random geodesic segments is proposed, and we rigorously analyze this model using mixing of the geodesic flow in $Γ\backslash\mathbb{H}$. This leads to a conjecture for the asymptotic behavior of the variance, which unlike in previously explored cases is not equal to the expected value. We prove this conjecture for small balls and annuli, resolving a question left open by…
The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as well as arithmetic information about the associated reciprocal classes of binary quadratic forms. One striking feature is the absence of a gap beyond zero in the limiting distribution, contrasting with the analog Euclidean situation.
We give an ergodic theoretic proof of a theorem of Duke about equidistribution of closed geodesics on the modular surface. The proof is closely related to the work of Yu. Linnik and B. Skubenko, who in particular proved this equidistribution under an additional congruence assumption on the discriminant. We give a more conceptual treatment using entropy theory, and show how to use positivity of the discriminant as a substitute for Linnik's congruence condition.
We study the distribution of closed geodesics for the modular surface. We improve the error term in the prime geodesic theorem, and obtain results on prime geodesics in very short intervals conditionally on the generalized Riemann Hypothesis for Dirichlet L-functions. We emphasize a connection between the closed geodesics and certain Dirichlet L-functions.
We study rationality properties of geodesic cycle integrals of meromorphic modular forms associated to positive definite binary quadratic forms. In particular, we obtain finite rational formulas for the cycle integrals of suitable linear combinations of these meromorphic modular forms.
An explicit product representation is proved for the correlation function of the multiplicities of closed geodesics on the modular surface. This makes rigorous part of the investigation of Bogomolny, Leyvraz and Schmit on the correlation of the eigenvalues of the Laplacian on the modular surface. The result can also be seen as a (rigorously proved) analogue of the Hardy-Littlewood twin prime conjecture.
Periodic geodesics on the modular surface correspond to periodic orbits of the geodesic flow in its unit tangent bundle $\mathrm{PSL}_2(\mathbb{Z})\backslash\mathrm{PSL}_2(\mathbb{R})$. The complement of any finite number of orbits is a hyperbolic $3$-manifold, which thus has a well-defined volume. We present strong numerical evidence that, in the case of the set of geodesics corresponding to the ideal class group of a real quadratic field, the volume has linear asymptotics in terms of the total length of the geodesics. This is not the case for general sets of geodesics
We show that geodesics in the upper half-plane attached to a maximal split torus or a real quadratic torus in $GL_{2, \mathbf{Q}}$ are the only irreducible algebraic curves whose image via the $j$-invariant is contained in an algebraic curve.
In this paper, we use regularized theta liftings to construct weak Maass forms weight 1/2 as lifts of weak Maass forms of weight 0. As a special case we give a new proof of some of recent results of Duke, Toth and Imamoglu on cycle integrals of the modular j-invariant and extend these to any congruence subgroup. Moreover, our methods allow us to settle the open question of a geometric interpretation for periods of j along infinite geodesics in the upper half plane. In particular, we give the `central value' of the (non-existing) `L-function' for j. The key to the proofs is the construction of …
The Shimura correspondence connects modular forms of integral weights and half-integral weights. One of the directions is realized by the Shintani lift, where the inputs are holomorphic differentials and the outputs are holomorphic modular forms of half-integral weight. In this article, we generalize this lift to differentials of the third kind. As an application we obtain a modularity result concerning the generating series of winding numbers of closed geodesics on the modular curve.
The connection between geodesics on the modular surface $\operatorname{PSL}(2,{\mathbb Z})\backslash {\mathbb H}$ and regular continued fractions, established by Series, is extended to a connection between geodesics on $Γ\backslash {\mathbb H}$ and odd and grotesque continued fractions, where $Γ\cong {\Bbb Z}_3 \ast {\Bbb Z}_3$ is the index two subgroup of $\operatorname{PSL}(2,{\mathbb Z})$ generated by the order three elements $\left( \begin{smallmatrix} 0 & -1 \\ 1 & 1 \end{smallmatrix} \right)$ and $\left( \begin{smallmatrix} 0 & 1 \\ -1 & 1 \end{smallmatrix} \right)$, having an ideal quad…
We show that generating functions associated to the sequence of convergents of a quadratic irrational are related in a natural way to the dynam- ical zeta function of a hyperbolic automorphism of the 2-torus. As a corollary, this shows that the Lévy constant of a quadratic irrational appears naturally as the topological entropy of such maps.
Sarnak obtained the asymptotic formula of the sum of the class numbers of indefinite binary quadratic forms from the prime geodesic theorem for the modular group. In the present paper, we show several asymptotic formulas of partial sums of the class numbers by using the prime geodesic theorems for the congruence subgroups of the modular group.
In this paper we study a continuity of the "values" of modular functions at the real quadratic numbers which are defined in terms of their cycle integrals along the associated closed geodesics. Our main theorem reveals a more finer structure of the continuity of these values with respect to continued fraction expansions and it turns out that it is different from the continuity with respect to Euclidean topology.
This paper describes the cutting sequences of geodesic flow on the modular surface H/PSL(2,Z) with respect to the standard fundamental domain F = {z=x+iy: -1/2 <= x <= 1/2 and |z|>=1} of PSL(2,Z). The cutting sequence for a vertical geodesic {θ+it: t > 0} is related to a one-dimensional continued fraction expansion for θ, called the one-dimensional Minkowski geodesic continued fraction (MGCF) expansion, which is associated to a parametrized family of reduced bases of a family of 2-dimensional lattices. The set of cutting sequences for all geodesics forms a two-sided shift in a symbol space {L,…
A closed geodesic on the modular surface gives rise to a knot on the 3-sphere with a trefoil knot removed, and one can compute the linking number of such a knot with the trefoil knot. We show that, when ordered by their length, the set of closed geodesics having a prescribed linking number become equidistributed on average with respect to the Liouville measure. We show this by using the thermodynamic formalism to prove an equidistribution result for a corresponding set of quadratic irrationals on the unit interval.
The main goal of this paper is to study properties of the iterated integrals of modular forms in the upper halfplane, eventually multiplied by $z^{s-1}$, along geodesics connecting two cusps. This setting generalizes simultaneously the theory of modular symbols and that of multiple zeta values
We extend Borcherds' singular theta lift in signature $(1,2)$ to harmonic Maass forms of weight $1/2$ whose non-holomorphic part is allowed to be of exponential growth at $i\infty$. We determine the singularities of the lift and compute its Fourier expansion. It turns out that the lift is continuous but not differentiable along certain geodesics in the upper half-plane corresponding to the non-holomorphic principal part of the input. As an application, we obtain a generalization to higher level of the weight $2$ modular integral of Duke, Imamoglu and Tóth. Further, we construct automorphic pro…
