English

Some Definability Results in Abstract Kummer Theory

Logic 2021-07-14 v3 Number Theory

Abstract

Let SS be a semiabelian variety over an algebraically closed field, and let XX be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of SS. We show that the number of irreducible components of [n]1(X)[n]^{-1}(X) is bounded uniformly in nn, and moreover that the bound is uniform in families XtX_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.

Keywords

Cite

@article{arxiv.1112.6012,
  title  = {Some Definability Results in Abstract Kummer Theory},
  author = {Martin Bays and Misha Gavrilovich and Martin Hils},
  journal= {arXiv preprint arXiv:1112.6012},
  year   = {2021}
}

Comments

21 pages; minor notational fixes

R2 v1 2026-06-21T19:57:26.503Z