{"title":"关于唯一遍历性问题的一些进展","authors":"Colin Jahel","doi":"10.1017/bsl.2021.63","DOIUrl":null,"url":null,"abstract":"Abstract This thesis is at the intersection of dynamics, probability and model theory. It focuses on a specialization of the notion of amenability: unique ergodicity. Let G be a Polish group, i.e., a topological group whose topology is separable and completely metrizable. We call a G-flow the action of G on a compact space. A G-flow is said to be minimal if every orbit is dense. A famous theorem of Ellis states that any Polish group G admits a unique universal minimal flow that we denote \n${\\mathrm {M}}(G)$\n . This means that for any minimal G-flow X there is a surjective G-map from \n${\\mathrm {M}}(G)$\n to X. G is said to be amenable if every G-flow admits an invariant probability measure, and uniquely ergodic if every minimal flow admits a unique invariant probability measure. The notion of unique ergodicity relating to a group was introduced by Angel, Kechris and Lyons. They also ask the following question which is the main focus of the thesis: Let G be an amenable Polish group with metrizable universal minimal flow, is G uniquely ergodic? Note that unique ergodicity is an interesting notion only for relatively large groups, as it is proved in the last chapter of this thesis that locally compact non compact Polish groups are never uniquely ergodic. This result is joint work with Andy Zucker. The thesis includes proofs of unique ergodicity of groups with interesting universal minimal flows, namely the automorphism group of the semigeneric directed graph and the automorphism group of the \n$2$\n -graph. It also includes a theorem stating that under some hypothesis on a \n$\\omega $\n -categorical structure M, the logic action of \n${\\mathrm {Aut}}(M)$\n on \n${\\mathrm {LO}}(M)$\n , the compact space of linear orders on M, is uniquely ergodic. This implies unique ergodicity for the group if its universal minimal flow happens to be the space of linear orderings. It can also be used to prove non-amenability of some groups for which the action of \n${\\mathrm {Aut}}(M)$\n on \n${\\mathrm {LO}}(M)$\n is not minimal. This result is joint work with Todor Tsankov. Finally, the thesis also presents a proof that under the assumption that the universal minimal flows involved are metrizable, unique ergodicity is stable under group extensions. This result is joint work with Andy Zucker. Abstract prepared by Colin Jahel. E-mail: cjahel@andrew.cmu.edu URL: http://math.univ-lyon1.fr/~jahel/doc/These.pdf","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":"1 1","pages":"527 - 528"},"PeriodicalIF":0.0000,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Some Progress on the Unique Ergodicity Problem\",\"authors\":\"Colin Jahel\",\"doi\":\"10.1017/bsl.2021.63\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract This thesis is at the intersection of dynamics, probability and model theory. It focuses on a specialization of the notion of amenability: unique ergodicity. Let G be a Polish group, i.e., a topological group whose topology is separable and completely metrizable. We call a G-flow the action of G on a compact space. A G-flow is said to be minimal if every orbit is dense. A famous theorem of Ellis states that any Polish group G admits a unique universal minimal flow that we denote \\n${\\\\mathrm {M}}(G)$\\n . This means that for any minimal G-flow X there is a surjective G-map from \\n${\\\\mathrm {M}}(G)$\\n to X. G is said to be amenable if every G-flow admits an invariant probability measure, and uniquely ergodic if every minimal flow admits a unique invariant probability measure. The notion of unique ergodicity relating to a group was introduced by Angel, Kechris and Lyons. They also ask the following question which is the main focus of the thesis: Let G be an amenable Polish group with metrizable universal minimal flow, is G uniquely ergodic? Note that unique ergodicity is an interesting notion only for relatively large groups, as it is proved in the last chapter of this thesis that locally compact non compact Polish groups are never uniquely ergodic. This result is joint work with Andy Zucker. The thesis includes proofs of unique ergodicity of groups with interesting universal minimal flows, namely the automorphism group of the semigeneric directed graph and the automorphism group of the \\n$2$\\n -graph. It also includes a theorem stating that under some hypothesis on a \\n$\\\\omega $\\n -categorical structure M, the logic action of \\n${\\\\mathrm {Aut}}(M)$\\n on \\n${\\\\mathrm {LO}}(M)$\\n , the compact space of linear orders on M, is uniquely ergodic. This implies unique ergodicity for the group if its universal minimal flow happens to be the space of linear orderings. It can also be used to prove non-amenability of some groups for which the action of \\n${\\\\mathrm {Aut}}(M)$\\n on \\n${\\\\mathrm {LO}}(M)$\\n is not minimal. This result is joint work with Todor Tsankov. Finally, the thesis also presents a proof that under the assumption that the universal minimal flows involved are metrizable, unique ergodicity is stable under group extensions. This result is joint work with Andy Zucker. Abstract prepared by Colin Jahel. E-mail: cjahel@andrew.cmu.edu URL: http://math.univ-lyon1.fr/~jahel/doc/These.pdf\",\"PeriodicalId\":22265,\"journal\":{\"name\":\"The Bulletin of Symbolic Logic\",\"volume\":\"1 1\",\"pages\":\"527 - 528\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The Bulletin of Symbolic Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1017/bsl.2021.63\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Bulletin of Symbolic Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/bsl.2021.63","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Abstract This thesis is at the intersection of dynamics, probability and model theory. It focuses on a specialization of the notion of amenability: unique ergodicity. Let G be a Polish group, i.e., a topological group whose topology is separable and completely metrizable. We call a G-flow the action of G on a compact space. A G-flow is said to be minimal if every orbit is dense. A famous theorem of Ellis states that any Polish group G admits a unique universal minimal flow that we denote
${\mathrm {M}}(G)$
. This means that for any minimal G-flow X there is a surjective G-map from
${\mathrm {M}}(G)$
to X. G is said to be amenable if every G-flow admits an invariant probability measure, and uniquely ergodic if every minimal flow admits a unique invariant probability measure. The notion of unique ergodicity relating to a group was introduced by Angel, Kechris and Lyons. They also ask the following question which is the main focus of the thesis: Let G be an amenable Polish group with metrizable universal minimal flow, is G uniquely ergodic? Note that unique ergodicity is an interesting notion only for relatively large groups, as it is proved in the last chapter of this thesis that locally compact non compact Polish groups are never uniquely ergodic. This result is joint work with Andy Zucker. The thesis includes proofs of unique ergodicity of groups with interesting universal minimal flows, namely the automorphism group of the semigeneric directed graph and the automorphism group of the
$2$
-graph. It also includes a theorem stating that under some hypothesis on a
$\omega $
-categorical structure M, the logic action of
${\mathrm {Aut}}(M)$
on
${\mathrm {LO}}(M)$
, the compact space of linear orders on M, is uniquely ergodic. This implies unique ergodicity for the group if its universal minimal flow happens to be the space of linear orderings. It can also be used to prove non-amenability of some groups for which the action of
${\mathrm {Aut}}(M)$
on
${\mathrm {LO}}(M)$
is not minimal. This result is joint work with Todor Tsankov. Finally, the thesis also presents a proof that under the assumption that the universal minimal flows involved are metrizable, unique ergodicity is stable under group extensions. This result is joint work with Andy Zucker. Abstract prepared by Colin Jahel. E-mail: cjahel@andrew.cmu.edu URL: http://math.univ-lyon1.fr/~jahel/doc/These.pdf