[논문 리뷰] Groups, measures, and the NIP

Ehud Hrushovski, Ya’acov Peterzil외 1명|ArXiv.org|2006. 07. 18.

Advanced Topology and Set Theory참고 문헌 22인용 수 5

한 줄 요약

이 논문은 기저가 정의 가능한 컴팩트인 군이 포화된 o-미니멀 구조에서 그의 가장 작은 유형-정의 가능한 유한 지수 부분군에 대한 몫 $G/G^{00}$에 의해 컴팩트하게 지배됨을 증명한다. 이 몫은 동일한 차원을 가진 컴팩트 리 군이다. 불변 측도, NIP(독립 성질의 실패), 그리고 유한히 만족 가능한 일반성(fsg) 성질을 이용하여 저자들은 o-미니멀 군 추측을 완전히 증명한다. 이는 $G/G^{00}$가 컴팩트 리 군임을 보이고, 컴팩트 지배 하에서 일반 집합이 토크션 원소를 포함함을 보여준다.

ABSTRACT

We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$ in saturated $o$-minimal structures to compact Lie groups. We also prove some other structural results about such $G$, for example the existence of a left invariant finitely additive probability measure on definable subsets of $G$. We finally introduce a new notion "compact domination" (domination of a definable set by a compact space) and raise some new conjectures in the $o$-minimal case.

연구 동기 및 목표

• 포화된 o-미니멀 구조에서 정의 가능한 컴팩트인 군 $G$에 대해 $G/G^{00}$가 동일한 차원을 가진 컴팩트 리 군임을 보이는 o-미니멀 군 추측을 완성하는 것.
• NIP 이론에서 불변 측도와 일반성의 모델 이론적 프레임워크를 개발하여 안정 이론을 안정성 이상으로 확장하는 것.
• 특히 o-미니멀 맥락에서, 정의 가능한 집합이 몫 사상에 의해 컴팩트 공간에 의해 지배되는 '콤팩트 지배'라는 새로운 개념을 도입하고 연구하는 것.
• NIP 환경에서 정의 가능한 컴팩트 군의 정의 가능한 부분집합에 대해 왼쪽 불변이고 유한히 가환하는 확률 측도의 존재를 증명하는 것.
• 콤팩트 지배 하에서, 그러한 $G$의 모든 일반 정의 가능한 부분집합이 토크션 원소를 포함함을 증명하고, 모델 이론적 일반성과 산술적 구조를 연결하는 것.

제안 방법

• NIP 이론에서 정의 가능한 집합의 블룸 대수 위에 측도 이론, 특히 불변 및 유한히 만족 가능한 측도를 사용한다.
• NIP 조건을 적용하여 공호이의 Borel 정의 가능성을 도출하고, 측도의 매끄럽고 불변성을 확보한다.
• 안정 군 이론 결과를 NIP 환경으로 일반화하기 위한 핵심 귀납적 도구로 '유한히 만족 가능한 일반성'(fsg) 성질을 도입한다.
• 차원에 대한 귀납법을 사용하여 o-미니멀 군 추측의 증명을 아벨 군과 정의 가능한 단순 군의 경우로 축소한다.
• 군 $G/G^{00}$ 위의 논리 위상과 군 $G$ 위의 정의 가능한 위상을 사용하여 경계 집합과 몫 사상 $\pi: G \to G/G^{00}$에 의한 그들의 상을 분석한다.
• 정의 가능한 연결성에 관한 [4]의 결과를 적용하여 $G^{00}$과 그 여부의 전이가 정의 가능한 집합에 대해 포함되거나 서로소임을 보인다.

실험 결과

연구 질문

• RQ1 포화된 o-미니멀 구조에서 정의 가능한 컴팩트 군 $G$에 대해 $G/G^{00}$가 동일한 차원을 가진 컴팩트 리 군과 동형인지 여쭙는다?
• RQ2 NIP 환경에서 정의 가능한 부분집합에 대해 왼쪽 불변이고, 유한히 가환하는 확률 측도의 존재를 확보할 수 있는가?
• RQ3 '유한히 만족 가능한 일반성'(fsg) 성질이 안정 군 이론 결과를 NIP 군으로 일반화하는 데에 충분한가?
• RQ4 정의 가능한 컴팩트 군이 o-미니멀 구조에서 콤팩트 지배를 만족하는가? 즉, $G$가 위상적이고 측도론적으로 $G/G^{00}$에 의해 지배되는가?
• RQ5 그러한 $G$의 일반 정의 가능한 부분집합은 반드시 토크션 원소를 포함하는가? 만약 그렇다면, 이는 $G/G^{00}$ 위의 하아르 측도와 어떻게 관련되는가?

주요 결과

• o-미니멀 군 추측이 완전히 증명됨: 만약 $G$가 포화된 o-미니멀 구조에서 정의 가능한 컴팩트 군이라면, $G/G^{00}$는 $\dim(G)$와 동일한 차원을 가진 컴팩트 리 군이며 논리 위상이 부여된다.
• 모든 정의 가능한 컴팩트 군 $G$는 고유하고 매끄럽고 왼쪽 불변인 Keisler 측도를 유일하게 가지며, 이는 유한히 가환하고 자동사상에 대해 불변이다.
• 군 $G$는 아벨이거나 정의 가능한 단순일 경우 '유한히 만족 가능한 일반성'(fsg) 성질을 가지며, fsg는 확장에 대해 보존되어 귀납적 증명이 가능하다.
• 차원이 1이거나 매우 양호한 환원을 가진 경우, $G$는 $G/G^{00}$에 의해 컴팩트하게 지배되며, 이는 임의의 정의 가능한 $Y \subset G$에 대해 $\dim(Y) < \dim(G)$이면 $\pi(Y)$의 하아르 측도가 0임을 의미한다.
• 콤팩트 지배 하에서, 모든 일반 정의 가능한 부분집합 $X \subseteq G$는 토크션 원소를 포함하며, 유한히 많은 토크션 원소 $g_1, \dots, g_k$가 존재하여 $G = \bigcup_i g_i X$임을 보여, 일반성과 토크션 구조를 연결한다.
• $G^{00}$은 항등원에 무한히 가까운 원소들의 집합이며, 초구성에서의 $G_{\infty}^{00} = H$의 맥락에서 $G_{\infty}^{00} = H$임을 일반성과 콤팩트 지배를 통해 확인한다.