BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Ben Kane

Ben Kane appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.COmath.GR

Catalog footprint

What is connected

27works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

27 published item(s)

preprint2022arXiv

Distribution of moments of Hurwitz class numbers in arithmetic progressions and holomorphic projection

In this paper, we study moments of Hurwitz class numbers associated to imaginary quadratic orders restricted into fixed arithmetic progressions. In particular, we fix $t$ in an arithmetic progression $t\equiv m\pmod{M}$ and consider the ratio of the $2k$-th moment to the zeroeth moment for $H(4n-t^2)$ as one varies $n$. The special case $n=p^r$ yields as a consequence asymptotic formulas for moments of the trace $t\equiv m\pmod{M}$ of Frobenius on elliptic curves over finite fields with $p^r$ elements.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Explicit Class number formulas for Siegel--Weil averages of ternary quadratic forms

In this paper, we investigate the interplay between positive-definite integral ternary quadratic forms and class numbers. We generalize a result of Jones relating the theta function for the genus of a quadratic form to the Hurwitz class numbers, obtaining an asymptotic formula (with a main term and error term away from finitely many bad square classes $t_j\mathbb{Z}^2$) relating the number of lattices points in a quadratic space of a given norm with a sum of class numbers related to that norm and the squarefree part of the discriminant of the quadratic form on this lattice.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Universal sums of generalized heptagonal numbers

In this paper, we consider representations of integers as sums of generalized heptagonal numbers with a prescribed number of repeats of each heptagonal number appearing in the sum. In particular, we investigate the classification of such sums which are universal, i.e., those that represent every positive integer. We prove an explicit finite bound such that a given sum is universal if and only if it represents positive integer up to the given bound.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On $t$-core and self-conjugate $(2t-1)$-core partitions in arithmetic progressions

We extend recent results of Ono and Raji, relating the number of self-conjugate $7$-core partitions to Hurwitz class numbers. Furthermore, we give a combinatorial explanation for the curious equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$. We also conjecture that an equality of this shape holds if and only if $t=4$, proving the cases $t\in\{2,3,5\}$ and giving partial results for $t>5$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A problem of Petersson about weight 0 meromorphic modular forms

In this paper, we provide an explicit construction of weight $0$ meromorphic modular forms. Following work of Petersson, we build these via Poincaré series. There are two main aspects of our investigation which differ from his approach. Firstly, the naive definition of the Poincaré series diverges and one must analytically continue via Hecke's trick. Hecke's trick is further complicated in our situation by the fact that the Fourier expansion does not converge everywhere due to singularities in the upper half-plane so it cannot solely be used to analytically continue the functions. To explain the second difference, we recall that Petersson constructed linear combinations from a family of meromorphic functions which are modular if a certain principal parts condition is satisfied. In contrast to this, we construct linear combinations from a family of non-meromorphic modular forms, known as polar harmonic Maass forms, which are meromorphic whenever the principal parts condition is satisfied.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Ramanujan and coefficients of meromorphic modular forms

The study of Fourier coefficients of meromorphic modular forms dates back to Ramanujan, who, together with Hardy, studied the reciprocal of the weight 6 Eisenstein series. Ramanujan conjectured a number of further identities for other meromorphic modular forms and quasi-modular forms which were subsequently established by Berndt, Bialek, and Yee. In this paper, we place these identities into the context of a larger family by making use of Poincaré series introduced by Petersson and a new family of Poincaré series which we construct here and which are of independent interest. In addition we establish a number of new explicit identities. In particular, we give the first examples of Fourier expansions for meromorphic modular form with third-order poles and quasi-meromorphic modular forms with second-order poles.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Locally harmonic Maass forms and the kernel of the Shintani lift

In this paper we define a new type of modular object and construct explicit examples of such functions. Our functions are closely related to cusp forms constructed by Zagier which played an important role in the construction by Kohnen and Zagier of a kernel function for the Shimura and Shintani lifts between half-integral and integral weight cusp forms. Although our functions share many properties in common with harmonic weak Maass forms, they also have some properties which strikingly contrast those exhibited by harmonic weak Maass forms. As a first application of the new theory developed in this paper, one obtains a new perspective on the fact that the even periods of Zagier's cusp forms are rational as an easy corollary.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Modular local polynomials

In this paper, we consider modular local polynomials. These functions satisfy modularity while they are locally defined as polynomials outside of an exceptional set. We prove an inequality for the dimension of the space of such forms when the exceptional set is given by certain natural geodesics related to binary quadratic forms of (positive) discriminant $D$. We furthermore show that the dimension is the largest possible if and only if $D$ is an even square. Following this, we describe how to use the methods developped in this paper to establish an algorithm which explicitly determines the space of modular local polynomials for each $D$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Shintani lifts and fractional derivatives for harmonic weak Maass forms

In this paper, we construct Shintani lifts from integral weight weakly holomorphic modular forms to half-integral weight weakly holomorphic modular forms. Although defined by different methods, these coincide with the classical Shintani lifts when restricted to the space of cusp forms. As a side effect, this gives the coefficients of the classical Shintani lifts as new cycle integrals. This yields new formulas for the $L$-values of Hecke eigenforms. When restricted to the space of weakly holomorphic modular forms orthogonal to cusp forms, the Shintani lifts introduce a definition of weakly holomorphic Hecke eigenforms. Along the way, auxiliary lifts are constructed from the space of harmonic weak Maass forms which yield a "fractional derivative" from the space of half-integral weight harmonic weak Maass forms to half-integral weight weakly holomorphic modular forms. This fractional derivative complements the usual $ξ$-operator introduced by Bruinier and Funke.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Lifting Automorphisms of Quotients by Central Subgroups

Given a finitely presented group $G$, we wish to explore the conditions under which automorphisms of quotients $G/N$ can be lifted to automorphisms of $G$. We discover that in the case where $N$ is a central subgroup of $G$, the question of lifting can be reduced to solving a certain matrix equation. We then use the techniques developed to show that $Inn(G)$ is not characteristic in $Aut(G)$, where $G$ is a metacyclic group of order $p^n$, $p\neq 2$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Theta lifts and local Maass forms

The first two authors and Kohnen have recently introduced a new class of modular objects called locally harmonic Maass forms, which are annihilated almost everywhere by the hyperbolic Laplacian operator. In this paper, we realize these locally harmonic Maass forms as theta lifts of harmonic weak Maass forms. Using the theory of theta lifts, we then construct examples of (non-harmonic) local Maass forms, which are instead eigenfunctions of the hyperbolic Laplacian almost everywhere.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Faber polynomials and Poincaré series

In this paper we consider weakly holomorphic modular forms (i.e. those meromorphic modular forms for which poles only possibly occur at the cusps) of weight $2-k\in 2\Z$ for the full modular group $\SL_2(\Z)$. The space has a distinguished set of generators $f_{m,2-k}$. Such weakly holomorphic modular forms have been classified in terms of finitely many Eisenstein series, the unique weight 12 newform $Δ$, and certain Faber polynomials in the modular invariant $j(z)$, the Hauptmodul for $\SL_2(\Z)$. We employ the theory of harmonic weak Maass forms and (non-holomorphic) Maass-Poincaré series in order to obtain the asymptotic growth of the coefficients of these Faber polynomials. Along the way, we obtain an asymptotic formula for the partial derivatives of the Maass-Poincaré series with respect to $y$ as well as extending an asymptotic for the growth of the $\ell$-th repeated integral of the Gauss error function at $x$ to include $\ell\in \R$ and a wider range of $x$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Inequalities for full rank differences of 2-marked Durfee symbols

In this paper, we obtain infinitely many non-trivial identities and inequalities between full rank differences for 2-marked Durfee symbols, a generalization of partitions introduced by Andrews. A certain strict inequality, which almost always holds, shows that identities for Dyson's rank, similar to those proven by Atkin and Swinnerton-Dyer, are quite rare. By showing an analogous strict inequality, we show that such non-trivial identities are also rare for the full rank, but on the other hand we obtain an infinite family of non-trivial identities, contrasting the partition theoretic case.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On almost universal mixed sums of squares and triangular numbers

In 1997 K. Ono and K. Soundararajan [Invent. Math. 130(1997)] proved that under the generalized Riemann hypothesis any positive odd integer greater than 2719 can be represented by the famous Ramanujan form $x^2+y^2+10z^2$, equivalently the form $2x^2+5y^2+4T_z$ represents all integers greater than 1359, where $T_z$ denotes the triangular number $z(z+1)/2$. Given positive integers $a,b,c$ we employ modular forms and the theory of quadratic forms to determine completely when the general form $ax^2+by^2+cT_z$ represents sufficiently large integers and establish similar results for the forms $ax^2+bT_y+cT_z$ and $aT_x+bT_y+cT_z$. Here are some consequences of our main theorems: (i) All sufficiently large odd numbers have the form $2ax^2+y^2+z^2$ if and only if all prime divisors of $a$ are congruent to 1 modulo 4. (ii) The form $ax^2+y^2+T_z$ is almost universal (i.e., it represents sufficiently large integers) if and only if each odd prime divisor of $a$ is congruent to 1 or 3 modulo 8. (iii) $ax^2+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4. (iv) When $v_2(a)\not=3$, the form $aT_x+T_y+T_z$ is almost universal if and only if all odd prime divisors of $a$ are congruent to 1 modulo 4 and $v_2(a)\not=5,7,...$, where $v_2(a)$ is the 2-adic order of $a$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

CM liftings of Supersingular Elliptic Curves

Assuming GRH, we present an algorithm which inputs a prime $p$ and outputs the set of fundamental discriminants $D<0$ such that the reduction map modulo a prime above $p$ from elliptic curves with CM by $\order_{D}$ to supersingular elliptic curves in characteristic $p$. In the algorithm we first determine an explicit constant $D_p$ so that $|D|> D_p$ implies that the map is necessarily surjective and then we compute explicitly the cases $|D|<D_p$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Equidistribution of Heegner Points and Ternary Quadratic Forms

We prove new equidistribution results for Galois orbits of Heegner points with respect to reduction maps at inert primes. The arguments are based on two different techniques: primitive representations of integers by quadratic forms and distribution relations for Heegner points. Our results generalize one of the equidistribution theorems established by Cornut and Vatsal in the sense that we allow both the fundamental discriminant and the conductor to grow. Moreover, for fixed fundamental discriminant and variable conductor, we deduce an effective surjectivity theorem for the reduction map from Heegner points to supersingular points at a fixed inert prime. Our results are applicable to the setting considered by Kolyvagin in the construction of the Heegner points Euler system.

0 citations0 reviewsNo code linkedOpen access