arXiv subjects

Kieran Child

Publications and source records attributed to Kieran Child.

3 recordsLinked to original sources

arXiv2022

Certification of Maass cusp forms of arbitrary level and character

We present a method for certifying the existence of an arbitrary Maass cusp form for any level and character. This is accomplished by producing a bound on the difference between the $Δ$-eigenvalue of an authentic Maass cusp form and a purported approximation of a $Δ$-eigenvalue, arrived at by any means. We apply this method to a proposed non-CM level 5 form with quadratic character, to present the first certified $Δ$-eigenvalue of such a form. This work generalises the method for certifying level 1 forms presented by Booker, Strömbergsson and Venkatesh, and is motivated by the production of purported Maass cusp forms of arbitrary level and character via methods developed by Hejhal and Strömberg.

math.NT↗

arXiv2022

Computation of weight 1 modular forms with exotic representations

We present a deterministic algorithm for computing spaces of weight 1 modular forms with exotic representations. This algorithm is an improved version of Schaeffer's Hecke stability method, utilising the author's previous work on the twist-minimal trace formula for weight 2 holomorphic forms, and presenting a method of lifting forms from characteristic p. The algorithm was used to compute all such forms with level at most 10,000. Together with Sutherland's computation of dihedral forms, this allows us to present the dimensions of all weight 1 newform spaces up to level 10,000.

math.NT↗

arXiv2021

Twist-minimal trace formula for holomorphic cusp forms

We derive an explicit formula for the trace of an arbitrary Hecke operator on spaces of twist-minimal holomorphic cusp forms with arbitrary level and character, and weight at least 2. We show that this formula provides an efficient way of computing basis elements for newform or cusp form spaces. This work was motivated by the development of a twist-minimal trace formula in the non-holomorphic case by Booker, Lee and Strömbergsson, as well as the presentation of a fully generalised trace formula for the holomorphic case by Cohen and Strömberg.

math.NT↗