Convolution semigroups for automorphism dynamics
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908473820708864 |
|---|---|
| author | Gannon, Kyle Hoffmann, Daniel Max Krupiński, Krzysztof |
| author_facet | Gannon, Kyle Hoffmann, Daniel Max Krupiński, Krzysztof |
| contents | Initially motivated by Hrushovski's paper on definability patterns, we obtain homeomorphisms between Ellis semigroups related to natural actions of the automorphism groups of first order structures and certain collections of types and Keisler measures. Thus, we can transfer the semigroup operation from these Ellis semigroups to the corresponding collections of types and Keisler measures. By generalizing this transferred product, we obtain a new convolution operation for invariant types and measures in arbitrary first-order theories. We develop its general theory and prove several correspondence theorems between idempotent measures and closed subgroups of the automorphism group of a sufficiently large (so-called monster) model with respect to the relatively definable topology. Via the affine sort construction, we demonstrate that this new notion of convolution encodes the standard definable convolution operation over definable groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_23503 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Convolution semigroups for automorphism dynamics Gannon, Kyle Hoffmann, Daniel Max Krupiński, Krzysztof Logic 03C45, 03C95, 37B02, 28C10, 28E15, 43A05 Initially motivated by Hrushovski's paper on definability patterns, we obtain homeomorphisms between Ellis semigroups related to natural actions of the automorphism groups of first order structures and certain collections of types and Keisler measures. Thus, we can transfer the semigroup operation from these Ellis semigroups to the corresponding collections of types and Keisler measures. By generalizing this transferred product, we obtain a new convolution operation for invariant types and measures in arbitrary first-order theories. We develop its general theory and prove several correspondence theorems between idempotent measures and closed subgroups of the automorphism group of a sufficiently large (so-called monster) model with respect to the relatively definable topology. Via the affine sort construction, we demonstrate that this new notion of convolution encodes the standard definable convolution operation over definable groups. |
| title | Convolution semigroups for automorphism dynamics |
| topic | Logic 03C45, 03C95, 37B02, 28C10, 28E15, 43A05 |
| url | https://arxiv.org/abs/2507.23503 |