-
Indefinite Theta Series on Cones
Authors:
Martin Westerholt-Raum
Abstract:
We show that indefinite theta series on cones converge and provide an explicit modular completion. Our completion rests on a convolution of the Gaussian with a piecewise constant function supported on the cone. Our main innovation is to formulate this convolution in terms of euclidean geometry as opposed to hyperbolic geometry. This change of perspective allows us to establish essential asymptotic…
▽ More
We show that indefinite theta series on cones converge and provide an explicit modular completion. Our completion rests on a convolution of the Gaussian with a piecewise constant function supported on the cone. Our main innovation is to formulate this convolution in terms of euclidean geometry as opposed to hyperbolic geometry. This change of perspective allows us to establish essential asymptotic estimates without further difficulty.
△ Less
Submitted 16 January, 2017; v1 submitted 31 August, 2016;
originally announced August 2016.
-
Almost holomorphic Poincare series corresponding to products of harmonic Siegel-Maass forms
Authors:
K. Bringmann,
O. K. Richter,
M. Westerholt-Raum
Abstract:
We investigate Poincaré series, where we average products of terms of Fourier series of real-analytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincaré series are almost holomorphic as well. In general this is not the case.…
▽ More
We investigate Poincaré series, where we average products of terms of Fourier series of real-analytic Siegel modular forms. There are some (trivial) special cases for which the products of terms of Fourier series of elliptic modular forms and harmonic Maass forms are almost holomorphic, in which case the corresponding Poincaré series are almost holomorphic as well. In general this is not the case. The main point of this paper is the study of Siegel-Poincaré series of degree $2$ attached to products of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms. We establish conditions on the convergence and nonvanishing of such Siegel-Poincaré series. We surprisingly discover that these Poincaré series are almost holomorphic Siegel modular forms, although the product of terms of Fourier series of harmonic Siegel-Maass forms and holomorphic Siegel modular forms (in contrast to the elliptic case) is not almost holomorphic. Our proof employs tools from representation theory. In particular, we determine some constituents of the tensor product of Harish-Chandra modules with walls.
△ Less
Submitted 9 August, 2016; v1 submitted 18 April, 2016;
originally announced April 2016.
-
Harmonic Weak Siegel Maaß Forms I
Authors:
Martin Westerholt-Raum
Abstract:
Given a non-holomorphic Saito-Kurokawa lift we construct a preimage under the vector-valued lowering operator. In analogy with the case of harmonic weak elliptic Maaß forms, this preimage allows for a natural decomposition into a meromorphic and a non-holomorphic part. In this way every harmonic weak Siegel Maaß form gives rise to a Siegel mock modular form.
Given a non-holomorphic Saito-Kurokawa lift we construct a preimage under the vector-valued lowering operator. In analogy with the case of harmonic weak elliptic Maaß forms, this preimage allows for a natural decomposition into a meromorphic and a non-holomorphic part. In this way every harmonic weak Siegel Maaß form gives rise to a Siegel mock modular form.
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
Direct Integration for Mirror Curves of Genus Two and an Almost Meromorphic Siegel Modular Form
Authors:
Albrecht Klemm,
Maximilian Poretschkin,
Thorsten Schimannek,
Martin Westerholt-Raum
Abstract:
This work considers aspects of almost holomorphic and meromorphic Siegel modular forms from the perspective of physics and mathematics. The first part is concerned with (refined) topological string theory and the direct integration of the holomorphic anomaly equations. Here, a central object to compute higher genus amplitudes, which serve as the generating functions of various enumerative invarian…
▽ More
This work considers aspects of almost holomorphic and meromorphic Siegel modular forms from the perspective of physics and mathematics. The first part is concerned with (refined) topological string theory and the direct integration of the holomorphic anomaly equations. Here, a central object to compute higher genus amplitudes, which serve as the generating functions of various enumerative invariants, is provided by the so-called propagator. We derive a universal expression for the propagator for geometries that have mirror curves of genus two which is given by the derivative of the logarithm of Igusa's cusp form of weight 10. In addition, we illustrate our findings by solving the refined topological string on the resolutions of the three toric orbifolds of order three, five and six.
In the second part, we give explicit expressions for lowering and raising operators on Siegel modular forms, and define almost holomorphic Siegel modular forms based on them. Extending the theory of Fourier-Jacobi expansions to almost holomorphic Siegel modular forms and building up on recent work by Pitale, Saha, and Schmidt, we can show that there is no analogue of the almost holomorphic elliptic second Eisenstein series. In the case of genus 2, we provide an almost meromorphic substitute for it. This, in particular, leads us to a generalization of Ramanujan's differential equation for the second Eisenstein series.
The two parts are intertwined by the observation that the meromorphic analogue of the almost holomorphic second Eisenstein series coincides with the physical propagator. In addition, the generalized Ramanujan identities match precisely the physical consistency conditions that need to be imposed on the propagator.
△ Less
Submitted 16 June, 2015; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Sturm Bounds for Siegel Modular Forms
Authors:
Olav K. Richter,
Martin Westerholt-Raum
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 January, 2015;
originally announced January 2015.
-
Products of Vector Valued Eisenstein Series
Authors:
Martin Westerholt-Raum
Abstract:
We prove that products of at most two vector valued Eisenstein series that originate in level 1 span all spaces of cusp forms for congruence subgroups. This can be viewed as an analogue in the level aspect to a result that goes back to Rankin, and Kohnen and Zagier, which focuses on the weight aspect. The main feature of the proof are vector valued Hecke operators. We recover several classical con…
▽ More
We prove that products of at most two vector valued Eisenstein series that originate in level 1 span all spaces of cusp forms for congruence subgroups. This can be viewed as an analogue in the level aspect to a result that goes back to Rankin, and Kohnen and Zagier, which focuses on the weight aspect. The main feature of the proof are vector valued Hecke operators. We recover several classical constructions from them, including classical Hecke operators, Atkin-Lehner involutions, and oldforms. As a corollary to our main theorem, we obtain a vanishing condition for modular forms reminiscent of period relations deduced by Kohnen and Zagier in the context of their previously mentioned result.
△ Less
Submitted 14 March, 2016; v1 submitted 14 November, 2014;
originally announced November 2014.
-
Kudla's Modularity Conjecture and Formal Fourier-Jacobi Series
Authors:
Jan Hendrik Bruinier,
Martin Westerholt-Raum
Abstract:
We prove modularity of formal series of Jacobi forms that satisfy a natural symmetry condition. They are formal analogues of Fourier-Jacobi expansions of Siegel modular forms. From our result and a theorem of Wei Zhang, we deduce Kudla's conjecture on the modularity of generating series of special cycles of arbitrary codimension and for all orthogonal Shimura varieties.
We prove modularity of formal series of Jacobi forms that satisfy a natural symmetry condition. They are formal analogues of Fourier-Jacobi expansions of Siegel modular forms. From our result and a theorem of Wei Zhang, we deduce Kudla's conjecture on the modularity of generating series of special cycles of arbitrary codimension and for all orthogonal Shimura varieties.
△ Less
Submitted 20 June, 2022; v1 submitted 17 September, 2014;
originally announced September 2014.
-
H-Harmonic Maass-Jacobi Forms of Degree 1: The Analytic Theory of Some Indefinite Theta Series
Authors:
Martin Westerholt-Raum
Abstract:
It was shown in previous work that the one-variable $\widehatμ$-function defined by Zwegers (and Zagier) and his indefinite theta series attached to lattices of signature $(r\!+\!1,1)$ are both Heisenberg harmonic Maaß-Jacobi forms. We extend the concept of Heisenberg harmonicity to Maaß-Jacobi forms of arbitrary many elliptic variables, and produce indefinite theta series of "product type" for no…
▽ More
It was shown in previous work that the one-variable $\widehatμ$-function defined by Zwegers (and Zagier) and his indefinite theta series attached to lattices of signature $(r\!+\!1,1)$ are both Heisenberg harmonic Maaß-Jacobi forms. We extend the concept of Heisenberg harmonicity to Maaß-Jacobi forms of arbitrary many elliptic variables, and produce indefinite theta series of "product type" for non-degenerate lattices of signature $(r\!+\!s,s)$. We thus obtain a clean generalization of $\widehatμ$ to these negative definite lattices. From restrictions to torsion points of Heisenberg harmonic Maaß-Jacobi forms, we obtain harmonic weak Maaß forms of higher depth in the sense of Zagier and Zwegers. In particular, we explain the modular completion of some, so-called degenerate indefinite theta series in the context of higher depth mixed mock modular forms. The structure theory for Heisenberg harmonic Maaß-Jacobi forms developed in this paper also explains a curious splitting of Zwegers's two-variable $\widehatμ$-function into the sum of a meromorphic Jacobi form and a one-variable Maaß-Jacobi form.
△ Less
Submitted 20 May, 2015; v1 submitted 24 July, 2012;
originally announced July 2012.
