<p>Let <i>F</i> be a number field and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> a regular algebraic cuspidal automorphic representation of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textrm{GL}_N(\mathbb {A}_F)\)</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>F</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of symplectic type. When <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> is spherical at all primes <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathfrak {p}|p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">|</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation>, we construct a <i>p</i>-adic <i>L</i>-function attached to any regular non-critical spin <i>p</i>-refinement <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\tilde{\pi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>π</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> to <i>Q</i>-parahoric level, where <i>Q</i> is the (<i>n</i>,&#xa0;<i>n</i>)-parabolic. More precisely, we construct a distribution <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L_p(\tilde{\pi })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover accent="true"> <mi>π</mi> <mo stretchy="false">~</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on the Galois group <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textrm{Gal}_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Gal</mtext> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> of the maximal abelian extension of <i>F</i> unramified outside <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and show that it interpolates all the standard critical <i>L</i>-values of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> at <i>p</i> (including, for example, cyclotomic and anticyclotomic variation when <i>F</i> is imaginary quadratic). We show that <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(L_p(\tilde{\pi })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover accent="true"> <mi>π</mi> <mo stretchy="false">~</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfies a natural growth condition; in particular, when <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\tilde{\pi }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>π</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation> is ordinary, <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(L_p(\tilde{\pi })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover accent="true"> <mi>π</mi> <mo stretchy="false">~</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a (bounded) measure on <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\textrm{Gal}_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Gal</mtext> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>. As a corollary, when <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> is unitary, has very regular weight, and is <i>Q</i>-ordinary at all <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathfrak {p}|p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">p</mi> <mo stretchy="false">|</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation>, we deduce non-vanishing <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(L(\pi \times (\chi \circ N_{F/\mathbb {Q}}),1/2) \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mi>π</mi> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mi>χ</mi> <mo>∘</mo> <msub> <mi>N</mi> <mrow> <mi>F</mi> <mo stretchy="false">/</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> <mo stretchy="false">)</mo> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> of the twisted central value for all but finitely many Dirichlet characters <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> of <i>p</i>-power conductor.</p>

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

On p-adic L-functions for symplectic representations of \(\text {GL}(N)\) over number fields

  • Chris Williams

摘要

Let F be a number field and \(\pi \) π a regular algebraic cuspidal automorphic representation of \(\textrm{GL}_N(\mathbb {A}_F)\) GL N ( A F ) of symplectic type. When \(\pi \) π is spherical at all primes \(\mathfrak {p}|p\) p | p , we construct a p-adic L-function attached to any regular non-critical spin p-refinement \(\tilde{\pi }\) π ~ of \(\pi \) π to Q-parahoric level, where Q is the (nn)-parabolic. More precisely, we construct a distribution \(L_p(\tilde{\pi })\) L p ( π ~ ) on the Galois group \(\textrm{Gal}_p\) Gal p of the maximal abelian extension of F unramified outside \(p\infty \) p and show that it interpolates all the standard critical L-values of \(\pi \) π at p (including, for example, cyclotomic and anticyclotomic variation when F is imaginary quadratic). We show that \(L_p(\tilde{\pi })\) L p ( π ~ ) satisfies a natural growth condition; in particular, when \(\tilde{\pi }\) π ~ is ordinary, \(L_p(\tilde{\pi })\) L p ( π ~ ) is a (bounded) measure on \(\textrm{Gal}_p\) Gal p . As a corollary, when \(\pi \) π is unitary, has very regular weight, and is Q-ordinary at all \(\mathfrak {p}|p\) p | p , we deduce non-vanishing \(L(\pi \times (\chi \circ N_{F/\mathbb {Q}}),1/2) \ne 0\) L ( π × ( χ N F / Q ) , 1 / 2 ) 0 of the twisted central value for all but finitely many Dirichlet characters \(\chi \) χ of p-power conductor.