[论文解读] 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

一句话总结

本文通过线与线丛等几何结构，在有理曲面——特别是 del Pezzo 曲面与可化曲面——上构造了类型为 $E_n$、$D_{n-1}$ 和 $A_{n-2}$ 的李代数丛。它建立了这些曲线配置与表示理论中分支规则之间的深刻对应关系，表明 $X_n$ 上的直线数量与 $E_n$ 的基本表示维数一致（$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.

研究动机与目标

• 通过几何数据（如直线与线丛）在 del Pezzo 曲面与可化曲面上自然构造类型为 $E_n$、$D_{n-1}$ 与 $A_{n-2}$ 的李代数丛。
• 将有理曲面上直线与线丛的配置与例外李代数及经典李代数表示理论中的分支规则联系起来。
• 证明 $X_n$ 上的直线数量与 $E_n$ 的基本表示维数一致，且在 $n=8$ 时存在精确例外。
• 探讨 del Pezzo 曲面的退化如何通过分支规则诱导出几何配置，尽管丛的退化理论尚不完整。

提出的方法

• 将全纯丛 $\mathcal{L}_n$ 定义为 $X_n$ 上所有直线 $l$ 的线丛 $O(l)$ 的直和，对 $n=8$ 情况加入特殊校正项 $O(-K)^{\oplus 8}$。
• 通过从 $X_8$ 拉回的方式，在 $X_n$ 上构造李代数丛 $L\mathcal{E}_n$，方法为移除与 $8-n$ 条互不相交直线及其同调类相关的直和项。
• 利用自旋表示与 $\mathcal{S}^+$ 上的非退化二次型，通过涉及 $\alpha$、$\beta$ 与 $\gamma$ 的括号公式，定义 $L\mathcal{E}_8 = L\mathcal{D}_8 \oplus \mathcal{S}^+ \otimes O(K)$ 上的李代数结构。
• 利用 $\mathcal{S}^+$ 与其通过 $O(2K)$ 拓展后的对偶之间的同构，定义一个反对称配对 $\gamma: \mathcal{S}^+ \otimes \mathcal{S}^+ \to L\mathcal{D}_8 \otimes O(-2K)$。
• 通过几何特化（如线丛、爆破）将 $L\mathcal{E}_n$ 的结构群约化为子群，将此类约化与表示理论中的分支规则联系起来。
• 通过从 $X_8$ 中移除对应于互不相交直线及其同调类的线丛直和项，重构 $n<8$ 时的 $L\mathcal{E}_n$，确保该丛可从爆破映射拉回。

实验结果

研究问题

• RQ1 如何利用直线与线丛等几何数据，在有理曲面上自然构造类型为 $E_n$、$D_{n-1}$ 与 $A_{n-2}$ 的李代数丛？
• RQ2 del Pezzo 曲面 $X_n$ 上的直线数量与 $E_n$ 的基本表示维数之间存在何种精确对应关系？
• RQ3 曲面的几何约化（如爆破、退化）如何对应于相关李代数表示理论中的分支规则？
• RQ4 能否从 $X_8$ 上的几何数据（如自旋丛与二次型）重构 $L\mathcal{E}_8$ 上的李代数结构？
• RQ5 在 $n=8$ 的例外情形中，$E_8$ 伴随表示在何处发挥作用？此时 $\dim \mathbf{L}_8 = 248$，但直线数量为 240。

主要发现

• $E_n$ 的基本表示 $\mathbf{L}_n$ 的维数与 $X_n$ 上的直线数量在 $n \leq 7$ 时一致，其中 $\dim \mathbf{L}_n = 1, 3, 6, 10, 16, 27, 56$ 分别对应 $n = 1, 2, 3, 4, 5, 6, 7$。
• 对于 $n=8$，$\dim \mathbf{L}_8 = 248$，等于 $X_8$ 上的直线数（240）加上 $E_8$ 的秩（8），表明伴随表示已被实现。
• 丛 $\mathcal{L}_n$ 定义为 $\bigoplus_{l \text{ 为 } X_n \text{ 上的直线}} O(l)$（$n \leq 7$ 时），而 $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$。
• 通过取 $A_1$-子丛的中心化子，将 $L\mathcal{E}_8$ 约化为 $E_7 \times \mathfrak{sl}(2)$，所得 $E_7$-丛可从沿特定直线类的 $X_8$ 爆破拉回。
• 即使曲面退化为非正规 del Pezzo 曲面，其直线与线丛的配置仍通过分支规则编码，尽管丛的退化理论尚不完整。