One-basedness and groups of the form \(G/G ^{00}\) (Q647337): Difference between revisions

The paper under review studies stability-theoretic properties of groups \(G/G^{00}\), where \(G\) is a 1-dimensional, definably compact, definably connected and definable group in a real closed field \(M\). More precisely, let \(H\) be either the additive or the multiplicative group of \(M\), or \(\mathrm{SO}_2(M)\). Then \(H\) can be definably equipped with a dense linear order, and one may define the truncation of \(H\) at \(0<a\in H\), i.e., \ the group with underlying set \([-a,a)\) and multiplication modulo \(2a\). The smallest type-definable subgroup \(G^{00}\) of such a truncated group \(G\) is a convex subgroup which is externally definable. Using a result of \textit{D. Macpherson}, \textit{D. Marker }and \textit{C. Steinhorn} [Trans. Am. Math. Soc. 352, No. 12, 5435--5483 (2000; Zbl 0982.03021)], one may see that, in the expansion \(M'\) of \(M\) where \(G^{00}\) is added as a predicate, the group \(G/G^{00}\) becomes definable and uniformly o-minimal. The main results of the paper concern the notion of 1-basedness in the sense of Pillay's definition for o-minimal structures: \(M\) is said to be 1-based if for every \(\emptyset\)-definable family of unary functions \(f_{\overline{y}}:M\rightarrow M\) and all \(a,\overline{c}\) from \(M\) with \(a\not\in\mathrm{dcl}(\overline{c})\), letting \(\tilde{f}_{\overline{c}}\) denote the germ of \(f_{\overline{c}}\) at \(a\), then \(\tilde{f}_{\overline{c}}\in\mathrm{dcl}(a,\overline{c})\). The author shows that if \(G\) is an additive truncation or a truncation of \(\mathrm{SO}_2(M)\) (or \(\mathrm{SO}_2(M)\) itself), then \(G/G^{00}\) is not 1-based (with the full induced structure from \(M'\)). In the case when \(G\) is a multiplicative truncation \(G\) with underlying set \([b^{-1},b)\) for \(b>1\), it is shown that \(G/G^{00}\) is 1-based if and only if \(b\) is infinite. In his paper, the author first reviews some facts about bounded hyperdefinable (as well as bounded ind-hyperdefinable sets), equipped with the logic topology. He then discusses the Shelah expansion of a structure (where all externally definable sets are named with a predicate), in particular in the o-minimal case, and he gives a quick account of Pillay's conjecture about definably compact groups \(G\) in o-minimal theories and their strong connection to real Lie groups, via \(G\mapsto G/G^{00}\). (See [\textit{E. Hrushovski}, \textit{Y. Peterzil }and \textit{A. Pillay}, J. Am. Math. Soc. 21, No. 2, 563--596 (2008; Zbl 1134.03024)] for a complete proof of this conjecture.) Then the three cases of truncated groups mentioned above are considered, using the model theory of real closed valued fields. The paper ends with a discussion of the ind-definable case, studying groups of the form \(\tilde{G}=\bigcup_{n\in\mathbb{N}}[-na,na)\), where \(a\in H\) and \(H\) is the additive or the multiplicative group of \(M\), or \(\mathrm{SO}_2(M)\).