[논문 리뷰] Automorphism groups of randomized structures

Tomás Ibarlucía|arXiv (Cornell University)|2016. 05. 02.

Advanced Topology and Set Theory참고 문헌 31인용 수 10

한 줄 요약

이 논문은 분리 가능하고 ℵ₀-카테고리컬인 메트릭 구조의 보렐 랜덤화의 자기동형군을 조사하며, 보렐 랜덤화의 자기동형군이 측도적 와레인 프로덕트 $G \wr \Omega = L^0(\Omega, G) \rtimes \mathrm{Aut}(\Omega)$ 와 동형임을 보여준다. 여기서 $G = \mathrm{Aut}(M)$ 이고 $\Omega$ 는 표준 확률공간이다. 만약 $G$ 가 로엘cke 전준비된다면 $G \wr \Omega$ 역시 로엘cke 전준비된다고 보이고, 안정성과 NIP 공식에 대한 유지 결과를 반단순 이론적 해석을 통해 반단순 이론적 해석을 제공한다.

ABSTRACT

We study automorphism groups of randomizations of separable structures, with focus on the $\aleph_0$-categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original structure. In the $\aleph_0$-categorical context, this provides a new source of Roelcke precompact Polish groups, and we describe the associated Roelcke compactifications. This allows us also to recover and generalize preservation results of stable and NIP formulas previously established in the literature, via a Banach-theoretic translation. Finally, we study and classify the separable models of the theory of beautiful pairs of randomizations, showing in particular that this theory is never $\aleph_0$-categorical (except in basic cases).

연구 동기 및 목표

• 분리 가능하고 ℵ₀-카테고리컬인 메트릭 구조의 보렐 랜덤화의 자기동형군을 특성화하는 것.
• 유도된 자기동형군의 역학적 성질, 특히 그의 로엘cke 전준비성과 컴acts이션을 조사하는 것.
• 랜덤화된 이론의 안정성 및 NIP 공식에 대한 유지 결과를 복원하고 일반화하는 것.
• 랜덤화의 아름다운 쌍 이론의 분리 가능 모델을 분류하고 그 모델이론적 성질을 분석하는 것.

제안 방법

• 원소 $M$ 에 대해 $G = \mathrm{Aut}(M)$ 이라 할 때, 보렐 랜덤화의 자기동형군을 묘사하기 위해 측도적 와레인 프로덕트 구조 $G \wr \Omega = L^0(\Omega, G) \rtimes \mathrm{Aut}(\Omega)$ 를 사용한다.
• G의 작용에 의해 유도된 $G \wr \Omega$ 의 등거리 작용을 적용하여, $G$ 에서 $G \wr \Omega$ 로의 근사적 올로모피와 로엘cke 전준비성이 유지됨을 보인다.
• 로엘cke 컴팩티피케이션 $R(G \wr \Omega)$ 를 $R(G)$ 를 이용해 명시적으로 구성하고, 힐버트 표현 가능성과 반군 법칙의 존재성과 같은 성질이 와레인 프로덕트로 이행됨을 증명한다.
• 랜덤화된 구조의 유형 공간 표현을 통해 모델이론적 유지 결과를 반단순 이론적 문장으로 번역한다.
• 랜덤화의 아름다운 쌍 이론 $(T_R)^P$ 의 분리 가능 모델을 분류하여, 비자명한 경우에 ℵ₀-카테고리컬이 아님을 보인다.
• 보조 종류와 랜덤화 간의 이중 해석 가능성을 이용하여, 쌍 $(M^{\Omega_2}, N^{\Omega})^{\mathrm{AP}}$ 의 자기동형군을 $G^*_{\mathrm{P}}$ 와 $\mathrm{Aut}(\Omega_1) \wr \Omega_0$ 를 포함하는 반직접곱으로 묘사한다.

실험 결과

연구 질문

• RQ1 분리 가능하고 ℵ₀-카테고리컬인 메트릭 구조의 보렐 랜덤화의 자기동형군은 원래 구조의 자기동형군과 어떻게 관련이 있는가?
• RQ2 보렐 랜덤화의 자기동형군이 원래 군으로부터 로엘cke 전준비성을 어떻게 물려받는가?
• RQ3 랜덤화된 이론에서의 안정성 및 NIP 공식에 대한 유지 결과는 컴팩티피케이션과 반단순 이론적 표현을 통해 복원될 수 있는가?
• RQ4 랜덤화의 아름다운 쌍 이론의 분리 가능 모델은 무엇이며, 이 이론이 언제 ℵ₀-카테고리컬인가?
• RQ5 아름다운 쌍의 랜덤화된 모델의 자기동형군의 구조는 무엇인가?

주요 결과

• 분리 가능한 구조 $M$ 의 보렐 랜덤화의 자기동형군은 측도적 와레인 프로덕트 $G \wr \Omega$ 와 동형이며, 여기서 $G = \mathrm{Aut}(M)$ 이다.
• 만약 $G$ 가 로엘cke 전준비된다면 $G \wr \Omega$ 역시 로엘cke 전준비된다고 보이고, 그의 로엘cke 컴팩티피케이션 $R(G \wr \Omega)$ 는 $R(G)$ 를 이용해 명시적으로 묘사된다.
• 힐버트 표현 가능성과 $R(G)$ 에서의 호환성 반군 법칙의 존재성과 같은 성질이 $R(G \wr \Omega)$ 로 이행된다.
• 논문은 반단순 이론적 컴팩티피케이션을 통한 랜덤화된 이론에서의 안정성 및 NIP 유지 결과에 대한 새로운 군론적 증명을 제공한다.
• $(T_R)^P$ 랜덤화의 아름다운 쌍 이론은 $T$ 가 컴팩트 구조의 이론이 아닐 경우 절대 ℵ₀-카테고리컬이 아니다.
• 아름다운 쌍 $(M^{\Omega_2}, N^{\Omega})^{\mathrm{AP}}$ 의 자기동형군은 $G^*_{\mathrm{P}} \rtimes (\mathrm{Aut}(\Omega_1) \wr \Omega_0)$ 와 동형이며, 여기서 $G^*_{\mathrm{P}} = \{g \in G^{\Omega_2} : g|_{N^{\Omega}} \in \mathrm{Aut}(N)^{\Omega}\}$ 이다.