Some definability results in abstract Kummer theory

DOI10.1093/IMRN/RNT057zbMATH Open1328.14071arXiv1112.6012OpenAlexW2963309819MaRDI QIDQ2929675FDOQ2929675

Misha Gavrilovich, Martin Hils, Martin Bays

Publication date: 14 November 2014

Published in: IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Abstract: Let $S$ be a semiabelian variety over an algebraically closed field, and let $X$ be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of $S$. We show that the number of irreducible components of $[n{]}^{-1}(X)$ is bounded uniformly in $n$, and moreover that the bound is uniform in families $X_t$. We prove this by purely Galois-theoretic methods. This proof applies in the more general context of divisible abelian groups of finite Morley rank. In this latter context, we deduce a definability result under the assumption of the Definable Multiplicity Property (DMP). We give sufficient conditions for finite Morley rank groups to have the DMP, and hence give examples where our definability result holds.

Full work available at URL: https://arxiv.org/abs/1112.6012

Recommendations

• On subgroups of semi-abelian varieties defined by difference equations
• Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
• Locally definable subgroups of semialgebraic groups
• Generic bound for the Mordell-Lang problem
• scientific article; zbMATH DE number 2220981

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Abelian varieties and schemes (14K99)

Cited In (10)

• Model theory of compact complex manifolds with an automorphism
• Zilber's notion of logically perfect structure: universal covers
• UNIVERSAL COVERS OF COMMUTATIVE FINITE MORLEY RANK GROUPS
• Generic expansions by a reduct
• Standard conjectures in model theory, and categoricity of comparison isomorphisms: A model theory perspective
• Pseudo-exponential maps, variants, and quasiminimality
• Generic expansion of an abelian variety by a subgroup
• Quasiminimality of complex powers
• Model theory of special subvarieties and Schanuel-type conjectures
• Turing meets Schanuel

This page was built for publication: Some definability results in abstract Kummer theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2929675)