[論文レビュー] ADE-bundles over rational surfaces, configuration of lines and rulings

Naichung Conan Leung|ArXiv.org|Sep 20, 2000

Commutative Algebra and Its Applications参考文献 13被引用数 14

ひとこと要約

この論文は、デル・ペッツォ面およびルールド面という有理的表面の上に、直線やルーリングといった幾何的構造を用いて、型 $E_n$、$D_{n-1}$、$A_{n-2}$ のリー代数バンドルを構成する。幾何的配置（直線やルーリングの配置）と表現論における分岐則の間に深い対応関係を確立し、$X_n$ 上の直線の数が $E_n$ の基本的表現の次元に一致することを示している（$n=8$ を除く）。$n=8$ の場合、次元の差異はアドジョイント表現によって説明される。さらに、デル・ペッツォ面の退化が、リー理論的還元を通じてさらなる幾何的・代数的構造を符号化していることを示している。

ABSTRACT

To each del Pezzo surface (resp. ruled surface, ruled surface with a section), we describe a natural Lie algebra bundle of type E_n (resp. D_n, A_n) over it. Using lines and rulings on any such surface, we describe various representation bundles corresponding to fundamental representations of the corresponding Lie algebra. When we specify a geometric structure on the surface to reduce the Lie algebra to a smaller one, then the classical geometry of the configuration of lines and rulings is encoded beautifully by the branching rules in Lie theory. We discuss this relationship in details. When we degenerate the surface to a non-normal del Pezzo surface, we discover that the configurations of lines and rulings are also governed by certain branching rules.

研究の動機と目的

• デル・ペッツォ面およびルールド面の上に、直線やルーリングといった幾何的データを用いて、自然な型 $E_n$、$D_{n-1}$、$A_{n-2}$ のリー代数バンドルを構成すること。
• 有理的表面における直線およびルーリングの配置を、例外的および古典的リー代数の表現論における分岐則に関連付けること。
• $X_n$ 上の直線の数が $E_n$ の基本的表現の次元に一致することを示すこと（$n=8$ の場合にのみ明確な例外が存在する）。
• デル・ペッツォ面の退化が、幾何的配置を分岐則に従って制御することを探索すること。ただし、バンドルの退化理論は未だ完全には理解されていない。

提案手法

• 各 $n$ に対して、$X_n$ 上のすべての直線 $l$ について $O(l)$ の直和として定義される正則バンドル $\mathcal{L}_n$ を定義し、$n=8$ の場合に $O(-K)^{\oplus 8}$ を補正項として追加する。
• $X_8$ からの引き戻しによって $X_n$ 上にリー代数バンドル $L\mathcal{E}_n$ を構成し、$8-n$ 個の互いに素な直線とそれらのホモロジー類に対応する和成分を除去することで得る。
• スピン表現および $\mathcal{S}^+$ 上の非退化二次形式を用いて、$L\mathcal{E}_8 = L\mathcal{D}_8 \oplus \mathcal{S}^+ \otimes O(K)$ に、$\alpha$、$\beta$、$\gamma$ を含む括弧公式によってリー代数構造を定義する。
• $\mathcal{S}^+$ と $O(2K)$ でねじれた双対への同型を用いて、反対称なペアリング $\gamma: \mathcal{S}^+ \otimes \mathcal{S}^+ \to L\mathcal{D}_8 \otimes O(-2K)$ を定義する。
• 幾何的特殊化（例えば、ルーリング、ブローダウン）を通じて、$L\mathcal{E}_n$ の構造群を部分群に還元し、その還元が表現論における分岐則に対応することを示す。
• $n<8$ に対しては、$X_8$ における互いに素な直線とそのホモロジー類に対応する線分バンドルの和成分を除去することで $L\mathcal{E}_n$ を再構成し、そのバンドルがブローダウンから引き戻されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 直線やルーリングといった幾何的データを用いて、有理的表面の上に型 $E_n$、$D_{n-1}$、$A_{n-2}$ のリー代数バンドルを自然に構成する方法は何か？
• RQ2 デル・ペッツォ面 $X_n$ 上の直線の数と $E_n$ の基本的表現の次元との間の正確な対応関係は何か？
• RQ3 表面の幾何的還元（例えば、ブローダウン、退化）は、関連するリー代数の表現論における分岐則とどのように対応するか？
• RQ4 スピンバンドルや二次形式といった $X_8$ 上の幾何的データから、$L\mathcal{E}_8$ 上のリー代数構造を再構成できるか？
• RQ5 $n=8$ の例外的ケースにおいて、$E_8$ のアドジョイント表現は、なぜ $\dim \mathbf{L}_8 = 248$ だが直線の数が 240 であるという差異を説明するのか？

主な発見

• $n \leq 7$ の場合、$E_n$ の基本的表現 $\mathbf{L}_n$ の次元は、$X_n$ 上の直線の数に一致する。$n = 1, 2, 3, 4, 5, 6, 7$ に対し、それぞれ $\dim \mathbf{L}_n = 1, 3, 6, 10, 16, 27, 56$ である。
• $n=8$ の場合、$\dim \mathbf{L}_8 = 248$ であり、これは $X_8$ 上の直線数（240）に加えて $E_8$ のランク（8）が足されたものに一致する。これはアドジョイント表現が実現されていることを示している。
• バンドル $\mathcal{L}_n$ は、$n \leq 7$ の場合 $\bigoplus_{l \text{ は } X_n \text{ 上の直線}} O(l)$ で定義され、$n=8$ の場合 $\bigoplus O(l) \oplus O(-K)^{\oplus 8}$ で定義され、$E_n$ の構造群と整合的である。
• リー代数バンドル $L\mathcal{E}_8$ は $L\mathcal{D}_8 \oplus \mathcal{S}^+ \otimes O(K)$ として構成され、$\alpha$、$\beta$、$\gamma$ を含むファイバーごとの括弧が定義されており、各ファイバーで $E_8$ に同型である。
• $L\mathcal{E}_8$ を $E_7 \times \mathfrak{sl}(2)$ に還元するには、$A_1$-部分バンドルの中心化を取る。その結果得られる $E_7$-バンドルは、特定の直線類に沿った $X_8$ のブローダウンから引き戻される。
• 非正則なデル・ペッツォ面への表面の退化でさえも、分岐則に従って直線やルーリングの配置を符号化しているが、バンドルの退化理論は未だ完全には理解されていない。