Coxeter群の増大度とCoxeter元のスペクトル半径の間のMcKay対応

コクセター系(W,S)の生成系Sによる、群Wの母関数(増大度関数)の収束半径の逆数は増大度と呼ばれ、Sの元が鏡映として空間に離散的に作用する際、Wの基本領域である多面体が空間をタイル張りする拡がり方を表す量である。一方(W,S)から |S|-次元実アファイン空間に W-不変な2次形式Bが定義され、(W,S)の幾何学的実現と呼ばれるWから直交群O(V, B)への単射準同型が定まる。この時コクセター元と呼ばれるWの元のスペクトル半径が、(W,S)の幾何学的実現から一意に決まる。今年度は曲面のサークルパッキングに関して考察した。種数２以上の閉曲面Sの三角形分割Tを考える。Tの頂点集合をVとし、各頂点に正の実数（ラベル）を与える。三角形分割の面である位相的三角形の３辺の長さが３頂点のラベルの和になる双曲三角形を対応させる。三角形分割の各頂点における三角形たちの内角の和を2πから引いた数をその頂点おける曲率と定義するとき、Vの各頂点における曲率が０になるようなラベルが、閉曲面Sの三角形分割Tに関するサークルパッキングに対応する。サーストンはサークルパッキングの存在と一意性を証明し、サークルパッキングに対応するラベルに収束する反復アルゴリズムを提唱した。今年度の研究で、任意の初期値に対し反復アルゴリズムから定まる点列がサークルパッキングに収束ることを示した。この結果はColin de Verdiereによるユークリッド幾何（種数１）の結果の双曲幾何の場合への拡張に対応する。ユークリッド幾何の場合は、相似変換の作用によりサーストンのアルゴリズムのヤコビ行列が確率遷移行列になるのに対し、双曲幾何の場合は相似の概念がないので、ユークリッド幾何と同じようには証明はできない。その点を補ってくれるのがSchmutzによる双曲三角形に関する命題であった。以上の結果を論文として学術研究に発表した。

コクセター系(W,S)の生成系Sによる、群Wの母関数(増大度関数)の収束半径の逆数は増大度と呼ばれ、Sの元が鏡映として空間に離散的に作用する際、Wの基本領域である多面体が空間をタイル張りする拡がり方を表す量である。一方(W,S)から |S|-次元実アファイン空間に W-不変な2次形式Bが定義され、(W,S)の幾何学的実現と呼ばれるWから直交群O(V, B)への単射準同型が定まる。この時コクセター元と呼ばれるWの元のスペクトル半径が、(W,S)の幾何学的実現から一意に決まる。今年度は曲面のサークルパッキングに関して考察した。種数２以上の閉曲面Sの三角形分割Tを考える。Tの頂点集合をVとし、各頂点に正の実数（ラベル）を与える。三角形分割の面である位相的三角形の３辺の長さが３頂点のラベルの和になる双曲三角形を対応させる。三角形分割の各頂点における三角形たちの内角の和を2πから引いた数をその頂点おける曲率と定義するとき、Vの各頂点における曲率が０になるようなラベルが、閉曲面Sの三角形分割Tに関するサークルパッキングに対応する。サーストンはサークルパッキングの存在と一意性を証明し、サークルパッキングに対応するラベルに収束する反復アルゴリズムを提唱した。今年度の研究で、任意の初期値に対し反復アルゴリズムから定まる点列がサークルパッキングに収束ることを示した。この結果はColin de Verdiereによるユークリッド幾何（種数１）の結果の双曲幾何の場合への拡張に対応する。ユークリッド幾何の場合は、相似変換の作用によりサーストンのアルゴリズムのヤコビ行列が確率遷移行列になるのに対し、双曲幾何の場合は相似の概念がないので、ユークリッド幾何と同じようには証明はできない。その点を補ってくれるのがSchmutzによる双曲三角形に関する命題であった。以上の結果を論文として学術研究に発表した。