[논문 리뷰] Topological classification of generalized Bott towers

Suyoung Choi, Mikiya Masuda외 1명|arXiv (Cornell University)|2008. 07. 28.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 6

한 줄 요약

이 논문은 일반화된 Bott 타워—점 위의 복소 선다발의 유클리드 합의 반복적 프로젝티브화—가 정수 코homology 링이 그러한 곱과 동형이 되는 경우에만 복소 프로젝티브 공간의 곱과 diffeomorphic임을 증명한다. 핵심 결과는 일반화된 Bott 타워에 대해 코homological rigidity를 입증한다: 동형인 코homology 링은 diffeomorphism을 암시하며, 이는 토릭 다양체에 대한 더 넓은 코homological rigidity 문제를 뒷받침한다.

ABSTRACT

If $B$ is a toric manifold and $E$ is a Whitney sum of complex line bundles over $B$, then the projectivization $P(E)$ of $E$ is again a toric manifold. Starting with $B$ as a point and repeating this construction, we obtain a sequence of complex projective bundles which we call a generalized Bott tower. We prove that if the top manifold in the tower has the same cohomology ring as a product of complex projective spaces, then every fibration in the tower is trivial so that the top manifold is diffeomorphic to the product of complex projective spaces. This gives a supporting evidence to what we call cohomological rigidity problem for toric manifolds "Are toric manifolds diffeomorphic (or homeomorphic) if their cohomology rings are isomorphic?" We provide two more results which support the cohomological rigidity problem.

연구 동기 및 목표

• 코homology 링이 동형인 토릭 다양체가 diffeomorphic한지 조사함으로써, 토릭 다양체에 대한 코homological rigidity 문제를 다룸.
• 일반화된 Bott 타워의 코homology 링 구조가 그의 피브레이션들이 자명함을 강제하는지 판단함으로써, 복소 프로젝티브 공간의 곱과의 diffeomorphism을 암시함.
• 2단계 및 3단계 Bott 다양체에서 이를 증명함으로써 코homological rigidity 추측에 대한 지원 근거를 제공함.
• 특성 클래스—특히 Pontrjagin 및 Stiefel-Whitney 클래스—가 코homological 동형일 때도 diffeomorphism 유형을 구별하는 데서의 역할을 분석함.
• 코homology 링 동형이 특성 클래스를 유지하는 조건을 설정함으로써 diffeomorphism 분류를 가능하게 함.

제안 방법

• 점 위에서 복소 선다발의 유클리드 합의 반복적 프로젝티브화를 통해 일반화된 Bott 타워를 구성함.
• 일반화된 Bott 타워의 코homology 링은 아벨 군으로서 복소 프로젝티브 공간의 곱과 동형이지만, 반드시 그라디에이티드 링으로서 동형이 되는 것은 아님을 이용함.
• 만약 일반화된 Bott 타워의 코homology 링이 복소 프로젝티브 공간의 곱과 그라디에이티드 링으로서 동형이라면, 타워의 모든 피브레이션은 자명함을 증명함.
• 특정 렘마를 적용하여, 복소 프로젝티브 공간의 곱 위의 복소 선다발의 유클리드 합이 전체 채르닝 클래스가 자명할 경우에만 자명함을 보임.
• Pontrjagin 및 Stiefel-Whitney 클래스를 사용하여, 특히 3단계 Bott 다양체에서 diffeomorphism 유형을 구별함.
• 전체 스퀘어링 연산과 Wu 클래스를 사용하여, Z/2 계수를 가진 코homology 링 간의 링 동형이 특정 생성 조건 하에서 Stiefel-Whitney 클래스를 유지함을 보임.

실험 결과

연구 질문

• RQ1 일반화된 Bott 타워가 복소 프로젝티브 공간의 곱과 diffeomorphic이 되는 조건은 무엇인가요?
• RQ2 코homology 링이 그라디에이티드 링으로서 동형인가요? 일반화된 Bott 타워의 경우 diffeomorphism을 암시합니까?
• RQ3 토릭 다양체에 대한 코homological rigidity 문제는 2단계 및 3단계 Bott 다양체에서 확인될 수 있습니까?
• RQ4 Pontrjagin 및 Stiefel-Whitney 클래스와 같은 특성 클래스는 토릭 다양체의 diffeomorphism 유형을 어느 정도 결정합니까?
• RQ5 코homology 링 간의 링 동형이 Stiefel-Whitney 클래스와 같은 특성 클래스를 유지하는 조건은 언제인가요?

주요 결과

• 일반화된 Bott 타워 $B_m$의 코homology 링이 $\textstyle\bigtimes_{i=1}^m \bbC P^{n_i}$와 그라디에이티드 링으로서 동형인 경우, 타워의 모든 피브레이션은 자명하며, $B_m$은 $\textstyle\bigtimes_{i=1}^m \bbC P^{n_i}$와 diffeomorphic임을 증명함.
• 2단계 일반화된 Bott 다양체의 경우, diffeomorphism 유형은 코homology 링에 의해 완전히 결정됨: 그들의 코homology 링이 동형인 경우에만 diffeomorphic임.
• 3단계 다양체의 경우에도 동일함: diffeomorphism은 코homology 링 동형과 동치임.
• 복소 프로젝티브 공간의 곱 위의 복소 선다발 유클리드 합의 전체 채르닝 클래스가 자명한 것과 그 다발이 자명한 것은 동치이며, 이는 별도로도 관심 있는 결과임.
• 코homology 링이 하나의 차수에서 생성되는 경우, 임의의 링 동형이 Stiefel-Whitney 클래스를 유지함을 보이며, 이는 diffeomorphism 유형 분류에 도움이 됨.
• 만약 $H^*(B_3; \bbQ)$가 $H^*((\bbC P^1)^3; \bbQ)$와 동형이 아니면, Pontrjagin 클래스 $p_1$은 코homology 링 동형 하에서 유지되며, $p_1$이 일치할 경우 diffeomorphism이 보장됨.