Topology of definable abelian groups in o-minimal structures
type: Item
instance of: scholarly article
title: Topology of definable abelian groups in o-minimal structures
zbMATH Open document ID: 1251.03041
author: Alessandro Berarducci
author: Elías Baro
published in: Bulletin of the London Mathematical Society
publication date: 2012-06-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1102.2494
full work available at URL: BBtori1102.pdf
Mathematics Subject Classification ID: 03C64
zbMATH DE Number: 6048032
zbMATH Keywords: o-minimal structure
zbMATH Keywords: definably compact group
zbMATH Keywords: definably connected group
zbMATH Keywords: Pillay topology
zbMATH Keywords: definable homeomorphism
zbMATH Keywords: semialgebraic homeomorphism
MaRDI profile type: Publication
OpenAlex ID: W2031617844
arXiv ID: 1102.2494
DOI: 10.1112/BLMS/BDR108
review text: Let \(M\) be an o-minimal expansion of a real closed field. For every positive integer \(n\) the \(n\)-torus over \(M\), \(T_n(M)\), is the poly-interval \([0, 1)^n\) in \(M\) with the sum operation modulo \(1\). Let \(G\) be a definably connected, definably compact definable abelian group of dimension \(n\) in \(M\), equipped with the Pillay topology. \textit{A. Berarducci, M. Mamino} and \textit{M. Otero} showed [Isr. J. Math. 180, 143--161 (2010; Zbl 1213.03048), Theorem 3.4] that \(G\) is definably homotopy equivalent to \(T_n(M)\). On the other hand it is not true in general that \(G\) is also definably isomorphic to \(T_n(M)\). Here the authors deal with the question whether \(G\) is definably homeomorphic to \(T_n(M)\). A positive answer is given when \(n \neq 4\). Moreover it is proved that, if \(G\) is semialgebraic, namely \(M\) is a real closed field without any additional structure, then the result is true in all dimensions.
reviewed by: Carlo Toffalori
description: scientific article; zbMATH DE number 6048032