We show that the generic automorphism is axiomatisable in the green field of
Poizat (once Morleyised) as well as in the bad fields which are obtained by
collapsing this green field to finite Morley rank. As a corollary, we obtain
"bad pseudofinite fields" in characteristic 0. In both cases, we give geometric
axioms. In fact, a general framework is presented allowing this kind of
axiomatisation. We deduce from various constructibility results for algebraic
varieties in characteristic 0 that the green and bad fields fall into this
framework. Finally, we give similar results for other theories obtained by
Hrushovski amalgamation, e.g. the free fusion of two strongly minimal theories
having the definable multiplicity property. We also close a gap in the
construction of the bad field, showing that the codes may be chosen to be
families of strongly minimal sets.Comment: Some minor changes; new: a result of the paper (Cor 4.8) closes a gap
in the construction of the bad fiel