<p>To apply the Euler system method to a <i>p</i>-adic Galois representation <i>V</i>, one needs the existence of some <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\sigma \in G_{\mathbb {Q}(\mu _{p^{\infty }})}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>∈</mo> <msub> <mi>G</mi> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msub> <mi>μ</mi> <msup> <mi>p</mi> <mi>∞</mi> </msup> </msub> <mo stretchy="false">)</mo> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(V/(\sigma -1)V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>σ</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> is free of rank one over the coefficient ring. Such a <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation> is called an Euler-suitable element for <i>V</i>. Given a non-CM classical newform <i>f</i> of weight <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(k \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and a weight one newform <i>g</i> with characters <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\chi ,\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>χ</mi> <mo>,</mo> <mi>ψ</mi> </mrow> </math></EquationSource> </InlineEquation>, a prime ideal <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> of residue characteristic <i>p</i> of a suitably large number field, we consider the situation where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(V=V_{f,g,\mathfrak {p}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>=</mo> <msub> <mi>V</mi> <mrow> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo>,</mo> <mi mathvariant="fraktur">p</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is the tensor product of the <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation>-adic representations attached to <i>f</i> and <i>g</i>. D. Loeffler asked the following question: is it true that, if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\chi \psi \ne 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>χ</mi> <mi>ψ</mi> <mo>≠</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <i>V</i> has an Euler-suitable element for all but finitely many <i>p</i>? He also gave an affirmative answer when <i>f</i>,&#xa0;<i>g</i> had coprime conductors. We give several weaker sufficient conditions to answer this question in the affirmative, and we can as an application remove some of the technical assumptions required in the statement of the Birch- and Swinnerton-Dyer conjecture proved by Kings, Loeffler and Zerbes. We also show that the general answer to the question is negative, by constructing families of counter-examples, and giving additional counter-examples that do not fit in this family.</p>

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

On obstructions to the Euler system method for Rankin-Selberg convolutions

  • Elie Studnia

摘要

To apply the Euler system method to a p-adic Galois representation V, one needs the existence of some \(\sigma \in G_{\mathbb {Q}(\mu _{p^{\infty }})}\) σ G Q ( μ p ) such that \(V/(\sigma -1)V\) V / ( σ - 1 ) V is free of rank one over the coefficient ring. Such a \(\sigma \) σ is called an Euler-suitable element for V. Given a non-CM classical newform f of weight \(k \ge 2\) k 2 and a weight one newform g with characters \(\chi ,\psi \) χ , ψ , a prime ideal \(\mathfrak {p}\) p of residue characteristic p of a suitably large number field, we consider the situation where \(V=V_{f,g,\mathfrak {p}}\) V = V f , g , p is the tensor product of the \(\mathfrak {p}\) p -adic representations attached to f and g. D. Loeffler asked the following question: is it true that, if \(\chi \psi \ne 1\) χ ψ 1 , then V has an Euler-suitable element for all but finitely many p? He also gave an affirmative answer when fg had coprime conductors. We give several weaker sufficient conditions to answer this question in the affirmative, and we can as an application remove some of the technical assumptions required in the statement of the Birch- and Swinnerton-Dyer conjecture proved by Kings, Loeffler and Zerbes. We also show that the general answer to the question is negative, by constructing families of counter-examples, and giving additional counter-examples that do not fit in this family.