[논문 리뷰] de Rham and Dolbeault Cohomology of solvmanifolds with local systems

Hisashi Kasuya|arXiv (Cornell University)|2012. 07. 17.

Geometry and complex manifolds참고 문헌 12인용 수 5

한 줄 요약

이 논문은 단순히 닐만골의 de Rham 코homology와 국소계를 갖는 솔브만골 사이의 일반화된 이somorphism을 증명한다. 이는 솔브군의 특성에 의해 휘어진 Lie 대수 코homology 군들의 직접 합으로 표현되며, 근본적으로 닐레디칼에서 0이 되는 특성과 관련된 평탄한 선다발을 활용하여, 표준적인 이omorphism이 실패할 경우에도 여전히 유한차원 복합체를 통해 코homology를 계산할 수 있도록 한다. 이는 고전적인 닐만골 결과를 솔브만골로 확장하여 de Rham 및 Dolbeault 코homology에 대해 적용한다.

ABSTRACT

Let $G$ be a simply connected solvable Lie group with a lattice $Γ$ and the Lie algebra $\g$ and a representation $ρ:G o GL(V_ρ)$ whose restriction on the nilradical is unipotent. Consider the flat bundle $E_ρ$ given by $ρ$. By using "many" characters $\{α\}$ of $G$ and "many" flat line bundles $\{E_α\}$ over $G/Γ$, we show that an isomorphism \[\bigoplus_{\{α\}} H^{\ast}(\g, V_α\otimes V_ρ)\cong \bigoplus_{\{E_α\}} H^{\ast}(G/Γ, E_α\otimes E_ρ)\] holds. This isomorphism is a generalization of the well-known fact:"If $G$ is nilpotent and $ρ$ is unipotent then, the isomorphism $H^{\ast}(\g, V_ρ)\cong H^{\ast}(G/Γ, E_ρ)$ holds". By this result, we construct an explicit finite dimensional cochain complex which compute the cohomology $H^{\ast}(G/Γ, E_ρ)$ of solvmanifolds even if the isomorphism $H^{\ast}(\g, V_ρ)\cong H^{\ast}(G/Γ, E_ρ)$ does not hold. For Dolbeault cohomology of complex parallelizable solvmanifolds, we also prove an analogue of the above isomorphism result which is a generalization of computations of Dolbeault cohomology of complex parallelizable nilmanifolds. By this isomorphism, we construct an explicit finite dimensional cochain complex which compute the Dolbeault cohomology of complex parallelizable solvmanifolds.

연구 동기 및 목표

• 널만골에서 성립하는 고전적 이omorphism $ H^*(\frak{g}, V_\rho) \cong H^*(G/\Gamma, E_\rho) $ 가 일반적으로 실패하는 솔브만골로 확장하는 것.
• 표준적인 Lie 대수 코homology 이omorphism이 성립하지 않을 경우에도 솔브만골의 국소계를 갖는 de Rham 코homology를 계산할 수 있는 명시적인 유한차원 코chains 복합체를 구성하는 것.
• 복소 평행가능한 닐만골의 Dolbeault 코homology 계산을 특성 기반의 이omorphism을 활용하여 복소 평행가능한 솔브만골로 일반화하는 것.
• G/\Gamma 위의 특성과 평탄한 선다발의 구조를 활용하여 솔브만골의 코homology를 체계적으로 계산하는 방법을 제공하는 것.

제안 방법

• G에서 N(널레디칼)에 대해 0이 되는 특성 $ \alpha: G \to \mathbb{C}^* $ 의 집합 $ \mathcal{A}_{(G,N)} $ 을 도입하여, $ G/\Gamma $ 위의 평탄한 선다발 $ E_\alpha $ 를 유도한다.
• 직접 합 $ \bigoplels_{\alpha \in \mathcal{A}_{(G,N)}} \bigwedge \frak{g}^* \otimes V_\alpha \otimes V_\rho $ 의 Lie 대수 코chains 복합체를 구성하며, 이는 $ G/\Gamma $ 위의 $ E_\alpha \otimes E_\rho $ 계수 코homology 를 계산하는 데 쓰인다.
• 왼쪽-불변 형식의 표준적 포함관계를 통해 de Rham 복합체로의 사상이 존재하며, 이로부터 코homology 이omorphism $ \bigoplus_{\alpha} H^*(\frak{g}, V_\alpha \otimes V_\rho) \cong \bigoplus_{E_\alpha} H^*(G/\Gamma, E_\alpha \otimes E_\rho) $ 이 유도된다.
• 동일한 프레임워크를 Dolbeault 코homology에 적용하기 위해 헬로모르픽 특성과 반-해석적 표현을 고려하며, $ \bigwedge \mathbb{C}^{\dim G} \otimes H^*(\frak{g}, V_\sigma) \cong H^{*,*}_{\bar{\partial}}(G/\Gamma, L_{\bar{\sigma}}) $ 형태의 이omorphism을 도출한다.
• 복소 구조 $ C $ 의 작용을 이용해 복합체 $ (\bigoplus_{\alpha} \bigwedge \frak{g}^* \otimes V_\alpha \otimes V_\rho)^{\Phi(C)} $ 를 정의하며, 이는 유한차원 부분복합체를 통해 코homology 를 계산한다.
• 특정 예시(예: $ \mathbb{C} \ltimes_{\phi} \mathbb{C}^2 $) 를 분석하여, $ \dim H^1(G/\Gamma, E_{\rm Ad}) $ 가 격자 선택에 따라 달라지며, $ b,d \in \pi\mathbb{Z} $ 일 경우 6이 되고, 그렇지 않으면 2가 된다.

실험 결과

연구 질문

• RQ1 널만골에서 성립하는 고전적 이omorphism $ H^*(\frak{g}, V_\rho) \cong H^*(G/\Gamma, E_\rho) $ 는 일반적으로 실패하는 솔브만골로 일반화될 수 있는가?
• RQ2 표준적인 Lie 대수 코homology 이omorphism이 성립하지 않을 경우에도 솔브만골의 국소계를 갖는 de Rham 코homology 를 계산할 수 있는 유한차원 복합체가 존재하는가?
• RQ3 특성과 평탄한 선다발을 사용하여, 복소 평행가능한 솔브만골의 Dolbeault 코homology 는 니르만의 경우를 일반화하여 계산할 수 있는가?
• RQ4 특히 비-토랄 케이스에서, 국소계를 갖는 솔브만골의 코homology 는 격자 선택에 따라 어떻게 달라지는가?
• RQ5 Dolbeault 코homology 가 $ \bigwedge \mathbb{C}^{\dim G} \otimes H^*(\frak{g}) $ 와 이omorphism이 되도록 하는 격자 조건은 무엇인가?

주요 결과

• 특성 집합 $ \mathcal{A}_{(G,N)} $ 에 대해 $ \bigoplus_{\alpha \in \mathcal{A}_{(G,N)}} H^*(\frak{g}, V_\alpha \otimes V_\rho) \cong \bigoplus_{E_\alpha \in \mathcal{A}_{(G,N)}(\Gamma)} H^*(G/\Gamma, E_\alpha \otimes E_\rho) $ 의 이omorphism 이 솔브만골에서 성립하며, 이는 $ \rho|_N $ 이 유니포텐트일 경우에 한해 성립한다.
• 이 이omorphism 은 $ H^*(\frak{g}, V_\rho) \cong H^*(G/\Gamma, E_\rho) $ 가 실패할 경우에도 $ H^*(G/\Gamma, E_\rho) $ 를 계산할 수 있는 유한차원 코chains 복합체를 제공한다.
• 복소 평행가능한 솔브만골의 Dolbeault 코homology 에 대해서는 유사한 조건 하에 $ \bigwedge \mathbb{C}^{\dim G} \otimes H^*(\frak{g}, V_\sigma) \cong H^{*,*}_{\bar{\partial}}(G/\Gamma, L_{\bar{\sigma}}) $ 의 이omorphism 이 성립한다.
• G = \mathbb{C} \ltimes_{\phi} \mathbb{C}^2 의 예시에서, $ b,d \in \pi\mathbb{Z} $ 일 경우 $ \dim H^1(G/\Gamma, E_{\rm Ad}) = 6 $ 이지만, 그렇지 않으면 2가 된다.
• Dolbeault 코homology $ H^{*,*}_{\bar{\partial}}(G/\Gamma) $ 는 $ b \not\in \pi\mathbb{Z} $ 또는 $ d \not\in \pi\mathbb{Z} $ 일 경우 $ \bigwedge \mathbb{C}^3 \otimes H^*(\frak{g}) $ 와 이omorphism이 되며, $ b,d \in \pi\mathbb{Z} $ 일 경우 $ \bigwedge \mathbb{C}^3 \otimes \bigwedge \mathbb{C}^3 $ 와 이omorphism이 된다.