Let ${\mathbb D}_n $ be the generalized unit disk of degree $n$. In this paper, we find Riemannian metrics on the Siegel-Jacobi disk ${\mathbb D}_n \times {\mathbb C}^{(m,n)}$ which are invariant under the natural action of the Jacobi group explicitly and also compute the Laplacians of these invariant metrics explicitly. These are expressed in terms of the trace form. We give a brief remark on the theory of harmonic analysis on the Siegel-Jacobi disk ${\mathbb D}_n \times {\mathbb C}^{(m,n)}$.
For any positive integers $n$ and $m$, $\mathbb{H}_{n,m}:=\mathbb{H}_n\times\mathbb{C}^{(m,n)}$ is called the Siegel-Jacobi space, with the Jacobi group acting on it. The Jacobi forms are defined on this space. In this article we compute the Chern connection of the Siegel-Jacobi space and use it to obtain derivations of Jacobi forms. Using these results, we constructed a series of invariant differential operators for Siegel-Jacobi forms. Also two kinds of Maass-Shimura type differential operators for $\mathbb{H}_{n,m}$ are obtained.
In this work we obtain algebraicity results on special $L$-values attached to Siegel-Jacobi modular forms. Our method relies on a generalization of the doubling method to the Jacobi group obtained in our previous work, and on introducing a notion of near holomorphy for Siegel-Jacobi modular forms. Some of our results involve also holomorphic projection, which we obtain by using Siegel-Jacobi Poincaré series of exponential type.
In this paper, we study a fundamental domain for the Siegel-Jacobi space $Sp(g,{\mathbb Z})\ltimes H_{\mathbb Z}^{(g,h)}\backslash {\mathbb H}_g\times {\mathbb C}^{(h,g)}$.
In this work we study the analytic properties of the standard L-function attached to Siegel-Jacobi modular forms of higher index, generalizing previous results of Arakawa and Murase. Furthermore, we obtain algebraicity results on special L-values in the spirit of Deligne's Period Conjectures.
In this paper, we compute Riemannian metrics on the Siegel-Jacobi space which are invariant under the natural action of the Jacobi group explicitly and also provide the Laplacians of these invariant metrics. These are expressed in terms of the trace form.
Let F be a Siegel cusp form of weight k and genus n>1 with Fourier-Jacobi coefficients f_m. In this article, we estimate the growth of the Petersson norms of f_m, where m runs over an arithmetic progression. This result sharpens a recent result of Kohnen in [5].
Let ${\mathbb H}_g$ and ${\mathbb D}_g$ be the Siegel upper half plane and the generalized unit disk of degree $g$ respectively. Let ${\mathbb C}^{(h,g)}$ be the Euclidean space of all $h\times g$ complex matrices. We present a partial Cayley transform of the Siegel-Jacobi disk ${\mathbb D}_g\times {\mathbb C}^{(h,g)}$ onto the Siegel-Jacobi space ${\mathbb H}_g\times {\mathbb C}^{(h,g)}$ which gives a partial bounded realization of ${\mathbb H}_g\times {\mathbb C}^{(h,g)}$ by ${\mathbb D}_g\times {\mathbb C}^{(h,g)}$. We prove that the natural actions of the Jacobi group on ${\mathbb D}_g\tim…
Kohnen introduced a limit process for Siegel modular forms that produces Jacobi forms. He asked if there is a space of real-analytic Siegel modular forms such that skew-holomorphic Jacobi forms arise via this limit process. In this paper, we initiate the study of harmonic skew-Maass-Jacobi forms and harmonic Siegel-Maass forms. We improve a result of Maass on the Fourier coefficients of harmonic Siegel-Maass forms, which allows us to establish a connection to harmonic skew-Maass-Jacobi forms. In particular, we answer Kohnen's question in the affirmative.
For two positive integers $m$ and $n$, we let ${\mathbb H}_n$ be the Siegel upper half plane of degree $n$ and let ${\mathbb C}^{(m,n)}$ be the set of all $m\times n$ complex matrices. In this article, we study differential operators on the Siegel-Jacobi space ${\mathbb H}_n\times {\mathbb C}^{(m,n)}$ that are invariant under the natural action of the Jacobi group $Sp(n,{\mathbb R}\ltimes H_{\mathbb R}^{(n,m)}$ on ${\mathbb H}_n\times {\mathbb C}^{(m,n)}$, where $H_{\mathbb R}^{(n,m)}$ denotes the Heisenberg group. We give some explicit invariant differential operators. We present important pr…
The Siegel-Jacobi space is a non-symmetric homogeneous space which is very important geometrically and arithmetically. In this paper, we discuss the theory of the geometry and the arithmetic of the Siegel-Jacobi space.
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.
In this article, we investigate differential operators on the Siegel-Jacobi space that are invariant under the natural action of the Jacobi group. These invariant differential operators play an important role in the arithmetic theory of Jacobi forms of higher degree. We present some explicit invariant differential operators. We present problems which are natural. We give some new partial solutions for these natural problems.
This is the lecture note of my invited lecture given at the International Conference on Number Theory at Harish-Chandra Research Institute in Allahabad (quite near the River Ganges), India on December 5, 2006. I gave an invited lecture on the same subject at Department of Mathematics, Kyoto University, Japan on June 23, 2009. The new lecture note contains more new contents and references.
Jacobi-Forms can be decomposed as a linear combination of Thetafunctions with modular forms as coefficients. It is shown that the space of these coefficient modular forms of Fourier-Jacobi-Forms, which come from Siegel cusp forms, has full rank in every point of the Satake boundary, if the index is 1, the weight is sufficiently large and the Satake boundary point has trivial stabilizer in $Γ_{n-1}$. This yields a local automorphic embedding of the Siegel modular variety. Klingen-Poincare series are the main tool. Despite of this richness it is proved that there are more Jacobi index 1 cusp for…
The integral $R(t)=π^{-1}(lnζ(\frac{1}{2}+it)+i\vartheta (t))$ of the logarithmic derivative of the Hardy Z function $Z(t)=e^{i\vartheta (t)}ζ(\frac{1}{2}+it)$, where $\vartheta (t)$ is the Riemann-Siegel theta function, and $ζ(t)$ is the Riemann zeta function, is used as a basis for the construction of a pair of transcendental entire functions $ν(t)=-ν(1-t)=-{ΔR(\frac{i}{2}-it)}^{-1}=-G(\frac{i}{2}-it)$ where $G=-(ΔR(t))^{-1}$ is the derivative of the additive inverse of the reciprocal of the Laplacian of $R(t)$ and $χ(t)=-χ(1-t)=\dotν (t)=-iH(\frac{i}{2}-it)$ where $H(t)=\dot{G} (t)$ has roo…
We investigate the relation between Klingen's decomposition of the space of Siegel modular forms and Dulinski's analogous decomposition of the space of Jacobi forms.
We prove that formal Fourier Jacobi expansions of degree 2 are Siegel modular forms. As a corollary, we deduce modularity of the generating function of special cycles of codimension 2, which were defined by Kudla. A second application is the proof of termination of an algorithm to compute Fourier expansions of arbitrary Siegel modular forms of degree 2. Combining both results enables us to compute relations of special cycles in the second Chow group.
This article is an expository paper. We first survey developments over the past three decades in the theory of harmonic analysis on reductive symmetric spaces. Next we deal with the particular homogeneous space of non-reductive type, the so called Siegel-Jacobi space that is important arithmetically and geometrically. We present some new results on the Siegel-Jacobi space.
For a finite field $\mathbb{F}_q$ of characteristic $p\geq 5$ and $K=\mathbb{F}_q(t)$, we consider the family of elliptic curves $E_d$ over $K$ given by $y^2+xy - t^dy=x^3$ for all integers $d$ coprime to $q$. We provide an explicit expression for the $L$-functions of these curves in terms of Jacobi sums. Moreover, we deduce from this calculation that the curves $E_d$ satisfy an analogue of the Brauer-Siegel theorem. More precisely, we estimate the asymptotic growth of the product of the order of the Tate-Shafarevich group of $E_d$ (which is known to be finite) by its Néron-Tate regulator, in …
We investigate the growth of Fourier coefficients of Siegel paramodular forms built by exponentially lifting weak Jacobi forms, focusing on terms with large negative discriminant. To this end we implement a method based on deforming contours that expresses the coefficients of all such terms as residues. We find that there are two types of weak Jacobi forms, leading to two different growth behaviors: the more common type leads to fast, exponential growth, whereas a second type leads to slower growth, akin to the growth seen in ratios of theta functions. We give a simple criterion to distinguish…
This paper is motivated by a 2001 paper of Choie and Kim and a 2006 paper of Bump and Choie. The paper of Choie and Kim extends an earlier result of Bol for elliptic modular forms to the setting of Siegel and Jacobi forms. The paper of Bump and Choie provides a representation theoretic interpretation of the phenomenon, and shows how a natural generalization of Choie and Kim's result on Siegel modular forms follows from a natural conjecture regarding (g,K)-modules. In this paper, it is shown that the conjecture of Bump and Choie follows from work of Boe. A second proof which is along the lines …
Let $\frak{p}$ be a prime ideal of $\mathbb{F}_q[T]$. Let $J_0(\frak{p})$ be the Jacobian variety of the Drinfeld modular curve $X_0(\frak{p})$. Let $Φ$ be the component group of $J_0(\frak{p})$ at the place $1/T$. We use graph Laplacians to estimate the order of $Φ$ as $\mathrm{deg}(\frak{p})$ goes to infinity. This estimate implies that $Φ$ is not annihilated by the Eisenstein ideal of the Hecke algebra $\mathbb{T}(\frak{p})$ acting on $J_0(\frak{p})$ once the degree of $\frak{p}$ is large enough. We also obtain an asymptotic formula for the size of the discriminant of $\mathbb{T}(\frak{p})$…
