[論文レビュー] 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

ひとこと要約

本稿は、可算構造の自己同型群の測度論的構造を調査し、Cofinal Strong Amalgamation Property (CSAP) を導入することで、Dougherty と Mycielski が $S_\infty$ に対して得た結果を任意の自己同型群へ一般化する。CSAP の下では、これらの群が劣微妙集合とハール零集合へ分解されることを示し、バーレ・カテゴリーの性質とは著しく対照的であることを明らかにする。

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.

研究の動機と目的

• ハール零集合というバーレ・カテゴリーの双対的測度論的概念に基づき、自己同型群における「典型」自己同型の構造を理解すること。
• Dougherty と Mycielski が $S_\infty$ に対して得た結果を、可算構造の任意の自己同型群へ一般化すること。
• 自己同型群が劣微妙集合とハール零集合へ分解されるための条件を特徴づける、新たなモデル理論的条件—Cofinal Strong Amalgamation Property (CSAP)—を同定すること。
• 自己同型群の力学における測度論的典型性（ハール零）とバーレ・カテゴリーの典型性の間の対比を明確にすること。

提案手法

• 非局所コンパクト群における「ほとんどすべての」自己同型を定義するために、Christensen のハール零集合の概念を採用する。
• 自己同型群の構造的分解のための十分条件として、Cofinal Strong Amalgamation Property (CSAP) を導入する。
• 可算構造内の部分構造の結合的性質を分析するためにモデル理論的手法を用いる。
• CSAP 条件を適用することで、特定の可算構造の自己同型群が劣微妙集合とハール零集合へ分割可能であることを示す。
• 一般化の基盤として、Dougherty と Mycielski が $S_\infty$ に対して得た結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 自己同型群において、測度論的「典型」自己同型の概念とバーレ・カテゴリーの概念とは、どのように異なるか？
• RQ2 どのモデル理論的性質が、自己同型群が劣微妙集合とハール零集合へ分解されることを保証するか？
• RQ3 Dougherty と Mycielski が $S_\infty$ に対して得た結果は、可算構造の任意の自己同型群へどの程度一般化可能か？
• RQ4 結合的性質が、ハール零集合の下での共轭類の大きさを決定づける役割を果たすか？

主な発見

• Cofinal Strong Amalgamation Property (CSAP) が、自己同型群が劣微妙集合とハール零集合へ分解可能であるための十分条件であると同定された。
• ハール零集合の下では、典型自己同型はバーレ・カテゴリーの下での挙動とは本質的に異なり、特に共轭類構造において顕著な差が現れる。
• 本稿は、Dougherty と Mycielski が $S_\infty$ に対して得た測度論的結果を、可算構造の自己同型群の広いクラスへ一般化した。
• CSAP を満たす自己同型群の広いクラス—これらは劣微妙集合とハール零集合の和集合として表現可能—は、『ほとんどすべての』自己同型がハール零部分に属することを示している。