Hyperdefinability of the Lie model for approximate subgroups
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909965319405568 |
|---|---|
| author | Degasperi, Beatrice |
| author_facet | Degasperi, Beatrice |
| contents | Hrushovski proved the Lie model theorem in full generality with model theoretic methods. The theorem states that for every approximate group there exists a generalized definable locally compact model, which, simplifying, is a quasi-homomorphism from the group generated by the approximate subgroup to a locally compact group with some particular properties. Pillay and Krupinski proved the same theorem using topological dynamics on a locally compact type space. In this paper we study the definability of the locally compact group image of the quasihomomorphism in this second proof. We show that it is isomorphic as a topological group to a relatively hyperdefinable locally compact group. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_14250 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Hyperdefinability of the Lie model for approximate subgroups Degasperi, Beatrice Logic Hrushovski proved the Lie model theorem in full generality with model theoretic methods. The theorem states that for every approximate group there exists a generalized definable locally compact model, which, simplifying, is a quasi-homomorphism from the group generated by the approximate subgroup to a locally compact group with some particular properties. Pillay and Krupinski proved the same theorem using topological dynamics on a locally compact type space. In this paper we study the definability of the locally compact group image of the quasihomomorphism in this second proof. We show that it is isomorphic as a topological group to a relatively hyperdefinable locally compact group. |
| title | Hyperdefinability of the Lie model for approximate subgroups |
| topic | Logic |
| url | https://arxiv.org/abs/2512.14250 |