[論文レビュー] La correspondance de McKay

Miles Reid|ArXiv.org|Nov 22, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 48

ひとこと要約

本稿は、有限部分群 $ G \to \mathrm{SL}(n,\mathbb{C}) $ の表現論と、商特異点 $ \mathbb{C}^n/G $ のクレパント解消の幾何学の間に深い対応関係を確立し、$ G $ の既約表現が解消における特異的除因子を双対的にパrametrizeすることを示している。古典的な McKay 対応は、導来カテゴリ、モチーフ的積分、および $ G $-クラスタのモジュライ空間を用いて高次元に一般化され、Calabi–Yau 多様体におけるホモロジー、K-理論、および双有理幾何の関係が重要な結果をもたらしている。

ABSTRACT

Let M be a quasiprojective algebraic manifold with K_M=0 and G a finite automorphism group of M acting trivially on the canonical class K_M; for example, a subgroup G of SL(n,C) acting on C^n in the obvious way. We aim to study the quotient variety X=M/G and its resolutions Y -> X (especially under the assumption that Y has K_Y=0) in terms of G-equivariant geometry of M. At present we know 4 or 5 quite different methods of doing this, taken from string theory, algebraic geometry, motives, moduli, derived categories, etc. For G in SL(n,C) with n=2 or 3, we obtain several methods of cobbling together a basis of the homology of Y consisting of algebraic cycles in one-to-one correspondence with the conjugacy classes or the irreducible representations of G.

研究の動機と目的

• $ n=2 $ を超えて古典的 McKay 対応を一般化し、有限部分群 $ G \subset \mathrm{SL}(n,\mathbb{C}) $ の既約表現と、$ \mathbb{C}^n/G $ のクレパント解消における特異的除因子の成分との間の一対一対応を確立すること。
• 弦理論、代数幾何、モチーフ、導来カテゴリ、およびモジュライ空間といった複数の数学的アプローチを統合し、$ K_M = 0 $ を満たす $ G $--equivariant 幾何 $ M $ を研究する一貫した枠組みを構築すること。
• Gorenstein商特異点のクレパント解消が存在するかを検討し、特に $ G\text{-Hilb} $ のようにモジュライ空間としての解釈が可能かどうかを調べ、導来カテゴリおよび K-理論とどのように関係するかを明らかにすること。
• 双有理幾何における不変量としての不備除因子と体積形式の役割を、特にモチーフ的積分と canonical form の引き戻し $ \varphi^*s_X $ を通じて探求すること。
• 3次元複素多様体における「特別な」幾何（例えば、複素化されたクaternion）が、Calabi–Yau 3-fold のクレパント解消の存在を説明できる可能性を検討すること。

提案手法

• 商図式 $ M \xrightarrow{\pi} X = M/G \xleftarrow{\varphi} Y $ を用い、$ M $ を $ K_M = 0 $ を満たす準代数的多様体とし、$ G $ が canonical class に自明に作用することを仮定する。
• McKay クイバー構成を適用：有限群 $ G \subset \mathrm{SL}(2,\mathbb{C}) $ に対して、標準的2次元表現 $ Q $ を用いたテンソル積 $ V_i \otimes Q $ から McKay 図を構成し、拡張された Dynkin 図 $ \widetilde{D}_{n+2} $、$ \widetilde{E}_6 $ などが得られる。
• クレパント解消 $ \varphi: Y \to X $ を用い、$ K_Y = \varphi^*K_X $ を満たし、$ Y $ が自明な canonical bundle を持つことを保証し、特異的除因子を $ -2 $-曲線の配置として研究する。この配置は、Dynkin 図に同型である。
• 導来カテゴリ $ \operatorname{D}(Y) $ および $ K_0(Y) $ を用い、$ G $-加群における McKay クイバーまたはテンソル積構造が、$ Y $ の K-理論または導来カテゴリで再構成可能かどうかを検討する。
• モチーフ的積分を用いて、特に $ \mathbb{C}^4 / (\mathbb{Z}/2) $ のような場合に、特異的除因子のホモロジーを分析し、$ \mathbb{Z}/2 $ の特徴と関連付ける。
• $ G $ が $ \mathbb{C}^n $ に作用するのを考慮し、クレパント解消が存在する場合に $ G\text{-Hilb} $ が $ G $-クラスタの良いモジュライ空間の候補となるかを検討する。

実験結果

リサーチクエスチョン

• RQ1 $ n=2 $ から $ n>2 $ の商特異点 $ \mathbb{C}^n/G $ にかけて、$ G \subset \mathrm{SL}(n,\mathbb{C}) $ の場合に、$ G $ の既約表現がクレパント解消における特異的除因子の既約成分に双対的に対応するように McKay 対応を拡張できるか。
• RQ2 $ G $-加群におけるテンソル積と $ K_0(Y) $ におけるテンソル積の間に直接的な関係があるか、あるいは McKay クイバーが $ \operatorname{D}(Y) $ に再構成可能か。
• RQ3 双有理的 Calabi–Yau 3-fold は同型な導来カテゴリを持つか。これは、flop を超えて一般化可能か。
• RQ4 Gorenstein商特異点のクレパント解消が、Quot スキームや $ G\text{-Hilb} $ のようなモジュライ空間として解釈可能か。また、$ M/G $ の幾何とどのように関係するか。
• RQ5 モチーフ的積分において、$ \varphi^*s_X $ を体積形式として用いることで、de Rham および Hodge コホロロジーにおける双有理不変量とどのように関係するか。

主な発見

• $ G \subset \mathrm{SL}(2,\mathbb{C}) $ の場合、McKay 対応により、$ G $ の既約表現と $ \mathbb{C}^2/G $ の最小解消における特異的除因子の成分との間に一対一対応が確立され、解消の双対グラフは拡張された Dynkin 図 $ \widetilde{D}_{n+2} $、$ \widetilde{E}_6 $ などに一致する。
• $ Y \to X = \mathbb{C}^2/G $ の解消は $ K_Y = 0 $ を満たし、特異的除因子は $ -2 $-曲線の配置として現れ、McKay グラフに同型である。このとき、自明表現は拡張図における余分なノードに対応する。
• 高次元、特に $ G \subset \mathrm{SL}(3,\mathbb{C}) $ の場合、本稿ではクレパント解消 $ Y $ のホモロジーが、$ G $ の既約表現と一対一対応する代数的サイクルによって生成可能であることを示しており、$ n=2 $ の場合の一般化である。
• クレパント解消が存在する場合、導来カテゴリ $ \operatorname{D}(Y) $ および K-理論 $ K_0(Y) $ は $ G $ の表現論を反映すると予想され、幾何と表現論の深い関係が示唆される。
• モチーフ的積分により、$ \mathbb{C}^4 / (\mathbb{Z}/2) $ の特異的除因子（これは $ \mathbb{P}^3 $ である）のホモロジーが、特徴 $ \pm 1 $ に対応する部分に分解可能であることが判明し、$ \mathcal{O}_Y $ および $ \mathcal{O}_Y(1) $ のような層がそれらに対応している。
• 本稿では、3-fold における Gorenstein商特異点のクレパント解消が、特別な幾何（おそらく複素化されたクaternion に関連する）によって支配されている可能性を仮説として提示し、このような解消が存在する場合にはシンプレクティックであると示唆している。Verbitsky や Kaledin の結果により、それが裏付けられている。