Linear groups definable in o-minimal structures
The paper concerns subgroups \(G<GL(n,R)\) definable in an o-minimal structure \(M=(R,<,+,\cdot,\ldots)\), where \((R,<,+,\cdot)\) is a real closed field. The authors give a number of conditions which guarantee that \(G\) is semialgebraic (that is, definable in \((R,+,\cdot)\)), or at least definably isomorphic to a semialgebraic group. They also give examples of metabelian \(G\) which are not even abstractly isomorphic to a semialgebraic group. NEWLINENEWLINENEWLINEThe paper begins with an overview of the Lie algebra techniques developed by the same authors [``Definably simple groups in o-minimal structures, Trans. Am. Math. Soc. 352, 4397-4419 (2000; Zbl 0952.03046)]. This, with some preliminaries on commutative definable groups, yield that if \(G\) is definable connected and nilpotent then \(G\) is definably isomorphic to a linear semialgebraic group. The authors also use Lie methods to show that for definable \(G\) (in their usual setting), there are semialgebraic \(G_1,G_2 <GL(n,R)\) with \(G_2<G<G_1\), \(G_2\) normal in \(G_1\), and \(G_1/G_2\) abelian. This yields easily that either \(G\) is itself semialgebraic, or \(G\) is definable in \((R,+,\cdot,f_1,\ldots,f_k)\) where the \(f_i\) are definable automorphisms of \((R_{>0},\cdot)\), or there is a definable isomorphism \(e:(R,+) \rightarrow (R_{>0},\cdot)\) and \(G\) is definable in \((R,+,\cdot,e)\). It is also shown that if \(G\) is semisimple (that is, has no infinite definable normal abelian subgroup) then \(G\) is semialgebraic; also, if \(G\) is bounded and closed in \(R^{n^2}\), then \(G\) is semialgebraic. NEWLINENEWLINENEWLINEThe paper includes a number of results about abstract/semialgebraic simplicity. For example, if \(G\) is an infinite group, then \((G,\cdot)\) is elementarily equivalent to some simple Lie group if and only if \(G\) is definable in some o-minimal structure and there is no proper non-trivial normal subgroup of \(G\) definable in \((G,\cdot)\). It is also shown that if \(G\) is a semialgebraic non-abelian group over some real closed field, and \(G\) has no proper non-trivial semialgebraic normal subgroup, and \((G,\cdot)\) is not elementarily equivalent to any compact simple linear real Lie group, then \(G\) is abstractly simple.
- A.D. Alexandrov spaces with curvature bounded below
- Algebraic and abstract simple groups
- An application of model theory to real and p-adic algebraic groups
- Definable Compactness and Definable Subgroups of o-Minimal Groups
- Definably simple groups in o-minimal structures
- scientific article; zbMATH DE number 47220 (Why is no real title available?)
- scientific article; zbMATH DE number 50185 (Why is no real title available?)
- scientific article; zbMATH DE number 1160037 (Why is no real title available?)
- scientific article; zbMATH DE number 3086377 (Why is no real title available?)
- Linear algebraic groups.
- On groups and fields definable in o-minimal structures
- On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields
- Simple algebraic and semialgebraic groups over real closed fields
- On groups and fields definable in o-minimal structures
- The derived subgroup of linear and simply-connected o-minimal groups
- Nilpotent groups, o-minimal Euler characteristic, and linear algebraic groups
- One Lie group to define them all
- Connected components of definable groups, and o-minimality. II.
- \(G\)-linear sets and torsion points in definably compact groups
- Locally definable groups in o-minimal structures
- Commutators in groups definable in o-minimal structures
- Maximal compact subgroups in the o-minimal setting
- Cartan subgroups of groups definable in o-minimal structures
- On the Euler characteristic of definable groups
- Real Lie groups and o-minimality
- Lattices in locally definable subgroups of \(\langle R^{n},+\rangle\)
- scientific article; zbMATH DE number 1222928 (Why is no real title available?)
- Definably simple groups in o-minimal structures
- Simple algebraic and semialgebraic groups over real closed fields
- Connected components of definable groups and o-minimality. I
- SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
- TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
- scientific article; zbMATH DE number 2152682 (Why is no real title available?)
- Definability in o-minimal expansions of the real numbers
- Cartan subgroups and regular points of o‐minimal groups
- Locally definable subgroups of semialgebraic groups
- Groups definable in linear o-minimal structures: the non-compact case
- On Pillay's conjecture in the general case
- Linearity of groups definable in o-minimal structures
- On central extensions and definably compact groups in o-minimal structures
- Groups, measures, and the NIP
- O-minimal spectra, infinitesimal subgroups and cohomology
- Expansions of the real field by discrete subgroups of \(\mathrm{Gl}_n(\mathbb{C})\)
- A reduction to the compact case for groups definable in o-minimal structures
- Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
- A definability criterion for connected Lie groups
- Higher homotopy of groups definable in o-minimal structures
- Invariance results for definable extensions of groups
- An application of model theory to real and p-adic algebraic groups
This page was built for publication: Linear groups definable in o-minimal structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957502)
