[論文レビュー] Dihedral G-Hilb via representations of the McKay quiver

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

Algebraic structures and combinatorial models参考文献 7被引用数 5

ひとこと要約

本稿は、二面体群 $ G = \operatorname{BD}_{2n}(a) \subset \operatorname{GL}(2,\mathbb{C}) $ のために、$ G $-グラフを用いて McKay モデルのクーラー代数的表現の $ \theta $-安定なクーラー表現をパrametrizeすることにより、最小解消 $ Y = G\text{-Hilb}(\mathbb{C}^2) $ の明示的な開被覆を提供する。各モジュライ空間 $ \mathcal{M}_\theta(Q,R) $ の開集合に対して明示的なアフィン方程式を構成し、$ G $-クラスターの定義イデアルを回復し、クーラー関係と表現論を用いて最小の開集合数を達成する。

ABSTRACT

For a given small binary dihedral group G we use the classification of G-graphs to describe explicitly G-Hilb(C^2) by giving an affine open cover of M(Q,R), the moduli space of stable quiver representations.

研究の動機と目的

• 有限小規模な二面体群 $ G \subset \operatorname{GL}(2,\mathbb{C}) $ のために、最小解消 $ Y = G\text{-Hilb}(\mathbb{C}^2) $ の明示的なアフィン開被覆を提供すること。
• クーラー関係付きの McKay クーラー $ (Q,R) $ の $ \theta $-安定なクーラー表現と $ G $-グラフの間の対応を確立すること。
• モジュライ空間 $ \mathcal{M}_\theta(Q,R) $ の各開集合に対して明示的な定義方程式を計算し、$ Y $ をクーラーモジュライ空間として実現すること。
• クーラー表現データから $ G $-クラスターのイデアルを回復すること。
• クーラー構造と関係を用いて、被覆における開集合の最小数を達成すること。

提案手法

• 各特徴的な $ G $-グラフ $ \Gamma $ に対して、$ \theta $-安定クーラー表現のモジュライ空間内に開集合 $ U_\Gamma \subset \mathcal{M}_\theta(Q,R) $ を割り当てる。
• 群作用をパス代数の関係として符号化するため、$ \mathbb{C}^2 $ の $ G $-可換幾何をモデル化する McKay クーラー $ Q $ と関係 $ R $ を用いる。
• 表現論的座標を用いて、各 $ U_\Gamma $ に対して $ \mathbb{C}^3 $ 内の明示的超曲面方程式を構成する。例えば $ U_A: c_0d_1 - (c_0d_1^2 + 1)G_1 $ のように。
• $ \mathbb{C}[x,y] $ 上の $ G $ の作用を活用し、$ G $-不変モジュール $ S_\rho $ を特定し、それらを各既約表現の基底元として用いる。
• $ G $-グラフをクーラー表現に写像する際、基底ベクトルを既約表現に割り当て、クーラーのパス代数を用いて関係を強制する。
• 例外的除算の双対グラフ（重み $ -2, -3, -2 $）を用いて、解消の構成を検証し、配置の整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 二面体群のための最小解消 $ Y = G\text{-Hilb}(\mathbb{C}^2) $ は、クーラーモジュライを用いてどのように明示的なアフィン開被覆で覆えるか？
• RQ2 $ G $-グラフと関係付き McKay クーラーの $ \theta $-安定表現との間の正確な対応は何か？
• RQ3 モジュライ空間 $ \mathcal{M}_\theta(Q,R) $ のクーラー表現データから $ G $-クラスターの定義イデアルを回復できるか？
• RQ4 $ \mathcal{M}_\theta(Q,R) $ を被覆するために必要な最小の開集合数は何か？ そして、これは $ G $-グラフパラメータ化によって達成可能か？
• RQ5 クーラー関係と表現論は、解消の幾何と例外的除算の構造をどのように符号化するか？

主な発見

• 本稿は、$ \mathcal{M}_\theta(Q,R) $ の明示的な開被覆を構成し、$ G\text{-Hilb}(\mathbb{C}^2) $ をクーラーモジュライ空間として実現した。各開集合 $ U_\Gamma $ は $ \mathbb{C}^3 $ 内の超曲面方程式で定義される。
• 特に $ \operatorname{BD}_{12}(7) $ の場合、開集合は明示的に $ U_A: c_0d_1 - (c_0d_1^2 + 1)G_1 $、$ U_{D^+}: e_1f_0 - (e_1^2f_0 - 1)D_1 $、$ U_{C^+}: b_2D_1 - (b_2 - 1)E_1 $、$ U_{D^-}: g_1h_0 - (g_1^2h_0 - 1)D_1 $、$ U_{C^-}: b_2D_1 - (b_2 - 1)G_1 $ として与えられる。
• $ G $-クラスターの定義イデアルはクーラーデータから回復される：$ I_{\Gamma_A} = (xy, x^{12} + y^{12}) $、$ I_{\Gamma_{C^-}} = ((-)^2, xy(x^6 - y^6), xy(+)(-)) $ など。
• 例外的除算の双対グラフは $ \begin{smallmatrix}-2\\ -2\end{smallmatrix}\text{\small{$-3$}}\text{\small{$-2$}} $ として実現され、解消の構成が正当化される。
• 本構成は、$ G $-グラフを用いて $ \theta $-安定表現をパラメータ化し、クーラー関係を強制することで、被覆における開集合の最小数を達成する。
• 本手法により、$ G $-グラフと $ \theta $-安定クーラー表現との間の全単射対応が確立され、$ G\text{-Hilb}(\mathbb{C}^2) $ の明示的幾何的・代数的再構成が可能になる。