<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(p&gt;3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> be a prime number, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(f\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> an integer. We consider a certain full subcategory <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> of the category of smooth admissible mod <i>p</i> representations of either <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({{\,\textrm{GL}\,}}_2{\textbf{Q}}_{p^f}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mspace width="0.166667em" /> <mtext>GL</mtext> <mspace width="0.166667em" /> </mrow> <mn>2</mn> </msub> <msub> <mi mathvariant="bold">Q</mi> <msup> <mi>p</mi> <mi>f</mi> </msup> </msub> </mrow> </math></EquationSource> </InlineEquation> or of the group of units of the quaternion algebra over <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\textbf{Q}}_{p^f}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">Q</mi> <msup> <mi>p</mi> <mi>f</mi> </msup> </msub> </math></EquationSource> </InlineEquation>. This category was introduced in the context of the mod <i>p</i> Langlands program by [<CitationRef CitationID="CR1">1</CitationRef>] in the <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({{\,\textrm{GL}\,}}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mspace width="0.166667em" /> <mtext>GL</mtext> <mspace width="0.166667em" /> </mrow> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-case and by [<CitationRef CitationID="CR2">2</CitationRef>] in the quaternion case. We prove that whether a smooth admissible mod <i>p</i> representation <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> (with central character) belongs to <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> is completely determined by the restriction of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> to an arbitrarily small open subgroup.</p>

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

Note on a certain category of mod p representations

  • Reinier Sorgdrager

摘要

Let \(p>3\) p > 3 be a prime number, \(f\ge 1\) f 1 an integer. We consider a certain full subcategory \(\mathcal {C}\) C of the category of smooth admissible mod p representations of either \({{\,\textrm{GL}\,}}_2{\textbf{Q}}_{p^f}\) GL 2 Q p f or of the group of units of the quaternion algebra over \({\textbf{Q}}_{p^f}\) Q p f . This category was introduced in the context of the mod p Langlands program by [1] in the \({{\,\textrm{GL}\,}}_2\) GL 2 -case and by [2] in the quaternion case. We prove that whether a smooth admissible mod p representation \(\pi \) π (with central character) belongs to \(\mathcal {C}\) C is completely determined by the restriction of \(\pi \) π to an arbitrarily small open subgroup.