Definably compact groups definable in real closed fields

DOI10.1007/S11856-020-2014-ZMaRDI QIDQ2200033zbMATH OpenOpenAlexFDO

Authors Eliana Barriga

Publication date 15 September 2020

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.08606

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Compact groups (22C05)

Abstract: We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $$-definable groups and show the existence of group-generic points for definably compact groups definable in a sufficiently saturated o-minimal expansion of a real closed field. We use this notion along with some properties of generic sets to prove that for every definably compact definably connected group $G$ definable in $R$ there are a connected $R$-algebraic group $H$, a definable injective map $phi$ from a generic definable neighborhood of the identity of $G$ into the group $Hleft(Right)$ of $R$-points of $H$ such that $phi$ acts as a group homomorphism inside its domain. This result is used in [2] to prove that the o-minimal universal covering group of an abelian connected definably compact group definable in a sufficiently saturated real closed field $R$ is, up to locally definable isomorphisms, an open connected locally definable subgroup of the o-minimal universal covering group of the $R$-points of some $R$-algebraic group.

Recommendations

• Groups definable in separably closed fields
• On Groups and Rings Definable In O-Minimal Expansions of Real Closed Fields
• Definable groups and compact p -adic Lie groups
• DEFINABLY COMPACT ABELIAN GROUPS
• Definability in the group of infinitesimals of a compact Lie group
• Publication:4938566
• Fields definable in the free group
• Definable Compactness and Definable Subgroups of o-Minimal Groups
• Topological dynamics for groups definable in real closed field
• Groups definable in local fields and pseudo-finite fields

Cites work

• Affine Nash groups over real closed fields
• Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
• Covers of groups definable in o-minimal structures
• Definable homomorphisms of abelian groups in o-minimal structures
• Definable quotients of locally definable groups
• DEFINABLY COMPACT ABELIAN GROUPS
• Discrete subgroups of locally definable groups
• Generic sets in definably compact groups
• Groups definable in local fields and pseudo-finite fields
• Groups, measures, and the NIP
• scientific article; zbMATH DE number 493073 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Locally definable groups in o-minimal structures
• Locally definable homotopy
• Minimal bounded index subgroup for dependent theories
• On groups and fields definable in o-minimal structures
• On NIP and invariant measures
• The universal covering homomorphism in o‐minimal expansions of groups
• The universal covering map in o-minimal expansions of groups

Cited in

(3)

• DEFINABLY COMPACT ABELIAN GROUPS
• Locally definable subgroups of semialgebraic groups
• Extensions of definable local homomorphisms in o-minimal structures and semialgebraic groups

This page was built for publication: Definably compact groups definable in real closed fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200033)