[論文レビュー] Injectivity of the Double Fibration Transform for Cycle Spaces of Flag Domains

Alan Huckleberry, Joseph A. Wolf|ArXiv.org|Aug 29, 2003

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

ひとこと要約

本稿は、複素幾何におけるフラッグ多様体のサイクル空間に対する二重ファイブレーション変換（DFT）の単射性を確立する。シューベルト断片理論とコhomological技法を用いて、正則ベクトル bundle が十分に負である場合に DFT が単射であることを証明し、サイクル空間とファイバー束の収縮性を活用する。

ABSTRACT

The basic setup consists of a complex flag manifold $Z=G/Q$ where $G$ is a complex semisimple Lie group and $Q$ is a parabolic subgroup, an open orbit $D = G_0(z) \subset Z$ where $G_0$ is a real form of $G$, and a $G_0$--homogeneous holomorphic vector bundle $\mathbb E o D$. The topic here is the double fibration transform ${\cal P}: H^q(D;{\cal O}(\mathbb E)) o H^0({\cal M}_D;{\cal O}(\mathbb E'))$ where $q$ is given by the geometry of $D$, ${\cal M}_D$ is the cycle space of $D$, and $\mathbb E' o {\cal M}_D$ is a certain naturally derived holomorphic vector bundle. Schubert intersection theory is used to show that ${\cal P}$ is injective whenever $\mathbb E$ is sufficiently negative.

研究の動機と目的

• 複素幾何におけるフラッグ多様体のサイクル空間に対する二重ファイブレーション変換（DFT）の単射性を確立すること。
• フラッグ多様体 $Z=G/Q$ 内の開軌道 $D$ 上の $G_0$-同次正則ベクトル bundle のコhomological構造を理解すること。
• $D$ のサイクル空間 $\mathcal{M}_D$ をシュタイン領域として分析し、$G$-軌道のチャウ多様体における幾何と関連付けること。
• シューベルト断片ファイブレーションを用いてサイクル空間を分解し、DFT の単射性問題をファイバーごとのコhomological消失に還元すること。
• bundle $\mathbb{E}$ が十分に負である場合に DFT が単射であることを、ファイバーおよび基底空間の収縮性を用いて証明すること。

提案手法

• インシデント空間 $\mathfrak{X}_D = \{(z,C) \in D \times \mathcal{M}_D : z \in C\}$ を通じた二重ファイブレーション構成を用い、射影 $\mu: \mathfrak{X}_D \to D$ および $\nu: \mathfrak{X}_D \to \mathcal{M}_D$ を定義する。
• $\mathbb{E} \to D$ である $G_0$-同次正則ベクトル bundle を $\mathfrak{X}_D$ 上の $\mu^*\mathbb{E}$ に lifted した後、$\nu$-直接像層を考慮し、DFT を $H^0(\mathcal{M}_D; \mathcal{O}(\mathbb{E}'))$ に定義する。
• シューベルト断片理論を適用して、$\mathcal{M}_D$ を基底 $\Sigma$（フラッグ多様体内のシューベルト断片）上のファイバー束 $\pi_\Sigma: \mathcal{M}_D \to \Sigma$ として分解する。
• $\mathcal{M}_D$ が $\Sigma \times F$ に微分同相であり、$F$ が基点上のファイバーであることに着目し、Ehresmann 接続と全空間・基底空間の収縮性を用いて $F$ が収縮することを証明する。
• Buchdahl の消失条件および相対ドレーボールコhomology に関する定理を適用し、$\mathbb{E}$ の負性仮定のもとで $H^p(C; \Omega^r_\mu(\mathbb{E})|_C) = 0$（$p < q$, $r \geq 1$）が成り立つことを示す。
• コhomological消失と $\mathcal{M}_D$ および $\Sigma$ の収縮性を組み合わせ、スペクトル系列の同型および係数写像を用いて DFT が単射であることを導出する。

実験結果

リサーチクエスチョン

• RQ1 二重ファイブレーション変換 $\mathcal{P}: H^q(D; \mathcal{O}(\mathbb{E})) \to H^0(\mathcal{M}_D; \mathcal{O}(\mathbb{E}'))$ がどのような条件下で単射になるか？
• RQ2 $\mathcal{M}_D$ の幾何的構造、特にシューベルト断片上のファイバー束としての構造が DFT 分析にどのように寄与するか？
• RQ3 正則ベクトル bundle $\mathbb{E}$ の負性が、単射性に必要なコhomological消失を保証するために果たす役割は何か？
• RQ4 Ehresmann 接続などの微分幾何的道具を用いて、サイクル空間 $\mathcal{M}_D$ 及びそのファイバーの収縮性を確立できるか？
• RQ5 $A_0N_0$-不変ファイブレーション $\varphi: \mathcal{M}_D \to \Sigma$ は、$\mathcal{M}_D$ のグローバル構造および DFT とどのように関係するか？

主な発見

• $\mathbb{E}$ が十分に負である限り、二重ファイブレーション変換 $\mathcal{P}: H^q(D; \mathcal{O}(\mathbb{E})) \to H^0(\mathcal{M}_D; \mathcal{O}(\mathbb{E}'))$ は単射である。
• $\mathcal{M}_D$ はシュタイン領域であり、$\Sigma \times F$ に微分同相である。ここで $\Sigma$ は収縮可能なシューベルト断片、$F$ は基点上のファイバーである。
• ファイブレーション $\mathcal{M}_D \to \Sigma$ のファイバー $F$ は、Ehresmann 接続および全空間と基底空間の収縮性を用いて収縮することが示された。
• $\mathbb{E}$ の負性仮定のもとで $H^p(C; \Omega^r_\mu(\mathbb{E})|_C) = 0$（$p < q$, $r \geq 1$）が成り立ち、スペクトル系列の議論が可能になる。
• Buchdahl 条件が満たされており、スペクトル系列内の写像が同型であるため、DFT は単射である。
• DFT はスペクトル系列内の同型および係数写像の合成として実現され、ファイバーのコhomological自明性および基底空間の収縮性から単射性が導かれる。