[논문 리뷰] Higher analytic torsion of sphere bundles and continuous cohomology of $Diff(S^{2n-1})$

Ulrich Bunke|ArXiv.org|1998. 02. 20.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 5

한 줄 요약

이 논문은 Bismut-Lott의 토르션 형식을 사용하여 매끄러운 구체(bundle)에 대해 고차 분석 토르션 계급을 구성하고, 이를 통해 홀수 차원의 구체의 미분동형사상군인 $\mathrm{Diff}(S^{2n-1})$에 대해 비자명한 연속적 군 코hom로지 계급을 정의한다. 주요 결과는 복소 벡터 번들의 유래한 구체 번들의 경우 이러한 계급을 명시적으로 계산한 것으로, 연속 코호몰로지에 새로운 불변량을 드러낸다.

ABSTRACT

Using the higher analytic torsion form of Bismut and Lott we construct a characteristic class for smooth sphere bundles. We calculate this class in the case where the sphere bundle comes from a complex vector bundle. Related to these characteristic classes we define nontrivial continuous group cohomology classes of the diffeomorphism group of odd dimensional spheres.

연구 동기 및 목표

• 매끄러운 구체 번들을 위한 특징 계급을 고차 분석 토르션 형식을 사용하여 정의하기.
• 기하학적 불변량을 통한 미분동형사상군 $\mathrm{Diff}(S^{2n-1})$의 연속 코호몰로지 탐구하기.
• 구체 번들이 복소 벡터 번들의 유래인 경우 이러한 특징 계급을 명시적으로 계산하기.
• 결과로 얻어진 코호몰로지 계급이 연속 군 코호몰로지에서 비자명함을 입증하기.
• 분석적 토르션 불변량과 홀수 차원의 구체의 미분동형사상군의 위상적 불변량 간의 연결 고리 설정하기.

제안 방법

• Bismut와 Lott가 도입한 고차 분석 토르션 형식을 사용하여 매끄러운 구체 번들에 대한 특징 계급을 구성한다.
• 복소 벡터 번들의 구체 번들로 유도된 구체 번들을 토르션 형식에 적용한다.
• de Rham 코호몰로지에 속하는 특징 계급을 구성하고, 이 계급이 $\mathrm{Diff}(S^{2n-1})$의 연속 군 코호몰로지로 올라가는 것을 보장한다.
• 접속과 곡률의 관계를 특징 계급과 연결하는 데에 체르니-웨일 이론 프레임워크를 활용한다.
• 전체 공간 위의 프레임 번들과 접속 데이터의 구조를 이용하여 토르션 형식을 계산한다.
• 결과 계급이 미분동형사상군의 불변량으로 해석될 수 있도록 연속 군 코호몰로지 이론에 의존한다.

실험 결과

연구 질문

• RQ1 고차 분석 토르션은 매끄러운 구체 번들에 대한 특징 계급을 정의하는 데 사용될 수 있는가?
• RQ2 이 계급들은 $\mathrm{Diff}(S^{2n-1})$의 연속 코호몰로지에서 비자명한 불변량을 제공하는가?
• RQ3 구체 번들이 복소 벡터 번들의 유래인 경우 고차 분석 토르션 계급의 명시적 형태는 무엇인가?
• RQ4 이 계급들은 미분기하학의 기존 특징 계급과 어떻게 관련이 있는가?
• RQ5 결과로 얻어진 코호몰로지 계급은 자연스러운 기하학적 구성에서 안정적이거나 탐지 가능한가?

주요 결과

• 고차 분석 토르션 형식은 매끄러운 구체 번들에 대해 de Rham 코호몰로지에 잘 정의된 특징 계급을 유도한다.
• 이 특징 계급은 $\mathrm{Diff}(S^{2n-1})$의 비자명한 연속 군 코호몰로지 계급으로 올라간다.
• 복소 벡터 번들의 유래인 구체 번들에 대해서는 토르션 계급이 명시적으로 계산 가능하고, 비영이 된다.
• 이 구성은 $\mathrm{Diff}(S^{2n-1})$의 차수 $2n-1$에서 비자명한 연속 코호몰로지 계급의 기하학적 실현을 제공한다.
• 결과는 분석적 토르션 불변량과 홀수 차원의 구체의 미분동형사상군의 연속 코호몰로지 간의 연결 고리를 확립한다.
• 이 방법은 고차 분석 토르션이 고전적 특징 계급을 초월한 위상적 불변량을 탐지할 수 있음을 보여준다.