[論文レビュー] On examples of two-dimensional periodic continued fractions

O. N. Karpenkov|ArXiv.org|Nov 2, 2004

Mathematical Dynamics and Fractals参考文献 5被引用数 4

ひとこと要約

本稿は、クラインのモデルにおける周期的2次元連分数のサーベイを提示し、三次形式から導かれる sail の幾何学的および組合せ的性質に焦点を当てる。三次無理数に対応するトーラス分解の明示的例を構成し、SL(3,ℤ) 内の整数作用素を用いて分類し、このような分解における整数距離および面の型に関する予想を提示する。また、関連する三次拡大による連分数の分類に関する未解決問題を強調する。

ABSTRACT

This paper is a short survey of the recent results on examples of periodic two-dimensional continued fractions (in Klein's model). In the last part of this paper we formulate some questions, problems and conjectures on geometrical properties concerning to this subject.

研究の動機と目的

• クラインのモデルにおける周期的2次元連分数に関する最近の結果をサーベイし、sail の幾何学的および組合せ的構造に焦点を当てる。
• 三次無理数から生じるトーラス分解の明示的例と、それらに関連する SL(3,ℤ) 内の整数作用素を提示する。
• ノルムが小さい（絶対値係数の和 ≤ 6）作用素を用いて、ℚ の三次拡大に関連する周期的連分数を分類する。
• 整数幾何、特に整数距離および面の型に関する sail の未解決問題と予想を提示する。
• 2次元連分数と三次体の数体との関係を調査する。特に、同一の三次拡大に対して連分数が一意でないことを示す。

提案手法

• 3変数の三次形式の零点集合の補集合の連結成分に含まれる整数点の凸包として sail を構成する。
• SL(3,ℤ) の作用を用いて連分数の同値類を定義し、非可約な三次特性多項式を持つ整数作用素を用いて分類する。
• 面の組合せ型、その整数アフィン型、および原点からの整数距離を分析することで、sail のトーラス分解を研究する。
• ユニモジュラー整数作用素および凸包の理論を応用し、無限個の同値でないトーラス分解の族を生成する。
• Sylvester作用素族 $A_{m,n} = \begin{pmatrix} 0&1&0 \\ 0&0&1 \\ 1&-m&-n \end{pmatrix}$ を用いて、トーラス分解を体系的かつ表形式で探索・整理する。
• 明示的な sail 計算と面配置の幾何的解析に基づく計算的証拠から、予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 トーラス分解が、三次無理数の周期的2次元連分数から生じるための必要十分条件は何か？
• RQ2 すべてのこのような連分数は、原点からの整数距離が1である面を少なくとも1つ含む必要があるか？
• RQ3 三次無理数の2次元連分数が、すべて平行四辺形の面しか持たないことは可能か？それとも少なくとも1つの三角形の面が存在しなければならないか？
• RQ4 同一の ℚ の三次拡大に対して、何種類の異なる2次元連分数を関連付けることができるか？
• RQ5 sail のトーラス分解が、関連する三次拡大を一意に特定することができるか？それとも、同一の拡大に対して同値でない複数の連分数が存在しうるか？

主な発見

• 整数距離がすべての面で1である2つの三角形面（型 (0,0), (0,1), (1,0)）を有する非自明なトーラス分解の例を初めて構成したが、これはいかなる三次無理数に対しても対応しない。
• 整数アフィン型が (0,0), (0,1), (1,1), (1,0) の単一の長方形面と一様な整数距離 n を持つトーラス分解の例を構成したが、これはいかなる周期的連分数の三次無理数に対しても生じない。
• 予想2は、計算的証拠に基づき、すべての有効なトーラス分解において、原点からの整数距離が1より大きい面が少なくとも1つ存在する必要があると述べる。
• 予想3は、すべての既知の sail 計算が支持するように、すべてのこのような分解において、原点からの整数距離がちょうど1の面が少なくとも1つ存在するべきだと示唆する。
• 予想4は、観察された幾何的制約に基づき、すべての有効なトーラス分解において、少なくとも1つの三角形の整数アフィン型の面が存在するべきだと述べる。
• 本稿では、Sylvester作用素族 $A_{m,n}$ に対するトーラス分解の表を提示し、根が ±1 である場合は * または # でマークし、特性多項式が複素共役根を持つ場合はグレーで色付けしている。