Mathematics – Logic
Scientific paper
2011-12-05
Mathematics
Logic
Scientific paper
Consider the algebraic dynamics on a torus $T=G_m^n$ given by a matrix $M$ in $GL_n(Z)$. Assume that the characteristic polynomial of $M$ is prime to all polynomials $X^m-1$. We show that any finite equivariant map from another algebraic dynamics onto $(T,M)$ arises from a finite isogeny $T \to T$. A similar and more general statement is shown for Abelian and semi-abelian varieties. In model-theoretic terms, our result says: Working in an existentially closed difference field, we consider a definable subgroup $B$ of a semi-abelian variety $A$; assume $B$ does not have a subgroup isogenous to $A'(F)$ for some twisted fixed field $F$, and some semi-Abelian variety $A'$. Then B with the induced structure is stable and stably embedded. This implies in particular that for any $n>0$, any definable subset of $B^n$ is a Boolean combination of cosets of definable subgroups of $B^n$. This result was already known in characteristic 0 where indeed it holds for all commutative algebraic groups ([CH]). In positive characteristic, the restriction to semi-abelian varieties is necessary.
Chatzidakis Zoé
Hrushovski Ehud
No associations
LandOfFree
On subgroups of semi-abelian varieties defined by difference equations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On subgroups of semi-abelian varieties defined by difference equations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On subgroups of semi-abelian varieties defined by difference equations will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-394642