[論文レビュー] Visualising the arithmetic of quadratic imaginary fields

Katherine E. Stange|arXiv (Cornell University)|Oct 1, 2014

Mathematics and Applications被引用数 1

ひとこと要約

本稿は、二次虚数体 $K$ の算術を、 Bianchi 群 $\mathrm{PSL}_2(\mathcal{O}_K)$ による $\mathbb{R}$ の軌道から得られる円の充填によって幾何的に実現する Schmidt 配列 $Σ_K$ を導入する。曲率が $\sqrt{-\Delta}$ の整数倍であることが示され、$\Delta$ は $K$ の判別式である。円は曲率と導子を用いて $\mathcal{O}_K$ の整域の理想類と双対的に結びつけられ、$\mathcal{O}_K$ がユークリッド整域であることと、$\mathcal{S}_K$ が連結であることの同値性が証明され、Apollonian 群を一般化する新しいタイプのスリム群の基礎が築かれる。

ABSTRACT

We study the orbit of $\mathbb{R}$ under the Bianchi group $\operatorname{PSL}_2(\mathcal{O}_K)$, where $K$ is an imaginary quadratic field. The orbit, called a Schmidt arrangement $\mathcal{S}_K$, is a geometric realisation, as an intricate circle packing, of the arithmetic of $K$. This paper presents several examples of this phenomenon. First, we show that the curvatures of the circles are integer multiples of $\sqrt{-\Delta}$ and describe the curvatures of tangent circles in terms of the norm form of $\mathcal{O}_K$. Second, we show that the circles themselves are in bijection with certain ideal classes in orders of $\mathcal{O}_K$, the conductor being a certain multiple of the curvature. This allows us to count circles with class numbers. Third, we show that the arrangement of circles is connected if and only if $\mathcal{O}_K$ is Euclidean. These results are meant as foundational for a study of a new class of thin groups generalising Apollonian groups, in a companion paper.

研究の動機と目的

• 二次虚数体の算術を円充填を用いて幾何的に実現すること。
• 環 $\mathcal{O}_K$ のノルム形式を用いて、充填内の円の曲率を特徴づけること。
• 円の充填 $\mathcal{S}_K$ と $\mathcal{O}_K$ の整域の理想類との間の双対的対応を確立し、曲率をその整域の導子に比例させること。
• $\mathcal{S}_K$ が連結である条件を特定し、$\mathcal{O}_K$ がユークリッド整域であることと関連付けること。
• Apollonian 群を一般化する新しいタイプのスリム群を研究するための基礎的結果を構築すること。

提案手法

• $K$ を二次虚数体とするとき、$\mathrm{PSL}_2(\mathcal{O}_K)$ の作用における拡張実直線 $\mathbb{R}$ の軌道を分析すること。
• $\mathcal{S}_K$ としてその軌道を円充填として表現し、Möbius 変換による軌道の要素に対応する円を定義すること。
• 円の曲率が $\sqrt{-\Delta}$ の整数倍であることを証明すること。ここで $\Delta$ は $K$ の判別式である。
• 円の接する関係における曲率を $\mathcal{O}_K$ のノルム形式を用いて表現すること。
• $\mathcal{S}_K$ の円と $\mathcal{O}_K$ の整域の理想類との間の双対的対応を確立し、曲率をその整域の導子に比例させること。
• $\mathcal{S}_K$ の幾何的性質を用いて、$\mathcal{S}_K$ の連結性によって $\mathcal{O}_K$ のユークリッド性を特徴づけること。

実験結果

リサーチクエスチョン

• RQ1 Schmidt 配列 $\mathcal{S}_K$ の円の曲率は、環 $\mathcal{O}_K$ の算術とどのように関係しているか？
• RQ2 $\mathcal{S}_K$ の円と $\mathcal{O}_K$ の整域の理想類との間の明確な対応関係は何か？
• RQ3 $\mathcal{S}_K$ の連結性は、$\mathcal{O}_K$ がユークリッド整域であるという代数的性質とどのように関連しているか？
• RQ4 $\mathcal{O}_K$ のノルム形式は、$\mathcal{S}_K$ の接する円の曲率をどのように規定するか？
• RQ5 Schmidt 配列は、Apollonian 群を一般化する新しいタイプのスリム群の幾何的モデルとしてどのように機能するか？

主な発見

• $\mathcal{S}_K$ の円の曲率は、$K$ の負の判別式の平方根 $\sqrt{-\Delta}$ の整数倍である。
• $\mathcal{S}_K$ の接する円の曲率は、$\mathcal{O}_K$ のノルム形式によって決定され、幾何的接点関係が代数的ノルムに結びつけられる。
• $\mathcal{S}_K$ の円と $\mathcal{O}_K$ の整域の理想類との間に自然な双対的対応が存在し、その曲率は整域の導子に比例する。
• Schmidt 配列 $\mathcal{S}_K$ は、$\mathcal{O}_K$ がユークリッド整域であることと同値に連結である。
• $\mathcal{S}_K$ の構造は、$K$ の算術を幾何的に実現するものであり、円の充填が理想類群の情報を符号化している。
• これらの結果により、Bianchi 群の作用を通じて、Apollonian 群を一般化する新しいタイプのスリム群を研究するための基礎が確立された。