[論文レビュー] G-graphs and special representations for binary dihedral groups in GL(2,C)

Álvaro Nolla de Celis|arXiv (Cornell University)|May 8, 2009

Finite Group Theory Research参考文献 9被引用数 4

ひとこと要約

この論文は、GL(2,C) 内の小さな二面体群 G の G-図を分類し、2n/a の連分数展開を用いてその特殊表現の組み合わせ的記述を提供する。qG-図から G-図を構成し、表現論を用いることで、最小解消における例外的曲線と特殊な既約表現との間に一対一対応を確立し、A–D 型が異なる表現型を捉え、連分数展開に基づいて特殊表現の完全な分類を可能にする。

ABSTRACT

We give the classification of all possible G-graphs for any small binary dihedral subgroup G in GL(2,C) and use this classification to give the combinatorial description of the special representations of G in terms of its maximal cyclic normal subgroup.

研究の動機と目的

• G ⊂ GL(2,C) における小さな二面体部分群 G のすべての G-図を、その最大正規巡回部分群 H の構造を用いて分類すること。
• 特殊 McKay 対応の文脈において、G の特殊表現の組み合わせ的記述を提供すること。
• 異なる G-図の数が、G-Hilb(C²)、つまり C²/G の最小解消の最小開被覆を与えることを確立すること。
• 特殊表現の次元を 2n/a の連分数展開に関連づけ、特に 1 次元および 2 次元表現を特定すること。

提案手法

• H を G の最大正規巡回部分群（指数 2）とするとき、G/H の作用の下で同一視された 2 つの H-図の和集合として qG-図を構成する。
• G の表現論を用いて qG-図を一意に G-図に持ち上げ、構造的および対称性の性質に基づき、A, B, C, D のタイプに分類する。
• 各 G-図 Γ に対応する G-Hilb(C²) 内のアフィン開集合 UΓ を定義する。ここで、Γ は OZ をベクトル空間として基底をなす。
• G-図からの明示的なイデアル記述を用いて、原点における接空間 Iy/mIy における G の作用に対応する表現を計算する。
• 特殊 McKay 対応を適用し、G-Hilb(C²) 内の例外的曲線と G の特殊既約表現との間の関係を確立する。
• 連分数 [b₁,…,bₕ,…,b₁] = 2n/a を用いて、特殊表現の組み合わせ的公式を導出する。A–D 型は異なる表現型に対応する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、GL(2,C) 内の小さな二面体群 G のすべての G-図を体系的に分類できるか？
• RQ2 2n/a の連分数展開と G の特殊既約表現との間の組み合わせ的関係は何か？
• RQ3 A, B, C, D 型 G-図は、特殊表現の異なる次元とどのように対応するか？
• RQ4 すべての異なる G-図の集合から、G-Hilb(C²) の最小開被覆を構成できるか？
• RQ5 連分数データに基づいて、特殊表現が 1 次元または 2 次元であるかどうかを決定するのは何に依存するか？

主な発見

• A, B, C, D 型への G-図の分類は、G-Hilb(C²) の構造を理解するための完全な組み合わせ的フレームワークを提供する。
• 異なる G-図の数が、G-Hilb(C²) の最小開被覆を与える。各開集合 UΓ は G-図 Γ に対応する。
• G = BD₂ₙ(a) の特殊表現は、連分数 2n/a によって完全に記述可能であり、A 型と B 型はそれぞれ 1 次元および 2 次元表現に対応する。
• 1 次元の特殊表現は、2 つの「角」表現を除く A 型 G-図から生じるが、2 次元表現は B 型 G-図に対応する。
• C 型および D 型から得られる表現 ρ⁻_q および ρ⁺_q は、ディンキン図の中央部に関連する特殊表現である。
• 特殊表現の次元は、その対応する例外的曲線の基本サイクルにおける係数に等しく、これは連分数展開によって決定される。