arXiv subjects
Publications and source records attributed to Thomas Blossier.
We adapt a proof of Lascar in order to show the simplicity of the group of automorphisms fixing pointwise all non-generic elements for a class of uncountable models of suitable theories, encompassing both strongly minimal theories as well as several theories of fields with operators.
Based on Hrushovski, Palac{í}n and Pillay's example [6], we produce a new structure without the canonical base property, which is interpretable in Baudisch's group. Said structure is, in particular, CM-trivial, and thus at the lowest possible level of the ample hierarchy.
In this short note, we mimic the proof of the simplicity of the theory ACFA of generic difference fields in order to provide a criterion, valid for certain theories of pure fields and fields equipped with operators, which shows that a complete theory is simple whenever its definable and algebraic closures are controlled by an underlying stable theory.
We give an alternative proof, valid in all characteristics, of a result of Lascar characterising the bounded automorphisms of an algebraically closed field. We generalise this method to various fields equipped with operators.
We classify the groups definable in the coloured fields obtained by Hrushovski amalgamation. A group definable in the bad green field is isogenous to the quotient of a subgroup of an algebraic group by a Cartesian power of the group of green elements. A definable subgroup of an algebraic group in the green or red field is an extension of the coloured points of a multiplicative or additive algebraic group by an algebraic group. In particular, a simple group in a coloured field is algebraic.
In this short paper, we will provide a characterisation of interpretable groups in a beautiful pair (K, E) of algebraically closed fields : every interpretable group is, up to isogeny, the extension of the subgroup of E-rational points of an algebraic group by an interpretable group which is the quotient of an algebraic group by the E-rational points of an algebraic subgroup.---Dans une belle paire (K;E) de corps algébriquement clos, un groupe définissable se projette, à isogénie près, sur les points E-rationnels d'un groupe algébrique ayant pour noyau un groupe algébrique. Un groupe interprétable est, à isogénie près, l'extension des points E-rationnels d'un groupe algébrique par un groupe interprétable, qui est lui le quotient d'un groupe algébrique par les points E-rationnels d'un sous-groupe algébrique.
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.
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.