Vector-valued Siegel Modular Forms Research Articles

Lowest weight modules of Sp4(R) and nearly holomorphic Siegel modular forms

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 degree 2. Further, by explicating the algebraic structure of the relevant space of n-finite automorphic forms, we are able to prove a structure theorem for the space of nearly holomorphic vector-valued Siegel modular forms of (arbitrary) weight $det^\ell$ sym^m with respect to an arbitrary congruence subgroup of Sp_4(Q). We show that the cuspidal part of this space is the direct sum of subspaces obtained by applying explicit differential operators to holomorphic vector-valued cusp forms of weight $det^{\ell'} sym^{m'}$ with $(\ell', m')$ varying over a certain set. The structure theorem for the space of all modular forms is similar, except that we may now have an additional component coming from certain nearly holomorphic forms of weight $det^{3}sym^{m'}$ that cannot be obtained from holomorphic forms. As an application of our structure theorem, we prove several arithmetic results concerning nearly holomorphic modular forms that improve previously known results in that direction.

On the Rankin–Selberg method for vector-valued Siegel modular forms

In this work, we use the Rankin–Selberg method to obtain results on the analytic properties of the standard [Formula: see text]-function attached to vector-valued Siegel modular forms. In particular we provide a detailed description of its possible poles and obtain a non-vanishing result of the twisted [Formula: see text]-function beyond the usual range of absolute convergence. Our results include also the case of metaplectic Siegel modular forms. We remark that these results were known in this generality only in the case of scalar weight Siegel modular forms. As an interesting by-product of our work we establish the cuspidality of some theta series.

A note on the Sturm bound for Siegel modular forms of type (k, 2)

We study analogues of Sturm’s bounds for vector valued Siegel modular forms of type (k, 2), which was already studied by Sturm in the case of an elliptic modular form and by Choi–Choie–Kikuta, Poor–Yuen and Raum–Richter in the case of scalar valued Siegel modular forms.

Generic differential operators on Siegel modular forms and special polynomials

Holomorphic vector valued differential operators acting on Siegel modular forms and preserving automorphy under the restriction to diagonal blocks are important in many respects, including application to critical values of L functions. Such differential operators are associated with vectors of new special polynomials of several variables defined by certain harmonic conditions. They include the classical Gegenbauer polynomial as a prototype, and are interesting as themselves independently of Siegel modular forms. We will give formulas for all such polynomials in two different ways. One is to describe them using polynomials characterized by monomials in off-diagonal block variables. We will give an explicit and practical algorithm to give the vectors of polynomials through these. The other one is rather theoretical but seems much deeper. We construct an explicit generating series of polynomials mutually related under certain mixed Laplacians. Here substituting the variables of the polynomials to partial derivatives, we obtain the generic differential operator from which any other differential operators of this sort are obtained by certain projections. This process exhausts all the differential operators in question. This is also generic in the sense that for any number of variables and block partitions, it is given by a recursive unified expression. As an application, we prove that the Taylor coefficients of Siegel modular forms with respect to off-diagonal block variables, or of corresponding expansion of Jacobi forms, are essentially vector valued Siegel modular forms of lower degrees, which are obtained as images of the differential operators given above. We also show that the original forms are recovered by the images of our operators. This is an ultimate generalization of Eichler–Zagier’s results on Jacobi forms of degree one. Several more explicit results and practical construction are also given.

Concomitants of ternary quartics and vector-valued Siegel and Teichm\xfcller modular forms of genus three

We show how one can use the representation theory of ternary quartics to construct all vector-valued Siegel modular forms and Teichmüller modular forms of degree 3. The relation between the order of vanishing of a concomitant on the locus of double conics and the order of vanishing of the corresponding modular form on the hyperelliptic locus plays an important role. We also determine the connection between Teichmüller cusp forms on overline{mathcal {M}}_{g} and the middle cohomology of symplectic local systems on {mathcal {M}}_{g},. In genus 3, we make this explicit in a large number of cases.

Sturm's operator acting on vector valued K‐types

AbstractWe define Sturm's operator for vector valued Siegel modular forms obtaining an explicit description of their holomorphic projection in case of large absolute weight. However, for small absolute weight, Sturm's operator produces phantom terms in addition. This confirms our earlier results for scalar Siegel modular forms.

Covariants of binary sextics and modular forms of degree 2 with character

We use covariants of binary sextics to describe the structure of modules of scalar-valued or vector-valued Siegel modular forms of degree $2$ with character, over the ring of scalar-valued Siegel modular forms of even weight. For a modular form defined by a covariant we express the order of vanishing along the locus of products of elliptic curves in terms of the covariant.

Hyper-Algebras of Vector-Valued Modular Forms

We define graded hyper-algebras of vector-valued Siegel modular forms, which allow us to study tensor products of the latter. We also define vector-valued Hecke operators for Siegel modular forms at all places of ${\mathbb Q}$, acting on these hyper-algebras. These definitions bridge the classical and representation theoretic approach to Siegel modular forms. Combining both the product structure and the action of Hecke operators, we prove in the case of elliptic modular forms that all cusp forms of sufficiently large weight can be obtained from products involving only two fixed Eisenstein series. As a byproduct, we obtain inclusions of cuspidal automorphic representations into the tensor product of global principal series.

On Vector-Valued Siegel Modular Forms of Degree 2 and Weight $(j,2)$

We formulate a conjecture that describes the vector-valued Siegel modular forms of degree 2 and level 2 of weight \mathrm{Sym}^j\otimes\mathrm{det}^2 and provide some evidence for it. We construct such modular forms of weight (j,2) via covariants of binary sextics and calculate their Fourier expansions illustrating the effectivity of the approach via covariants. Two appendices contain related results of Chenevier; in particular a proof of the fact that every modular form of degree 2 and level 2 and weight (j,1) vanishes.

On vector-valued Siegel modular forms of degree 2 and weight (j,2)

We formulate a conjecture that describes the vector-valued Siegel modular forms of degree 2 and level 2 of weight Sym^j det^2 and provide some evidence for it. We construct such modular forms of weight (j,2) via covariants of binary sextics and calculate their Fourier expansions illustrating the effectivity of the approach via covariants. Two appendices contain related results of Chenevier; in particular a proof of the fact that every modular form of degree 2 and level 2 and weight (j,1) vanishes.

Images de représentations galoisiennes associées à certaines formes modulaires de Siegel de genre 2

We study the image of the [Formula: see text]-adic Galois representations associated to the four vector valued Siegel modular forms appearing in the work of Chenevier and Lannes [3]. These representations are symplectic of dimension 4. Following methods used by Dieulefait in [4], we determine the primes [Formula: see text] for which these representations are absolutely irreducible. In addition, we show that their image is “full” for all primes [Formula: see text] such that the associated residual representation is absolutely irreducible, except in two cases.

Covariants of binary sextics and vector-valued Siegel modular forms of genus two

We extend Igusa’s description of the relation between invariants of binary sextics and Siegel modular forms of degree 2 to a relation between covariants and vector-valued Siegel modular forms of degree 2. We show how this relation can be used to effectively calculate the Fourier expansions of Siegel modular forms of degree 2.

Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula

We consider the problem of explicitly computing dimensions of spaces of automorphic or modular forms in level one, for a split classical group $\mathbf{G}$ over $\mathbb{Q}$ such that $\mathbf{G}(\R)$ has discrete series. Our main contribution is an algorithm calculating orbital integrals for the characteristic function of $\mathbf{G}(\mathbb{Z}_p)$ at torsion elements of $\mathbf{G}(\mathbb{Q}_p)$. We apply it to compute the geometric side in Arthur's specialisation of his invariant trace formula involving stable discrete series pseudo-coefficients for $\mathbf{G}(\mathbb{R})$. Therefore we explicitly compute the Euler-Poincare characteristic of the level one discrete automorphic spectrum of $\mathbf{G}$ with respect to a finite-dimensional representation of $\mathbf{G}(\mathbb{R})$. For such a group $\mathbf{G}$, Arthur's endoscopic classification of the discrete spectrum allows to analyse precisely this Euler-Poincare characteristic. For example one can deduce the number of everywhere unramified automorphic representations $\pi$ of $\mathbf{G}$ such that $\pi_{\infty}$ is isomorphic to a given discrete series representation of $\mathbf{G}(\mathbb{R})$. Dimension formulae for the spaces of vector-valued Siegel modular forms are easily derived.

Structure theorems for vector valued Siegel modular forms of degree 2 and weight detk ⊗Sym(10)

We prove the explicit structure theorems of modules [Formula: see text] of vector valued Siegel modular forms of degree [Formula: see text], where [Formula: see text] runs over the set of even integers or odd integers. We also check the conjecture given by Ibukiyama [Vector valued Siegel modular forms of symmetric tensor weight of small degrees, Comment. Math. Univ. St. Pauli 61 (2012) 51–75.] for modules of vector valued Siegel modular forms of degree [Formula: see text] of weights [Formula: see text] and [Formula: see text].

Level stripping for vector-valued Siegel modular forms of genus 2

In this paper, we present a method by which one can strip primes from the level of a vector-valued genus 2 Siegel modular form while preserving a congruence modulo this prime. An application of this result to four-dimensional Galois representations will also be presented.

Structures and Dimensions of Vector Valued Jacobi Forms of Degree Two

We give a complete characterization of vector valued holomorphic Jacobi forms of degree two of index one in the sense of Ziegler by the Taylor expansion and vector valued Siegel modular forms of various weights. By this characterization, we also give explicit dimension formulas for spaces of vector valued holomorphic Jacobi forms of index one of degree two, using those for vector valued Siegel modular forms and a certain surjectivity theorem on the Witt operator (the restriction operator to the diagonals). Our characterization also gives a concrete way to give the plus subspace of the space of Siegel modular forms of half-integral weight.

Siegel modular forms of genus 2 and level 2

We study vector-valued Siegel modular forms of genus 2 on the three level 2 groups Γ[2] ◁ Γ1[2] ◁ Γ0[2] ⊂ Sp(4, ℤ). We give generating functions for the dimension of spaces of vector-valued modular forms, construct various vector-valued modular forms by using theta functions and describe the structure of certain modules of vector-valued modular forms over rings of scalar-valued Siegel modular forms.

Constructing vector-valued Siegel modular forms from scalar-valued Siegel modular forms

This paper gives a simple method for constructing vector-valued Siegel modular forms from scalar-valued ones. The method is efficient in producing the siblings of Delta, the smallest weight cusp forms that appear in low degrees. It also shows the strong relations between these modular forms of different degrees. We illustrate this by a number of examples.

Vector-valued Siegel modular forms of weight detk ⊗ Sym(8)

We determine the structures of modules of vector-valued Siegel modular forms of weight det k ⊗ Sym (8) with respect to the full Siegel modular group of degree two.

On the computation of the determinant of vector-valued Siegel modular forms

AbstractLet $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}A^{0}(\Gamma _{2})$ denote the ring of scalar-valued Siegel modular forms of degree two, level $1$ and even weights. In this paper, we prove the determinant of a basis of the module of vector-valued Siegel modular forms $\bigoplus _{k \equiv \epsilon \ {\rm mod}\ {2}}A_{\det ^{k}\otimes \mathrm{Sym}(j)}(\Gamma _{2})$ over $A^{0}(\Gamma _{2})$ is equal to a power of the cusp form of degree two and weight $35$ up to a constant. Here $j = 4, 6$ and $\epsilon = 0, 1$. The main result in this paper was conjectured by Ibukiyama (Comment. Math. Univ. St. Pauli 61 (2012) 51–75).