اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدDefinable Equivariant Retractions in Non-Archimedean Geometry
41
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
For $G$ an algebraic group definable over a model of $operatorname{ACVF}$, or more generally a definable subgroup of an algebraic group, we study the stable completion $widehat{G}$ of $G$, as introduced by Loeser and the second author. For $G$ connected and stably dominated, assuming $G$ commutative or that the valued field is of equicharacteristic 0, we construct a pro-definable $G$-equivariant strong deformation retraction of $widehat{G}$ onto the generic type of $G$. For $G=S$ a semiabelian variety, we construct a pro-definable $S$-equivariant strong deformation retraction of $widehat{S}$ onto a definable group which is internal to the value group. We show that, in case $S$ is defined over a complete valued field $K$ with value group a subgroup of $mathbb{R}$, this map descends to an $S(K)$-equivariant strong deformation retraction of the Berkovich analytification $S^{mathrm{an}}$ of $S$ onto a piecewise linear group, namely onto the skeleton of $S^{mathrm{an}}$. This yields a construction of such a retraction without resorting to an analytic (non-algebraic) uniformization of $S$. Furthermore, we prove a general result on abelian groups definable in an NIP theory: any such group $G$ is a directed union of $infty$-definable subgroups which all stabilize a generically stable Keisler measure on $G$.
قيم البحث
اقرأ أيضاً
For a group $G$ definable in a first order structure $M$ we develop basic topological dynamics in the category of definable $G$-flows. In particular, we give a description of the universal definable $G$-ambit and of the semigroup operation on it. We
find a natural epimorphism from the Ellis group of this flow to the definable Bohr compactification of $G$, that is to the quotient $G^*/{G^*}^{00}_M$ (where $G^*$ is the interpretation of $G$ in a monster model). More generally, we obtain these results locally, i.e. in the category of $Delta$-definable $G$-flows for any fixed set $Delta$ of formulas of an appropriate form. In particular, we define local connected components ${G^*}^{00}_{Delta,M}$ and ${G^*}^{000}_{Delta,M}$, and show that $G^*/{G^*}^{00}_{Delta,M}$ is the $Delta$-definable Bohr compactification of $G$. We also note that some deeper arguments from the topological dynamics in the category of externally definable $G$-flows can be adapted to the definable context, showing for example that our epimorphism from the Ellis group to the $Delta$-definable Bohr compactification factors naturally yielding a continuous epimorphism from the $Delta$-definable generalized Bohr compactification to the $Delta$-definable Bohr compactification of $G$. Finally, we propose to view certain topological-dynamic and model-theoretic invariants as Polish structures which leads to some observations and questions.
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $mathcal Lcup{D}$-definable sets and their $mathcal L$-reducts, where $mathcal L$ is a relational expansion of the field
language and $D$ a symbol for a derivation. This enables us to associate with an $mathcal Lcup{D}$-definable group in models of such theories, a local $mathcal L$-definable group. As a byproduct, we show that in closed ordered differential fields, one has the descending chain condition on centralisers.
In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.
We study amenability of definable groups and topological groups, and prove various results, briefly described below. Among our main technical tools, of interest in its own right, is an elaboration on and strengthening of the Massicot-Wagner version
of the stabilizer theorem, and also some results about measures and measure-like functions (which we call means and pre-means). As an application we show that if $G$ is an amenable topological group, then the Bohr compactification of $G$ coincides with a certain ``weak Bohr compactification introduced in [24]. In other words, the conclusion says that certain connected components of $G$ coincide: $G^{00}_{topo} = G^{000}_{topo}$. We also prove wide generalizations of this result, implying in particular its extension to a ``definable-topological context, confirming the main conjectures from [24]. We also introduce $bigvee$-definable group topologies on a given $emptyset$-definable group $G$ (including group topologies induced by type-definable subgroups as well as uniformly definable group topologies), and prove that the existence of a mean on the lattice of closed, type-definable subsets of $G$ implies (under some assumption) that $cl(G^{00}_M) = cl(G^{000}_M)$ for any model $M$. Thirdly, we give an example of a $emptyset$-definable approximate subgroup $X$ in a saturated extension of the group $mathbb{F}_2 times mathbb{Z}$ in a suitable language (where $mathbb{F}_2$ is the free group in 2-generators) for which the $bigvee$-definable group $H:=langle X rangle$ contains no type-definable subgroup of bounded index. This refutes a conjecture by Wagner and shows that the Massicot-Wagner approach to prove that a locally compact (and in consequence also Lie) ``model exists for each approximate subgroup does not work in general (they proved in [29] that it works for definably amenable approximate subgroups).
We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness, ...). For exam
ple, if $M$ is a countable, $omega$-categorical structure and $Aut(M)$ is amenable, as a topological group, then the Lascar Galois group $Gal_{L}(T)$ of the theory $T$ of $M$ is compact, Hausdorff (also over any finite set of parameters), that is $T$ is G-compact. An essentially special case is that if $Aut(M)$ is extremely amenable, then $Gal_{L}(T)$ is trivial, so, by a theorem of Lascar, the theory $T$ can be recovered from its category $Mod(T)$ of models. On the side of definable groups, we prove for example that if $G$ is definable in a model $M$, and $G$ is definably amenable, then the connected components ${G^{*}}^{00}_{M}$ and ${G^{*}}^{000}_{M}$ coincide, answering positively a question from an earlier paper of the authors. We also take the opportunity to further develop the model-theoretic approach to topological dynamics, obtaining for example some new invariants for topological groups, as well as allowing a uniform approach to the theorems above and the various categories.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
