[논문 리뷰] The structure of random automorphisms

Udayan B. Darji, Márton Elekes외 3명|arXiv (Cornell University)|2017. 05. 22.

Advanced Topology and Set Theory인용 수 1

한 줄 요약

이 논문은 자동형사군의 측도론적 구조를 조사하기 위해 공통 강한 융합 성질(Cofinal Strong Amalgamation Property, CSAP)을 도입하여, Dougherty와 Mycielski의 $S_\infty$에 대한 결과를 임의의 가чёт한 구조의 자동형사군으로 일반화한다. CSAP 하에서 이러한 군들이 meager 집합과 Haar null 집합으로 분해됨을 보이며, 이는 Baire 범주 성질과 극명한 대비를 이룬다.

ABSTRACT

In order to understand the structure of the `typical' element of an automorphism group, one has to study how large the conjugacy classes of the group are. When typical is meant in the sense of Baire category, a complete description of the size of the conjugacy classes has been given by Kechris and Rosendal. Following Dougherty and Mycielski we investigate the measure theoretic dual of this problem, using Christensen's notion of Haar null sets. When typical means random, that is, almost every with respect to this notion of Haar null sets, the behavior of the automorphisms is entirely different from the Baire category case. In this paper, we generalize the theorems of Dougherty and Mycielski about $S_\infty$ to arbitrary automorphism groups of countable structures isolating a new model theoretic property, the Cofinal Strong Amalgamation Property. As an application we show that a large class of automorphism groups can be decomposed into the union of a meager and a Haar null set.

연구 동기 및 목표

• Haar null 집합에 의한 '일반적인' 자동형사의 구조를 이해하기 위해, Baire 범주와 측도론적 이중성의 관계를 탐색한다.
• Dougherty와 Mycielski의 $S_\infty$에 대한 이전 결과를 가чёт한 구조의 임의의 자동형사군으로 일반화한다.
• meager 집합과 Haar null 집합으로 분해되는 군의 조건을 특징짓는 새로운 모델이론적 조건인 공통 강한 융합 성질(Cofinal Strong Amalgamation Property, CSAP)을 규명한다.
• 자동형사군 역학에서 측도론적 일반성(Haar null)과 Baire 범주 일반성 간의 대비를 명확히 한다.

제안 방법

• 비국소적 컴act군이 아닌 군에서 '거의 모든' 자동형사를 정의하기 위해 Christensen의 Haar null 집합 개념을 채택한다.
• 자동형사군의 구조적 분해를 위한 충분조건으로 공통 강한 융합 성질(Cofinal Strong Amalgamation Property, CSAP)을 도입한다.
• 가чёт한 구조의 부분구조에서의 융합 행동을 분석하기 위해 모델이론적 기법을 사용한다.
• CSAP 조건을 적용하여 특정 가чёт한 구조의 자동형사군이 meager 집합과 Haar null 집합으로 분할될 수 있음을 보인다.
• 일반화의 기초로 Dougherty와 Mycielski의 $S_\infty$에 대한 결과를 활용한다.

실험 결과

연구 질문

• RQ1 자동형사군에서 측도론적 일반성의 개념과 Baire 범주 일반성의 개념은 어떻게 다를까?
• RQ2 어떤 모델이론적 성질이 자동형사군이 meager 집합과 Haar null 집합으로 분해되도록 보장하는가?
• RQ3 Dougherty와 Mycielski의 $S_\infty$에 대한 결과는 얼마나 광범위하게 가чёт한 구조의 자동형사군으로 일반화될 수 있는가?
• RQ4 융합 성질이 Haar null 집합 하에서 공共役류의 크기를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 공통 강한 융합 성질(Cofinal Strong Amalgamation Property, CSAP)은 자동형사군이 meager 집합과 Haar null 집합으로 분해될 수 있도록 보장하는 충분조건으로 규명되었다.
• Haar null 집합 하에서 일반적인 자동형사는 Baire 범주 하에서의 행동과 근본적으로 다른 성질을 보이며, 특히 공역류의 구조에서 뚜렷한 차이를 보인다.
• 논문은 Dougherty와 Mycielski의 $S_\infty$에 대한 측도론적 결과를 가чёт한 구조의 광범위한 자동형사군 클래스로 일반화한다.
• CSAP를 만족하는 자동형사군의 큰 클래스는 meager 집합과 Haar null 집합의 합집합으로 표현될 수 있으며, 이는 '거의 모든' 자동형사가 Haar null 부분에 속해 있음을 시사한다.