Seminal works by Birch and Ihara gave formulas for the $m$th power moments of the traces of Frobenius endomorphisms of elliptic curves over $\mathbb{F}_{p}$ for primes $p \geq 5$. Recent works by Kaplan and Petrow generalized these results to the setting of elliptic curves that contain a subgroup isomorphic to a fixed finite abelian group $A$. We revisit these formulas and determine a simple expression for the zeta function $Z_p(A; t)$, the generating function for these $m$th power moments. In particular, we find that \[ Z_p(A;t) = \frac{\widehat{Z}_p(A; t)}{\displaystyle \prod_{a \in \textrm{Frob}_p(A)}(1 - at)},\] where $\textrm{Frob}_p(A) := \{ a \, \colon -2\sqrt{p} \leq a \leq 2\sqrt{p}\, \text{ and } a \equiv p+1 \pmod{|A|}\}$, and $\widehat{Z}_p(A;t)$ is an easily computed polynomial that is determined by the first $\Big\lceil\frac{2\lfloor 2\sqrt{p}\rfloor}{|A|}\Big\rceil$ power moments. These rational zeta functions have two natural applications. We find rational generating functions in weight aspect for traces of Hecke operators on $S_k(Γ)$ for various congruence subgroups $Γ$. We also prove congruence relations for power moments by making use of known congruences for traces of Hecke operators.
In this paper, we prove that when elliptic curves over $\mathbb{Q}$ are ordered by height, the second moment of the size of the $2$-Selmer group is at most $15$. This confirms a conjecture of Poonen and Rains.
Elliptic modular graph functions and forms (eMGFs) are defined for arbitrary graphs as natural generalizations of modular graph functions and forms obtained by including the character of an Abelian group in their Kronecker--Eisenstein series. The simplest examples of eMGFs are given by the Green function for a massless scalar field on the torus and the Zagier single-valued elliptic polylogarithms. More complicated eMGFs are produced by the non-separating degeneration of a higher genus surface to a genus one surface with punctures. eMGFs may equivalently be represented by multiple integrals ove…
We study generating functions of certain shapes of planar polygons arising from homological mirror symmetry of elliptic curves. We express these generating functions in terms of rational functions of the Jacobi theta function and Zwegers' mock theta function and determine their (mock) Jacobi properties. We also analyze their special values and singularities, which are of geometric interest as well.
We calculate the first and second moments of L-functions in the family of quadratic twists of a fixed elliptic curve E over F_q[x], asymptotically in the limit as the degree of the twists tends to infinity. We also compute moments involving derivatives of L-functions over quadratic twists, enabling us to deduce lower bounds on the correlations between the analytic ranks of the twists of two distinct curves.
We express all the newforms of weight $2$ and levels $30$, $33$, $35$, $38$, $40$, $42$, $44$, $45$ as linear combinations of eta quotients and Eisenstein series, and list their corresponding strong Weil curves. Let $p$ denote a prime and $E (\zz_p)$ denote the the group of algebraic points of an elliptic curve $E$ over $\zz_p$. We give a generating function for the order of $E (\zz_p)$ for certain strong Weil curves in terms of eta quotients and Eisenstein series. We then use our generating functions to deduce congruence relations for the order of $E (\zz_p)$ for those strong Weil curves.
Using explicit constructions of the Weierstrass mock modular form, we offer a closed formula for generating the values of shifted convolution $L$-values for certain elliptic curves that can be computed to arbitrary precision. These identities provide a surprising relation between weight $2$ newforms and shifted convolution $L$-values.
We derive new bounds for moments of the error in the Sato-Tate law over families of elliptic curves. Our estimates are stronger than those obtained by W.D. Banks and I.E. Shparlinski (arXiv:math/0609144) and L. Zhao and the fist-named author in (arXiv:math/0608318) for the first and second moments, but this comes at the cost of larger ranges of averaging. As applications, we deduce new almost-all results for the said errors and a conditional Central Limit Theorem on the distribution of these errors. Our method is different from those used in the above-mentioned papers and builds on recent work…
We study one-parameter families of elliptic curves over $\mathbb{Q}(T)$, which are of the form $y^2=x^3+A(T)x+B(T)$, with non-constant $j$-invariant. We define the $r$\textsuperscript{th} moment of an elliptic curve to be $A_{r,E}(p) := \frac1{p} \sum_{t \bmod p} a_t(p)^r$, where $a_t(p)$ is $p$ minus the number of solutions to $y^2 = x^3 + A(t)x + B(t) \bmod p$. Rosen and Silverman showed biases in the first moment equal the rank of the Mordell-Weil group of rational solutions. Michel proved that $pA_{2,E}(p)=p^2+O(p^{3/2})$. Based on several special families where computations can be done in…
Elliptic curves arise in many important areas of modern number theory. One way to study them is take local data, the number of solutions modulo $p$, and create an $L$-function. The behavior of this global object is related to two of the seven Clay Millennial Problems: the Birch and Swinnerton-Dyer Conjecture and the Generalized Riemann Hypothesis. We study one-parameter families over $\mathbb{Q}(T)$, which are of the form $y^2=x^3+A(T)x+B(T)$, with non-constant $j$-invariant. We define the r-th moment of an elliptic curve to be $A_{r,E}(p) := \frac1{p} \sum_{t \bmod p} a_t(p)^r$, where $a_t(p)…
Two different constructions generating the low-energy expansion of genus-one configuration-space integrals appearing in one-loop open-string amplitudes have been put forward in \rcites{Mafra:2019xms, *Mafra:2019ddf, Broedel:2019gba}. We are going to show that both approaches can be traced back to an elliptic system of Knizhnik--Zamolodchikov--Bernard(KZB) type on the twice-punctured torus. We derive an explicit all-multiplicity representation of the elliptic KZB system for a vector of iterated integrals with an extra marked point and explore compatibility conditions for the two sets of algebra…
