212 research outputs found

    Sturm Bounds for Siegel Modular Forms

    Get PDF
    We establish Sturm bounds for degree g Siegel modular forms modulo a prime p, which are vital for explicit computations. Our inductive proof exploits Fourier-Jacobi expansions of Siegel modular forms and properties of specializations of Jacobi forms to torsion points. In particular, our approach is completely different from the proofs of the previously known cases g=1,2, which do not extend to the case of general g

    How to implement a modular form

    Get PDF
    AbstractWe present a model for Fourier expansions of arbitrary modular forms. This model takes precisions and symmetries of such Fourier expansions into account. The value of this approach is illustrated by studying a series of examples. An implementation of these ideas is provided by the author. We discuss the technical background of this implementation, and we explain how to implement arbitrary Fourier expansions and modular forms. The framework allows us to focus on the considerations of a mathematical nature during this procedure. We conclude with a list of currently available implementations and a discussion of possible computational research

    Modular Forms: Constructions & Applications

    Get PDF
    This thesis combines results of five research papers on the construction and applications of modular forms and their generalisations. We begin by constructing new examples of quantum modular forms of depth two, generalising results of Bringmann, Kaszian, and Milas. To do so, we relate the asymptotics of certain false theta functions of binary quadratic forms to multiple Eichler integrals of theta functions. Quantum modularity of the false theta functions follows from the behaviour of such integrals near the real line. Next, we turn our attention to the asymptotic profile of a certain eta-theta quotient that arises in the partition function of entanglement entropy in string theory. In particular, we generalise methods of Bringmann and Dousse, and Dousse and Mertens, to deal with the meromorphic Jacobi form at hand. Applying Wright's circle method for Jacobi forms we obtain a bivariate asymptotic for the two-variable coefficients of the eta-theta quotient. Thirdly, we investigate the asymptotic behaviour of the generating function of integer partitions whose ranks are congruent to r modulo t, denoted by N(r; t; n). By proving that the series has monotonic increasing coefficients above some bound, we are in a position to apply Ingham's Tauberian theorem. This immediately implies that N(r; t; n) is equidistributed in r for fixed t as n tends to infinity, in turn implying a recent conjecture of Hou and Jagadeeson on a convexity-type result. The following chapter is dedicated to an investigation of traces of cycle integrals of meromorphic modular forms and their relationship to coefficients of harmonic Maass forms. Working on lattices of signature (1,2), we first relate a locally harmonic Maass form to a Siegel theta lift involving the Maass raising operator by explicitly computing the raising of the locally harmonic Maass form, and using the usual unfolding argument for the theta lift. We then borrow techniques of Bruinier, Ehlen, and Yang to compute the theta lift as (up to terms that vanish for certain classes of input functions) the constant term in a q-series involving the coefficients of xi-preimages of unary theta functions as well as theta functions. Since such preimages are harmonic Maass forms, we obtain a description of the traces in terms of coefficients of theta functions and harmonic Maass forms. Choosing a specific lattice related to quadratic forms and noting that the functions determining the constant term can be chosen to have rational coefficients, we obtain a new proof of a recent result of Alfes-Neumann, Bringmann, and Schwagenscheidt. Finally, we investigate the relationship between modular forms and self-conjugate t-core partitions. We obtain the number of self-conjugate 7-cores as a single class number in two ways. The first we show with modularity arguments on the generating function of Hurwitz class numbers. We also provide a complementary combinatorial description to explain the equality. In particular, we construct an explicit map between self-conjugate t-cores and quadratic forms in a given class group. Moreover, we show that the genus of the quadratic forms is unique, and determine the number of preimages of the genus. Using these results, we show an equality between the number of 4-cores and the number of self-conjugate 7-cores on specific arithmetic progressions. Aside from the t = 4 case, we consider whether equalities between t-cores and self-conjugate 2t-1-cores are possible. We show for t = 2,3,5 that they are not, and offer a conjecture and partial results for t > 5
    corecore