Searcharxiv⌕ Search

arXiv subjects

Ben Kane

Publications and source records attributed to Ben Kane.

At least 55 records · Page 3Linked to original sources

Regular ternary polygonal forms

Inspired by Dickson's classification of regular ternary quadratic forms, we prove that there are no primitive regular $m$-gonal forms when $m$ is sufficiently large. In order to do so, we construct sequences of primes that are inert in a certain quadratic field and show that they satisfy a certain inequality bounding the next prime by the product of the previous primes, a question of independent interest.

math.NT↗

Fermat's polygonal number theorem for repeated generalized polygonal numbers

In this paper, we consider sums of generalized polygonal numbers with repeats, generalizing Fermat's polygonal number theorem which was proven by Cauchy. In particular, we obtain the minimal number of generalized $m$-gonal numbers required to represent every positive integer and we furthermore generalize this result to obtain optimal bounds when many of the generalized $m$-gonal numbers are repeated $r$ times, where $r\in\mathbb{N}$ is fixed.

math.NT↗

Central $L$-values of elliptic curves and local polynomials

Here we study the recently introduced notion of a locally harmonic Maass form and its applications to the theory of $L$-functions. In particular, we find finite formulas for certain twisted central $L$-values of a family of elliptic curves in terms of finite sums over canonical binary quadratic forms. This yields vastly simpler formulas related to work of Birch and Swinnerton-Dyer for such $L$-values, and extends beyond their framework to special non-CM elliptic curves.

math.NT↗

An extension of Rohrlich's Theorem to the $j$-function

In this paper, we extend Rohrlich's Theorem on the integral of logarithms of meromorphic functions to compute the inner product between such functions and polynomials in the $j$-function. We then show that the generating function for these inner products with $j_n$ is part of a weight two modular object.

math.NT↗

Universal sums of $m$-gonal numbers

In this paper we study universal quadratic polynomials which arise as sums of polygonal numbers. Specifically, we determine an asymptotic upper bound (as a function of $m$) on the size of the set $S_m\subset\mathbb{N}$ such that if a sum of $m$-gonal numbers represents $S_m$, then it represents $\mathbb{N}$.

math.NT↗

Almost universal ternary sums of polygonal numbers

For a natural number $m$, generalized $m$-gonal numbers are those numbers of the form $p_m(x)=\frac{(m-2)x^2-(m-4)x}{2}$ with $x\in \mathbb Z$. In this paper we establish conditions on $m$ for which the ternary sum $p_m(x)+p_m(y)+p_m(z)$ is almost universal.

math.NT↗

Number-theoretic generalization of the Monster denominator formula

The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(τ)$ in terms of the Hecke system of $\operatorname{SL}_2(\mathbb{Z})$-modular functions $j_n(τ)$. This formula can be reformulated entirely number-theoretically. Namely, it is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form in $τ$ with a pole at $z$. Although these results rely on the fact that $X_0(1)$ has genus 0, here we obtain a generalization, framed in terms of polar harmonic Maass forms, for all of the $X_0(N)$ modular curves. In this survey we discuss this generalization, and we offer an introduction to the theory of polar harmonic Maass forms. We conclude with applications to formulas of Ramanujan and Green's functions.

math.NT↗

The Bruinier--Funke pairing and the orthogonal complement of unary theta functions

We describe an algorithm for computing the inner product between a holomorphic modular form and a unary theta function, in order to determine whether the form is orthogonal to unary theta functions without needing a basis of the entire space of modular forms and without needing to use linear algebra to decompose this space completely.

math.NT↗

Differential operators on polar harmonic Maass forms and elliptic duality

In this paper, we study polar harmonic Maass forms of negative integral weight. Using work of Fay, we construct Poincaré series which span the space of such forms and show that their elliptic coefficients exhibit duality properties which are similar to the properties known for Fourier coefficients of harmonic Maass forms and weakly holomorphic modular forms.

math.NT↗

On Divisors of Modular Forms

The denominator formula for the Monster Lie algebra is the product expansion for the modular function $j(z)-j(τ)$ given in terms of the Hecke system of $\operatorname{SL}_2(\mathbb Z)$-modular functions $j_n(τ)$. It is prominent in Zagier's seminal paper on traces of singular moduli, and in the Duncan-Frenkel work on Moonshine. The formula is equivalent to the description of the generating function for the $j_n(z)$ as a weight 2 modular form with a pole at $z$. Although these results rely on the fact that $X_0(1)$ has genus 0, here we obtain a generalization, framed in terms of polar harmonic Maass forms, for all of the $X_0(N)$ modular curves. We use these functions to study divisors of modular forms.

math.NT↗

Polar harmonic Maass forms and their applications

In this survey, we present recent results of the authors about non-meromorphic modular objects known as polar harmonic Maass forms. These include the computation of Fourier coefficients of meromorphic modular forms and relations between inner products of meromorphic modular forms and higher Green's functions evaluated at CM-points.

math.NT↗

Ramanujan-like formulas for Fourier coefficients of all meromorphic cusp forms

In this paper, we investigate Fourier expansions of meromorphic modular forms. Over the years, a number of special cases of meromorphic modular forms were shown to have Fourier expansions closely resembling the expansion of the reciprocal of the weight $6$ Eisenstein series which was computed by Hardy and Ramanujan. By investigating meromorphic modular forms within a larger space of so-called polar harmonic Maass forms, we prove in this paper that all negative-weight meromorphic modular forms (and furthermore all quasi-meromorpic modular forms) have Fourier expansions of this type, granted that they are bounded towards $i\infty$.

math.NT↗

On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring

Chevyrev and Galbraith recently devised an algorithm which inputs a maximal order of the quaternion algebra ramified at one prime and infinity and constructs a supersingular elliptic curve whose endomorphism ring is precisely this maximal order. They proved that their algorithm is correct whenever it halts, but did not show that it always terminates. They did however prove that the algorithm halts under a reasonable assumption which they conjectured to be true. It is the purpose of this paper to verify their conjecture and in turn prove that their algorithm always halts. More precisely, Chevyrev and Galbraith investigated the theta series associated with the norm maps from primitive elements of two maximal orders. They conjectured that if one of these theta series "dominated" the other in the sense that the $n$th (Fourier) coefficient of one was always larger than or equal to the $n$th coefficient of the other, then the maximal orders are actually the same. We prove that this is the case.

math.NT↗