복소 차수 n 벡터 번들의 완전 열거

초록

본 논문은 복소 프로젝트 공간 ℂP^{n+1} 위에 차수 n 인 복소 위상 벡터 번들을 주어진 체르니 클래스에 따라 정확히 몇 개가 존재하는지를 규명한다. 슈바르첸베거 조건을 만족하면 번들의 개수는 1 또는 2이며, n과 첫 번째 체르니 클래스가 짝수일 때 두 번들 중 정확히 하나만이 ℂP^{n+2} 로 확장된다.

상세 분석

논문은 먼저 B U(n) 의 포스트니코프 타워를 차원 2n+2 까지 계산하고, 이를 통해 ℂP^{n+1} 의 (2n+2)‑skeletal 구조와 결합한다. 이 과정에서 π_{2n+1} 및 π_{2n+2} 의 동치류가 각각 ℤ/n! 와 ℤ/2 (또는 0)임을 이용해, 주어진 체르니 클래스 (a₁,…,a_n) 에 대해 가능한 번들의 수가 최대 두 개임을 보인다. 특히 n이 홀수이면 π_{2n+2}=0이므로 유일함을, n이 짝수이면 π_{2n+2}=ℤ/2가 작용해 두 개의 후보가 생긴다.

다음 단계에서는 B U → K(ℤ,2n+2) 의 (n+1)‑번째 체르니 클래스를 나타내는 맵 c_{n+1} 을 고려하고, 그 섬유 F 를 정의한다. F와 B U(n)  사이의 비교를 위해 Moore–Postnikov 타워를 사용한다. 여기서 핵심은 F의 2n+3‑차 절단이 B U(n)과 동형이라는 사실이며, 이는 정리 3.1 과 레마 3.4 를 통해 증명된다. 특히 p=2인 경우에는 Steenrod 연산 Sq²가 비자명하게 작용해 K(ℤ/2,2n+3) 에 대한 비자명한 코호몰로지 클래스를 생성한다. 이를 U라 두고, 그 섬유 G 를 취하면 G는 B U(n) 의 2n+2‑차 절단과 동형이 되며, ℂP^{n+1} 에서의 번들 문제를 G‑맵 문제로 전환한다.

G‑맵의 존재 여부는 (n+1)‑번째 체르니 클래스가 0인지에 달려 있음을 재확인하고, 같은 체르니 클래스를 갖는 두 번들 사이의 차이는 π_{2n+2} ≅ ℤ/2 의 작용으로 설명된다. 마지막으로, 두 번들 중 어느 하나가 ℂP^{n+2} 로 확장될 수 있는지를 판단하기 위해 차원 2n+3 에서의 장애 클래스를 분석한다. 이 장애는 정확히 짝수 n 와 짝수 a₁ 인 경우에만 비자명하게 나타나며, 따라서 두 번들 중 하나만이 확장 가능함을 보인다. 전체적으로 논문은 전통적인 동형론, 포스트니코프 타워, 그리고 Steenrod 연산을 결합해 복소 프로젝트 공간에서의 불안정 벡터 번들의 완전한 열거를 달성한다. 또한, 슈바르첸베거 조건 S_{n+1} 이 필요충분조건임을 부록에서 증명한다.