Topology of the orbit space of a maximal torus action on $\operatorname{Gr}(2,\mathbb{C}^{5})$

技術要約：$Gr(2, \mathbb{C}^5)$ に対する極大トーラス作用の軌道空間のトポロジー

問題設定
本研究は、グラスマン多様体 $Gr(2, \mathbb{C}^5)$（$\mathbb{C}^5$ 内の 2 平面の集合）と、それに付随するコンパクトな極大トーラス $T = \{(t_1, \dots, t_5) \in (S^1)^5 \mid t_1 \dots t_5 = 1\}$ の軌道空間 $Gr(2, \mathbb{C}^5)/T$ のホモトピー型および整数ホモロジー群を調査するものである。この軌道空間のホモロジー群は、部分空間によるファイブレーションを用いて Süss [6] によって、またパラメータ空間を用いて Buchstaber と Terzić [2] によっては既に計算されているが、この空間の正確なホモトピー型は未だ決定されていない。本論文の目的は、これらのホモロジー群を計算するための位相幾何学的なアプローチを提供し、さらに重要な点として、軌道空間の完全なホモトピー型を決定することにある。

手法
著者は、以下の位相幾何学的および代数的なステップを通じて構築される、軌道空間のホモトピーモデル $X$ を導入する：

1. 基礎となる多面体： トーラス作用のモーメント多面体はハイパーシンプレックス $\Delta_{2,5}$ として特定され、これは 4 次元円板 $D^4$ と同相である。この多面体の境界は、10 個の頂点、30 個の辺、30 個の 2 面（20 個の三角形と 10 個の正方形）、および 10 個の 3 面（5 個の四面体と 5 個の八面体）からなる正則 CW 複体へと分解される。
2. ファイバー空間： 多面体の内部上のファイバーは、次数 5 のデル・ペッツォ曲面 $Y = dP_5$ によってモデル化される。これは連結和 $\mathbb{C}P^2 \# \mathbb{C}P^2 \# \mathbb{C}P^2 \# \mathbb{C}P^2 \# \mathbb{C}P^2$ と同相である。$Y$ の最小限の CW 複体構造、特にその最上部セルの付着写像および交差形式が詳細に分析される。
3. 収縮写像と円錐束： 構成には、5 つの異なる円錐束 $f_i: Y \to \mathbb{C}P^1$ ($i=1, \dots, 5$) が用いられる。これらの写像は、4 点での $\mathbb{C}P^2$ の吹上げにおける線束から導かれる。これらの写像の位相的性質、特に $Y$ のホモロジー群への誘導準同型は、$Y$ の交差形式を用いて計算される。
4. モデル $X$ の構成： 空間 $X$ は、商空間 $P \times Y / \sim$ として定義される。ここで $P = \Delta_{2,5}$ である。
   • 多面体の内部上では、ファイバーは $Y$ である。
   • 多面体の八面体 3 面 ($O_i$) の内部上では、ファイバー $Y$ は円錐束写像 $f_i$ を通じて $\mathbb{C}P^1$ のコピーへと潰される。
   • 残りの境界（四面体および低次元の面）の上では、ファイバー $Y$ は一点へと潰される。
5. ホモトピー同値性： チャンバー分解および双有理モデル（吹上げられた $\mathbb{C}P^2$ や $\mathbb{C}P^1 \times \mathbb{C}P^1$ など）間の収縮写像を用いた帰納的な議論を用いて、軌道空間 $Gr(2, \mathbb{C}^5)/T$ が構築された空間 $X$ とホモトピー同値であることを示す（定理 5）。

主要な結果

• ホモロジー計算： $X$ に特定の CW 複体構造を付与し、関連する鎖複体の境界作用素を計算することにより、軌道空間の整数ホモロジー群が決定される。これらの結果は、先行研究の結果を確認するものである：
  • $H_i(X) \cong \mathbb{Z}$ （$i = 0, 8$ のとき）。
  • $H_i(X) \cong \mathbb{Z}_2$ （$i = 5$ のとき）。
  • それ以外の場合、$H_i(X) = 0$ である（系 1）。
• ホモトピー型： 軌道空間は、実射影平面の 4 回懸垂 $\Sigma^4 \mathbb{R}P^2$ に 8 セルを付加して得られる空間にホモトピー同値であることが示される。具体的には、次式で表される：
  $$Gr(2, \mathbb{C}^5)/T \simeq D^8 \cup_f \Sigma^4 \mathbb{R}P^2$$
  ここで、付着写像 $f: S^7 \to \Sigma^4 \mathbb{R}P^2$ は、ホモトピー群 $\pi_7(\Sigma^4 \mathbb{R}P^2) \cong \mathbb{Z}_4$ の生成元を表す（定理 7）。
• 非同値性： 本論文は、この空間が、$\mathbb{R}P^2$ に 4 セルを付加して得られる空間の 4 回懸垂（すなわち、$[g] \in \pi_3(\mathbb{R}P^2)$ に対して $D^8 \cup_f \Sigma^4 \mathbb{R}P^2 \not\simeq \Sigma^4(D^4 \cup_g \mathbb{R}P^2)$）とはホモトピー同値ではないことを証明する。

意義と主張
著者は、主に 2 つの新規性を主張している：

1. 計算の簡略化： ホモトピーモデル $X$ を用いた位相幾何学的なアプローチは、Buchstaber と Terzić [2] が用いた手法と比較して、ホモロジー群の計算を大幅に簡素化する。
2. ホモトピー型の決定： ホモロジーに焦点を当てた Süss [6] の研究とは異なり、本研究は軌道空間の正確なホモトピー型を決定し、最上部セルの付着写像の特定のホモトピー類を特定することに成功した。

著者は、このアプローチにおいて、収縮写像を代数的な射影に限定せず、位相的な商写像として扱うことで、円錐束から構成される位相多様体としての空間の研究を可能にしていると述べている。結果は、CW 複体、ホモロジー計算、および懸垂とホモトピー群の性質を含む標準的な代数トポロジーの手法に基づいている。