[논문 리뷰] Coherent extension of partial automorphisms, free amalgamation, and automorphism groups

Daoud Siniora, Sławomir Solecki|arXiv (Cornell University)|2017. 05. 04.

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

한 줄 요약

이 논문은 부분 자기동형사상의 일관성 있는 확장을 도입하여 Herwig–Lascar 및 Hodkinson–Otto 확장 정리의 강화된 형태를 제시하며, 유한 관계 언어 위에서의 $φ$-free 구조와 자유 동형 구조의 Fraïssé 클래스에 대해 일관성 있는 EPPA를 확립한다. 주요 기여는 이러한 구조의 자기동형사상 군—예를 들어 유리수 Urysohn 공간과 자유 동형 구조—이 조밀한 국소적으로 유한한 부분군을 포함하고 약한 일반성을 갖는다는 것을 증명하는 것으로, 이는 소인수 성질 및 Bergman의 성질과 같은 위상군 성질에 대한 함의를 낳는다.

ABSTRACT

We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraisse classes. We deduce from these results that the isometry group of the rational Urysohn space, the automorphism group of the Fraisse limit of any Fraisse class that is the class of all $\mathcal{F}$-free structures (in the Herwig--Lascar sense), and the automorphism group of any free homogeneous structure over a finite relational language, all contain a dense locally finite subgroup. We also show that any free homogeneous structure admits ample generics.

연구 동기 및 목표

• 자기동형사상 확장을 유지하는 조합 구조를 보존하는 일관성 있는 EPPA의 개념을 도입함으로써 Herwig–Lascar 및 Hodkinson–Otto 확장 정리를 강화하는 것.
• 유한 관계 언어 위에서의 $φ$-free 구조와 자유 동형 구조의 Fraïssé 클래스가 일관성 있는 EPPA를 만족함을 확립하는 것.
• 일관성 있는 EPPA에서 도출되는 위상군 이론적 결과, 특히 자기동형사상 군 내 조밀한 국소적으로 유한한 부분군과 약한 일반성의 존재를 밝히는 것.
• 일관성 있는 EPPA를 동형 구조의 자기동형사상 군의 소인수 성질 및 기타 구조적 성질과 연결하는 것.

제안 방법

• 부분 대칭 사상의 가족 간의 일관성 사상의 개념을 도입하여, 일관성 삼중체의 상이 일관성 삼중체로 유지되도록 보장하는 것.
• Herwig–Lascar 및 Hodkinson–Otto 정리의 원래 증명을 재구성하고, 에르고딕 이론의 Mackey 범위를 활용하는 새로운 기법을 도입하여 보완하는 것.
• 일관성 있는 EPPA를 $φ$-free 구조와 자유 동형 구조의 Fraïssé 클래스에 적용하여, 이러한 클래스가 일관성 있는 EPPA 확장을 갖는다는 것을 증명하는 것.
• 일관성 있는 EPPA의 존재를 활용하여 동형 구조의 자기동형사상 군 내 조밀한 국소적으로 유한한 부분군을 구성하는 것.
• 합성 기반 조건과 동형성 조건을 활용하여 [9] 및 [6]의 결과를 적용하여 약한 일반성을 확립하는 것.
• 군론적 결과 [10]을 응용하여 자기동형사상 군의 소인수 성질, 비가산 코 finality, 21-Bergman 성질 및 Serre의 성질 (FA)을 도출하는 것.

실험 결과

연구 질문

• RQ1 부분 자기동형사상의 확장 성질(EPPA)은 자기동형사상 확장에서 조합 구조를 보존하는 일관성 있는 형태로 강화될 수 있는가?
• RQ2 유한 관계 언어 위에서의 $φ$-free 구조와 자유 동형 구조의 Fraïssé 클래스에 대해 일관성 있는 EPPA 성질이 성립하는가?
• RQ3 일관성 있는 EPPA 성질은 동형 구조의 자기동형사상 군 내에 조밀한 국소적으로 유한한 부분군의 존재를 암시하는가?
• RQ4 자유 동형 구조의 자기동형사상 군에 대해 일관성 있는 EPPA를 활용하여 약한 일반성을 확립할 수 있는가?
• RQ5 일관성 있는 EPPA와 약한 일반성에서 유도되는 위상 및 군론적 성질(예: 소인수 성질, Bergman의 성질)은 무엇인가?

주요 결과

• 유리수 Urysohn 공간의 자기동형사상 군은 조밀한 국소적으로 유한한 부분군을 포함한다.
• Herwig–Lascar 의미에서의 $φ$-free 클래스의 Fraïssé 극한의 자기동형사상 군은 조밀한 국소적으로 유한한 부분군을 포함한다.
• 유한 관계 언어 위에서의 자유 동형 구조의 자기동형사상 군은 조밀한 국소적으로 유한한 부분군을 포함한다.
• 유한 관계 언어 위에서의 자유 동형 구조는 약한 일반성을 갖는다.
• 유한 관계 언어 위에서의 자유 동형 구조의 자기동형사상 군은 소인수 성질, 비가산 코 finality, 21-Bergman 성질 및 Serre의 성질 (FA)을 갖는다.