Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors construct an explicit algebraic generating function for canonical bases of weakly holomorphic modular functions on genus-one modular curves with a single cusp. Using canonical Weierstrass generators and the curve's unique weight-two cusp form, they prove that the Taylor coefficients of their rational kernel span the space $M_{0,\Gamma}^{!,\infty}$ of functions with poles restricted to the cusp. By matching this generating series against Niebur–Poincaré expansions, they resolve the analytic structure of Kloosterman zeta values at $s=1$ as the holomorphic component of a weight-two harmonic Maass form.
Canonical bases for weakly holomorphic modular functions on elliptic curves collapse into an explicit algebraic kernel, revealing that special values of the Kloosterman zeta function are governed by harmonic Maass forms.
Let $\Gz$ be a cofinite Fuchsian group whose quotient $\Gz\backslash\HH$ has genus one and a single cusp, normalized to be at $\infty$ with width one. Let $\Xg$ be its smooth compactification, which is an elliptic curve over $\CC$. Let $x,y$ be canonical generators of the function field on $\Xg$, which have poles of order $2,3$ respectively at the cusp and which {satisfy} a generalized Weierstrass relation $y^2+(a_1x+a_3)y=x^3+a_2x^2+a_4x+a_6$. Let $f$ be the unique (up to scale) weight two cusp form for $\Gz$, normalized so that the associated holomorphic differential is $ω=dx/(2y+a_1x+a_3)$. With all this, we prove that the generating function identity \[ \frac{\bigl(y(τ)+y(z)+a_1x(z)+a_3\bigr)f(z)}{x(z)-x(τ)}=\sum_{m\ge0}Φ_m(τ)q_z^m \] defines a family $\{Φ_m\}_{m\ge0}$ of weakly holomorphic modular functions on $\Xg$ such that the set $\{Φ_0\}\cup\{Φ_m\}_{m\ge2}$ is a canonical basis of the space $M_{0,\Gz}^{!,\infty}$ of weakly holomorphic modular functions on $\Xg$ with poles supported only at the cusp. As an application, by comparing the generating function of the family $\{Φ_m\}_{m\ge0}$ with the generating function of the Niebur--Poincaré series, we show that the generating function of the special values of the Kloosterman zeta function at $1$ is the holomorphic part of a certain weight two harmonic Maass form up to an additive constant.