[논문 리뷰] Definably amenable NIP groups

Artem Chernikov, Pierre Simon|arXiv (Cornell University)|2015. 02. 15.

Advanced Topology and Set Theory참고 문헌 16인용 수 11

한 줄 요약

이 논문은 정의 가능하게 애매한 NIP 군의 체계적 이론을 수립하여 다양한 일반화 개념과 불변 측도를 통합하고, 에르고딕 측도가 일반화 유형과 대응됨을 증명하며, 유계 궤도에 관한 페트리스코프키의 추측을 확인하고, NIP 군에서 모델 이론적 연결 성분을 에일리스 세미군의 이상부분군과 연결함으로써 에일리스 군 추측을 확인한다.

ABSTRACT

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a proof of the conjecture of Petrykowski connecting existence of bounded orbits with definable amenability in the NIP case, and the Ellis group conjecture of Newelski and Pillay connecting the model-theoretic connected component of an NIP group with the ideal subgroup of its Ellis enveloping semigroup.

연구 동기 및 목표

• 정의 가능하게 애매한 NIP 군에서의 다양한 일반화 정의를 통합하고 명확히 하기 위해.
• NIP 군에서 정의 가능한 집합에 대한 불변 측도 이론을 체계적으로 개발하기 위해.
• Petrykowski의 추측을 증명하기 위해: NIP 환경에서 유계 궤도는 정의 가능하게 애매한 성질을 갖는다.
• 에일리스 군 추측을 확인하기 위해: NIP 군의 모델 이론적 연결 성분을 그의 에일리스 포괄 세미군의 이상부분군과 연결하기 위해.
• 군의 전역 측도를 사용하여 정의 가능한 $ G $-공간에 대한 불변 측도 이론을 확장하기 위해.

제안 방법

• NIP 구조에서 정의 가능한 집합과 유형을 다루기 위해, 포화된 모델 $ \mathcal{U} $ 를 사용한다.
• 이deals를 통한 측도 확장 기법을 적용한다: $ B_0 $ 에서의 측도 $ \nu_0 $ 를 $ \operatorname{Def}(\mathcal{U}) $ 에서의 전역 측도 $ \nu $ 로 확장하며, 특정 이상부분군 $ I $ 에서 0이 되도록 한다.
• 군 $ G $ 에서의 $ G $-불변 측도 $ \tilde{\mu} $ 를 $ G/G^{00} $ 의 컴acts한 몫을 통해 적분을 통해 정의한다. 이때 $ G/G^{00} $ 의 측도로부터 유도된 $ h_0 $-가측 함수를 사용한다.
• 기저점 $ x_0 $ 에 대한 작용을 통해, 동차 공간 $ X $ 에서의 $ G $-불변 측도와 군 $ G $ 에서의 $ G $-불변 측도 사이의 대응을 구축한다.
• $ G/G^{00} $ 가 컴팩트하고, $ G^{00} $-불변 유형이 몫 위의 측도와 대응됨을 이용한다.
• NIP 구조에서의 $ f $-일반화 유형, $ G^{00} $-불변성, VC 차원의 유한성을 활용하여 측도 확장과 불변성을 보장한다.

실험 결과

연구 질문

• RQ1 정의 가능하게 애매한 NIP 군에서 다양한 일반화 정의가 일치하는가?
• RQ2 NIP 군에서 유계 궤도와 정의 가능하게 애매한 성질 사이의 정확한 관계는 무엇인가?
• RQ3 정의 가능한 집합에 대한 불변 측도는 NIP 군에서의 에일리스 포괄 세미군과 어떻게 관련이 있는가?
• RQ4 모든 $ G $-불변 측도가 동차 $ G $-공간에서 군의 $ G $-불변 측도로 올라올 수 있는가?
• RQ5 측도가 정의 가능한 집합에 대해 실현될 때, 몫 $ G/G^{00} $ 의 역할은 무엇인가?

주요 결과

• 이전에 고려된 정의 가능하게 애매한 NIP 군에서의 모든 일반화 정의가 일치함을 보였다.
• Petrykowski의 추측이 확인되었다: 정의 가능하게 애매한 NIP 군은 유계 궤도를 갖는다. 그리고 그 역도 성립한다.
• 에일리스 군 추측이 증명되었다: 모델 이론적 연결 성분 $ G^{00} $ 는 에일리스 포괄 세미군의 이상부분군과 대응된다.
• 모든 동차 $ G $-공간에서의 $ G $-불변 측도는 기저점에 대한 작용을 통해 군에서의 $ G $-불변 측도로부터 유도된다.
• 기저점에 대한 작용을 통해 $ G/G^{00} $ 에서의 적분을 사용하여, 동차 공간에서의 $ G $-불변 측도로부터 군에서의 전역 $ G $-불변 측도를 구성할 수 있으며, 이 측도는 $ f $-일반화 유형에 지지된다.