[논문 리뷰] Cohomology with local coefficients of solvmanifolds and Morse-Novikov theory

Dmitri V. Millionschikov|ArXiv.org|2002. 03. 07.

Algebraic structures and combinatorial models참고 문헌 5인용 수 4

한 줄 요약

이 논문은 $ G $ 가 완전 가해 리 군인 컴팩트 가해다양체 $ G/\Gamma $ 의 국소 계수를 가진 코homology $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 가 완전 가해 리 대수 $ \mathfrak{g} $ 의 리 대수 코homology $ H^*_{\lambda\omega}(\mathfrak{g}) $ 와 동형임을 증명하며, 이 코homology 가 자명하지 않다 하는 것은 $ -\lambda[\omega] $ 가 유한하고 명시적으로 정의된 부분집합 $ \tilde{\Omega}_{\mathfrak{g}} \subset H^1(G/\Gamma, \mathbb{C}) $ 에 속할 때에만 성립한다. 이 결과는 가해다양체로의 모어-노비코프 이론의 확장이며, 리 대수의 구조에 기반하여 자명하지 않은 코homology 의 완전한 특성화를 제공한다.

ABSTRACT

We study the cohomology $H^*_{λω}(G/Γ, {\mathbb C})$ of the deRham complex $Λ^*(G/Γ)\otimes{\mathbb C}$ of a compact solvmanifold $G/Γ$ with a deformed differential $d_{λω}=d + λω$, where $ω$ is a closed 1-form. This cohomology naturally arises in the Morse-Novikov theory. We show that for a solvable Lie group $G$ with a completely solvable Lie algebra $\mathfrak{g}$ and a cocompact lattice $Γ\subset G$ the cohomology $H^*_{λω}(G/Γ, {\mathbb C})$ coincides with the cohomology $H^*_{λω}(\mathfrak{g})$ of the Lie algebra $\mathfrak{g}$ associated with the one-dimensional representation $ρ_{λω}: \mathfrak{g} o {\mathbb K}, ρ_{λω}(ξ) = λω(ξ)$. Moreover $H^*_{λω}(G/Γ, {\mathbb C})$ is non-trivial if and only if $-λ[ω]$ belongs to the finite subset $\{0\} \cup ilde Ω_{\mathfrak{g}}$ in $H^1(G/Γ, {\mathbb C})$ well defined in terms of $\mathfrak{g}$.

연구 동기 및 목표

• 완전 가해 리 군에 대해 $ d + \lambda\omega $ 의 변형된 드 라함 미분을 고려한 국소 계수를 가진 코homology 를 분석하여 모어-노비코프 이론을 컴팩트 가해다양체로 확장하는 것.
• 가해다양체 $ G/\Gamma $ 에서 $ G $ 가 완전 가해일 때 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 가 자명하지 않은지 여부를 결정하는 것.
• 리 대수 $ \mathfrak{g} $ 를 통해 기술되는 유한 집합 $ \tilde{\Omega}_{\mathfrak{g}} \subset H^1(G/\Gamma, \mathbb{C}) $ 를 특성화하여, 자명하지 않은 코homology 가 정확히 $ -\lambda[\omega] \in \{0\} \cup \tilde{\Omega}_{\mathfrak{g}} $ 일 때 발생함을 보장하는 것.
• 이전에 nilmanifold 에서의 결과—즉, $ \lambda\omega \neq 0 $ 일 때 이러한 코homology 가 항상 자명하다—를 더 넓은 범위의 가해다양체로 일반화하는 것.

제안 방법

• 하토리의 정리를 사용하여 $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 와 $ H^*_{\lambda\omega}(\mathfrak{g}) $ — 즉, 한 차원 표현 $ \rho_{\lambda\omega}(\xi) = \lambda\omega(\xi) $ 에 대한 리 대수 코homology — 사이의 동형을 확립하는 것.
• 특정 미분 규칙을 가진 최소 모델 $ (\Lambda^*(\omega_1, \dots, \omega_n), d) $ 를 사용하여 $ H^*_{\lambda\omega}(\mathfrak{g}) $ 로 수렴하는 스펙트럴 시퀀스 $ E_r $ 을 구성하는 것.
• 리 대수 $ \mathfrak{g} $ 의 $ [\mathfrak{g}, \mathfrak{g}] $ 에 제한된 고유표현의 고유치수 $ \alpha_{k+1}, \dots, \alpha_n $ 를 통해 $ H^1(\mathfrak{g}) $ 에 포함된 유한 집합 $ \Omega_{\mathfrak{g}} \subset H^1(\mathfrak{g}) $ 를 정의하는 것.
• 완전 가해 경우에 다양체와 리 대수 코homology 사이의 동형을 보장하기 위해 모스토의 정리에 기반한 $ \Gamma $-적합 표현을 적용하는 것.
• $ \omega $ 가 $ G $ 상에서 왼쪽으로 불변인 1-형식으로 올릴 수 있음을 이용하여, 적분을 통한 경로에 따라 표현 $ \rho_{\lambda\omega} $ 가 정의될 수 있음을 보이는 것.
• 만약 $ -\lambda\omega \notin \Omega_{\mathfrak{g}} $ 라면 스펙트럴 시퀀스 $ E_r $ 이 $ E_1 $ 에서 분해됨을 보여, 이 경우 자명한 코homology 를 유도하는 것.

실험 결과

연구 질문

• RQ1 어떤 $ \lambda $ 와 닫힌 1-형식 $ \omega $ 에 대해 컴팩트 가해다양체 $ G/\Gamma $ 에서의 코homology $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 가 자명하지 않은가?
• RQ2 만약 $ G $ 가 완전 가해일 경우, 다양체 코homology $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 와 리 대수 코homology $ H^*_{\lambda\omega}(\mathfrak{g}) $ 는 어떻게 관련되어 있는가?
• RQ3 정확한 유한 부분집합 $ \tilde{\Omega}_{\mathfrak{g}} \subset H^1(G/\Gamma, \mathbb{C}) $ 는 리 대수 $ \mathfrak{g} $ 를 통해 어떻게 기술되며, 자명하지 않은 코homology 가 정확히 $ -\lambda[\omega] \in \{0\} \cup \tilde{\Omega}_{\mathfrak{g}} $ 일 때 발생하는가?
• RQ4 알라니의 nilmanifold 에 대한 자취 정리가 가해다양체로 일반화되는가? 만약 그렇다면, 자명하지 않은 코homology 가 어떤 조건에서 발생하는가?
• RQ5 리 대수 $ \mathfrak{g} $ 의 최소 모델과 관련된 스펙트럴 시퀀스 $ E_r $ 은 $ H^*_{\lambda\omega}(\mathfrak{g}) $ 를 계산하는 데 사용될 수 있으며, 언제 $ E_1 $ 에서 분해되는가?

주요 결과

• 컴팩트 가해다양체 $ G/\Gamma $ 에서 $ G $ 가 완전 가해일 경우, $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 는 하토리의 정리를 통해 리 대수 코homology $ H^*_{\lambda\omega}(\mathfrak{g}) $ 와 동형임을 증명하였다.
• 자명하지 않은 코homology $ H^*_{\lambda\omega}(G/\Gamma, \mathbb{C}) $ 는 $ -\lambda[\omega] \in \{0\} \cup \tilde{\Omega}_{\mathfrak{g}} $ 일 때에만 발생하며, 여기서 $ \tilde{\Omega}_{\mathfrak{g}} \subset H^1(G/\Gamma, \mathbb{C}) $ 는 $ [\mathfrak{g}, \mathfrak{g}] $ 에 제한된 고유표현의 고유치수에 의해 정의된 유한 부분집합이다.
• 리 대수 $ \mathfrak{g}_0 $ 이 $ [e_1,e_2] = e_2, [e_1,e_3] = -e_3 $ 로 정의된 3차원 가해다양체에서, $ H^*_{\lambda\omega}(G_0/\Gamma, \mathbb{C}) $ 는 $ \lambda\omega = 0, \pm \omega_1 $ 일 때에만 자명하지 않으며, 이 경우 베티 수는 $ b^1 = b^2 = 1 $ 이고 $ b^0 = b^3 = 0 $ 이다.
• 수렴하는 스펙트럴 시퀀스 $ E_r $ 이 $ H^*_{\lambda\omega}(\mathfrak{g}) $ 에 대해 $ -\lambda\omega \notin \Omega_{\mathfrak{g}} $ 이면 $ E_1 $ 에서 분해되며, 이는 해당 영역에서 자명한 코homology 를 의미한다.
• 이 결과는 알라니의 nilmanifold 에 대한 자취 정리를 일반화한다: nilmanifold 에서는 $ \lambda\omega \neq 0 $ 이면 항상 $ H^*_{\lambda\omega}(M_n, \mathbb{C}) = 0 $ 이며, 이는 이제 더 넓은 가해다양체 결과의 특수한 경우로 간주된다.
• 유한 집합 $ \tilde{\Omega}_{\mathfrak{g}} $ 는 리 대수 $ \mathfrak{g} $ 의 구조 상수, 특히 미분식 $ d\omega_j = \alpha_j \wedge \omega_j + P_j(\omega_1, \dots, \omega_{j-1}) $ 에서의 형식 $ \alpha_j $ 를 통해 명시적으로 결정되며, $ \lambda $ 에 독립적이다.