[논문 리뷰] Morse theory and higher torsion invariants I

Sebastian Goette|ArXiv.org|2001. 11. 20.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 섬유 위의 모어 함수와 평탄한 벡터 번들의 관련된 가족의 톰-스멀의 복합체를 통해 구성된 고차 토르션 불변량과 비즈무-로트의 고차 해석적 토르션 사이의 비교를 수립한다. 추가 조건이 만족될 경우, 이 토르션은 이구사의 고차 프라즈-라이드마이스터 토르션과 관련되며, 미분구조가 동일한 섬유를 가진 무한한 수의 매끄러운 번들들이 위상적으로 동일하지만 미분구조적으로는 동일하지 않은 것을 감지할 수 있다.

ABSTRACT

We compare the higher analytic torsion of Bismut and Lott of a fibre bundle p: M -> B equipped with a flat vector bundle F -> M and a fibre-wise Morse function h on M with a higher torsion T that is constructed in terms of a families Thom-Smale complex associated to h and F, thereby extending previous joint work with Bismut. Under additional conditions on F, the torsion T is related to Igusa's higher Franz-Reidemeister torsion. As an application, we use the higher analytic torsion to detect infinite families of smooth bundles p_i: M -> B with diffeomorphic fibres that are homeomorphic but not diffeomorphic as bundles.

연구 동기 및 목표

• 비즈무와 락스의 고차 해석적 토르션을 가족의 톰-스멀 복합체로부터 유도된 토르션 불변량과 비교하기 위해.
• 비즈무와의 이전 공동 연구를 확장하기 위해 섬유 위의 모어 함수와 평탄한 벡터 번들을 포함하기 위해.
• 평탄한 번들에 대한 추가 조건 하에서 구성된 토르션을 이구사의 고차 프라즈-라이드마이스터 토르션과 연결하기 위해.
• 해석적 토르션을 사용하여 동일한 섬유를 가진 무한한 수의 매끄러운 번들에서, 섬유는 미분구조가 같지만 번들은 서로 미분구조가 다른 경우를 감지하기 위해.

제안 방법

• 섬유 번들 위의 섬유 위의 모어 함수와 평탄한 벡터 번들을 이용해 가족의 톰-스멀 복합체를 구성하기 위해.
• 톰-스멀 복합체의 코homology를 이용해 고차 토르션 불변량 T를 정의하기 위해.
• 라플라스 연산자의 점근적 분석을 통해 비즈무와 락스의 고차 해석적 토르션 $\mathcal{T}$ 와 T를 비교하기 위해.
• 큰 매개수의 극한에서 해석적 토르션과 위상적 토르션을 연결하기 위해 위튼 변형 기법을 사용하기 위해.
• 체거-밀러 정리를 이용해 평탄한 번들 맥락에서 해석적 토르션과 라이드마이스터 토르션 사이의 관계를 설정하기 위해.
• 화이트헤드 공간과 토르션 불변량을 활용하여 섬유 번들의 가족에서 비자명한 매끄러운 구조를 감지하기 위해.

실험 결과

연구 질문

• RQ1 비즈무와 락스의 고차 해석적 토르션은 가족의 톰-스멀 복합체로부터 유도된 토르션 불변량과 어떻게 관련이 있는가?
• RQ2 구성된 토르션 T가 이구사의 고차 프라즈-라이드마이스터 토르션과 일치하는 조건은 무엇인가?
• RQ3 해석적 토르션은 동일한 섬유를 가진 섬유 번들의 가족에서 매끄러운 구조를 감지할 수 있는가?
• RQ4 섬유 위의 모어 함수는 해석적 토르션과 위상적 토르션 불변량을 연결하는 데 어떤 역할을 하는가?
• RQ5 위튼 변형과 체거-밀러 정리는 해석적 토르션과 고차 토르션 간의 비교를 어떻게 지원하는가?

주요 결과

• 고차 해석적 토르션 $\mathcal{T}$ 는 섬유 위의 모어 함수와 평탄한 벡터 번들과 관련된 가족의 톰-스멀 복합체로부터 구성된 토르션 불변량 $T$ 와 비교된다.
• 평탄한 번들 $F$ 에 대한 추가 조건 하에서, 토르션 $T$ 가 이구사의 고차 프라즈-라이드마이스터 토르션과 관련이 있음이 입증된다.
• 이 비교를 통해 동일한 섬유를 가진 무한한 수의 매끄러운 섬유 번들에서, 섬유는 위상적으로 동일하지만 번들은 서로 미분구조가 다른 경우를 감지할 수 있다.
• 이 방법은 라플라스 연산자의 점근적 분석과 위튼 변형을 통해 해석적 토르션과 위상적 토르션 불변량을 연결하는 데 의존한다.
• 이전 비즈무와의 공동 연구를 확장하여, 모어 이론적 구조를 해석적 토르션 프레임워크에 통합하였다.
• 이 프레임워크는 고차 토르션 불변량을 사용하여 섬유 번들의 가족에서 매끄러운 구조를 구별하는 데 새로운 도구를 제공한다.