<p>Let <i>n</i> be a natural number, and let <i>p</i> and <i>q</i> be two non-negative integers with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq6.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(p+q = n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>+</mo> <mi>q</mi> <mo>=</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{F}\,}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.166667em" /> <mtext>F</mtext> <mspace width="0.166667em" /> </mrow> </math></EquationSource> </InlineEquation> be a local non-Archimedean field of characteristic zero with a finite residue field. Set <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_n = {{\,\textrm{GL}\,}}_n({{\,\textrm{F}\,}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mi>n</mi> </msub> <mo>=</mo> <msub> <mrow> <mspace width="0.166667em" /> <mtext>GL</mtext> <mspace width="0.166667em" /> </mrow> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mrow> <mspace width="0.166667em" /> <mtext>F</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Consider the subgroup <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> defined as follows: <Equation ID="Equ6"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_Equ6.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="319" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} H_{p,q} = \Bigg \{\begin{pmatrix} g_1 &amp; 0 \\ 0 &amp; g_2 \end{pmatrix} :~ g_1 \in G_p ~\text {and}~g_2 \in G_q\Bigg \}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mo>=</mo> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">{</mo> </mrow> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <msub> <mi>g</mi> <mn>1</mn> </msub> </mtd> <mtd> <mn>0</mn> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mn>0</mn> </mrow> </mtd> <mtd> <msub> <mi>g</mi> <mn>2</mn> </msub> </mtd> </mtr> </mtable> </mrow> </mfenced> <mo>:</mo> <mspace width="3.33333pt" /> <msub> <mi>g</mi> <mn>1</mn> </msub> <mo>∈</mo> <msub> <mi>G</mi> <mi>p</mi> </msub> <mspace width="3.33333pt" /> <mtext>and</mtext> <mspace width="3.33333pt" /> <msub> <mi>g</mi> <mn>2</mn> </msub> <mo>∈</mo> <msub> <mi>G</mi> <mi>q</mi> </msub> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">}</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Then a complex smooth representation <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\((\pi ,V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>π</mi> <mo>,</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> is said to be <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>-distinguished (or said to have a linear period with respect to <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>) if there exists a linear functional <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq15.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> on <i>V</i> such that <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(\psi (\pi (h)v) = \psi (v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ψ</mi> <mo stretchy="false">(</mo> <mi>π</mi> <mo stretchy="false">(</mo> <mi>h</mi> <mo stretchy="false">)</mo> <mi>v</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>ψ</mi> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(v \in V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>∈</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(h \in H_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>∈</mo> <msub> <mi>H</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>. In this article, we classify those smooth irreducible representations of <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{4}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation> that are <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{2,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>-distinguished. Furthermore, we provide a precise characterization of the symplectic Langlands parameters that correspond to <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{2,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>-distinguished representations of <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1134_Article_IEq22.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_4\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>4</mn> </msub> </math></EquationSource> </InlineEquation>.</p>

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

On Representations of \({{\,\textrm{GL}\,}}_4({{\,\textrm{F}\,}})\) Distinguished By \({{\,\textrm{GL}\,}}_2({{\,\textrm{F}\,}}) \times {{\,\textrm{GL}\,}}_2({{\,\textrm{F}\,}})\)

  • Hariom Sharma

摘要

Let n be a natural number, and let p and q be two non-negative integers with \(p+q = n\) p + q = n . Let \({{\,\textrm{F}\,}}\) F be a local non-Archimedean field of characteristic zero with a finite residue field. Set \(G_n = {{\,\textrm{GL}\,}}_n({{\,\textrm{F}\,}})\) G n = GL n ( F ) . Consider the subgroup \(H_{p,q}\) H p , q of \(G_n\) G n defined as follows: \(\begin{aligned} H_{p,q} = \Bigg \{\begin{pmatrix} g_1 & 0 \\ 0 & g_2 \end{pmatrix} :~ g_1 \in G_p ~\text {and}~g_2 \in G_q\Bigg \}. \end{aligned}\) H p , q = { g 1 0 0 g 2 : g 1 G p and g 2 G q } . Then a complex smooth representation \((\pi ,V)\) ( π , V ) of \(G_n\) G n is said to be \(H_{p,q}\) H p , q -distinguished (or said to have a linear period with respect to \(H_{p,q}\) H p , q ) if there exists a linear functional \(\psi \) ψ on V such that \(\psi (\pi (h)v) = \psi (v)\) ψ ( π ( h ) v ) = ψ ( v ) for all \(v \in V\) v V and \(h \in H_{p,q}\) h H p , q . In this article, we classify those smooth irreducible representations of \(G_{4}\) G 4 that are \(H_{2,2}\) H 2 , 2 -distinguished. Furthermore, we provide a precise characterization of the symplectic Langlands parameters that correspond to \(H_{2,2}\) H 2 , 2 -distinguished representations of \(G_4\) G 4 .