<p>We provide explicit bounds for the number of integral ideals of norms at most&#xa0;<i>X</i> in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}[\sqrt{d}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">[</mo> <msqrt> <mi>d</mi> </msqrt> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d &lt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is a fundamental discriminant with an error term of size <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(X^{1/3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <msup> <mi>X</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In particular, we prove that, when <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> is the non-principal character modulo&#xa0;3 and&#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we have <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq6.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="279" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{3\sqrt{3}} +\mathcal {O}^*(1.94\,X^{1/3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≤</mo> <mi>X</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mn>1</mn> <mo>⋆</mo> <mi>χ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mi>π</mi> <mi>X</mi> </mrow> <mrow> <mn>3</mn> <msqrt> <mn>3</mn> </msqrt> </mrow> </mfrac> <mo>+</mo> <msup> <mrow> <mi mathvariant="script">O</mi> </mrow> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mn>1.94</mn> <mspace width="0.166667em" /> <msup> <mi>X</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and that, when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> is the non-principal character modulo&#xa0;4 and&#xa0;<InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we have <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq9.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="267" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{4} +\mathcal {O}^*(1.4\,X^{1/3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≤</mo> <mi>X</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mn>1</mn> <mo>⋆</mo> <mi>χ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mi>π</mi> <mi>X</mi> </mrow> <mn>4</mn> </mfrac> <mo>+</mo> <msup> <mrow> <mi mathvariant="script">O</mi> </mrow> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mn>1.4</mn> <mspace width="0.166667em" /> <msup> <mi>X</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. <b>Résumé.</b> Nous dénombrons de façon explicite avec un terme d’erreur <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(X^{1/3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <msup> <mi>X</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> le nombre d’idéaux entiers de norme au plus <i>X</i> du corps <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Q}[\sqrt{d}]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">[</mo> <msqrt> <mi>d</mi> </msqrt> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> lorsque <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(d &lt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> est un discriminant fondamental. Nous montrons en particulier que, lorsque <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> est le caractère non principal modulo&#xa0;3 et <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, nous avons <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq6.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="279" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{3\sqrt{3}} +\mathcal {O}^*(1.94\,X^{1/3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≤</mo> <mi>X</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mn>1</mn> <mo>⋆</mo> <mi>χ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mi>π</mi> <mi>X</mi> </mrow> <mrow> <mn>3</mn> <msqrt> <mn>3</mn> </msqrt> </mrow> </mfrac> <mo>+</mo> <msup> <mrow> <mi mathvariant="script">O</mi> </mrow> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mn>1.94</mn> <mspace width="0.166667em" /> <msup> <mi>X</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, et que , lorsque <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>χ</mi> </math></EquationSource> </InlineEquation> est le caractère non principal modulo&#xa0;4 et <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, nous avons <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40316_2025_243_Article_IEq18.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="267" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{4} +\mathcal {O}^*(1.4\,X^{1/3} )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≤</mo> <mi>X</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <mn>1</mn> <mo>⋆</mo> <mi>χ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mi>π</mi> <mi>X</mi> </mrow> <mn>4</mn> </mfrac> <mo>+</mo> <msup> <mrow> <mi mathvariant="script">O</mi> </mrow> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mn>1.4</mn> <mspace width="0.166667em" /> <msup> <mi>X</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Explicit count of integral ideals of an imaginary quadratic field

  • Olivier Ramaré

摘要

We provide explicit bounds for the number of integral ideals of norms at most X in \(\mathbb {Q}[\sqrt{d}]\) Q [ d ] when \(d <0\) d < 0 is a fundamental discriminant with an error term of size \(\mathcal {O}(X^{1/3})\) O ( X 1 / 3 ) . In particular, we prove that, when \(\chi \) χ is the non-principal character modulo 3 and  \(X\ge 1\) X 1 , we have \(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{3\sqrt{3}} +\mathcal {O}^*(1.94\,X^{1/3})\) n X ( 1 1 χ ) ( n ) = π X 3 3 + O ( 1.94 X 1 / 3 ) , and that, when \(\chi \) χ is the non-principal character modulo 4 and  \(X\ge 1\) X 1 , we have \(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{4} +\mathcal {O}^*(1.4\,X^{1/3})\) n X ( 1 1 χ ) ( n ) = π X 4 + O ( 1.4 X 1 / 3 ) . Résumé. Nous dénombrons de façon explicite avec un terme d’erreur \(\mathcal {O}(X^{1/3})\) O ( X 1 / 3 ) le nombre d’idéaux entiers de norme au plus X du corps \(\mathbb {Q}[\sqrt{d}]\) Q [ d ] lorsque \(d <0\) d < 0 est un discriminant fondamental. Nous montrons en particulier que, lorsque \(\chi \) χ est le caractère non principal modulo 3 et \(X\ge 1\) X 1 , nous avons \(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{3\sqrt{3}} +\mathcal {O}^*(1.94\,X^{1/3})\) n X ( 1 1 χ ) ( n ) = π X 3 3 + O ( 1.94 X 1 / 3 ) , et que , lorsque \(\chi \) χ est le caractère non principal modulo 4 et \(X\ge 1\) X 1 , nous avons \(\sum _{n\le X}(1\!\!\!1\star \chi )(n) = \frac{\pi X}{4} +\mathcal {O}^*(1.4\,X^{1/3} )\) n X ( 1 1 χ ) ( n ) = π X 4 + O ( 1.4 X 1 / 3 ) .