<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(p\geqslant 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>⩾</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> be a prime number and <i>K</i> be a quadratic imaginary field in which <i>p</i> splits as <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathfrak {p}\overline{\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">p</mi> <mover> <mi mathvariant="fraktur">p</mi> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> be a cuspidal Bianchi eigenform over <i>K</i> of weight (<i>k</i>,&#xa0;<i>k</i>), where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(k\geqslant 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>⩾</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is an integer, level <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> </InlineEquation> coprime to <i>p</i>, and non-ordinary at both of the primes above <i>p</i>. We assume <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> has trivial nebentypus. For <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {q}\in \{\mathfrak {p}, \overline{\mathfrak {p}}\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">q</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mi mathvariant="fraktur">p</mi> <mo>,</mo> <mover> <mi mathvariant="fraktur">p</mi> <mo>¯</mo> </mover> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(a_{\mathfrak {q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>a</mi> <mi mathvariant="fraktur">q</mi> </msub> </math></EquationSource> </InlineEquation> be the <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(T_{\mathfrak {q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi mathvariant="fraktur">q</mi> </msub> </math></EquationSource> </InlineEquation> Hecke eigenvalue of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\alpha _{\mathfrak {q}},\beta _{\mathfrak {q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mi mathvariant="fraktur">q</mi> </msub> <mo>,</mo> <msub> <mi>β</mi> <mi mathvariant="fraktur">q</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> be the roots of polynomial <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(X^{2} -a_{\mathfrak {q}}X+ p^{k+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>X</mi> <mn>2</mn> </msup> <mo>-</mo> <msub> <mi>a</mi> <mi mathvariant="fraktur">q</mi> </msub> <mi>X</mi> <mo>+</mo> <msup> <mi>p</mi> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. Then we have four <i>p</i>-stabilizations of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">F</mi> </math></EquationSource> </InlineEquation>: <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathcal {F}^{\alpha _{\mathfrak {p}},\alpha _{\overline{\mathfrak {p}}}}, \mathcal {F}^{\alpha _{\mathfrak {p}},\beta _{\overline{\mathfrak {p}}}}, \mathcal {F}^{\beta _{\mathfrak {p}},\alpha _{\overline{\mathfrak {p}}}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <msub> <mi>α</mi> <mi mathvariant="fraktur">p</mi> </msub> <mo>,</mo> <msub> <mi>α</mi> <mover> <mi mathvariant="fraktur">p</mi> <mo>¯</mo> </mover> </msub> </mrow> </msup> <mo>,</mo> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <msub> <mi>α</mi> <mi mathvariant="fraktur">p</mi> </msub> <mo>,</mo> <msub> <mi>β</mi> <mover> <mi mathvariant="fraktur">p</mi> <mo>¯</mo> </mover> </msub> </mrow> </msup> <mo>,</mo> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <msub> <mi>β</mi> <mi mathvariant="fraktur">p</mi> </msub> <mo>,</mo> <msub> <mi>α</mi> <mover> <mi mathvariant="fraktur">p</mi> <mo>¯</mo> </mover> </msub> </mrow> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\( \mathcal {F}^{\beta _{\mathfrak {p}},\beta _{\overline{\mathfrak {p}}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <msub> <mi>β</mi> <mi mathvariant="fraktur">p</mi> </msub> <mo>,</mo> <msub> <mi>β</mi> <mover> <mi mathvariant="fraktur">p</mi> <mo>¯</mo> </mover> </msub> </mrow> </msup> </math></EquationSource> </InlineEquation> which are Bianchi cuspforms of level <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(p\mathfrak {m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mi mathvariant="fraktur">m</mi> </mrow> </math></EquationSource> </InlineEquation>. By the works of Williams, to each <i>p</i>-stabilization <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathcal {F}^{*,\dagger }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mo>†</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>, we can attach a locally analytic distribution <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(L_{p}(\mathcal {F}^{*,\dagger })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mo>†</mo> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> over the ray class group <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\text {Cl}(K,p^{\infty })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Cl</mtext> <mo stretchy="false">(</mo> <mi>K</mi> <mo>,</mo> <msup> <mi>p</mi> <mi>∞</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. On viewing <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(L_{p}(\mathcal {F}^{*,\dagger })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mo>†</mo> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as a two-variable power series with coefficients in some <i>p</i>-adic field having unbounded denominators satisfying certain growth conditions, we decompose this power series into a linear combination of power series with bounded coefficients in the spirit of Pollack, Sprung, and Lei–Loeffler–Zerbes.</p>

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

Signed p-adic L-functions of Bianchi modular forms

  • Mihir V. Deo

摘要

Let \(p\geqslant 3\) p 3 be a prime number and K be a quadratic imaginary field in which p splits as \(\mathfrak {p}\overline{\mathfrak {p}}\) p p ¯ . Let \(\mathcal {F}\) F be a cuspidal Bianchi eigenform over K of weight (kk), where \(k\geqslant 0\) k 0 is an integer, level \(\mathfrak {m}\) m coprime to p, and non-ordinary at both of the primes above p. We assume \(\mathcal {F}\) F has trivial nebentypus. For \(\mathfrak {q}\in \{\mathfrak {p}, \overline{\mathfrak {p}}\}\) q { p , p ¯ } , let \(a_{\mathfrak {q}}\) a q be the \(T_{\mathfrak {q}}\) T q Hecke eigenvalue of \(\mathcal {F}\) F and let \(\alpha _{\mathfrak {q}},\beta _{\mathfrak {q}}\) α q , β q be the roots of polynomial \(X^{2} -a_{\mathfrak {q}}X+ p^{k+1}\) X 2 - a q X + p k + 1 . Then we have four p-stabilizations of \(\mathcal {F}\) F : \(\mathcal {F}^{\alpha _{\mathfrak {p}},\alpha _{\overline{\mathfrak {p}}}}, \mathcal {F}^{\alpha _{\mathfrak {p}},\beta _{\overline{\mathfrak {p}}}}, \mathcal {F}^{\beta _{\mathfrak {p}},\alpha _{\overline{\mathfrak {p}}}},\) F α p , α p ¯ , F α p , β p ¯ , F β p , α p ¯ , and \( \mathcal {F}^{\beta _{\mathfrak {p}},\beta _{\overline{\mathfrak {p}}}}\) F β p , β p ¯ which are Bianchi cuspforms of level \(p\mathfrak {m}\) p m . By the works of Williams, to each p-stabilization \(\mathcal {F}^{*,\dagger }\) F , , we can attach a locally analytic distribution \(L_{p}(\mathcal {F}^{*,\dagger })\) L p ( F , ) over the ray class group \(\text {Cl}(K,p^{\infty })\) Cl ( K , p ) . On viewing \(L_{p}(\mathcal {F}^{*,\dagger })\) L p ( F , ) as a two-variable power series with coefficients in some p-adic field having unbounded denominators satisfying certain growth conditions, we decompose this power series into a linear combination of power series with bounded coefficients in the spirit of Pollack, Sprung, and Lei–Loeffler–Zerbes.