Arithmetic Geometry over Global Function Fields