arXiv ScienceSearch

arXiv · 2404.13625

Sup-norm bounds for Jacobi cusp forms

Abstract

In this article, we give $L^{\infty}$-norm bounds for the natural invariant norm of cusp forms of real weight $k$ and character $χ$ for any cofinite Fuchsian subgroup $Γ\subset\mathrm{SL}_{2}(\mathbb{R})$. Using the representation of Jacobi cusp forms of integral weight $k$ and index $m$ for the modular group $Γ_{0}=\mathrm{SL}_{2}(\mathbb{Z})$ as linear combinations of modular forms of weight $k-\frac{1}{2}$ for some congruence subgroup of $Γ_{0}$ (depending on $m$) and suitable Jacobi theta functions, we derive $L^{\infty}$-norm bounds for the natural invariant norm of these Jacobi cusp forms. More specifically, letting $J_{k,m}^{\mathrm{cusp}}(Γ_{0})$ denote the complex vector space of Jacobi cusp forms under consideration and $\Vert\cdot\Vert_{\mathrm{Pet}}$ the pointwise Petersson norm on $J_{k,m}^{\mathrm{cusp}}(Γ_ {0})$, we prove that for $k\in\mathbb{Z}_{\ge 5}$ and $m\in\mathbb{Z}_{\ge 1}$, and a given $ε>0$, the $L^{\infty}$-norm bound \begin{align*} \Vertϕ\Vert_{L^{\infty}}=\sup_{(τ,z)\in\mathbb{H}\times\mathbb{C}}\Vertϕ(τ,z)\Vert_{\mathrm{Pet}}=O_{Γ_{0},ε}\big(k\,m^{\frac {7}{4}+ε}\big) \end{align*} holds for any $ϕ\in J_{k,m}^{\mathrm{cusp}}(Γ_{0})$, which is $L^{2}$-normalized with respect to the Petersson inner product, where the implied constant depends on $Γ_{0}$ and the choice of $ε>0$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Anilatmaja Aryasomayajula, Jürg Kramer, Anna-Maria von Pippich. 2025-01-31. Sup-norm bounds for Jacobi cusp forms. https://arxiv.org/abs/2404.13625

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the Pair Correlation of Zeros of $L$-Functions for Non-CM Newforms in Shifted Ranges

We study the pair correlation between zeros of a shifted auxiliary $ L $-function attached to a non-CM newform, the scale of which is a fixed constant. We prove an unconditional asymptotic result for the pair correlation and introduce a simplicity hypothesis for the zeros of this function, which if true means that multiple zeros of the original $ L $-function cannot be separated by the same fixed distance. Our results provide macroscopic information in contrast to the pair correlation of the original $ L $-function which is of microscopic nature.

math.NT

Prime Solutions to a Binary Additive Equation and Mixed Moments of Character Sums

We obtain an asymptotic formula with a power-saving error term for counting the integer points $(a,b,c,d)$ in an expanding box that satisfy the determinant equation $x_1x_2-x_3x_4 =r$ for $r \neq 0 $ with two of entries to be prime. Finally, these estimates are applied to evaluate mixed fourth moments of Dirichlet character sums over integers and primes, yielding non-trivial bounds. The method involves the Poisson summation formula and the estimation for the average of the sums of the Kloosterman fractions over primes.

math.NT

On properness of moduli stacks of $D^{\times}$-shtukas over ramified legs

Given a maximal order $\mathcal{D}$ of a central division algebra $D$ over a global function field $F$, we prove an explicit sufficient condition for moduli stacks of $\mathcal{D}^\times$-shtukas to be proper over a finite field (modulo a suitable central action) in terms of the \emph{local invariants} of $D$ and \emph{bounds}. Our proof is a refinement of E.~Lau's result (Duke Math. J. \textbf{140} (2007)), which showed the properness of the \emph{leg morphism} (or \emph{characteristic morphism}) away from the ramification locus of $D$. %, by carefully measuring the contribution of ``ramified legs''. We also establish non-emptiness of Newton and Kottwitz--Rapoport strata for moduli stacks of $\mathcal{B}^\times$-shtukas, where $\mathcal{B}$ is a maximal order of a central simple algebra over $F$.

math.NT