We give a complete theta expression of a pair of Hermitian modular forms as an inverse period mapping of lattice polarized $K3$ surfaces. Our result gives a non-trivial relation among moduli of $K3$ surfaces, theta functions and the finite complex reflection group of rank $5$.
Extending the method of the paper [FS3] we prove three structure theorems for vector valued modular forms, where two correspond to 4-dimensional cases (two hermitian modular groups, one belonging to the field of Eisenstein numbers, the other to the field of Gaussian numbers.) and one to a 6-dimensional case (a quaternionic modular group).
We study graded rings of meromorphic Hermitian modular forms of degree two whose poles are supported on an arrangement of Heegner divisors. For the group $\mathrm{SU}_{2,2}(\mathcal{O}_K)$ where $K$ is the imaginary-quadratic number field of discriminant $-d$, $d \in \{4, 7, 8, 11, 15, 19, 20, 24\}$ we obtain a polynomial algebra without relations. In particular the Looijenga compactifications of the arrangement complements are weighted projective spaces.
In this paper we first prove an isomorphism between certain spaces of Jacobi forms. Using this isomorphism, we study the mod $p$ theory of Hermitian Jacobi forms over $\mathbb{Q}(i)$. We then apply the mod $p$ theory of Hermitian Jacobi forms to characterize $U(p)$ congruences and to study Ramanujan-type congruences for Hermitian Jacobi forms and Hermitian modular forms of degree $2$ over $\mathbb{Q}(i)$.
We give generators and relations for the graded rings of Hermitian modular forms of degree two over the rings of integers in $\mathbb{Q}(\sqrt{-7})$ and $\mathbb{Q}(\sqrt{-11})$. In both cases we prove that the subrings of symmetric modular forms are generated by Maass lifts. The computation uses a reduction process against Borcherds products which also leads to a dimension formula for the spaces of modular forms.
For any natural number $\ell $ and any prime $p\equiv 1 \pmod{4}$ not dividing $\ell $ there is a Hermitian modular form of arbitrary genus $n$ over $L:=\Q [\sqrt{-\ell}]$ that is congruent to 1 modulo $p$ which is a Hermitian theta series of an $O_L$-lattice of rank $p-1$ admitting a fixed point free automorphism of order $p$. It is shown that also for non-free lattices such theta series are modular forms.
The mod $p$ kernel of the theta operator is the set of modular forms whose image of the theta operator is congruent to zero modulo a prime $p$. In the case of Siegel modular forms, the authors found interesting examples of such modular forms. For example, Igusa's odd weight cusp form is an element of mod 23 kernel of the theta operator. In this paper, we give some examples which represent elements in the mod $p$ kernel of the theta operator in the case of Hermitian modular forms of degree 2.
Let $Γ_n(\mathcal{\scriptstyle{O}}_{\mathbb{K}})$ denote the Hermitian modular group of degree $n$ over an imaginary quadratic number field $\mathbb{K}$ and $Δ_{n,\mathbb{K}}^*$ its maximal discrete extension in the special unitary group $SU(n,n;\mathbb{C})$. In this paper we study the action of $Δ_{n,\mathbb{K}}^*$ on Hermitian theta series and Maass spaces. For $n=2$ we will find theta lattices such that the corresponding theta series are modular forms with respect to $Δ_{2,\mathbb{K}}^*$ as well as examples where this is not the case. Our second focus lies on studying two different Maass sp…
We investigate the structure of the Hecke algebras related to the unimodular and modular group over hermitian fields and definite quaternion algebras. In particular we show that in general there is no decomposition into primary components. We can give a set of generators and in some special cases we deduce the law of interchange of the Siegel $Φ$-operator.
We determine the structure over $\mathbb{Z}$ of the ring of symmetric Hermitian modular forms with respect to $\mathbb{Q}(\sqrt{-1})$ of degree $2$ (with a character), whose Fourier coefficients are integers. Namely, we give a set of generators consisting of $24$ modular forms. As an application of our structure theorem, we give the Sturm bounds of such the modular forms of weight $k$ with $4\mid k$, in the case $p=2$, $3$. We remark that the bounds for $p\ge 5$ are already known.
In this paper we outline the Hecke theory for Hermitian modular forms in the sense of Hel Braun for arbitrary class number of the attached imaginary-quadratic number field. The Hecke algebra turns out to be commutative. Its inert part has a structure analogous to the case of the Siegel modular group and coincides with the tensor product of its $p$-components for inert primes $p$. This leads to a characterization of the associated Siegel-Eisenstein series. The proof also involves Hecke theory for particular congruence subgroups.
We give two congruence properties of Hermitian modular forms of degree 2 over $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm's theorem. Another is the well-definedness of the $p$-adic weight for Hermitian modular forms.
We study the algebras of hermitian automorphic forms for the lattice $L_n=diag(1,1,\ldots,1,-1)$ and for the field $K=\mathbb{Q}(\sqrt{-d})$ such that $p=2$ is unramified and the ring of integers $\mathcal{O}_K$ is a p.i.d. We prove that for $d>7$ these algebras can't be free. When $d=7$ and $d=3$ we give an estimate for the dimension of the symmetric spaces for which these algebras might be free. We also compare our results with the known results for $d=3$.
Let $Γ_n(\mathcal{\scriptstyle{O}}_\mathbb{K})$ denote the Hermitian modular group of degree $n$ over an imaginary-quadratic number field $\mathbb{K}$. In this paper we determine its maximal discrete extension in $SU(n,n;\mathbb{C})$, which coincides with the normalizer of $Γ_n(\mathcal{\scriptstyle{O}}_{\mathbb{K}})$. The description involves the $n$-torsion subgroup of the ideal class group of $\mathbb{K}$. This group is defined over a particular number field $\widehat{\mathbb{K}}_n$ and we can describe the ramified primes in it. In the case $n=2$ we give an explicit description, which invol…
Let $Γ_{F,n}$ be the Hermitian modular group of degree $n>1$ in sense of Hel Braun with respect to an imaginary quadratic field $F$. Let $r$ be a natural number. There exists a multiplier system of weight $1/r$ (equivalently a Hermitian modular form of weight $k+1/r$, $k$ integral) on some congruence group if and only if $r=1$ or $2$. This follows from a much more general construction of Deligne [De] combining it with results of Hill [Hi], Prasad [P] and Prasad-Rapinchuk [PR]. As far as we know, the systems of weight $1/2$ have not yet been described explicitly. Remarkably Haowu Wang [Wa] gave…
For $K$ an imaginary quadratic field with discriminant $-D_K$ and associated quadratic Galois character $χ_K$, Kojima, Gritsenko and Krieg studied a Hermitian Maass lift of elliptic modular cusp forms of level $D_K$ and nebentypus $χ_K$ via Hermitian Jacobi forms to Hermitian modular forms of level one for the unitary group $U(2,2)$ split over $K$. We generalize this (under certain conditions on $K$ and $p$) to the case of $p$-oldforms of level $pD_K$ and character $χ_K$. To do this, we define an appropriate Hermitian Maass space for general level and prove that it is isomorphic to the space o…
We introduce a certain differential (heat) operator on the space of Hermitian Jacobi forms of degree 1, show it's commutation with certain Hecke operators and use it to construct a lift of elliptic cusp forms to Hermitian Jacobi cusp forms. We construct Hermitian Jacobi forms as the image of the tensor product of two copies of Jacobi forms and also from differentiation of the variables. We determine the number of Fourier coefficients that determine a Hermitian Jacobi form and use it to embed a certain subspace of Hermitian Jacobi forms into a direct sum of modular forms for the full modular gr…
We give congruences between the Eisenstein series and a cusp form in the cases of Siegel modular forms and Hermitian modular forms. We should emphasize that there is a relation between the existence of a prime dividing the $k-1$-th generalized Bernoulli number and the existence of non-trivial Hermitian cusp forms of weight $k$. We will conclude by giving numerical examples for each case.
We consider the genus of $20$ classes of unimodular Hermitian lattices of rank $12$ over the Eisenstein integers. This set is the domain for a certain space of algebraic modular forms. We find a basis of Hecke eigenforms, and guess global Arthur parameters for the associated automorphic representations, which recover the computed Hecke eigenvalues. Congruences between Hecke eigenspaces, combined with the assumed parameters, recover known congruences for classical modular forms, and support new instances of conjectured Eisenstein congruences for $\mathbb{U}(2,2)$ automorphic forms.
For an imaginary quadratic field $K$ of discriminant $-D$, let $χ= χ_K$ be the associated quadratic character. We will show that the space of special hermitian Jacobi forms of level $N$ is isomorphic to the space of plus forms of level $DN$ and nebentypus $χ$ (the hermitian analogue of Kohnen's plus space) for any integer $N$ prime to $D$. This generalizes the results of Krieg from $N = 1$ to arbitrary level. Combining this isomorphism with the recent work of Berger and Klosin and a modification of Ikeda's construction we prove the existence of a lift from the space of elliptic modular forms t…
In this paper we study algebras of modular forms on unitary groups of signature $(n,1)$. We give a necessary and sufficient condition for an algebra of unitary modular forms to be free in terms of the modular Jacobian. As a corollary we obtain a criterion that guarantees in many cases that, if $L$ is an even lattice with complex multiplication and the ring of modular forms for its orthogonal group is a polynomial algebra, then the ring of modular forms for its unitary group is also a polynomial algebra. We prove that a number of rings of unitary modular forms are freely generated by applying t…
We prove that Hermitian cusp forms of weight $k$ for the Hermitian modular group of degree $2$ are determined by their Fourier coefficients indexed by matrices whose determinants are essentially square-free. Moreover, we give a quantitative version of the above result. This is a consequence of the corresponding results for integral weight elliptic cusp forms, which are also treated in this paper.
In this paper we investigate a result of Ueno on the modularity of generating series associated to the zeta functions of binary Hermitian forms previously studied by Elstrodt et al. We improve his result by showing that the generating series are Eisenstein series. As a consequence we obtain an explicit formula for the special values of zeta functions associated with binary Hermitian forms.
We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-Kühn. Our theorem is thus suitable for application to some non-compact Shimura varieties with their bundles of cusp forms. As an application, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.
The variance of observables of quantum states of the Laplacian on the modular surface is calculated in the semiclassical limit. It is shown that this hermitian form is diagonalized by the irreducible representations of the modular quotient and on each of these it is equal to the classical variance of the geodesic flow after the insertion of a subtle arithmetical special value of the corresponding $L$-function.
We compare the spaces of Hermitian Jacobi forms (HJF) of weight $k$ and indices $1,2$ with classical Jacobi forms (JF) of weight $k$ and indices $1,2,4$. Using the embedding into JF, upper bounds for the order of vanishing of HJF at the origin is obtained. We compute the rank of HJF as a module over elliptic modular forms and prove the algebraic independence of the generators in case of index 1. Some related questions are discussed.
We look at genera of even unimodular lattices of rank $12$ over the ring of integers of $\mathbb{Q}(\sqrt{5})$ and of rank $8$ over the ring of integers of $\mathbb{Q}(\sqrt{3})$, using Kneser neighbours to diagonalise spaces of scalar-valued algebraic modular forms. We conjecture most of the global Arthur parameters, and prove several of them using theta series, in the manner of Ikeda and Yamana. We find instances of congruences for non-parallel weight Hilbert modular forms. Turning to the genus of Hermitian lattices of rank $12$ over the Eisenstein integers, even and unimodular over $\mathbb…
Siegel modular forms in the space of the mod $p$ kernel of the theta operator are constructed by the Eisenstein series in some odd-degree cases. Additionally, a similar result in the case of Hermitian modular forms is given.
We study the coherent cohomology of automorphic sheaves corresponding to Siegel modular forms $f$ of low weight on ${\rm GSp}(4)$ Shimura varieties. Inspired by the work of Prasanna--Venkatesh on singular cohomology of locally symmetric spaces, we propose a conjecture that explains all the contributions of a Hecke eigensystem to coherent cohomology in terms of the action of a motivic cohomology group. Under some technical conditions, we prove that our conjecture is equivalent to Beilinson's conjecture for the adjoint $L$-function of $f$. We also prove some unconditional results in special case…
We define the space of nearly holomorphic automorphic forms on a connected reductive group $G$ over $\mathbb{Q}$ such that the homogeneous space $G(\mathbb{R})^1/ K_\infty^\circ$ is a Hermitian symmetric space. By Pitale, Saha and Schmidt's study, there are the classification of indecomposable $(\mathfrak{g},K_\infty)$-modules which occur in the space of nearly holomorphic elliptic modular forms and Siegel modular forms of degree $2$. This paper studies global representations of the adele group $G(\mathbb{A}_\mathbb{Q})$ which occur in the space of nearly holomorphic Hilbert modular forms. In …
We consider the Hermitian Eisenstein series $E^{(\mathbb{K})}_k$ of degree $2$ and weight $k$ associated with an imaginary-quadratic number field $\mathbb{K}$ and determine the influence of $\mathbb{K}$ on the arithmetic and the growth of its Fourier coefficients. We find that they satisfy the identity $E^{{(\mathbb{K})}^2}_4 = E^{{(\mathbb{K})}}_8$, which is well-known for Siegel modular forms of degree $2$, if and only if $\mathbb{K} = \mathbb{Q} (\sqrt{-3})$. As an application, we show that the Eisenstein series $E^{(\mathbb{K})}_k$, $k=4,6,8,10,12$ are algebraically independent whenever $\…
Throughout the 1980's, Kudla and the second named author studied integral transforms from rapidly decreasing closed differential forms on arithmetic quotients of the symmetric spaces of orthogonal and unitary groups to spaces of classical Siegel and Hermitian modular forms. These transforms came from the theory of dual reductive pairs and the theta correspondence. They computed the Fourier expansion of these transforms in terms of periods over certain totally geodesic cycles . This also gave rise to the realization of intersection numbers of these `special' cycles with cycles with compact supp…
We give a classification of the lattices of rank r=4, r=8 and r=12 over \Q(\sqrt{-3}), which are even and unimodular \Z-lattices. Using this classification we construct the associated theta series, which are Hermitian modular forms, and compute the filtration of cusp forms.
We form a generating series of regularized volumes of intersections of special cycles on a non-compact unitary Shimura variety with a fixed base change cycle. We show that it is a Hilbert modular form by identifying it with a theta integral, which we show converges even though the parameters lie outside the classical convergence range of Weil. By applying the regularized Siegel-Weil formulas of Ichino and Gan-Qiu-Takeda, we show the modular form is the restriction of a hermitian modular form of degree n related to Siegel Eisenstein series on U(n,n). An essential fact used is a computation show…
Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class of $E^g$. The varieties are first described as hermitian lattices over (not necessarily maximal) quadratic orders and then geometrically in terms of their algebraic theta null point. We also show how to algebraically compute Siegel modular forms of even weight given as polynomials in the theta constants by a careful choice of an affine lift of the theta null…
We undertake a detailed study of the lowest weight modules for the Hermitian symmetric pair (G,K), where G=Sp_4(R) and K is its maximal compact subgroup. In particular, we determine K-types and composition series, and write down explicit differential operators that navigate all the highest weight vectors of such a module starting from the unique lowest-weight vector. By rewriting these operators in classical language, we show that the automorphic forms on G that correspond to the highest weight vectors are exactly those that arise from nearly holomorphic vector-valued Siegel modular forms of d…
Generalizing the results of Kojima, Gritsenko and Krieg, we define an adelic version of the Maass space for hermitian modular forms of weight k regarded as functions on adelic points of the quasi-split unitary group U(2,2) associated with an imaginary quadratic extension F/Q of discriminant D_F. When the class number h_F of F is odd, we show that the Maass space is invariant under the action of the local Hecke algebras of U(2,2)(Q_p) for all p not dividing D_F. As a consequence we obtain a Hecke-equivariant injective map from the Maass space to the h_F-fold direct product of the space of ellip…
Let K be an imaginary quadratic field of discriminant -D_K<0. We introduce a notion of an adelic Maass space S_{k, -k/2}^M for automorphic forms on the quasi-split unitary group U(2,2) associated with K and prove that it is stable under the action of all Hecke operators. When D_K is prime we obtain a Hecke-equivariant descent from S_{k,-k/2}^M to the space of elliptic cusp forms S_{k-1}(D_K, χ_K), where χ_K is the quadratic character of K. For a given ϕ\in S_{k-1}(D_K, χ_K), a prime l >k, we then construct (mod l) congruences between the Maass form corresponding to ϕand hermitian modular forms…
Let K be an imaginary quadratic field, and x the Dirichlet character corresponding to the extension K/Q. Let m=2n or 2n+1 with n a positive integer. Let f be a primitive form of weight 2k+1 and and nebentype x, or a primitive form of weight 2k for SL(2,Z) according as m=2n, or m=2n+1. For such an f let I_m(f) be the lift of f to the space of modular forms of weight 2k+2n for the Hermitian modular group of degree m constructed by Ikeda. We then express the period <I_m(f), I_m(f) > of I_m(f) in terms of special values of the adjoint L-functions of f. This poves the conjecture concerning the peri…
In this paper we give Rankin-Selberg integrals for the quasisplit unitary group on four variables, $\mathrm{GU}(2,2)$, and a closely-related quasisplit form of $\mathrm{GSpin}_6$. First, we give a two-variable Rankin-Selberg integral on $\mathrm{GU}(2,2)$. This integral applies to generic cusp forms, and represents the product of the exterior square (degree six) $L$-function and the standard (degree eight) $L$-function. Then we give a set of integral representations for just the degree six $L$-function on the quasisplit $\mathrm{GSpin}_6$. The $\mathrm{GSpin}_6$ integrals are reinterpretations…
