<p>Let <i>G</i> be a (split) reductive group over <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathbb {F}}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation>, and let <i>M</i> be a standard Levi subgroup of <i>G</i>. Let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> denote the set of parabolic subgroups of <i>G</i> with Levi factor <i>M</i>. For <i>P</i> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(P'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>P</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation>, we let <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(U = R_u(P)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>U</mi> <mo>=</mo> <msub> <mi>R</mi> <mi>u</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> (resp., <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(U' = R_u(P')\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>U</mi> <mo>′</mo> </msup> <mo>=</mo> <msub> <mi>R</mi> <mi>u</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>P</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>) denote the unipotent radical; and we denote by <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\overline{G/U}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mrow> <mi>G</mi> <mo stretchy="false">/</mo> <mi>U</mi> </mrow> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> (resp., <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\overline{G/U'}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mrow> <mi>G</mi> <mo stretchy="false">/</mo> <msup> <mi>U</mi> <mo>′</mo> </msup> </mrow> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation>) the affinization of the corresponding homogeneous space. Extending the work of Kazhdan-Laumon [<CitationRef CitationID="CR28">28</CitationRef>] and Braverman-Kazhdan [<CitationRef CitationID="CR6">6</CitationRef>, <CitationRef CitationID="CR7">7</CitationRef>] to general parabolic basic affine (or “paraspherical") space, we propose a construction for certain intertwining operators <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {F}_{P',P}: \mathcal {S}(\overline{G/U}({\mathbb {F}}_q), {\mathbb {C}}) \rightarrow \mathcal {S}(\overline{G/U'}({\mathbb {F}}_q), {\mathbb {C}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">F</mi> <mrow> <msup> <mi>P</mi> <mo>′</mo> </msup> <mo>,</mo> <mi>P</mi> </mrow> </msub> <mo>:</mo> <mi mathvariant="script">S</mi> <mrow> <mo stretchy="false">(</mo> <mover> <mrow> <mi>G</mi> <mo stretchy="false">/</mo> <mi>U</mi> </mrow> <mo>¯</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mi mathvariant="script">S</mi> <mrow> <mo stretchy="false">(</mo> <mover> <mrow> <mi>G</mi> <mo stretchy="false">/</mo> <msup> <mi>U</mi> <mo>′</mo> </msup> </mrow> <mo>¯</mo> </mover> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for suitable function spaces <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">S</mi> </math></EquationSource> </InlineEquation>, defined via kernels analogous to those appearing in loc cit. We then study the extent to which these intertwiners are normalized. We show that, for opposite <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((n-1)+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> parabolics of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\({\textrm{SL}}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>SL</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>, our transform reduces to the classical linear Fourier transform; and that, for opposite unipotents in <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({\textrm{SL}}_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>SL</mtext> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation> or opposite Siegel parabolics in <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\textrm{Sp}}_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Sp</mtext> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation>, our transforms are given by a Fourier transform on a quadric cone (with kernel coming from a Kloosterman sum). We prove Fourier inversion for this transform on (a natural subclass of) functions on the quadric cone, establishing a finite-field analogue of the quadric Fourier transform of Gurevich-Kazhdan, Getz-Hsu-Leslie, and Kobayashi-Mano [<CitationRef CitationID="CR18">18</CitationRef>, <CitationRef CitationID="CR23">23</CitationRef>, <CitationRef CitationID="CR29">29</CitationRef>].</p>

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

Parabolic Kazhdan-Laumon and the Kloosterman Fourier Transform for Quadric Cones

  • Aaron Slipper

摘要

Let G be a (split) reductive group over \({\mathbb {F}}_q\) F q , and let M be a standard Levi subgroup of G. Let \(\mathcal {P}\) P denote the set of parabolic subgroups of G with Levi factor M. For P and \(P'\) P in \(\mathcal {P}\) P , we let \(U = R_u(P)\) U = R u ( P ) (resp., \(U' = R_u(P')\) U = R u ( P ) ) denote the unipotent radical; and we denote by \(\overline{G/U}\) G / U ¯ (resp., \(\overline{G/U'}\) G / U ¯ ) the affinization of the corresponding homogeneous space. Extending the work of Kazhdan-Laumon [28] and Braverman-Kazhdan [6, 7] to general parabolic basic affine (or “paraspherical") space, we propose a construction for certain intertwining operators \(\mathcal {F}_{P',P}: \mathcal {S}(\overline{G/U}({\mathbb {F}}_q), {\mathbb {C}}) \rightarrow \mathcal {S}(\overline{G/U'}({\mathbb {F}}_q), {\mathbb {C}})\) F P , P : S ( G / U ¯ ( F q ) , C ) S ( G / U ¯ ( F q ) , C ) for suitable function spaces \(\mathcal {S}\) S , defined via kernels analogous to those appearing in loc cit. We then study the extent to which these intertwiners are normalized. We show that, for opposite \((n-1)+1\) ( n - 1 ) + 1 parabolics of \({\textrm{SL}}_n\) SL n , our transform reduces to the classical linear Fourier transform; and that, for opposite unipotents in \({\textrm{SL}}_3\) SL 3 or opposite Siegel parabolics in \({\textrm{Sp}}_4\) Sp 4 , our transforms are given by a Fourier transform on a quadric cone (with kernel coming from a Kloosterman sum). We prove Fourier inversion for this transform on (a natural subclass of) functions on the quadric cone, establishing a finite-field analogue of the quadric Fourier transform of Gurevich-Kazhdan, Getz-Hsu-Leslie, and Kobayashi-Mano [18, 23, 29].