<p>In 2021, Brock, Elkies, and Jordan generalized the theory of periodic continued fractions (PCFs) over <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation> to the ring of integers in a number field. In particular, they considered the case where the number field is an intermediate field of the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {Z}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-extension over <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> and asked whether a <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((N, \ell )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo>,</mo> <mi>ℓ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-type PCF for <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(X_n = 2\cos (2\pi /2^{n+2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>X</mi> <mi>n</mi> </msub> <mo>=</mo> <mn>2</mn> <mo>cos</mo> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>π</mi> <mo stretchy="false">/</mo> <msup> <mn>2</mn> <mrow> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> exists. In this paper, we construct (1,&#xa0;2) and (0,&#xa0;3)-type PCFs for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(X_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(n\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. To the best of our knowledge, this is the first explicit construction of type (0,3) continued fractions for all <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(n\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. To obtain such results, for each type, we construct a bijection between a certain subset of the group of relative units in each layer of the <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {Z}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-extension and the set of PCFs for <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(X_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. While our result confirms the existence of such PCFs for all <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(n\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> in types (1,&#xa0;2) and (0,&#xa0;3), determining all PCFs remains an open problem. The bijections constructed in our result translate this problem into the study of the subsets of the relative units. As a second main result, we give explicit bounds for the logarithms of the relative units corresponding to (1,&#xa0;2) or (0,&#xa0;3)-type PCFs for <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(X_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. These bounds allow us to explain interesting phenomena observed in the distribution of such points.</p>

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

On some periodic continued fractions along the \(\mathbb {Z}_2\) extension over \(\mathbb {Q}\)

  • Yoshinori Kanamura,
  • Hyuga Yoshizaki

摘要

In 2021, Brock, Elkies, and Jordan generalized the theory of periodic continued fractions (PCFs) over \(\mathbb {Z}\) Z to the ring of integers in a number field. In particular, they considered the case where the number field is an intermediate field of the \(\mathbb {Z}_2\) Z 2 -extension over \(\mathbb {Q}\) Q and asked whether a \((N, \ell )\) ( N , ) -type PCF for \(X_n = 2\cos (2\pi /2^{n+2})\) X n = 2 cos ( 2 π / 2 n + 2 ) exists. In this paper, we construct (1, 2) and (0, 3)-type PCFs for \(X_n\) X n for all \(n\ge 1\) n 1 . To the best of our knowledge, this is the first explicit construction of type (0,3) continued fractions for all \(n\ge 1\) n 1 . To obtain such results, for each type, we construct a bijection between a certain subset of the group of relative units in each layer of the \(\mathbb {Z}_2\) Z 2 -extension and the set of PCFs for \(X_n\) X n . While our result confirms the existence of such PCFs for all \(n\ge 1\) n 1 in types (1, 2) and (0, 3), determining all PCFs remains an open problem. The bijections constructed in our result translate this problem into the study of the subsets of the relative units. As a second main result, we give explicit bounds for the logarithms of the relative units corresponding to (1, 2) or (0, 3)-type PCFs for \(X_n\) X n . These bounds allow us to explain interesting phenomena observed in the distribution of such points.