<p>For a 1-parametric family <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}_{U}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">E</mi> <mi>U</mi> </msub> </math></EquationSource> </InlineEquation> of elliptic curves over <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq2.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> and a prime <i>p</i>, consider the second moment sum <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq3.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="161" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{2,p}(\mathcal {E}_U)=\sum _{u\in \mathbb {F}_{p}}a_{u,p}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>p</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">E</mi> <mi>U</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∑</mo> <mrow> <mi>u</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>p</mi> </msub> </mrow> </msub> <msubsup> <mi>a</mi> <mrow> <mi>u</mi> <mo>,</mo> <mi>p</mi> </mrow> <mn>2</mn> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(a_{u,p}=p+1-\#\mathcal {E}_{u}(\mathbb {F}_{p})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>a</mi> <mrow> <mi>u</mi> <mo>,</mo> <mi>p</mi> </mrow> </msub> <mo>=</mo> <mi>p</mi> <mo>+</mo> <mn>1</mn> <mo>-</mo> <mo>#</mo> <msub> <mi mathvariant="script">E</mi> <mi>u</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>p</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Inspired by Rosen and Silverman’s proof of the Nagao conjecture, which relates the first moment of a rational elliptic surface to the rank of the Mordell–Weil group of the corresponding elliptic curve, S. J. Miller initiated the study of the asymptotic expansion of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq5.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="173" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{2,p}(\mathcal {E}_U)=p^2+O(p^{3/2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>p</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">E</mi> <mi>U</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>p</mi> <mn>2</mn> </msup> <mo>+</mo> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>p</mi> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> (which by the work of Deligne and Michel has a cohomological interpretation). He conjectured that, similar to the first moment case, the largest lower-order term that does not average to 0 has a negative bias. In this paper, we provide an explicit formula for the second moment <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_{2,p}(\mathcal {E}_{U})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>p</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">E</mi> <mi>U</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of <Equation ID="Equ23"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_Equ23.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="180" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {E}_{U}:y^2=P(x)U+Q(x), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="script">E</mi> <mi>U</mi> </msub> <mo>:</mo> <msup> <mi>y</mi> <mn>2</mn> </msup> <mo>=</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>U</mi> <mo>+</mo> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(\deg P(x),\deg Q(x)\le 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>deg</mo> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mo>deg</mo> <mi>Q</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. For a generic choice of polynomials <i>P</i>(<i>x</i>) and <i>Q</i>(<i>x</i>) this formula is expressed in terms of the point count of a certain genus two curve. As an application, we prove that the Bias conjecture holds for the pencil of the cubics <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3701_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {E}_U\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">E</mi> <mi>U</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

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

Second moments and the bias conjecture for the family of cubic pencils

  • Matija Kazalicki,
  • Bartosz Naskrȩcki

摘要

For a 1-parametric family \(\mathcal {E}_{U}\) E U of elliptic curves over \(\mathbb {Q}\) Q and a prime p, consider the second moment sum \(M_{2,p}(\mathcal {E}_U)=\sum _{u\in \mathbb {F}_{p}}a_{u,p}^2\) M 2 , p ( E U ) = u F p a u , p 2 , where \(a_{u,p}=p+1-\#\mathcal {E}_{u}(\mathbb {F}_{p})\) a u , p = p + 1 - # E u ( F p ) . Inspired by Rosen and Silverman’s proof of the Nagao conjecture, which relates the first moment of a rational elliptic surface to the rank of the Mordell–Weil group of the corresponding elliptic curve, S. J. Miller initiated the study of the asymptotic expansion of \(M_{2,p}(\mathcal {E}_U)=p^2+O(p^{3/2})\) M 2 , p ( E U ) = p 2 + O ( p 3 / 2 ) (which by the work of Deligne and Michel has a cohomological interpretation). He conjectured that, similar to the first moment case, the largest lower-order term that does not average to 0 has a negative bias. In this paper, we provide an explicit formula for the second moment \(M_{2,p}(\mathcal {E}_{U})\) M 2 , p ( E U ) of \(\begin{aligned} \mathcal {E}_{U}:y^2=P(x)U+Q(x), \end{aligned}\) E U : y 2 = P ( x ) U + Q ( x ) , where \(\deg P(x),\deg Q(x)\le 3\) deg P ( x ) , deg Q ( x ) 3 . For a generic choice of polynomials P(x) and Q(x) this formula is expressed in terms of the point count of a certain genus two curve. As an application, we prove that the Bias conjecture holds for the pencil of the cubics \(\mathcal {E}_U\) E U .