<p>Gerth generalised Cohen–Lenstra heuristics to the prime <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1146_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. He conjectured that for any positive integer <i>m</i>, the limit <Equation ID="Equ25"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1146_Article_Equ25.gif" Format="GIF" Height="108" Rendition="HTML" Resolution="72" Type="Linedraw" Width="296" /> </MediaObject> <EquationSource Format="TEX">\( \lim _{X \rightarrow \infty } \frac{\sum _{\begin{array}{c} 0&lt; D \le X, \\ { \text {squarefree} } \end{array}} |\textrm{Cl}^2_{{\mathbb {Q}}(\sqrt{D})}/\textrm{Cl}^4_{{\mathbb {Q}}(\sqrt{D})}|^m}{\sum _{\begin{array}{c} 0 &lt; D \le X, \\ { \text {squarefree} } \end{array}} 1} \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <munder> <mo movablelimits="true">lim</mo> <mrow> <mi>X</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <mfrac> <mrow> <msub> <mo>∑</mo> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>D</mi> <mo>≤</mo> <mi>X</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mtext>squarefree</mtext> </mrow> </mtd> </mtr> </mtable> </mrow> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <msubsup> <mtext>Cl</mtext> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mi>D</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msubsup> <mo stretchy="false">/</mo> <msubsup> <mtext>Cl</mtext> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mi>D</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> <mn>4</mn> </msubsup> <mo stretchy="false">|</mo> </mrow> <mi>m</mi> </msup> </mrow> <mrow> <msub> <mo>∑</mo> <mrow> <mtable> <mtr> <mtd> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>D</mi> <mo>≤</mo> <mi>X</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mtext>squarefree</mtext> </mrow> </mtd> </mtr> </mtable> </mrow> </msub> <mn>1</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </Equation>exists and proposed a value for the limit. Gerth’s conjecture was proved by Fouvry and Kluners in 2007. In this paper, we generalize their result by obtaining lower bounds for the average value of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1146_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\textrm{Cl}^2_{{\textbf{L}}}/\textrm{Cl}^4_{{\textbf{L}}}|^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mtext>Cl</mtext> <mi mathvariant="bold">L</mi> <mn>2</mn> </msubsup> <mo stretchy="false">/</mo> <msubsup> <mtext>Cl</mtext> <mi mathvariant="bold">L</mi> <mn>4</mn> </msubsup> <msup> <mrow> <mo stretchy="false">|</mo> </mrow> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1146_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{L}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">L</mi> </math></EquationSource> </InlineEquation> varies over an infinite family of quadratic extensions of certain Galois number fields. As a special case of our theorem we obtain lower bounds for the average value of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1146_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\textrm{Cl}^2_{{\textbf{L}}}/\textrm{Cl}^4_{{\textbf{L}}}|^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mtext>Cl</mtext> <mi mathvariant="bold">L</mi> <mn>2</mn> </msubsup> <mo stretchy="false">/</mo> <msubsup> <mtext>Cl</mtext> <mi mathvariant="bold">L</mi> <mn>4</mn> </msubsup> <msup> <mrow> <mo stretchy="false">|</mo> </mrow> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> as we vary <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1146_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textbf{L}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">L</mi> </math></EquationSource> </InlineEquation> in an infinite family of quadratic extensions of certain Galois number fields of class number 1 containing <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1146_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Q}}(i)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <mi>i</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On Gerth’s heuristics for a family of quadratic extensions of certain Galois number fields

  • C. G. K. Babu,
  • R. Bera,
  • J. Sivaraman,
  • B. Sury

摘要

Gerth generalised Cohen–Lenstra heuristics to the prime \(p=2\) p = 2 . He conjectured that for any positive integer m, the limit \( \lim _{X \rightarrow \infty } \frac{\sum _{\begin{array}{c} 0< D \le X, \\ { \text {squarefree} } \end{array}} |\textrm{Cl}^2_{{\mathbb {Q}}(\sqrt{D})}/\textrm{Cl}^4_{{\mathbb {Q}}(\sqrt{D})}|^m}{\sum _{\begin{array}{c} 0 < D \le X, \\ { \text {squarefree} } \end{array}} 1} \) lim X 0 < D X , squarefree | Cl Q ( D ) 2 / Cl Q ( D ) 4 | m 0 < D X , squarefree 1 exists and proposed a value for the limit. Gerth’s conjecture was proved by Fouvry and Kluners in 2007. In this paper, we generalize their result by obtaining lower bounds for the average value of \(|\textrm{Cl}^2_{{\textbf{L}}}/\textrm{Cl}^4_{{\textbf{L}}}|^m\) | Cl L 2 / Cl L 4 | m , where \({\textbf{L}}\) L varies over an infinite family of quadratic extensions of certain Galois number fields. As a special case of our theorem we obtain lower bounds for the average value of \(|\textrm{Cl}^2_{{\textbf{L}}}/\textrm{Cl}^4_{{\textbf{L}}}|^m\) | Cl L 2 / Cl L 4 | m as we vary \({\textbf{L}}\) L in an infinite family of quadratic extensions of certain Galois number fields of class number 1 containing \({\mathbb {Q}}(i)\) Q ( i ) .