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

기술 요약: 복소 사영 공간의 접다발의 사영화에 대한 유리 호모토피 유형

문제 정의
본 논문은 복소 사영 공간 $\mathbb{C}P^n$ 위의 사영화 번들 $P(\xi)$의 전공간(total space) $P(E)$에 대한 유리 호모토피 유형을 포괄적으로 이해하는 데 있어 존재하던 공백을 다룬다. Lupton과 Oprea는 기저 공간 $B$가 formal할 때 $P(E)$도 formal하다는 것을 입증하였고, Thomas는 이러한 번들들이 pure fibration임을 증명하였으나, 기저가 $\mathbb{C}P^n$이고 번들이 접다발 $\tau$인 경우 $P(E)$의 구체적인 유리 호모토피 유형이 항상식(homogeneous space)의 형태로 명시적으로 결정된 바는 없었다. 저자들은 $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$인 접다발의 사영화인 $P(E)$의 유리 호모토피 유형을 식별하는 것을 목표로 한다.

방법론
저자들은 Sullivan 최소 모델(Sullivan minimal models)을 활용하여 유리 호모토피 이론, 특히 Koszul Sullivan 확장의 프레임워크를 사용한다. 방법론은 다음과 같은 단계로 진행된다:

1. 번들을 위한 Sullivan 모델 구축:
   Koszul Sullivan 확장의 이론을 사용하여, $\mathbb{C}P^{n-1} \to P(E) \to \mathbb{C}P^n$인 사영화 번들 $P(\tau)$를 모델링하는 상대적 Sullivan 대수(relative Sullivan algebra)를 구축한다.

   • 저자들은 $(\Lambda(y_2, y_{2n+1}), d)$로 주어지며 $dy_2=0$ 및 $dy_{2n+1}=y_2^{n+1}$인 $\mathbb{C}P^n$의 기지 Sullivan 모델을 활용한다.
   • 접다발의 총 Chern class $c(\tau) = (1+y_2)^{n+1}$을 사용하여 파이버 생성자(fiber generators)에 대한 미분(differential)을 정의한다.
   • 이를 통해 $P(E)$의 모델을 Chern class를 인코딩하는 미분 $D$를 갖는 $(\Lambda(y_2, y_{2n+1}) \otimes \Lambda(x_2, x_{2n-1}), D)$ 형태의 구조로 도출한다.

2. 항상식의 Sullivan 모델 구축:
   저자들은 항상식 $U(n+1)/U(1) \times U(1) \times U(n-1)$에 대한 Sullivan 최소 모델을 독립적으로 구축한다.

   • 항상식의 코호몰로지와 부분군들의 분류 사상(classifying maps) 사이의 관계를 다루는 정리 2.1을 적용한다.
   • 포함 관계 $H = U(1) \times U(1) \times U(n-1) \hookrightarrow G = U(n+1)$에 대한 분류 사상 $Bi: BH \to BG$를 분석함으로써, 분류 공간의 코호몰로지에 대응하는 생성자들을 포함하는 복합 Sullivan 대수를 유도한다.
   • 변수 치환 및 무효 이데알(acyclic ideals, 즉 정확한 쌍을 형성하는 생성자들)의 제거 과정을 통해, 이 대수를 $(\Lambda(a_2, b_2, v_{2n-1}, v_{2n+1}), d)$ 형태의 최소 Sullivan 모델로 축소한다.

3. 비교 및 동형성:
   증명의 핵심은 항상식의 최소 Sullivan 모델과 $P(E)$의 최소 모델 사이의 동형성을 확립하는 것이다.

   • 저자들은 항상식의 모델의 생성자들을 번들 모델의 생성자들로 매핑하는 사상 $f$를 정의한다.
   • 이 사상이 미분과 교환됨을 검증한다.
   • 스펙트럴 시퀀스(spectral sequence)와 단어 길이(word length)에 의한 여과(filtration)를 사용하여, $f$가 연관된 쌍중격 모듈(bigraded modules) 상에서 동형 사상을 유도함을 보여줌으로써 두 공간이 동일한 유리 호모토피 유형을 공유함을 증명한다.

주요 기여 및 결과
본 논문의 주요 결과는 다음과 같이 명시된 정리 3.2(정리 4.2로도 언급됨)이다:
$n \geq 2$인 $\mathbb{C}P^n$ 위의 접다발 $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$에 대하여, $P(\tau)$의 전공간 $P(E)$는 다음의 항상식의 유리 호모토피 유형을 갖는다:
$$U(n+1) / (U(1) \times U(1) \times U(n-1))$$

구체적인 기술적 발견 사항은 다음과 같다:

• 명시적 모델: 본 논문은 사영화 번들과 대상 항상식 모두에 대한 명시적인 미분 층 대수(DGA) 구조를 제공한다.
  • $P(E)$의 경우, 코호몰로지 대수는 Chern class로부터 유도된 특정 다항식들에 의해 생성되는 이데알 $I$를 갖는 $\Lambda(x_2, y_2)/I$로 식별된다.
  • 항상식의 경우, 최소 모델은 차수가 2, 2, $2n-1$, $2n+1$인 생성자들로 축소되며, 미분은 차수가 2인 생성자들을 포함하는 특정 다항식 합으로 정의된다.
• Formality: 저자들은 $P(E)$의 Sullivan 모델이 pure하고 symplectic하기 때문에 $P(E)$는 formal하다고 언급한다. 이는 formal한 기저를 갖는 사영화 번들에 관한 기존의 일반적인 결과들과 일치한다.

의의 및 주장
본 논문은 $\mathbb{C}P^n$ 위의 $P(E)$에 대한 구체적인 유리 호모토피 유형에 관한 포괄적인 지식의 부재를 해결한다고 주장한다. $P(E)$를 항상식 $U(n+1)/U(1)^2 \times U(n-1)$과 명시적으로 동일시함으로써, 저자들은 이 번들의 유리 호모토피 구조에 대한 구체적인 기하학적 특징을 제공한다. 이 연구는 Sullivan 모델과 formal 공간의 성질에 기초한 도구들을 활용하며, 벡터 번들 사영화의 구체적이고 비자명한 사례에 이러한 도구들을 적용하여 확장시킨 것이다. 본 연구는 제1 저자의 박사 학위 논문의 일부로 제시되었으며, 복소 사영 공간 위의 파이버 번들의 위상론에 대한 폭넓은 이해에 기여한다.