[論文レビュー] A correspondence dual to McKay's

Jean-Luc Brylinski|ArXiv.org|Dec 3, 1996

Mathematical Analysis and Transform Methods参考文献 7被引用数 17

ひとこと要約

本稿は、ADE ダイキン図の頂点と SU(2) の有限部分群の非自明な共役類の間の二重対応を確立する。これは、メイケの元来の対応（頂点と非自明な表現の間）を補完するものである。最小解消、対数的接続、チャーン類といった幾何的手法を用い、群のモノドロミーと逆カルタン行列の間の行列式公式を導出し、$−−g_j, E_k = −2\pi i (C^{-1})_{jk}$ を得る。さらに、両対応から生じる行列値フーリエ変換が幾何的に有意であることを示している。

ABSTRACT

We give a dual to the McKay correspondence, involving conjugacy classes of subgroups of SU(2). We prove a determinantal formula involving both correspondences. We pose some questions concerning a non-commutative Fourier transform.

研究の動機と目的

• SU(2) の有限部分群の非自明な共役類と ADE ダイキン図の頂点を結ぶ幾何的双対性を確立し、メイケの対応を補完する。
• 表現の特徴標を通して、群のモノドロミー作用素と逆カルタン行列を結ぶ明確な公式を導出する。
• G のアーベル化の指数がダイキン図の接続指数に等しいことを、逆カルタン行列の係数を用いて示す。
• メイケ対応と双対対応を組み合わせた行列値フーリエ変換の幾何的意義を明らかにする。

提案手法

• 最小解消 $−\tilde{X} \to \mathbb{C}^2/G$ を構成し、ダイキン図の頂点に対応する有理曲線 $D_j$ の配置を得る。
• 特異除集合の補集合の基本群を用い、各頂点 $v_j$ を $D_j$ を囲む小円周によるモノドロミーを介して共役類に結びつけることで、双対対応を確立する。
• 表現に付随するベクトル bundle の第一チャーン類によるメイケ対応の幾何的記述を適用する。
• 特異除集合に沿った対数的極をもつ接続をもつベクトル bundle を用い、留数からチャーン類を計算する。
• モノドロミー留数と逆カルタン行列係数を関係づけることで、公式 $−g_j, E_k = −2\pi i (C^{-1})_{jk}$ を導出する。
• Neumann級数 $C^{-1} = \frac{1}{2} \sum_{n \geq 0} 2^{-n} A^n$ の収束性を用い、$C^{-1}$ の成分が非負有理数であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 メイケ対応をどのように双対化し、ADE ダイキン図の頂点と SU(2) の有限部分群の共役類を結びつけることができるか？
• RQ2 接続のモノドロミーとダイキン図の逆カルタン行列との間の明確な代数的・幾何的関係は何か？
• RQ3 なぜ G のアーベル化の指数がダイキン図の接続指数に等しくなるのか？これは群の構造にどのような意味を持つのか？
• RQ4 行列値フーリエ変換は、メイケ対応と双対対応を統合するために果たす役割は何か？なぜスカラー変換よりも重要なのか？

主な発見

• 双対対応は特異除集合の補集合の基本群を介して確立され、各頂点は小円周のモノドロミーを介して共役類に対応する。
• 主要な公式 $−g_j, E_k = −2\pi i (C^{-1})_{jk}$ は、デリーニュ束のチャーン類と対数的接続の留数トレースを用いて導出された。
• 逆カルタン行列 $C^{-1}$ の成分はすべて非負有理数であり、頂点間の距離 $n$ に依存する下界 $(C^{-1})_{ij} \geq \frac{2^{1-n}}{3}$ を満たす。
• アーベル化 $G^{ab}$ の指数はダイキン図の接続指数に等しく、この指数は整数 $n(C^{-1})_{ij}$ の最大公約数に等しく、その値は 1 である。
• $A_n$ 場合では、行列値フーリエ変換は $μ_{n+1}$ 上の標準的フーリエ変換に還元され、アーベル群の双対性と整合性を確認する。
• $D_4$ のような非アーベルの場合、行列値フーリエ変換は有限位数を持たないため、スカラー変換よりも幾何的により深い意味を持つことが示された。