A note on the rational homotopy type of the projectivization of the tangent bundle of complex projective spaces

技術的要約：複素射影空間の接束の射影化の有理ホモトピー型

問題提起
本論文は、$\mathbb{C}P^n$ 上の射影化束 $P(\xi)$ の全空間 $P(E)$ の有理ホモトピー型に関する包括的な理解における空白を扱うものである。Lupton と Oprea による先行研究では、基底 $B$ が形式的（formal）であれば $P(E)$ も形式的であることが確立されており、Thomas はこのような束が純粋なファイブレーション（pure fibrations）であることを証明しているが、基底が $\mathbb{C}P^n$ であり、かつ束が接束 $\tau$ である場合の $P(E)$ の具体的な有理ホモトピー型は明示的に決定されていなかった。著者らは、接束 $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$ の射影化である $P(E)$ の有理ホモトピー型を、同次空間として特定することを目的としている。

手法
著者らは、ラショナル・ホモトピー論の枠組み、具体的にはサリバン最小モデル（Sullivan minimal models）を利用する。手法は以下のステップに従って進行する：

1. 束のサリバン・モデルの構成：
   コズィル・サリバン拡大（Koszul Sullivan extensions）の理論を用いて、著者らは射影化束 $P(\tau): \mathbb{C}P^{n-1} \to P(E) \to \mathbb{C}P^n$ をモデル化する相対サリバン代数を構成する。

   • 基底 $\mathbb{C}P^n$ の既知のサリバン・モデル $(\Lambda(y_2, y_{2n+1}), d)$ （ここで $dy_2=0$ および $dy_{2n+1}=y_2^{n+1}$）を利用する。
   • 接束の全千コホモロジー類 $c(\tau) = (1+y_2)^{n+1}$ を用いて、ファイバー生成子の微分を定義する。
   • これにより、$P(E)$ のモデルとして、微分 $D$ によって千コホモロジー類が符号化された $(\Lambda(y_2, y_{2n+1}) \otimes \Lambda(x_2, x_{2n-1}), D)$ という形式のモデルが得られる。

2. 同次空間のサリバン・モデルの構成：
   著者らは、同次空間 $U(n+1)/(U(1) \times U(1) \times U(n-1))$ のサリバン最小モデルを独立して構成する。

   • 定理 2.1（同次空間のコホモロジーと部分群の分類写像との関係）を適用する。
   • 包含写像 $Bi: BH \to BG$ （ここで $H = U(1) \times U(1) \times U(n-1)$ および $G = U(n+1)$）の解析を通じて、分類空間のコホモロジーに対応する生成子を含む複雑なサリバン代数を導出する。
   • 変数置換と非自明なイデアル（完全な対を形成する生成子）の除去という体系的なプロセスを通じて、この代数を $(\Lambda(a_2, b_2, v_{2n-1}, v_{2n+1}), d)$ という形式の最小サリバン・モデルへと簡約化する。

3. 比較と同型：
   証明の核心は、同次空間の最小モデルと $P(E)$ の最小モデルとの間の同型性を確立することにある。

   • 著者らは、同次空間の生成子を束のモデルへ写す射 $f$ を定義する。
   • この射が微分と可換であることを検証する。
   • スペクトル系列の議論と単語長によるフィルタリングを用いて、$f$ が随伴する双次数加群（bigraded modules）の間の同型を誘導することを示し、これら二つの空間が同一の有理ホモトピー型を持つことを証明する。

主要な貢献と結果
本論文の主要な結果は定理 3.2（定理 4.2としても述べられている）であり、以下を主張している：
$n \geq 2$ のとき、$\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$ を $\mathbb{C}P^n$ 上の接束とする。このとき、$P(E)$ の全空間 $P(E)$ は、同次空間
$$U(n+1) / (U(1) \times U(1) \times U(n-1))$$
の有理ホモトピー型を持つ。

具体的な技術的知見には以下が含まれる：

• 明示的なモデル： 論文は、射影化束と対象となる同次空間の両方の明示的な微分次数代数（DGA）構造を提供している。
  • $P(E)$ については、そのコホモロジー代数が、千コホモロジー類から導かれる特定の多項式によって生成されるイデアル $I$ を用いて $H^*(P(E), \mathbb{Q}) \cong \Lambda(x_2, y_2)/I$ と同定される。
  • 同次空間については、その最小モデルは次数 2, 2, $2n-1$, $2n+1$ の生成子に簡約され、微分は次数 2 の生成子を含む特定の多項式の和によって定義される。
• 形式性（Formality）： 著者らは、$P(E)$ のサリバン・モデルが純粋かつシンプレクティック（symplectic）であるため、$P(E)$ は形式的であると述べている。これは、形式的な基底上の射影化束に関する既存の一般的結果と一致する。

意義と主張
本論文は、$\mathbb{C}P^n$ 上の $P(E)$ に関する具体的な有理ホモトピー型の知識が欠如していたという問題を解決したと主張している。$P(E)$ を同次空間 $U(n+1)/(U(1)^2 \times U(n-1))$ と明示的に同一視することにより、著者らはこの束の有理ホモトピー構造に関する具体的な幾何学的特徴付けを提供している。本研究は、サリバン・モデルおよび形式的な空間の性質という基礎的な道具に依拠しており、ベクトル束の射影化という特定の非自明なケースへのこれらの道具の適用を拡張するものである。本研究は、第一著者の博士論文の一部として提示されており、複素射影空間上のファイバー束のトポロジーに関するより広い理解に寄与している。