<p>This article considers the family of elliptic curves given by <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(E_{p,q}: y^{2}=x^{3}-pqx\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mo>:</mo> <msup> <mi>y</mi> <mn>2</mn> </msup> <mo>=</mo> <msup> <mi>x</mi> <mn>3</mn> </msup> <mo>-</mo> <mi>p</mi> <mi>q</mi> <mi>x</mi> </mrow> </math></EquationSource> </InlineEquation>, where <i>p</i> and <i>q</i> are distinct odd primes. More specifically, we show that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p \equiv 7 \pmod {8}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mn>7</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(q \equiv 5 \pmod {8}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≡</mo> <mn>5</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\left( \dfrac{p}{q} \right) =-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mi>p</mi> <mi>q</mi> </mfrac> </mstyle> </mfenced> <mo>=</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then the ranks of both <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(E_{p,q}(\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(E_{p,q}(\mathbb {Q}(i))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are 0. In the second theorem, we prove that if (i) <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p \equiv 3 \pmod {8}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mn>3</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, (ii) <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(q \equiv 5 \pmod {8}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≡</mo> <mn>5</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, (iii) <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\left( \dfrac{p}{q} \right) =-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mi>p</mi> <mi>q</mi> </mfrac> </mstyle> </mfenced> <mo>=</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and (iv) <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(2(p+q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mi>p</mi> <mo>+</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a perfect square, then the rank of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(E_{p,q}(\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is 1 and the rank of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(E_{p,q}(\mathbb {Q}(i))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is 2. Finally, by using the BSD and parity conjectures, we prove that if (i) <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(p \equiv 5 \pmod {8}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≡</mo> <mn>5</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, (ii) <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(q \equiv 3 \pmod {8}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≡</mo> <mn>3</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>8</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and (iii) <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\left( \dfrac{p}{q} \right) =-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfenced close=")" open="("> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mi>p</mi> <mi>q</mi> </mfrac> </mstyle> </mfenced> <mo>=</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then the rank of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(E_{p,q}(\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is 1 over <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> and the rank of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(E_{p,q}(\mathbb {Q}(i))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is 2.</p>

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

Rank of a certain family of elliptic curves

  • Arkabrata Ghosh

摘要

This article considers the family of elliptic curves given by \(E_{p,q}: y^{2}=x^{3}-pqx\) E p , q : y 2 = x 3 - p q x , where p and q are distinct odd primes. More specifically, we show that \(p \equiv 7 \pmod {8}\) p 7 ( mod 8 ) , \(q \equiv 5 \pmod {8}\) q 5 ( mod 8 ) , and \(\left( \dfrac{p}{q} \right) =-1\) p q = - 1 , then the ranks of both \(E_{p,q}(\mathbb {Q})\) E p , q ( Q ) and \(E_{p,q}(\mathbb {Q}(i))\) E p , q ( Q ( i ) ) are 0. In the second theorem, we prove that if (i) \(p \equiv 3 \pmod {8}\) p 3 ( mod 8 ) , (ii) \(q \equiv 5 \pmod {8}\) q 5 ( mod 8 ) , (iii) \(\left( \dfrac{p}{q} \right) =-1\) p q = - 1 , and (iv) \(2(p+q)\) 2 ( p + q ) is a perfect square, then the rank of \(E_{p,q}(\mathbb {Q})\) E p , q ( Q ) is 1 and the rank of \(E_{p,q}(\mathbb {Q}(i))\) E p , q ( Q ( i ) ) is 2. Finally, by using the BSD and parity conjectures, we prove that if (i) \(p \equiv 5 \pmod {8}\) p 5 ( mod 8 ) , (ii) \(q \equiv 3 \pmod {8}\) q 3 ( mod 8 ) , and (iii) \(\left( \dfrac{p}{q} \right) =-1\) p q = - 1 , then the rank of \(E_{p,q}(\mathbb {Q})\) E p , q ( Q ) is 1 over \(\mathbb {Q}\) Q and the rank of \(E_{p,q}(\mathbb {Q}(i))\) E p , q ( Q ( i ) ) is 2.