A difference field is a field {\displaystyle K} with an endomorphism {\displaystyle \sigma }. The theory of difference fields is inductive, and ACFA is its model companion. Therefore, models of ACFA are existentially closed difference fields.

ACFA can be explicitly axiomatized as follows. {\displaystyle (K,\sigma )\models ACFA} if and only if the following conditions hold:

The fact that this third condition is first-order is a little non-trivial, and uses the fact that irreducibility is definable in ACF.

ACFA is supersimple, but not stable. It is probably one of the most important examples of a simple unstable theory. ACFA has elimination of imaginaries. ACFA does not have quantifier elimination, but comes very close.


Completions and QE[edit|edit source]

A model {\displaystyle (K,\sigma )} of ACFA is determined up to elementary equivalence by the isomorphism class of {\displaystyle (K',\sigma ')}, where {\displaystyle K'} is the algebraic closure of the prime field, and {\displaystyle \sigma '} is the restriction of {\displaystyle \sigma } to {\displaystyle K}. Conversely, if {\displaystyle K'} is the algebraic closure of a prime field, and {\displaystyle \sigma '} is any automorphism of {\displaystyle K'}, then some model of ACFA extends {\displaystyle (K',\sigma ')}, so all the possibilities occur.

The upshot is that the completions of ACFA are in bijection with pairs {\displaystyle (p,\sigma )}, where {\displaystyle p} is 0 or a prime, and where {\displaystyle \sigma } is a conjugacy class in {\displaystyle \operatorname {Gal} ({\overline {K}}/K)}, where {\displaystyle K} is the prime field of characteristic {\displaystyle p}.

ACFA does not have quantifier elimination. However, every formula is equivalent to one of the form {\displaystyle \exists x:P(x,y)=0\wedge \phi (x;y),} where {\displaystyle x} is a single variable, {\displaystyle P(x,y)} is a polynomial, monic in {\displaystyle x}, and {\displaystyle \phi (x;y)} is quantifier-free.

Relation to pseudofinite fields[edit|edit source]

If {\displaystyle (K,\sigma )\models ACFA}, the fixed field of {\displaystyle \sigma } is pseudo-finite. More generally, it turns out that {\displaystyle (K,\sigma ^{n})\models ACFA} for any nonzero integer {\displaystyle n}, so the fixed fields of the powers of {\displaystyle \sigma } are also pseudofinite.

Elementary theory of the Frobenius[edit|edit source]

In the unpublished paper The Elementary Theory of the Frobenius, Hrushovski proves that ACFA is the limit theory of the Frobenius automorphism, in the same sense that the theory of pseudo-finite fields is the limit theory of finite fields.

More precisely, for each prime power {\displaystyle q}, let {\displaystyle F_{q}} be the difference field whose underlying field is {\displaystyle {\overline {\mathbb {F} _{q}}}}, and whose automorphism is the {\displaystyle q}th power Frobenius map. Then Hrushovski proves that any non-principal ultraproduct of {\displaystyle F_{q}}'s models ACFA. This fact generalizes Ax's theorem that non-principal ultraproducts of finite fields are pseudo-finite. The part of Ax's proof that is hardest to generalize is the Lang-Weil estimates, so Hrushovski is forced to prove "twisted Lang-Weil" estimates, which have some independent interest with algebraic geometers.

Trichotomy in ACFA[edit|edit source]

Some analogue of the Zilber Trichotomy holds in ACFA (which is unstable). This was proven by Chatzidakis and Hrushovski, maybe, at least in the characteristic 0 case.

As an application, this can be used to give yet another proof of the Manin-Mumford conjecture.

ACFA and algebraic dynamics[edit|edit source]

Hrushovski's result on the elementary theory of the frobenius has been used to prove results in algebraic dynamics about periodic points, by Fakhruddin and someone else.

Also, the trichotomy in ACFA has been used by Medvedev and Scanlon to prove results in algebraic dynamics, about periodic varieties.