[论文解读] Lefschetz fibrations on adjoint orbits

Elizabeth Gasparim, Lino Grama+1 more|arXiv (Cornell University)|Sep 17, 2013

Advanced Algebra and Geometry参考文献 28被引用 5

一句话总结

本文利用李理论结构导出的自然高度函数，在复半单李代数的伴随轨道上构造了辛 Lefschetz 纤维丛。证明了这些纤维丛具有有限个孤立奇点，并计算出正则纤维与奇异纤维的中间贝蒂数分别为 $k-1$ 和 $k-2$，其中 $k$ 为奇点数量。

ABSTRACT

We prove that adjoint orbits of semisimple Lie algebras have the structure of symplectic Lefschetz fibrations. We then describe the topology of the regular and singular fibres, in particular calculating their middle Betti numbers. For the example of sl(2,C) we compute the Fukaya--Seidel category of Lagrangian vanishing cycles.

研究动机与目标

• 在先前缺乏此类构造的高维（大于4维）中，构造辛 Lefschetz 纤维丛。
• 利用李理论中的自然高度函数——特别是 $f_H(x) = \langle H, x \rangle$——直接构建纤维丛，而无需依赖 Lefschetz 棒。
• 描述伴随轨道上正则与奇异纤维的拓扑结构，尤其是其同调与贝蒂数。
• 建立纤维丛结构源于 Weyl 群作用以及与 $H_0$ 相关的旗流形几何的结论。
• 以奇点数量 $k$ 表示纤维的中间贝蒂数，证明 $b_{\text{mid}}(\text{reg}) = k-1$ 与 $b_{\text{mid}}(\text{sing}) = k-2$。

提出的方法

• 在伴随轨道 $\mathcal{O}(H_0)$ 上定义高度函数 $f_H(x) = \langle H, x \rangle$，其中 $H \in \mathfrak{h}_{\mathbb{R}}$ 为正则元素。
• 利用自然同构 $\mathcal{O}(H_0) \cong T^*\mathbb{F}_{H_0}$，其中 $\mathbb{F}_{H_0}$ 为与 $H_0$ 关联的旗流形，将纤维丛解释为余切丛纤维丛。
• 证明 $f_H$ 的临界点是孤立的，并对应于 Weyl 群轨道 $\mathcal{W} \cdot H_0$，且奇点总数恰好为 $k = |\mathcal{W}| / |\mathcal{W}_{H_0}|$。
• 将正则纤维 $L(\xi)$ 分析为微分同胚于 $\mathbb{F}_{H_0} \setminus \{uH_0 \in \mathcal{W} \cdot H_0\}$ 的水平集，从而计算其同调与贝蒂数。
• 将奇异纤维 $L(wH_0)$ 描述为：在 $\mathbb{F}_{H_0}$ 的正则点上具有实余维数为2的仿射子丛，以及纤维 $\pi^{-1}(wH_0)$，其为仿射子空间 $wH_0 + \mathfrak{n}^+(wH_0)$。
• 利用微分同胚 $n \mapsto \mathrm{Ad}(n)(wH_0) - wH_0$，证明 $\mathrm{Ad}(N^+(wH_0))(wH_0) = wH_0 + \mathfrak{n}^+(wH_0)$ 完全位于水平集 $f_H^{-1}(\langle H, wH_0 \rangle)$ 内。

实验结果

研究问题

• RQ1 能否在不使用 Lefschetz 棒的前提下，直接在半单李代数的伴随轨道上构造辛 Lefschetz 纤维丛？
• RQ2 高度函数 $f_H$ 在伴随轨道上的正则与奇异纤维具有怎样的拓扑结构？
• RQ3 纤维的贝蒂数如何与 $H_0$ 的 Weyl 群轨道结构相关联？
• RQ4 奇异纤维的几何结构是怎样的，特别是其如何分解为子丛与 Weyl 群元素上的纤维？
• RQ5 伴随轨道上的辛形式如何与由 $f_H$ 诱导的纤维丛结构相互作用？

主要发现

• 在伴随轨道 $\mathcal{O}(H_0)$ 上，高度函数 $f_H(x) = \langle H, x \rangle$ 定义了一个具有恰好 $k = |\mathcal{W}| / |\mathcal{W}_{H_0}|$ 个孤立奇点的辛 Lefschetz 纤维丛。
• 正则纤维 $L(\xi)$ 的同调与 $\mathbb{F}_{H_0} \setminus \{uH_0 \in \mathcal{W} \cdot H_0\}$ 相同，因此其中间贝蒂数为 $k - 1$。
• 奇异纤维 $L(wH_0)$ 的同调与 $\mathbb{F}_{H_0} \setminus \{uH_0 \in \mathcal{W} \cdot H_0 : u \neq w\}$ 相同，因此其中间贝蒂数为 $k - 2$。
• 在 $wH_0$ 处的奇异纤维分解为：在 $\mathbb{F}_{H_0}$ 的正则点上具有实余维数为2的仿射子丛，以及纤维 $\pi^{-1}(wH_0) = wH_0 + \mathfrak{n}^+(wH_0)$。
• 纤维 $\pi^{-1}(wH_0)$ 是一个由正根空间之和构成的幂零仿射子空间 $\sum_{\alpha \in \Pi(wH_0)} \mathfrak{g}_\alpha$，其中 $\Pi(wH_0) = \{\alpha \in \Pi : \alpha(H_0) > 0\}$。
• 该纤维丛是辛的，因为高度函数源自不变的 Cartan–Killing 型与酉结构 $\mathcal{H}_\tau$，从而与轨道上的辛结构相容。