[논문 리뷰] On the topology and analysis of a closed one form. I (Novikov's theory revisited)

Dan Burghelea, Stefan Haller|ArXiv.org|2001. 01. 05.

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

한 줄 요약

이 논문은 닫힌 다양체 위의 폐포 1형식에 대한 노비코프 이론을 재검토하며, 노비코프 복합체와 관련된 디리클레 급수의 수렴을 제어하는 새로운 수치 불변량 $\rho(\omega,g) \in [0,\infty]$를 도입한다. $\rho < \infty$일 때, 노비코프 복합체는 노비코프 링 $\Lambda_{[\omega]}$의 더 작은 부분환 $\Lambda'_{[\omega],\rho}$ 위의 코체인 복합체로부터 유도되며, $t \to \infty$일 때 디 레함 복합체 $d + t\omega$의 스펙트럴 기하학으로부터 전체 복합체를 복원할 수 있음을 보이며, 위튼의 모어스 이론적 접근을 모어스 1형식으로 확장한다.

ABSTRACT

We consider systems $(M,ω,g)$ with $M$ a closed smooth manifold, $ω$ a real valued closed one form and $g$ a Riemannian metric, so that $(ω,g)$ is a Morse-Smale pair, Definition~2. We introduce a numerical invariant $ρ(ω,g)\in[0,\infty]$ and improve Morse-Novikov theory by showing that the Novikov complex comes from a cochain complex of free modules over a subring $Λ'_{[ω],ρ}$ of the Novikov ring $Λ_{[ω]}$ which admits surjective ring homomorphisms $\ev_s:Λ'_{[ω],ρ} o\C$ for any complex number $s$ whose real part is larger than $ρ$. We extend Witten-Helffer-Sjöstrand results from a pair $(h,g)$ where $h$ is a Morse function to a pair $(ω,g)$ where $ω$ is a Morse one form. As a consequence we show that if $ρ

연구 동기 및 목표

• 노비코프 복합체의 수렴을 제어하는 새로운 불변량 $\rho(\omega,g)$를 도입하여 모어스-노비코프 이론을 정밀화하기.
• 노비코프 링 $\Lambda_{[\omega]}$의 더 작은 부분환 $\Lambda'_{[\omega],\rho}$ 위의 코체인 복합체로부터 노비코프 복합체가 유도됨을 보여주기.
• 디 레함 복합체 $d + t\omega$를 이용하여 위튼의 스펙트럴 접근법을 모어스 함수에서 모어스 1형식으로 확장하기.
• $\rho < \infty$일 때, 노비코프 복합체가 $(M,\omega,g)$의 스펙트럴 기하학으로부터 완전히 복원 가능함을 증명하기.
• $\operatorname{Re}(s) > \rho$인 $s \in \mathbb{C}$에 의해 매개화된 $\mathbb{C}$ 위의 유한차원 코체인 복합체의 가닥을 평가 사상 $\operatorname{ev}_s$를 통해 구축하기.

제안 방법

• 디리클레 급수 $\sum_{\hat{\alpha} \in \mathcal{P}(x,y)} I_q(x,y,\hat{\alpha}) e^{-a \cdot [\omega](\hat{\alpha})}$가 절대 수렴하는 $a \in \mathbb{R}_{\geq 0}$의 하한으로서 불변량 $\rho(\omega,g)$를 정의한다.
• 모든 $s \in \mathbb{C}$에 대해 $\operatorname{Re}(s) > \rho$에서 수렴하는 형식적 급수로 구성된 부분환 $\Lambda'_{[\omega],\rho} \subset \Lambda_{[\omega]}$를 정의하며, $\operatorname{ev}_s: \Lambda'_{[\omega],\rho} \to \mathbb{C}$의 평가 사상이 존재함을 보장한다.
• 각 $C^q$가 인덱스 $q$의 임계점을 생성하는 코체인 복합체 $(C^*, \partial^*_s)$의 가닥을 구성하며, $\partial^q_s(x,y) = I_{q+1,s}(x,y)$는 $I_{q+1}(x,y,\hat{\alpha})$로부터 유도된 디리클레 급수이다.
• 큰 $t$에 대해, $\Omega^*(M)$에 연산자 $d_t = d + t\omega \wedge \cdot$를 부여하여 $\Omega^*_{t,\text{sm}}(M)$과 $\Omega^*_{t,\text{la}}(M)$로의 스펙트럴 분해를 정의한다.
• 임계점에서 국소화된 형식 $\bar{\omega}_{y,t}$로 매핑하는 isometry $J^q_t: \operatorname{Maps}(\operatorname{Cr}_q(\omega), \mathbb{R}) \to \Omega^q_{t,\text{sm}}(M)$를 구성한다.
• 레마 7을 통해 균일한 $C^p$-추정을 확립한다: $\|Q^q_t J^q_t - J^q_t\|_{C^p} \leq C_4 e^{-C_5 t} \|f\|$로, 이는 점근적 직교성과 투영의 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 디 레함 복합체 $d + t\omega$의 스펙트럴 자료로부터 $t \to \infty$일 때 노비코프 복합체를 복원할 수 있는가?
• RQ2 노비코프 경계 사상들을 인코딩하는 디리클레 급수의 정확한 수렴 영역은 무엇인가?
• RQ3 노비코프 링의 더 작은 부분환 중에서 노비코프 복합체를 지지하고 $\mathbb{C}$로의 평가를 허용하는 것은 존재하는가?
• RQ4 디 레함 복합체 $d + t\omega$의 스펙트럴 기하학은 모어스 1형식의 임계점의 위상구조를 어떻게 반영하는가?
• RQ5 $\rho(\omega,g)$가 유한한 조건은 무엇이며, 그것이 무엇을 제어하는가?

주요 결과

• 불변량 $\rho(\omega,g)$는 디리클레 급수 $\sum_{\hat{\alpha} \in \mathcal{P}(x,y)} I_q(x,y,\hat{\alpha}) e^{-a \cdot [\omega](\hat{\alpha})}$가 절대 수렴하는 $a \in \mathbb{R}_{\geq 0}$의 하한으로 정의되며, $[0,\infty]$에 속한다.
• $\rho(\omega,g) < \infty$일 때, 노비코프 복합체는 노비코프 링 $\Lambda_{[\omega]}$의 부분환 $\Lambda'_{[\omega],\rho} \subset \Lambda_{[\omega]}$ 위의 코체인 복합체로부터 유도되며, 모든 $s \in \mathbb{C}$에 대해 $\operatorname{Re}(s) > \rho$이면 $\operatorname{ev}_s: \Lambda'_{[\omega],\rho} \to \mathbb{C}$의 상사상이 존재한다.
• 복합체 위의 경계 사상 $\partial^q_s$는 $\operatorname{Re}(s) > \rho$에서 해석적인 디리클레 급수 $I_{q+1,s}(x,y) = \sum_{\hat{\alpha} \in \mathcal{P}(x,y)} I_{q+1}(x,y,\hat{\alpha}) e^{-s \cdot [\omega](\hat{\alpha})}$로 주어진다.
• $t \geq T_0$일 때, 디 레함 복합체 $d_t = d + t\omega \wedge \cdot$는 $\Omega^*_{t,\text{sm}}(M)$과 $\Omega^*_{t,\text{la}}(M)$로의 정규 직교 부분복합체로 분해되며, $\dim \Omega^q_{t,\text{sm}}(M) = \# \operatorname{Cr}_q(\omega)$이다.
• 복합체 $\Omega^q_{t,\text{sm}}(M)$로의 투영 $Q^q_t$는 $\|Q^q_t J^q_t - J^q_t\|_{C^p} \leq C_4 e^{-C_5 t} \|f\|$를 만족하며, 이는 스펙트럴 투영이 임계점 형식으로 지수적으로 수렴함을 의미한다.
• Isometry $R^q_t: \operatorname{Maps}(\operatorname{Cr}_q(\omega), \mathbb{R}) \to \Omega^q_{t,\text{sm}}(M)$는 임계점 $y$의 불안정다양체 위에서 $\|E_{t,y} - \bar{\omega}_{y,t}\| \leq C/t$를 만족하며, $y$의 근방 외부에서는 $\|E_{t,y}\| \leq Ce^{-\epsilon t}$를 만족하여 점근적 국소화를 보장한다.