[論文レビュー] Threefold Flops via Matrix Factorization

Carina Curto, David R. Morrison|ArXiv.org|Nov 1, 2006

Advanced Topics in Algebra被引用数 4

ひとこと要約

本稿は、 McKay 対応を用いて三重に分岐するフロップを分類する行列因子化のアプローチを確立し、Pinkham の有理的二重点の部分的解消の変形理論が、A_n-1 および D_n 有理的二重点に対して行列因子化の変形理論に対応することを証明する。主な貢献は、長さ 1 および 2 の普遍的フロップに対する行列因子化の体系的構成であり、E_6、E_7、E_8 特異点についての予想も提示する。

ABSTRACT

The explicit McKay correspondence, as formulated by Gonzalez-Sprinberg and Verdier, associates to each exceptional divisor in the minimal resolution of a rational double point a matrix factorization of the equation of the rational double point. We study deformations of these matrix factorizations, and show that they exist over an appropriate "partially resolved" deformation space for rational double points of types A and D. As a consequence, all simple flops of lengths 1 and 2 can be described in terms of blowups defined from matrix factorizations. We also formulate conjectures which would extend these results to rational double points of type E and simple flops of length greater than 2.

研究の動機と目的

• 三重に分岐するフロップにおける中心曲線の近傍に関する詳細な幾何的情報の欠如を解消し、D ブラインを含む弦理論モデルにおいて不可欠である。
• Landau–Ginzburg モデルにインspired された行列因子化技法を用いて、崩壊幾何学と弦理論の間のギャップを埋める。
• A_n-1 および D_n 特異点に対して、Pinkham の有理的二重点の部分的解消の変形理論が、関連する行列因子化の変形理論と同値であることを証明する。
• 長さ 1 および 2 の普遍的フロップに対する明示的な行列因子化を構成し、より高い長さのフロップへの一般化を試みる。
• 有理的二重点およびその変形に対して、行列因子化を通じた McKay 対応の幾何的実現を提供する。

提案手法

• McKay 対応を用いて、有理的二重点の部分的解消に関連する最大コhen–Macaulay 加群（行列因子化を介して）を関連付ける。
• A_n-1 および D_n 特異点に対して、部分的解消の変形理論（Pinkham の理論）が行列因子化の変形理論に対応することを証明する。
• 有理的二重点の定義多項式 f に対して、ΦΨ = fI_k を満たす明示的な行列因子化 (Φ, Ψ) を構成する。
• 各特異点タイプに対して、再帰的パターンと Dynkin 図のラベル（例：ℓ, ℓ⁺, ℓ⁻）を用いて、行列 Φ および Ψ を明示的に計算する。
• 普遍的フロップを、f = x₁² + g(x₂,…,xₘ) で定義されるアフィン空間内の超曲面として提示する。ここで g は A_n-1 または D_n 特異点を符号化する。
• 関係式 (XI_{2ℓ} − Ξₗ^•)(XI_{2ℓ} + Ξₗ^•) = (X² + g(Y,Z))I_{2ℓ} を用いて、より高い長さのフロップの行列因子化を生成する。

実験結果

リサーチクエスチョン

• RQ1 行列因子化は、弦理論の物理的モデルに十分な、三重に分岐するフロップにおける中心曲線の近傍の幾何的記述を提供できるか？
• RQ2 有理的二重点の部分的解消の Pinkham の変形理論は、対応する行列因子化の変形理論と同値か？
• RQ3 長さ 1 および 2 の普遍的フロップに対する明示的な行列因子化は何か？ そして、それらはより高い長さのフロップに一般化可能か？
• RQ4 A_n-1 および D_n 特異点の Dynkin 図は、関連する行列因子化の構造をどのように符号化するか？
• RQ5 E_6、E_7、E_8 特異点に対する行列因子化の構成は完了可能か？ それらの物理的および幾何的意義は何か？

主な発見

• 本稿は、A_n-1 および D_n 有理的二重点に対して、部分的解消の変形理論が関連行列因子化の変形理論と同値であることを証明する。
• 長さ 1（定義式 xy − z² + t² = 0）および長さ 2 の普遍的フロップに対して、明示的な行列因子化が構成され、ΦΨ = fI_k を満たす行列 Φ および Ψ が得られる。
• E_6 特異点（g(Y,Z) = Y³ + Z⁴）に対して、すべてのラベル ℓ = 1⁺, 2⁺, 3, 2⁻, 1⁻ について行列因子化が明示的に計算され、Ξ₁^± および Ξ₂^± 行列が含まれる。
• E_7（g(Y,Z) = Y³ + YZ³）に対して、ラベル 2′, 3′, 4, 2′′, 3, 2, 1 について行列因子化が提供され、φ および ψ 行列はサイズが増加する。
• E_8（g(Y,Z) = Y³ + Z⁵）に対して、すべてのラベル 2′, 4′, 6, 3′′, 5, 4, 3, 2 について行列因子化が構成され、6×6 行列 φ₆ および ψ₆ が満たす因子化条件が確認される。
• 構成は、多くの場合、より小さい因子化 φₗ^•, ψₗ^• が存在する再帰的構造を明らかにするが、一部は直接的に Ξₗ^• として定義される。