<p>Let <i>E</i> be an elliptic curve defined over <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation>. In 1976, Lang and Trotter conjectured an asymptotic formula for the number <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi _{E,r}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mrow> <mi>E</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of primes <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(p \le X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≤</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> of good reduction for which the Frobenius trace at <i>p</i> associated to <i>E</i> is equal to a given fixed integer <i>r</i>. We investigate elliptic curves <i>E</i> over <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> that have a missing Frobenius trace, i.e. for which the counting function <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi _{E,r}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>π</mi> <mrow> <mi>E</mi> <mo>,</mo> <mi>r</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> remains bounded as <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(X \rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, for some <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \in \mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation>. In particular, we classify all elliptic curves <i>E</i> over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> that arise as specializations of an elliptic curve <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {E}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">E</mi> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_641_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}(t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, all but finitely many of whose specializations have a missing Frobenius trace.</p>

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

Elliptic curves with missing Frobenius traces

  • Nathan Jones,
  • Kevin Vissuet

摘要

Let E be an elliptic curve defined over \(\mathbb {Q}\) Q . In 1976, Lang and Trotter conjectured an asymptotic formula for the number \(\pi _{E,r}(X)\) π E , r ( X ) of primes \(p \le X\) p X of good reduction for which the Frobenius trace at p associated to E is equal to a given fixed integer r. We investigate elliptic curves E over \(\mathbb {Q}\) Q that have a missing Frobenius trace, i.e. for which the counting function \(\pi _{E,r}(X)\) π E , r ( X ) remains bounded as \(X \rightarrow \infty \) X , for some \(r \in \mathbb {Z}\) r Z . In particular, we classify all elliptic curves E over \(\mathbb {Q}\) Q that arise as specializations of an elliptic curve \(\mathbb {E}\) E over \(\mathbb {Q}(t)\) Q ( t ) , all but finitely many of whose specializations have a missing Frobenius trace.