<p>For a given elliptic curve <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(E/{\mathbb Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo stretchy="false">/</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(N_p(E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the number of points on <i>E</i> modulo <i>p</i> for a prime of good reduction for <i>E</i>. Given integer <i>n</i>, let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(G_k(E,n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the number of <i>k</i>-tuples of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(p_1&lt;p_2&lt;\cdots &lt;p_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <msub> <mi>p</mi> <mn>2</mn> </msub> <mo>&lt;</mo> <mo>⋯</mo> <mo>&lt;</mo> <msub> <mi>p</mi> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> primes of good reduction for <i>E</i>, for which the equation in the title holds, then on assuming the Generalized Riemann Hypothesis for elliptic curves without CM (and unconditionally if the curves have complex multiplication), I show that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varlimsup _{n\rightarrow \infty } G_k(E,n)=\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover> <mo movablelimits="false">lim</mo> <mo>¯</mo> </mover> <mrow> <mi>n</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </msub> <msub> <mi>G</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo>,</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> for any integer <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(k\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. I conjecture that this result also holds for <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(k=1,2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> i.e. this conjecture says that there are arbitrarily long “elliptic progressions of primes” i.e. sequences of primes <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p_1&lt;p_2&lt;\cdots &lt;p_m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <msub> <mi>p</mi> <mn>2</mn> </msub> <mo>&lt;</mo> <mo>⋯</mo> <mo>&lt;</mo> <msub> <mi>p</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> of arbitrary lengths <i>m</i> such that <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(N_{p_1}(E)=N_{p_2}(E)=\cdots =N_{p_m}(E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <msub> <mi>p</mi> <mn>1</mn> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>N</mi> <msub> <mi>p</mi> <mn>2</mn> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>⋯</mo> <mo>=</mo> <msub> <mi>N</mi> <msub> <mi>p</mi> <mi>m</mi> </msub> </msub> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On the equation \(N_{p_1}(E)N_{p_2}(E)\cdots N_{p_k}(E)=n\)

  • Kirti Joshi

摘要

For a given elliptic curve \(E/{\mathbb Q}\) E / Q , let \(N_p(E)\) N p ( E ) be the number of points on E modulo p for a prime of good reduction for E. Given integer n, let \(G_k(E,n)\) G k ( E , n ) be the number of k-tuples of \(p_1<p_2<\cdots <p_k\) p 1 < p 2 < < p k primes of good reduction for E, for which the equation in the title holds, then on assuming the Generalized Riemann Hypothesis for elliptic curves without CM (and unconditionally if the curves have complex multiplication), I show that \(\varlimsup _{n\rightarrow \infty } G_k(E,n)=\infty \) lim ¯ n G k ( E , n ) = for any integer \(k\ge 3\) k 3 . I conjecture that this result also holds for \(k=1,2\) k = 1 , 2 i.e. this conjecture says that there are arbitrarily long “elliptic progressions of primes” i.e. sequences of primes \(p_1<p_2<\cdots <p_m\) p 1 < p 2 < < p m of arbitrary lengths m such that \(N_{p_1}(E)=N_{p_2}(E)=\cdots =N_{p_m}(E)\) N p 1 ( E ) = N p 2 ( E ) = = N p m ( E ) .