[논문 리뷰] Circle valued Morse theory and Novikov homology

Andrew Ranicki|ArXiv.org|2001. 11. 30.

Topological and Geometric Data Analysis참고 문헌 20인용 수 7

한 줄 요약

이 논문은 노비코프 복합체와 노비코프 호몰로지의 이용으로 원주로 가는 모어스 이론에 대한 대수적 모델을 개발한다. 이는 실수 값을 갖는 모어스 이론을 $ f: M \to S^1 $ 로 일반화한다. 무한 순환 쌍대 덮개의 기본 도메인으로부터 노비코프 환 $ \mathbb{Z}((z)) $ 위의 체인 복합체를 구성하며, 이 복합체의 호몰로지가 노비코프 호몰로지를 계산하고, 세이페르트 행렬 일반화를 통해 앨리오크산 다항식과 관련지운다.

ABSTRACT

An introduction to circle valued Morse theory and Novikov homology, from an algebraic point of view.

연구 동기 및 목표

• 실수 값을 갖는 모어스 이론을 원주로 가는 함수 $ f: M \to S^1 $ 로 일반화하여 고전적 모어스-스멀 복합체를 노비코프 설정으로 확장한다.
• 무한 순환 덮개 $ \overline{M} $ 의 기본 도메인을 사용하여 노비코프 복합체 $ C^{Nov}(f) $ 의 대수적 체인 복합체 모델을 $ \mathbb{Z}((z)) $ 위에 구축한다.
• 세이페르트 행렬 일반화를 포함하는 체인 동치를 통해 노비코프 호몰로지 $ H^{Nov}_*(M,f) $ 와 기본 도메인 $ M_N $ 의 호몰로지를 연결한다.
• 특히 $ \pi_1(M) = \mathbb{Z} $ 인 링크 보완체에 대해 노비코프 베텨리 수와 토르션을 앨리오크산 다항식 $ \Delta_i(z) $ 로 표현한다.
• 비가환 Cohn 국소화를 이용하여 노비코프 복합체의 미분의 대수적 구조를 개선한다.

제안 방법

• 무한 순환 덮개 $ \overline{M} = f^*\mathbb{R} $ 의 기울기 흐름선을 이용하여 노비코프 환 $ \mathbb{Z}((z)) $ 위의 노비코프 복합체 $ C^{Nov}(f) $ 를 정의한다.
• 세이페르트 표면 $ N $ 과 기본 도메인 $ M_N $ 의 축소된 체인 복합체 $ \dot{C}(N) $ 과 $ \dot{C}(M_N) $ 를 사용하여 대수적 모델을 구성하고, 포함 사상 $ G, H $ 를 고려한다.
• 체인 사상 $ e = (G - H)^{-1}G $ 를 정의하며, 이는 세이페르트 행렬의 일반화이다. 이를 이용해 $ \mathbb{Z}[z,z^{-1}] $-모듈로의 체인 복합체 $ C(e + z(1-e)) $ 를 구성한다.
• 미분 $ d_{\widehat{F}} = d_F + \sum_{j=1}^\infty z^j h_F (h_D)^{j-1} c $ 를 갖는 대수적 노비코프 복합체 $ \widehat{F} $ 를 구성한다. 여기서 $ h_D = 0 $, $ h_F = \begin{pmatrix} 1-e \\ 0 \end{pmatrix} $, $ c = \begin{pmatrix} 0 & 1 \end{pmatrix} $ 이다.
• 체인 복합체의 호몰로지가 노비코프 호몰로지와 동치임을 보이며, 즉 $ H_*(\widehat{F}) \cong H^{Nov}_*(M,f) $ 이고, 짧은 정확한 수열 $ 0 \to H_i(N)((z)) \xrightarrow{e+z(1-e)} H_i(N)((z)) \to H^{Nov}_i(M,f) \to 0 $ 이 성립함을 보인다.
• Cohn 국소화 $ \Sigma^{-1}A_\alpha[z,z^{-1}] $ 를 사용하여 미분 공식 $ d_{\widehat{F}} = d_F + z h_F (1 - z h_D)^{-1} c $ 를 개선함으로써 대수적 일致성을 확보한다.

실험 결과

연구 질문

• RQ1 무한 순환 덮개의 기본 도메인을 이용하여 원주로 가는 모어스 함수에 대한 노비코프 복합체를 어떻게 대수적으로 모델링할 수 있는가?
• RQ2 노비코프 호몰로지 $ H^{Nov}_*(M,f) $ 와 기본 도메인 $ M_N $ 의 호몰로지 사이의 정확한 관계는 무엇인가?
• RQ3 링크 보완체에 대해 노비코프 베텨리 수와 토르션 불변량이 앨리오크산 다항식 $ \Delta_i(z) $ 와 어떻게 관련되는가?
• RQ4 Cohn 국소화는 표준 노비코프 환을 초월하여 노비코프 복합체의 대수적 구조를 어떻게 개선하는가?
• RQ5 노비코프 호몰로지가 자명해지는 조건은 무엇이며, 이는 링크 보완체가 $ S^1 $ 로의 피브리레이션과 어떻게 관련되는가?

주요 결과

• 노비코프 호몰로지 $ H^{Nov}_*(M,f) $ 는 미분 $ d_{\widehat{F}} = \begin{pmatrix} d_{\dot{D}} & e + z(1-e) \\ 0 & -d_{\dot{D}} \end{pmatrix} $ 를 갖는 대수적 노비코프 복합체 $ \widehat{F} $ 의 호몰로지와 동형이며, $ H_*(\widehat{F}) \cong H^{Nov}_*(M,f) $ 이다.
• 짧은 정확한 수열 $ 0 \to H_i(N)((z)) \xrightarrow{e+z(1-e)} H_i(N)((z)) \to H^{Nov}_i(M,f) \to 0 $ 이 성립하여, 노비코프 호몰로지가 일반화된 세이페르트 행렬 $ e $ 로부터 계산 가능하다.
• 만일 $ n \geq 4 $ 이고 $ \pi_1(M) = \mathbb{Z} $ 이면, 링크 보완체가 $ S^1 $ 로 피브리레이션되는 것과 노비코프 베텨리 수와 토르션 $ b^{Nov}_*(M,f) = q^{Nov}_*(M,f) = 0 $ 이 되는 것이 동치이다. 즉, $ H^{Nov}_*(M,f) = 0 $ 이다.
• 앨리오크산 다항식 $ \Delta_i(z) = \det(e + z(1-e)) \in \mathbb{Z}[z,z^{-1}] $ 는 노비코프 베텨리 수와 토르션을 결정하며, $ \Delta_i(z) $ 가 상수항과 최고차항 계수가 $ \pm 1 $ 인 것과 $ H^{Nov}_*(M,f) = 0 $ 이 되는 것이 동치이다.
• 개선된 미분 $ d_{\widehat{F}} = d_F + z h_F (1 - z h_D)^{-1} c $ 는 Cohn 국소화 $ \Sigma^{-1}A_\alpha[z,z^{-1}] $ 내에서 잘 정의되어 있으며, 대수적 프레임워크를 향상시킨다.
• 공형 $ A $ 에 대해 $ \alpha = 1 $ 이면 자연스러운 사상 $ \Sigma^{-1}A_\alpha[z,z^{-1}] \to A_\alpha((z)) $ 는 단사적이지만, 일반적으로는 그렇지 않으며, 이는 비가환 설정에서 국소화의 필요성을 강조한다.