<p>Let <i>N</i> be a positive integer and <i>K</i> be a number field. Suppose that <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="134" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_1, f_2\in S_k(\Gamma _0(N))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>f</mi> <mn>2</mn> </msub> <mo>∈</mo> <msub> <mi>S</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are two newforms such that their residual Galois representations at 2 are isomorphic. Let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega _2:G_{\mathbb {Q}}\rightarrow {\mathbb {Z}}_2^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ω</mi> <mn>2</mn> </msub> <mo>:</mo> <msub> <mi>G</mi> <mi mathvariant="double-struck">Q</mi> </msub> <mo stretchy="false">→</mo> <msubsup> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> be the 2-adic cyclotomic character. Then, under suitable hypotheses, we have shown that for every quadratic character <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> of <i>K</i> and each critical twist <i>j</i>,&#xa0; the residual Greenberg 2-Selmer groups of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_1\chi \omega _p^{-j}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>1</mn> </msub> <mi>χ</mi> <msubsup> <mi>ω</mi> <mi>p</mi> <mrow> <mo>-</mo> <mi>j</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_2\chi \omega _p^{-j}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>2</mn> </msub> <mi>χ</mi> <msubsup> <mi>ω</mi> <mi>p</mi> <mrow> <mo>-</mo> <mi>j</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> over <i>K</i> are isomorphic. This generalizes the corresponding result of Mazur–Rubin on 2-Selmer companion elliptic curves. Conversely, if the difference of the residual Greenberg (respectively Bloch–Kato) 2-Selmer ranks of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_1\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>1</mn> </msub> <mi>χ</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_2\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>2</mn> </msub> <mi>χ</mi> </mrow> </math></EquationSource> </InlineEquation> is bounded independent of every quadratic character <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> of <i>K</i>,&#xa0; then under suitable hypotheses we have shown that the residual Galois representations at 2 of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>f</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>f</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> are isomorphic as <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_262_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_K\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>K</mi> </msub> </math></EquationSource> </InlineEquation>-modules. The corresponding result for elliptic curves was a conjecture of Mazur–Rubin, which was proved by M. Yu.</p>

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

2-Selmer companion modular forms

  • Abhishek,
  • Somnath Jha,
  • Sudhanshu Shekhar

摘要

Let N be a positive integer and K be a number field. Suppose that \(f_1, f_2\in S_k(\Gamma _0(N))\) f 1 , f 2 S k ( Γ 0 ( N ) ) are two newforms such that their residual Galois representations at 2 are isomorphic. Let \(\omega _2:G_{\mathbb {Q}}\rightarrow {\mathbb {Z}}_2^*\) ω 2 : G Q Z 2 be the 2-adic cyclotomic character. Then, under suitable hypotheses, we have shown that for every quadratic character \(\chi \) χ of K and each critical twist j,  the residual Greenberg 2-Selmer groups of \(f_1\chi \omega _p^{-j}\) f 1 χ ω p - j and \(f_2\chi \omega _p^{-j}\) f 2 χ ω p - j over K are isomorphic. This generalizes the corresponding result of Mazur–Rubin on 2-Selmer companion elliptic curves. Conversely, if the difference of the residual Greenberg (respectively Bloch–Kato) 2-Selmer ranks of \(f_1\chi \) f 1 χ and \(f_2\chi \) f 2 χ is bounded independent of every quadratic character \(\chi \) χ of K,  then under suitable hypotheses we have shown that the residual Galois representations at 2 of \(f_1\) f 1 and \(f_2\) f 2 are isomorphic as \(G_K\) G K -modules. The corresponding result for elliptic curves was a conjecture of Mazur–Rubin, which was proved by M. Yu.