[论文解读] The structure of random automorphisms

Udayan B. Darji, Márton Elekes+3 more|arXiv (Cornell University)|May 22, 2017

Advanced Topology and Set Theory被引用 1

一句话总结

本文通過引入共終強合併性質（CSAP），研究了自同構群的測度論結構，將 Dougherty 和 Mycielski 對 $S_\infty$ 的結果推廣至任意可數結構的自同構群。結果顯示，在 CSAP 條件下，這些群可分解為一個零散集與一個哈爾零測集，揭示了其與 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.

研究动机与目标

• 理解在哈爾零測集下自同構群中「典型」自同構的結構，即 Baire 種類的測度論對偶。
• 將 Dougherty 和 Mycielski 對 $S_\infty$ 的先前結果推廣至任意可數結構的自同構群。
• 識別出一種新的模型論條件——共終強合併性質（CSAP）——以表征何時這些群可分解為零散集與哈爾零測集。
• 釐清自同構群動力學中測度論典型性（哈爾零測）與 Baire 種類典型性之間的對比。

提出的方法

• 採用 Christensen 的哈爾零測集概念，以定義非局部緊群中「幾乎所有」自同構。
• 引入共終強合併性質（CSAP）作為自同構群結構分解的充分條件。
• 使用模型論技術分析可數結構中子結構的合併行為。
• 應用 CSAP 條件，證明某些可數結構的自同構群可被劃分為一個零散集與一個哈爾零測集。
• 以 Dougherty 和 Mycielski 對 $S_\infty$ 的結果為基礎，進行推廣。

实验结果

研究问题

• RQ1 在自同構群中，測度論意義下的「典型」自同構與 Baire 種類意義下的典型性有何不同？
• RQ2 何種模型論性質可確保自同構群分解為零散集與哈爾零測集？
• RQ3 Dougherty 和 Mycielski 對 $S_\infty$ 的結果能在多大程度上推廣至任意可數結構的自同構群？
• RQ4 合併性質在決定哈爾零測集下共軛類大小的過程中扮演何種角色？

主要发现

• 共終強合併性質（CSAP）被識別為自同構群可分解為零散集與哈爾零測集的充分條件。
• 在哈爾零測集下，典型自同構的行為與 Baire 種類下的行為有本質差異，特別是在共軛類結構方面。
• 本文將 Dougherty 和 Mycielski 對 $S_\infty$ 的測度論結果推廣至一類廣泛的可數結構自同構群。
• 一類廣泛的自同構群——即滿足 CSAP 的群——可表示為零散集與哈爾零測集的並集，表明『幾乎所有』自同構都落在哈爾零測部分。