[논문 리뷰] On central extensions and definably compact groups in o-minimal structures

Ehud Hrushovski, Ya’acov Peterzil외 1명|ArXiv.org|2008. 11. 01.

Advanced Topology and Set Theory참고 문헌 18인용 수 8

한 줄 요약

이 논문은 o-미니멀 구조에서 정의 가능하게 컴팩트한 군에 대한 기본 결과를 확립하며, 이들이 원소적으로 동치인 반대수학적 실 리 군들과 같으며, 거의 직접 곱으로서 단순형과 가환 군의 곱으로 분해된다는 것을 증명한다. 중심 및 유한 확장의 해석 가능성에 기반하여, 컴팩트 지배 추측을 확인하고, 정의 가능 실 리 군의 유니버설 코버가 o-미니멀 실수의 확장에서 해석 가능하다는 것을 보여준다.

ABSTRACT

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is elementarily equivalent to (G/G^00, .). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as the full compact domination conjecture. These results depend on key theorems about the interpretability of central and finite extensions of definable groups, in the o-minimal context. These methods and others also yield interpretability results for universal covers of arbitrary definable real Lie groups, from which we can deduce the semialgebraicity of finite covers of Lie groups such as SL(2,R).

연구 동기 및 목표

• 실 폐쇄체의 o-미니멀 확장에서 정의 가능하게 컴팩트한 군과 그들의 무한소 부분군 $G^{00}$ 으로의 몫 간의 원소적 동치성을 해결하기 위해.
• 정의 가능 군의 중심 및 유한 확장에 대한 해석 가능성 결과를 확립하여 구조적 분석을 가능하게 하기 위해.
• 기존에 해결된 단순형 및 가환 사례로의 환원을 통해 정의 가능하게 컴팩트한 군에 대한 전체 컴팩트 지배 추측을 증명하기 위해.
• 유니버설 코버의 커널이 주어진 경우, 정의 가능 실 리 군의 유니버설 코버가 $\mathbb{R}$ 의 o-미니멀 확장에서 해석 가능하다는 것을 보여주기 위해.
• 정의 가능하게 연결되지 않은 군의 경우 연결 부분과 유한 부분으로의 분해를 통해 원소적 동치 결과를 일반화하기 위해.

제안 방법

• o-미니멀 구조에서 중심 확장의 해석 가능성에 관한 핵심 기술적 결과(정리 2.1)를 증명하여, 적절한 조건 하에서 $\tilde{G}$ 가 $\langle G, Z(\tilde{G})\rangle$ 에 해석 가능하다는 것을 보이다.
• 해석 가능성 결과를 활용하여, 정의 가능하게 컴팩트하고 정의 가능하게 연결된 군이 반대수학적 실 리 군과 원소적으로 동치임을 유도한다.
• 기존에 해결된 단순형 및 가환 사례로의 환원을 통해 컴팩트 지배 추측을 적용한다.
• 기본 o-미니멀 구조와 코어의 커널을 포함하는 이종 구조에서 정의 가능 실 리 군의 유한 및 유니버설 코버의 해석 가능성 확립.
• 정의 가능 부분군을 갖는 아벨 구조에서의 양자자기 제거 성질을 활용하여 원소 부분구조와 호모모르픽 재구성의 분석.
• 정의 가능 스켈렘 함수 성질과 정의 가능 동형사를 사용하여 군의 실현을 $M^n$ 의 부분집합으로 보장하고, 위상적 및 모델 이론적 도구와의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 o-미니멀 실 폐쇄체 확장에서 정의 가능하게 컴팩트한 군은 $G^{00}$ 으로의 몫과 원소적으로 동치인가?
• RQ2 o-미니멀 구조에서 정의 가능 군의 중심 확장은 기본 군과 그 중심에서 해석 가능한가?
• RQ3 정의 가능 실 리 군의 유한 또는 유니버설 코버는 $\mathbb{R}$ 의 o-미니멀 확장에서 어느 정도 해석 가능한가?
• RQ4 기존의 단순형 및 가환 군에 대한 결과로부터 정의 가능하게 컴팩트한 군에 대한 컴팩트 지배 추측이 도출되는가?
• RQ5 정의 가능하게 연결되지 않은 정의 가능 군은 반대수학적 리 군과 원소적으로 동치인가?

주요 결과

• o-미니멀 구조에서 정의 가능하게 컴팩트하고 정의 가능하게 연결된 군 $G$ 는 반대수학적 실 리 군과 원소적으로 동치이며, 특히 $\mathbb{R}^{\dim G_0} \times \mathbb{T}^{\dim G_1}$ 과 동치이다.
• 모든 정의 가능하게 컴팩트한 군 $G$ 는 단순형 군과 가환 군의 정의 가능하게 거의 직접 곱으로 표현되며, 이는 정리 6.4에서 보여진다.
• 단순형 군 $G$ 에 대한 아벨 군 $A$ 로의 중심 확장 $\tilde{G}$ 는 본질적으로 쌍 $\langle G, A \rangle$ 와 상호 해석 가능하며, 이는 정리 6.1에 의해 보여진다.
• 실 폐쇄체의 o-미니멀 확장에서 정의 가능하게 컴팩트한 군에 대한 전체 컴팩트 지배 추측은 단순형 및 가환 사례로부터 유도된다.
• 정의 가능 실 리 군의 유니버설 코버 $\pi: \tilde{G} \to G$ 는 이종 구조 $\langle \mathbb{R}, \ker(\pi) \rangle$ 에서 해석 가능하며, 이는 정리 8.4에서 보여진다.
• 정의 가능 군의 원소적 동치는 정의 가능하게 연결되지 않은 군으로까지 확장된다: $G$ 는 같은 차원을 갖는 실 대수수에서 정의 가능한 반대수학적 군 $H$ 와 원소적으로 동치이다.