Grouplike minimal sets in ACFA and in T_A

Details Grouplike minimal sets in ACFA and in T_A Grouplike minimal sets in ACFA and in T_A

2009-10-05

arxiv.org/abs/0910.0683v2

Mathematics

Logic

Major changes since last version, especially in section 3. To appear in JSL

Scientific paper

This paper began as a generalization of a part of the author's PhD thesis about ACFA and ended up with a characterization of groups definable in T_A. The thesis concerns minimal formulae in ACFA of the form "p lies on an algebraic curve A and s(x)=f(x)" for some dominant rational function f from A to s(A), where s is the automorphism. These are shown to be uniform in the Zilber trichotomy, and the pairs (A,f) that fall into each of the three cases are characterized. These characterizations are definable in families. This paper covers approximately half of the thesis, namely those parts of it which can be made purely model-theoretic by moving from ACFA, the model companion of the class of algebraically closed fields with an endomorphism, to T_A, the model companion of the class of models of an arbitrary totally-transcendental theory T with an injective endomorphism, if this model-companion exists. A T_A analog of the characterization of groups definable in ACFA is obtained in the process. The full characterization is obtained from these intermediate results with heavy use of algebraic geometry: see the thesis or the forthcoming paper "Around Lattes functions".

Affiliated with

Also associated with

No associations

Rating

Grouplike minimal sets in ACFA and in T_A 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 Grouplike minimal sets in ACFA and in T_A, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Grouplike minimal sets in ACFA and in T_A will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-9381