Some definability results in abstract Kummer theory

DOI10.1093/IMRN/RNT057MaRDI QIDQ2929675zbMATH OpenOpenAlexFDO

Authors Martin Bays, Misha Gavrilovich, Martin Hils

Publication date 14 November 2014

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

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

Mathematics Subject Classification ID

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

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.

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

Cited in

(11)

• Generic expansions by a reduct
• Model theory of special subvarieties and Schanuel-type conjectures
• Generic expansion of an abelian variety by a subgroup
• Model theory of compact complex manifolds with an automorphism
• Standard conjectures in model theory, and categoricity of comparison isomorphisms: a model theory perspective
• On subgroups of semi-abelian varieties defined by difference equations
• Zilber's notion of logically perfect structure: universal covers
• Universal covers of commutative finite Morley rank groups
• Turing meets Schanuel
• Pseudo-exponential maps, variants, and quasiminimality
• Quasiminimality of complex powers

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)