<p>Let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation> be a regular algebraic cuspidal automorphic representation (RACAR) of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{GL}_3(\mathbb {A}_{\mathbb {Q}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mn>3</mn> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi mathvariant="double-struck">Q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. When <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation> is <i>p</i>-nearly-ordinary for the maximal standard parabolic with Levi <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{GL}_1 \times \textrm{GL}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mn>1</mn> </msub> <mo>×</mo> <msub> <mtext>GL</mtext> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, we construct a <i>p</i>-adic <i>L</i>-function for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation>. More precisely, we construct a (single) bounded measure <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L_p(\Pi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Π</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {Z}_p^{\times }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">Z</mi> <mi>p</mi> <mo>×</mo> </msubsup> </math></EquationSource> </InlineEquation> attached to <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation>, and show it interpolates all the critical values <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(L(\Pi \times \eta ,-j)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mi mathvariant="normal">Π</mi> <mo>×</mo> <mi>η</mi> <mo>,</mo> <mo>-</mo> <mi>j</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> at <i>p</i> in the left-half of the critical strip for <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Π</mi> </math></EquationSource> </InlineEquation> (for varying <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\eta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> </InlineEquation> and <i>j</i>). This proves conjectures of Coates–Perrin-Riou and Panchishkin in this case. We also prove a corresponding result in the right half of the critical strip, assuming near-ordinarity for the other maximal standard parabolic. Our construction uses the theory of spherical varieties to build a “Betti Euler system”, a norm-compatible system of classes in the Betti cohomology of a locally symmetric space for <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\textrm{GL}_3\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>GL</mtext> <mn>3</mn> </msub> </math></EquationSource> </InlineEquation>. We work in arbitrary cohomological weight, allow arbitrary ramification at <i>p</i> along the Levi factor of the standard parabolic, and make no self-duality assumption. We thus give the first constructions of <i>p</i>-adic <i>L</i>-functions for RACARs of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\textrm{GL}_n(\mathbb {A}_{\mathbb {Q}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">A</mi> <mi mathvariant="double-struck">Q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of ‘general type’ (i.e. those that do not arise as functorial lifts) for any <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(n &gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

P-adic L-functions for \(\textrm{GL}(3)\)

  • David Loeffler,
  • Chris Williams

摘要

Let \(\Pi \) Π be a regular algebraic cuspidal automorphic representation (RACAR) of \(\textrm{GL}_3(\mathbb {A}_{\mathbb {Q}})\) GL 3 ( A Q ) . When \(\Pi \) Π is p-nearly-ordinary for the maximal standard parabolic with Levi \(\textrm{GL}_1 \times \textrm{GL}_2\) GL 1 × GL 2 , we construct a p-adic L-function for \(\Pi \) Π . More precisely, we construct a (single) bounded measure \(L_p(\Pi )\) L p ( Π ) on \(\mathbb {Z}_p^{\times }\) Z p × attached to \(\Pi \) Π , and show it interpolates all the critical values \(L(\Pi \times \eta ,-j)\) L ( Π × η , - j ) at p in the left-half of the critical strip for \(\Pi \) Π (for varying \(\eta \) η and j). This proves conjectures of Coates–Perrin-Riou and Panchishkin in this case. We also prove a corresponding result in the right half of the critical strip, assuming near-ordinarity for the other maximal standard parabolic. Our construction uses the theory of spherical varieties to build a “Betti Euler system”, a norm-compatible system of classes in the Betti cohomology of a locally symmetric space for \(\textrm{GL}_3\) GL 3 . We work in arbitrary cohomological weight, allow arbitrary ramification at p along the Levi factor of the standard parabolic, and make no self-duality assumption. We thus give the first constructions of p-adic L-functions for RACARs of \(\textrm{GL}_n(\mathbb {A}_{\mathbb {Q}})\) GL n ( A Q ) of ‘general type’ (i.e. those that do not arise as functorial lifts) for any \(n >2\) n > 2 .