Searcharxiv⌕ Search

arXiv subjects

Frank Olaf Wagner

Publications and source records attributed to Frank Olaf Wagner.

26 records · Page 2Linked to original sources
arXiv2013

Relative geometries

We start an analysis of geometric properties of a structure relative to a reduct. In particular, we look at definability of groups and fields in this context. In the relatively one-based case, every definable group is isogenous to a subgroup of a product of groups definable in the reducts. In the relatively CM-trivial case, which contains certain Hrushovski amalgamations (the fusion of two strongly minimal sets or the expansions of a field by a predicate), every definable group allows a homomorphism with virtually central kernel into a product of groups definable in the reducts.

math.LO↗
arXiv2012

On Variants of CM-triviality

We introduce a generalization of CM-triviality relative to a fixed invariant collection of partial types, in analogy to the Canonical Base Property defined by Pillay, Ziegler and Chatzidakis which generalizes one-basedness. We show that, under this condition, a stable field is internal to the family, and a group of finite Lascar rank has a normal nilpotent subgroup such that the quotient is almost internal to the family.

math.LO↗
arXiv2012

Ample thoughts

Non-n-ampleness as defined by Pillay and Evans is preserved under analysability. Generalizing this to a more general notion of Sigma-ampleness, we obtain an immediate proof for all simple theories of CHatzidakis weak Canonical Base Property (CBP) for types of finite SU-rank. This is then applied to the special case of groups.

math.LO↗
arXiv2011

Small, $nm$-stable compact $G$-groups

We prove that if $(H,G)$ is a small, $nm$-stable compact $G$-group, then $H$ is nilpotent-by-finite, and if additionally $\NM(H) \leq ω$, then $H$ is abelian-by-finite. Both results are significant steps towards the proof of the conjecture that each small, $nm$-stable compact $G$-group is abelian-by-finite. We give examples of small, $nm$-stable compact $G$-groups of infinite ordinal $\NM$-rank, providing counter-examples to the $\NM$-gap conjecture.

math.LO↗