[論文レビュー] Lefschetz fibrations on adjoint orbits

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

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

ひとこと要約

本稿では、複素単純リー代数の随伴軌道上に、リー理論的構造から導かれる自然な高さ関数を用いて、シンプレクティック・レフシェッツ・ファイブレーションを構成する。これらのファイブレーションが有限個の孤立特異点を持ち、正則なファイバーと特異なファイバーの中央ベッチ数がそれぞれ $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次元を超える次元におけるシンプレクティック・レフシェッツ・ファイブレーションの構成を達成する。これは、かつてはこのような構成が不足していた分野である。
• 具体的には、$f_H(x) = \langle H, x \rangle$ として与えられるリー理論的高さ関数を用い、レフシェッツ・パENCILに依存せずに直接的にファイブレーションを構築する。
• 特に、随伴軌道における正則および特異なファイバーの位相的性質、特にホモロジーおよびベッチ数を記述する。
• ファイブレーション構造が、ワイル群の作用および $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}}$ は正則な元である。
• canonical 同相 $\mathcal{O}(H_0) \cong T^*\mathbb{F}_{H_0}$ を用い、ここで $\mathbb{F}_{H_0}$ は $H_0$ に関連するフラッグ多様体である。これにより、ファイブレーションを余接バンドルのファイブレーションとして解釈する。
• 関数 $f_H$ の臨界点が孤立しており、ワイル群の軌道 $\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)$ との直和として特徴付ける。ここで $\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 レフシェッツ・パENCILを用いずに、半単純リー代数の随伴軌道上にシンプレクティック・レフシェッツ・ファイブレーションを直接構成できるか？
• RQ2 随伴軌道上での高さ関数 $f_H$ の正則および特異なファイバーの位相的性質は何か？
• RQ3 ファイバーのベッチ数は、$H_0$ のワイル群軌道構造とどのように関係しているか？
• RQ4 特に、特異ファイバーの幾何学的構造、特にワイル群の元ごとの部分バンドルおよびファイバーへの分解は何か？
• RQ5 随伴軌道上のシンプレクティック形式は、$f_H$ が誘導するファイブレーション構造とどのように相互作用するか？

主な発見

• 高さ関数 $f_H(x) = \langle H, x \rangle$ は、随伴軌道 $\mathcal{O}(H_0)$ 上で、正確に $k = |\mathcal{W}| / |\mathcal{W}_{H_0}|$ 個の孤立特異点を持つシンプレクティック・レフシェッツ・ファイブレーションを定義する。
• 正則ファイバー $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\}$ である。
• ファイブレーションはシンプレクティックである。なぜなら、高さ関数が不変カルタン＝キリング形式およびハーミート構造 $\mathcal{H}_\tau$ から生じ、随伴軌道上のシンプレクティック構造と整合性を持つからである。