[논문 리뷰] Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup

Alessandro Berarducci|ArXiv.org|2007. 11. 15.

Advanced Topology and Set Theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 o-minimal 구조에서 정의 가능하게 컴팩트한 군 $G$의 무한소 부분군 $G^{00}$이 코homologically acyclic하다는 것을 증명한다. 즉, 양의 차수에서의 코homology가 0이 된다. 이는 $G$의 o-minimal 코hom로지와 관련된 실수 리 군 $G/G^{00}$의 단순 코hom로지 사이에 자연스러운 동형사상이 존재함을 의미하며, 이는 함자적 코homological 구조를 유지한다.

ABSTRACT

By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an expansion of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show that the infinitesimal subgroup is cohomologically acyclic. This implies that the functorial correspondence between definably compact groups and Lie groups preserves the cohomology.

연구 동기 및 목표

• Pillay가 제기한, 정의 가능하게 컴팩트한 군에서의 무한소 부분군의 코homological 행동에 관한 추측을 해결하기 위해.
• 무한소 부분군 $G^{00}$이 코homologically acyclic하다는 것을 보여주어, 정의 가능하게 컴팩트한 군과 실수 리 군 사이의 대응에서 코homology가 유지됨을 보장하기 위해.
• o-minimal 코호몰로지와 관련된 리 군 $G/G^{00}$의 단순 코호몰로지 사이에 자연스러운 동형사상을 수립함으로써, 모델이론적 코호몰로지와 위상수학적 코호몰로지를 연결하기 위해.
• 군의 확장과 이소지니를 이용한 감소 기법을 통해 아벨 군에서 비아벨 군으로의 acyclicity 결과를 확장하기 위해.

제안 방법

• Compact domination 추측과 [HP:07]의 최근 결과를 활용하여, 정의 가능하게 컴팩트한 군의 위상수학적 및 모델이론적 구조를 분석한다.
• 연속적인 닫힌 사상과 acyclic한 섬유를 갖는 경우, 그로 인해 정수 계수의 층에 대해 코호몰로지에서 동형사상을 유도하는 Vietoris-Begle 정리를 적용한다.
• 유형-정의 가능한 부분군과 몫 $G/G^{00}$ 위의 논리적 위상구조를 활용하여, $G$에 관련된 리 군에 자연스러운 위상적 구조를 정의함으로써 o-minimal 코호몰로지와의 호환성을 확보한다.
• 군의 확장과 이소지니를 이용하여 비아벨 케이스를 아벨 및 단순 케이스로 감소시키며, 이러한 구성에서 acyclicity가 유지됨을 이용한다.
• $G^{00} = \bigcap_{X \text{ generic}} XX^{-1}$의 특성화를 활용하여, 일반적인 집합과 그 이동에 기반해 무한소 부분군을 분석한다.
• 기본 확장과 포화를 활용하여, 포화되지 않은 모델에서의 코호몰로지를 포화된 모델로부터 전이함으로써, 코호몰로지 성질의 불변성을 확보한다.

실험 결과

연구 질문

• RQ1 o-minimal 구조에서 정의 가능하게 컴팩트한 군 $G$의 무한소 부분군 $G^{00}$은 코homologically acyclic한가?
• RQ2 자연스러운 사영 $ one: G \to G/G^{00}$은 $G$와 관련된 리 군 $G/G^{00}$ 사이의 코호몰로지에서 동형사상을 유도하는가?
• RQ3 군의 확장과 이소지니를 통해 아벨 및 단순 케이스로 감소시킴으로써, 비아벨 정의 가능하게 컴팩트한 군에 대해 $G^{00}$의 acyclicity를 확립할 수 있는가?
• RQ4 o-minimal 구조에서의 정의 가능하게 컴팩트한 군의 코호몰로지는 어느 정도까지 해당 실수 리 군의 코호몰로지와 동치인가?

주요 결과

• 모든 o-minimal 구조에서 정의 가능하게 컴팩트한 군 $G$의 무한소 부분군 $G^{00}$은 코homologically acyclic하다. 즉, 모든 $n \geq 1$에 대해 $H^n(G^{00}; \mathbb{Z}) = 0$이다.
• 자연스러운 사영 $ one: \widetilde{G} \to G/G^{00}$은 코호몰로지에서 동형사상을 유도한다: $\Psi^*: H^*(G/G^{00}) \cong H^*(\widetilde{G})$, 여기서 $\widetilde{G}$는 $G$의 유형 공간을 의미한다.
• $G$의 o-minimal 코호몰로지는 관련된 실수 리 군 $G/G^{00}$의 단순 코호몰로지와 동형이며, 이는 함자적 코호몰로지 동치를 수립한다.
• $G^{00}$의 acyclicity는 군의 확장과 이소지니를 통해 유지되며, 이는 아벨 및 단순 군에서의 결과를 귀납적 닫힘을 통해 모든 정의 가능하게 컴팩트한 군으로 확장할 수 있음을 보여준다.
• 이 결과는 [B:07]의 추측을 확인하며, o-minimal 모델 이론에서 정의 가능하게 컴팩트한 군과 실수 리 군 사이의 대응에 대해 코호몰로지적 근거를 제공한다.
• 증명은 $\Psi$에 대해 적용된 Vietoris-Begle 정리에 기반하며, 그 섬유는 $\widetilde{G^{00}}(M\langle g\rangle)$와 위상동형이며, $G^{00}$의 acyclicity로 인해 acyclic하다.