[論文レビュー] Multidimensional Gauss Reduction Theory for conjugacy classes of SL(n,Z)

Oleg Karpenkov|arXiv (Cornell University)|Nov 6, 2007

Advanced Algebra and Geometry参考文献 22被引用数 6

ひとこと要約

この論文は、Gaussの縮約理論をSL(n,Z)に拡張し、多変数Hessenberg行列を標準形として導入し、Klein-Voronoi連分数を用いて共役類の完全な幾何的不変量を構成する。連分数の周期が整数共役類を完全に分類することを証明し、最小のMarkoff-Davenport特性によって一意に特定されるσ-還元されたHessenberg行列が得られ、SL(n,Z)における共役問題のアルゴリズム的解決が可能になる。

ABSTRACT

In this paper we describe the set of conjugacy classes in the group SL(n,Z). We expand geometric Gauss Reduction Theory that solves the problem for SL(2,Z) to the multidimensional case. Further we find complete invariant of classes in terms of multidimensional Klein-Voronoi continued fractions, where $ς$-reduce Hessenberg matrices play the role of reduced matrices.

研究の動機と目的

• 整数共役類の完全な不変量を構成することで、SL(n,Z)における共役問題を解くこと。
• Gaussの縮約理論をSL(2,Z)から高次元に一般化し、Hessenberg行列を標準形として用いること。
• 共役類とKlein-Voronoi連分数の周期との間に幾何的対応を確立すること。
• MD特徴量と基本領域を用いて、σ-還元されたHessenberg行列をアルゴリズム的に計算する方法を開発すること。
• 幾何的および数論的不変量を用いて、各共役類に対してσ-還元行列が有限かつ一意に存在することを証明すること。

提案手法

• σ-還元されたHessenberg行列を、Gaussの縮約理論における還元行列の高次元版として導入する。
• 行列の複雑さを測る非負整数関数としてのHessenberg複雑度を定義し、最小複雑度代表元の有限性を保証する。
• Klein-Voronoi連分数を用いて共役類の幾何的構造を表現し、周期を完全不変量として用いる。
• Markoff-Davenport (MD) 特徴量を用いて、連分数の基本領域内の最小複雑度頂点を特定する。
• 群作用と軌道解析を用いて、最小MD特徴量を持つ連分数の整数頂点からσ-還元行列を構成する。
• 凸包とDirichlet群作用を用いて、多変数連分数における sail 構造と軌道同値性を分析する。

実験結果

リサーチクエスチョン

• RQ1 Gaussの縮約理論をSL(2,Z)からSL(n,Z)に高次元の共役類へ一般化するにはどうすればよいか？
• RQ2 SL(n,Z)における整数共役類の完全不変量として機能する幾何的対象は何か？
• RQ3 与えられた共役類からσ-還元Hessenberg行列をアルゴリズム的に構成するにはどうすればよいか？
• RQ4 Markoff-Davenport特徴量は、共役類の最小複雑度代表元を特定する際に果たす役割は何か？
• RQ5 Klein-Voronoi連分数の周期は、SL(n,Z)における共役類の完全な構造をどのように符号化しているか？

主な発見

• 特徴多項式が既約であるSL(n,Z)内の整数共役類には、σ-還元Hessenberg行列が有限個しか含まれない。
• 行列に関連するKlein-Voronoi連分数の周期は、SL(n,Z)におけるその共役類の完全不変量をなす。
• σ-還元Hessenberg行列は、最小Markoff-Davenport特徴量を持つ連分数の整数頂点によって一意に決定される。
• 例3.10の行列について、唯一のσ-還元Hessenberg行列はMD特徴量1の頂点から得られ、そのクラスにおける一意性が確認された。
• 2つのσ-還元行列が異なる頂点から得られても、整数共役であることがある。例3.7では両者ともMD特徴量3であり、それが確認された。
• Klein-Voronoi連分数の周期の集合は、定理2.25で確立されたように、明確な群構造を持つ。