Complex analytic geometry and analytic-geometric categories

From MaRDI portal




Abstract: We consider an arbitrary topological group G definable in a structure mathcalM, such that some basis for the topology of G consists of sets definable in mathcalM. To each such group G we associate a compact G-space of partial types SmuG(M)=pmu:pinSG(M) which is the quotient of the usual type space SG(M) by the relation of two types being "infinitesimally close to each other". In the o-minimal setting, if p is a definable type then it has a corresponding definable subgroup Stabmu(p), which is the stabilizer of pmu. This group is nontrivial when p is unbounded in the sense of mathcalM; in fact it is a torsion-free solvable group. Along the way, we analyze the general construction of SmuG(M) and its connection to the Samuel compactification of topological groups.




Cited in
(31)








This page was built for publication: Complex analytic geometry and analytic-geometric categories

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