[논문 리뷰] On the de Rham cohomology of solvmanifolds

Sergio Console, Anna Fino|ArXiv.org|2009. 12. 10.

Geometry and complex manifolds참고 문헌 13인용 수 3

한 줄 요약

이 논문은 다운 과학자(D. Guan)의 컴팩트 솔브만포에 대한 de Rham 코homology 결과에 대한 새로운 증명을 제공한다. 이는 솔브만 리 대수군의 격자에 대한 D. 위트(D. Witte)의 초강성 정리들을 활용한다. 이 논문은 임의의 컴팩트 솔브만포 $G/\Gamma$에 대해, 유한지수 부분군 $\tilde{\Gamma}$와 미분형 솔브만포 $\tilde{G}/\tilde{\Gamma}$가 존재하여 모스토 조건을 만족함을 증명한다. 이는 원래의 $G$와 $\Gamma$가 조건을 만족하지 않더라도, de Rham 코homology를 리 대수 코homology를 통해 계산할 수 있도록 한다.

ABSTRACT

By using results by D. Witte on the superigidity of lattices in solvable Lie groups we get a different proof of a recent remarkable result obtained by D. Guan on the de Rham cohomology of a compact solvmanifold, i.e. of a quotient of a connected and simply connected solvable Lie group $G$ by a lattice $Γ$. This result can be applied to compute the Betti numbers of a compact solvmanifold $G/Γ$ even in the case that the solvable Lie group $G$ and the lattice $Γ$ do not satisfy the Mostow condition.

연구 동기 및 목표

• 초강성 정리를 활용하여 과학자 과학자(D. Guan)의 컴팩트 솔브만포에 대한 de Rham 코homology 결과에 대한 대체 증명을 제공한다.
• 유한지수 부분군 $\tilde{\Gamma}$와 미분형 솔브만포 $\tilde{G}/\tilde{\Gamma}$가 존재하여 모스토 조건을 만족함을 증명한다.
• 원래의 $G$와 $\Gamma$가 모스토 조건을 만족하지 않더라도, de Rham 코homology $H^{*}_{dR}(G/\Gamma)$를 리 대수 코호몰로지 $H^{*}(\mathfrak{g})$를 통해 계산할 수 있도록 한다.
• 특히 거의 아벨 리 대수군의 맥락에서, 코호몰로지 계산의 적용 범위를 비-모스토 경우로 확장한다.

제안 방법

• 솔브만 리 대수군의 격자에 대한 D. 위트의 초강성 결과를 활용하여 말체브 분해 구조를 정교화한다.
• 컴act 토러스 $T_{cpt}$와의 세미직접곱 $T_{cpt} \ltimes G$으로 구성된 새로운 단순연결 솔브만 리 대수군 $\tilde{G}$를 구성한다.
• $\mathcal{A}(Ad_{\tilde{G}}(\tilde{G})) = \mathcal{A}(Ad_{\tilde{G}}(\tilde{\Gamma}))$를 만족하는 유한지수 부분군 $\tilde{\Gamma} \subset \Gamma$를 식별한다.
• 보렐 조밀성 정리를 적용하여, $G$와 $\Gamma$의 수반 이미지의 대수적 폐쇄를 최대 컴팩트 토러스를 통해 연결한다.
• 모스토 조건이 성립할 경우 $H^{*}_{dR}(G/\tilde{\Gamma}) \cong H^{*}(\tilde{\mathfrak{g}})$임을 이용한다.
• $\Gamma/\tilde{\Gamma}$가 $H^{*}_{dR}(G/\tilde{\Gamma})$에 작용하는 유한군의 불변량을 통해 $H^{*}_{dR}(G/\Gamma)$를 유도한다.

실험 결과

연구 질문

• RQ1 원래의 $G$와 $\Gamma$가 모스토 조건을 만족하지 않을 경우, 컴팩트 솔브만포 $G/\Gamma$의 de Rham 코호몰로지를 어떻게 계산할 수 있는가?
• RQ2 모스토 조건이 $\tilde{G}$와 $\tilde{\Gamma}$에 대해 성립하는 유한 피복 $\tilde{G}/\tilde{\Gamma}$가 존재하는가?
• RQ3 위트의 초강성 정리를 활용하여 과학자 과학자(D. Guan)의 솔브만포 코호몰로지 결과에 대한 새로운 증명을 얻을 수 있는가?
• RQ4 수반 작용의 고유값에 대한 어떤 조건이 $\mathcal{A}(Ad_G(G)) \neq \mathcal{A}(Ad_G(\Gamma))$를 보장하는가?
• RQ5 모스토 조건이 실패할 경우, 솔브만포의 코호몰로지와 그 유한 피복의 코호몰로지 사이의 관계는 어떠한가?

주요 결과

• 임의의 컴팩트 솔브만포 $G/\Gamma$에 대해, 유한지수 부분군 $\tilde{\Gamma} \subset \Gamma$와 단순연결 솔브만 리 대수군 $\tilde{G}$가 존재하여 $\mathcal{A}(Ad_{\tilde{G}}(\tilde{G})) = \mathcal{A}(Ad_{\tilde{G}}(\tilde{\Gamma}))$를 만족한다.
• de Rham 코호몰로지 $H^{*}_{dR}(G/\Gamma)$는 유한군 $\Gamma/\tilde{\Gamma}$가 $H^{*}_{dR}(G/\tilde{\Gamma})$에 작용하는 불변량과 동형이다.
• 코호몰로지 $H^{*}_{dR}(G/\tilde{\Gamma})$는 리 대수 코호몰로지 $H^{*}(\tilde{\mathfrak{g}})$와 동형이므로, 명시적인 계산이 가능하다.
• 유도자 $Z$의 고유값 $\lambda_k$에 대해 $i\pi$가 이들의 유리선형조합이 아니면, 모스토 조건이 성립하고 $H^{*}_{dR}(G/\Gamma) \cong H^{*}(\mathfrak{g})$이다.
• 예를 들어, $\eta = \pi$인 초타원면의 경우, $H^{1}_{dR}(G/\Gamma) \cong \text{span}\langle e^3, e^4 \rangle$이며, 이는 모스토 조건의 실패에도 불구하고 $H^{1}(\mathfrak{g})$와 일치한다.
• 이 방법은 거의 아벨 리 대수군에 적용 가능하여, 첫 번째 베티 수 및 코호몰로지 계산에 대한 기존 결과를 확장한다.