<p>In this article, we give <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation>-norm bounds for the natural invariant norm of cusp forms of real weight <i>k</i> and character <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> for any cofinite Fuchsian subgroup <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \subset \textrm{SL}_{2}(\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>⊂</mo> <msub> <mtext>SL</mtext> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Using the representation of Jacobi cusp forms of integral weight <i>k</i> and index <i>m</i> for the modular group <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _{0}=\textrm{SL}_{2}(\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mo>=</mo> <msub> <mtext>SL</mtext> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as linear combinations of modular forms of weight <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq7.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(k-\frac{1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> for some congruence subgroup of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> (depending on <i>m</i>) and suitable Jacobi theta functions, we derive <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation>-norm bounds for the natural invariant norm of these Jacobi cusp forms. More specifically, letting <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(J_{k,m}^{\textrm{cusp}}(\Gamma _{0})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>J</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>m</mi> </mrow> <mtext>cusp</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the complex vector space of Jacobi cusp forms under consideration and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert \cdot \Vert _{\textrm{Pet}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">‖</mo> <mo>·</mo> <mo stretchy="false">‖</mo> </mrow> <mtext>Pet</mtext> </msub> </math></EquationSource> </InlineEquation> the pointwise Petersson norm on <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq12.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(J_{k,m}^{\textrm{cusp}}(\Gamma _ {0})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>J</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>m</mi> </mrow> <mtext>cusp</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, we prove that for <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq13.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\in \mathbb {Z}_{\ge 5}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mrow> <mo>≥</mo> <mn>5</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq14.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\in \mathbb {Z}_{\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mrow> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, and a given <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq15.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϵ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, the <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation>-norm bound <Equation ID="Equ54"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_Equ54.gif" Format="GIF" Height="38" Rendition="HTML" Resolution="72" Type="Linedraw" Width="334" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \Vert \phi \Vert _{L^{\infty }}=\sup _{(\tau ,z)\in \mathbb {H}\times \mathbb {C}}\Vert \phi (\tau ,z)\Vert _{\textrm{Pet}}=O_{\Gamma _{0},\epsilon }\big (k\,m^{\frac{7}{4}+\epsilon }\big ) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>ϕ</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> </msub> <mo>=</mo> <munder> <mo movablelimits="true">sup</mo> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi mathvariant="double-struck">H</mi> <mo>×</mo> <mi mathvariant="double-struck">C</mi> </mrow> </munder> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">‖</mo> </mrow> <mtext>Pet</mtext> </msub> <mo>=</mo> <msub> <mi>O</mi> <mrow> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mo>,</mo> <mi>ϵ</mi> </mrow> </msub> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mi>k</mi> <mspace width="0.166667em" /> <msup> <mi>m</mi> <mrow> <mfrac> <mn>7</mn> <mn>4</mn> </mfrac> <mo>+</mo> <mi>ϵ</mi> </mrow> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>holds for any <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq17.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \in J_{k,m}^{\textrm{cusp}}(\Gamma _{0})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo>∈</mo> <msubsup> <mi>J</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>m</mi> </mrow> <mtext>cusp</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which is <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-normalized with respect to the Petersson inner product, where the implied constant depends on <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> and the choice of <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_633_Article_IEq15.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϵ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

\(L^{\infty }\)-norm bounds for Jacobi cusp forms

  • Anilatmaja Aryasomayajula,
  • Jürg Kramer,
  • Anna-Maria von Pippich

摘要

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