Connected components of definable groups and o-minimality. I (Q452037): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The authors consider the ``connected components'' \(G^{00}\) and \(G^{000}\) of groups \(G\) definable in o-minimal expansions of real closed fields, or structures closely related to o-minimal structures. Most of the results in this paper follow from structural results on definable groups from the first author's doctoral thesis. These structural results are reviewed in the second section, with notable decompositions involving the various simple factors, compact or not, of the semisimple part of the group. Everything starts in Proposition 2.1 with a proof of the existence of a maximal normal definable torsion-free (and automatically solvable) subgroup, which essentially relies on a lemma on lifting of torsion. In the paper that lemma is proved by invoking very specific machinery on Euler characteristic in o-minimal structures, but it is worth mentioning that it is valid in any group with the descending chain condition on definable subgroups (by arguments similar to the usual proof in the finite Morley rank case). In the third section the authors prove that if \(G\) is a saturated model of the universal cover of \(SL_2(R)\) (interpretable in the two-sorted structure consisting of the field \(\mathbb R\) of reals and the infinite cyclic group), then \(G^{000}\) is a proper subgroup of \(G^{00}=G\). They then give a group definable in the reals and with a similar property (and expect that this property is indeed typical). These groups also provide new ``natural'' examples of theories where the group of Lascar strong automorphisms is properly contained in the group of Kim-Pillay strong automorphisms. In the fourth section the authors raise questions about definable amenability and the nature of types with bounded orbits in the o-minimal and, more generally, NIP environment. In particular they obtain that for a group definable in an o-minimal expansion of a real closed field, the existence of a type with a bounded orbit is equivalent to the definable amenability of the group. They conclude on links between types with bounded orbits and genericity. | |||
Property / review text: The authors consider the ``connected components'' \(G^{00}\) and \(G^{000}\) of groups \(G\) definable in o-minimal expansions of real closed fields, or structures closely related to o-minimal structures. Most of the results in this paper follow from structural results on definable groups from the first author's doctoral thesis. These structural results are reviewed in the second section, with notable decompositions involving the various simple factors, compact or not, of the semisimple part of the group. Everything starts in Proposition 2.1 with a proof of the existence of a maximal normal definable torsion-free (and automatically solvable) subgroup, which essentially relies on a lemma on lifting of torsion. In the paper that lemma is proved by invoking very specific machinery on Euler characteristic in o-minimal structures, but it is worth mentioning that it is valid in any group with the descending chain condition on definable subgroups (by arguments similar to the usual proof in the finite Morley rank case). In the third section the authors prove that if \(G\) is a saturated model of the universal cover of \(SL_2(R)\) (interpretable in the two-sorted structure consisting of the field \(\mathbb R\) of reals and the infinite cyclic group), then \(G^{000}\) is a proper subgroup of \(G^{00}=G\). They then give a group definable in the reals and with a similar property (and expect that this property is indeed typical). These groups also provide new ``natural'' examples of theories where the group of Lascar strong automorphisms is properly contained in the group of Kim-Pillay strong automorphisms. In the fourth section the authors raise questions about definable amenability and the nature of types with bounded orbits in the o-minimal and, more generally, NIP environment. In particular they obtain that for a group definable in an o-minimal expansion of a real closed field, the existence of a type with a bounded orbit is equivalent to the definable amenability of the group. They conclude on links between types with bounded orbits and genericity. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Eric Jaligot / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C64 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6084075 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
definable group | |||
Property / zbMATH Keywords: definable group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
o-minimality | |||
Property / zbMATH Keywords: o-minimality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
amenability | |||
Property / zbMATH Keywords: amenability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bounded orbit | |||
Property / zbMATH Keywords: bounded orbit / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2158457721 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1101.5705 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A descending chain condition for groups definable in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: GALOIS GROUPS OF FIRST ORDER THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forking and Dividing in NTP<sub>2</sub> theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connected components of definable groups, and o-minimality. II. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forking and independence in o-minimal theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solvable groups definable in o-minimal structures. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DEFINABLY COMPACT ABELIAN GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model theoretic connected components of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(G\)-compactness and groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups, measures, and the NIP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On central extensions and definably compact groups in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On NIP and invariant measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounded orbits and measures on a group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generic sets in definably compact groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definably simple groups in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple algebraic and semialgebraic groups over real closed fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear groups definable in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definable homomorphisms of abelian groups in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On torsion-free groups in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definable Compactness and Definable Subgroups of o-Minimal Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On groups and fields definable in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: One-dimensional groups over an o-minimal structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal bounded index subgroup for dependent theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Euler characteristic in semialgebraic and other o-minimal groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4950412 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:33, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Connected components of definable groups and o-minimality. I |
scientific article |
Statements
Connected components of definable groups and o-minimality. I (English)
0 references
19 September 2012
0 references
The authors consider the ``connected components'' \(G^{00}\) and \(G^{000}\) of groups \(G\) definable in o-minimal expansions of real closed fields, or structures closely related to o-minimal structures. Most of the results in this paper follow from structural results on definable groups from the first author's doctoral thesis. These structural results are reviewed in the second section, with notable decompositions involving the various simple factors, compact or not, of the semisimple part of the group. Everything starts in Proposition 2.1 with a proof of the existence of a maximal normal definable torsion-free (and automatically solvable) subgroup, which essentially relies on a lemma on lifting of torsion. In the paper that lemma is proved by invoking very specific machinery on Euler characteristic in o-minimal structures, but it is worth mentioning that it is valid in any group with the descending chain condition on definable subgroups (by arguments similar to the usual proof in the finite Morley rank case). In the third section the authors prove that if \(G\) is a saturated model of the universal cover of \(SL_2(R)\) (interpretable in the two-sorted structure consisting of the field \(\mathbb R\) of reals and the infinite cyclic group), then \(G^{000}\) is a proper subgroup of \(G^{00}=G\). They then give a group definable in the reals and with a similar property (and expect that this property is indeed typical). These groups also provide new ``natural'' examples of theories where the group of Lascar strong automorphisms is properly contained in the group of Kim-Pillay strong automorphisms. In the fourth section the authors raise questions about definable amenability and the nature of types with bounded orbits in the o-minimal and, more generally, NIP environment. In particular they obtain that for a group definable in an o-minimal expansion of a real closed field, the existence of a type with a bounded orbit is equivalent to the definable amenability of the group. They conclude on links between types with bounded orbits and genericity.
0 references
definable group
0 references
o-minimality
0 references
amenability
0 references
bounded orbit
0 references