Solvable Lie groups definable in o-minimal theories
In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.
Source author record
Annalisa Conversano appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.
We give examples of groups G such that G^00 is different from G^000. We also prove that for groups G definable in an o-minimal structure, G has a "bounded orbit" iff G is definably amenable. These results answer questions of Gismatullin, Newelski, Petrykovski. The examples also give new non G-compact first order theories.
We study the connected components G^00, G^000 and their quotients for a group G definable in a saturated o-minimal expansion of a real closed field. We show that G^00/G^000 is naturally the quotient of a connected compact commutative Lie group by a dense finitely generated subgroup. We also highlight the role of universal covers of semisimple Lie groups.
We study analogues of the notions from Lie theory of Levi subgroup and Levi decomposition, in the case of groups G definable in an o-minimal expansion of a real closed field. With suitable definitions, we prove that G has a unique maximal ind-definable semisimple subgroup S, up to conjugacy, and that G = RS where R is the solvable radical of G. We also prove that any semisimple subalgebra of the Lie algebra of G corresponds to a unique ind-definable semisimple subgroup of G.