Arithmetic geometry over global function fields.