arXiv subjects
Publications and source records attributed to Paul Kiefer.
In this note we show that certain meromorphic orthogonal modular forms are magnetic, i.e.\ their Fourier coefficients satisfy special divisibility criteria. These meromorphic orthogonal modular forms are counterparts to the orthogonal cusp forms considered by Oda. We show that the seminal of work of Borcherds implies the magneticity of these forms.
We study divisors on moduli spaces of cubic fourfolds with simple singularities and of quasi-polarized K3 surfaces of degree $2d$. For the moduli space of cubic fourfolds, we introduce a slope quantity to characterize the effective cone and prove an explicit bound for it. For the K3 moduli spaces, we give an explicit finite presentation of the rational Picard group by showing that it is generated by Noether-Lefschetz divisors of discriminant less than or equal to $4d$. As a byproduct, we obtain two explicit expressions for the Hodge class in terms of Noether-Lefschetz divisors, and we indicate analogous results for higher-codimension Noether-Lefschetz cycles.
We study the injectivity of the Kudla-Millson lift of genus 2 Siegel cusp forms, vector-valued with respect to the Weil representation associated to an even lattice L. We prove that if L splits off two hyperbolic planes and is of sufficiently large rank, then the lift is injective. As an application, we deduce that the image of the lift in the degree 4 cohomology of the associated orthogonal Shimura variety has the same dimension as the lifted space of cusp forms. Our results also cover the case of moduli spaces of quasi-polarized K3 surfaces. To prove the injectivity, we introduce vector-valued indefinite Siegel theta functions of genus 2 and of Jacobi type attached to L. We describe their behavior with respect to the split of a hyperbolic plane in L. This generalizes results of Borcherds to genus higher than 1.
We generalize the notions of locally and polar harmonic Maass forms to general orthogonal groups of signature $(2, n)$ with singularities along real analytic and algebraic cycles. We prove a current equation for locally harmonic Maass forms and recover the Fourier expansion of the Oda lift involving cycle integrals. Moreover, using the newly defined polar harmonic Maass forms, we prove that meromorphic modular forms with singularities along special divisors are orthogonal to cusp forms with respect to a regularized Petersson inner product. Using this machinery, we derive a duality theorem involving cycle integrals of meromorphic modular forms along real analytic cycles and cycle integrals of locally harmonic Maass forms along algebraic cycles.
We show that a modular unit on two copies of the upper half-plane is a Borcherds product if and only if its boundary divisor is a special boundary divisor. Therefore, we define a subspace of the space of invariant vectors for the Weil representation which maps surjectively onto the space of modular units that are Borcherds products. Moreover, we show that every boundary divisor of a Borcherds product can be obtained in this way. As a byproduct we obtain new identities of eta products.
We establish a rationality result for linear combinations of traces of cycle integrals of certain meromorphic Hilbert modular forms. These are meromorphic counterparts to the Hilbert cusp forms $ω_m(z_1,z_2)$, which Zagier investigated in the context of the Doi-Naganuma lift. We give an explicit formula for these cycle integrals, expressed in terms of the Fourier coefficients of harmonic Maass forms. A key element in our proof is the explicit construction of locally harmonic Hilbert-Maass forms on $\mathbb{H}^2$, which are analogous to the elliptic locally harmonic Maass forms examined by Bringmann, Kane, and Kohnen. Additionally, we introduce a regularized theta lift that maps elliptic harmonic Maass forms to locally harmonic Hilbert-Maass forms and is closely related to the Doi-Naganuma lift.
In this article, we show that Fourier eigenmeasures supported on spheres with radii given by a locally finite sequence, which we call $k$-spherical measures, correspond to Fourier series exhibiting a modular-type transformation behaviour with respect to the metaplectic group. A familiar subset of such Fourier series comprises holomorphic modular forms. This allows us to construct $k$-spherical eigenmeasures and derive Poisson-type summation formulas, thereby recovering formulas of a similar nature established by Cohn-Gonçalves, Lev-Reti, and Meyer, among others. Additionally, we extend our results to higher dimensions, where Hilbert modular forms yield higher-dimensional $k$-spherical measures.
We investigate the behaviour of orthogonal non-holomorphic Eisenstein series at their harmonic points by using theta lifts. In the case of singular weight, we show that the orthogonal non-holomorphic Eisenstein series that can be written as a theta lift have a simple pole at $s = 1$ whose residues yield holomorphic orthogonal modular forms that are Eisenstein series on the boundary and we give a sufficient condition on the surjectivity of this construction.
We show that the additive Borcherds lift of vector-valued non-holomorphic Eisenstein series are orthogonal non-holomorphic Eisenstein series for $O(2, l)$. Using this we give another proof that they have a meromorphic continuation, calculate their Fourier expansion and show that they have a functional equation analogous to the classical case. Moreover, we will investigate the image of Borcherds lift and give a sufficient condition for surjectivity.