Algebraically Closed Fields with a Generic Multiplicative Character

Abstract: We study the model theory of the

2

-sorted structure

(m a t h b b F, m a t h b b C; c h i)

, where

m a t h b b F

is an algebraic closure of a finite field of characteristic

p

,

m a t h b b C

is the field of complex numbers and

c h i : m a t h b b F o m a t h b b C

is an injective, multiplication preserving map. We obtain an axiomatization

m a t h r m {A C F C}_{p}

of

m a t h r m T h (m a t h b b F, m a t h b b C; c h i)

in a suitable language

L

, classify the models of

m a t h r m {A C F C}_{p}

up to isomorphism, prove a modified model companion result, give various descriptions of definable sets inside a model of

m a t h r m {A C F C}_{p}

, and deduce that

m a t h r m {A C F C}_{p}

is

o m e g a

-stable and has definability of Morley rank in families.

This page was built for publication: Algebraically Closed Fields with a Generic Multiplicative Character