<p>Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">A</mi> </math></EquationSource> </InlineEquation> be the ring of adeles of a number field <i>k</i> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> be an irreducible cuspidal automorphic representation of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{GL}}_n({\mathbb {A}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In&#xa0;Jiang and Luo (Pac J Math 318:339–374. <a href="https://doi.org/10.2140/pjm.2022.318.339">https://doi.org/10.2140/pjm.2022.318.339</a>, 2022, Pac J Math 326: 301–372. <a href="https://doi.org/10.2140/pjm.2023.326.301">https://doi.org/10.2140/pjm.2023.326.301</a>, 2023), the authors introduced <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation>-Schwartz space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {S}}_\pi ({\mathbb {A}}^\times )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">S</mi> <mi>π</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">A</mi> </mrow> <mo>×</mo> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq8.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation>-Fourier transform <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {F}}_{\pi ,\psi }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mrow> <mi>π</mi> <mo>,</mo> <mi>ψ</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> with a non-trivial additive character <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ψ</mi> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\backslash {\mathbb {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo stretchy="true">\</mo> <mi mathvariant="double-struck">A</mi> </mrow> </math></EquationSource> </InlineEquation>, proved the associated Poisson summation formula over <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {A}}^\times \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">A</mi> </mrow> <mo>×</mo> </msup> </math></EquationSource> </InlineEquation>, based on the Godement–Jacquet theory for the standard <i>L</i>-functions <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(L(s,\pi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo>,</mo> <mi>π</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and provided interesting applications. In this paper, in addition to the further development of the local theory, we found two global applications. First, we find a Poisson summation formula proof of the Voronoi summation formula for <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{GL}}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> over a number field, which was first proved by Ichino and Templier (Am J Math 135:65–101. <a href="https://doi.org/10.1353/ajm.2013.0005">https://doi.org/10.1353/ajm.2013.0005</a>, 2013, Theorem 1). Then we introduce the notion of the Godement–Jacquet kernels <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{\pi ,s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mi>π</mi> <mo>,</mo> <mi>s</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and their dual kernels <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_{\pi ,s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mrow> <mi>π</mi> <mo>,</mo> <mi>s</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> for any irreducible cuspidal automorphic representation <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq17.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textrm{GL}}_n({\mathbb {A}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and show in Theorems&#xa0;<InternalRef RefID="FPar60">6.10</InternalRef> and&#xa0;<InternalRef RefID="FPar69">6.15</InternalRef> that <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq19.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{\pi ,s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mi>π</mi> <mo>,</mo> <mi>s</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(K_{\pi ,1-s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mrow> <mi>π</mi> <mo>,</mo> <mn>1</mn> <mo>-</mo> <mi>s</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> are related by the nonlinear <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq21.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi _\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>π</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation>-Fourier transform if and only if <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq22.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(s\in {\mathbb {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation> is a zero of <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq23.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_f(s,\pi _f)=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo>,</mo> <msub> <mi>π</mi> <mi>f</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, the finite part of the standard automorphic <i>L</i>-function <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq24.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(L(s,\pi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo>,</mo> <mi>π</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, which are the <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq25.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(({\textrm{GL}}_n,\pi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> <mo>,</mo> <mi>π</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-versions of Clozel (J Number Theory 261: 252–298 <a href="https://doi.org/10.1016/j.jnt.2024.02.018">https://doi.org/10.1016/j.jnt.2024.02.018</a>, 2024, Theorem 1.1), where the Tate kernel with <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq26.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3695_Article_IEq27.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> the trivial character are considered.</p>

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

The Voronoi summation formula for \({\textrm{GL}}_n\) and the Godement–Jacquet kernels

  • Dihua Jiang,
  • Zhaolin Li

摘要

Let \({\mathbb {A}}\) A be the ring of adeles of a number field k and \(\pi \) π be an irreducible cuspidal automorphic representation of \({\textrm{GL}}_n({\mathbb {A}})\) GL n ( A ) . In Jiang and Luo (Pac J Math 318:339–374. https://doi.org/10.2140/pjm.2022.318.339, 2022, Pac J Math 326: 301–372. https://doi.org/10.2140/pjm.2023.326.301, 2023), the authors introduced \(\pi \) π -Schwartz space \({\mathcal {S}}_\pi ({\mathbb {A}}^\times )\) S π ( A × ) and \(\pi \) π -Fourier transform \({\mathcal {F}}_{\pi ,\psi }\) F π , ψ with a non-trivial additive character \(\psi \) ψ of \(k\backslash {\mathbb {A}}\) k \ A , proved the associated Poisson summation formula over \({\mathbb {A}}^\times \) A × , based on the Godement–Jacquet theory for the standard L-functions \(L(s,\pi )\) L ( s , π ) , and provided interesting applications. In this paper, in addition to the further development of the local theory, we found two global applications. First, we find a Poisson summation formula proof of the Voronoi summation formula for \({\textrm{GL}}_n\) GL n over a number field, which was first proved by Ichino and Templier (Am J Math 135:65–101. https://doi.org/10.1353/ajm.2013.0005, 2013, Theorem 1). Then we introduce the notion of the Godement–Jacquet kernels \(H_{\pi ,s}\) H π , s and their dual kernels \(K_{\pi ,s}\) K π , s for any irreducible cuspidal automorphic representation \(\pi \) π of \({\textrm{GL}}_n({\mathbb {A}})\) GL n ( A ) and show in Theorems 6.10 and 6.15 that \(H_{\pi ,s}\) H π , s and \(K_{\pi ,1-s}\) K π , 1 - s are related by the nonlinear \(\pi _\infty \) π -Fourier transform if and only if \(s\in {\mathbb {C}}\) s C is a zero of \(L_f(s,\pi _f)=0\) L f ( s , π f ) = 0 , the finite part of the standard automorphic L-function \(L(s,\pi )\) L ( s , π ) , which are the \(({\textrm{GL}}_n,\pi )\) ( GL n , π ) -versions of Clozel (J Number Theory 261: 252–298 https://doi.org/10.1016/j.jnt.2024.02.018, 2024, Theorem 1.1), where the Tate kernel with \(n=1\) n = 1 and \(\pi \) π the trivial character are considered.