Geometric Langlands duality and representations of algebraic groups over commutative rings

In this paper we give a geometric version of the Satake isomorphism [Sat]. As such, it can be viewed as a first step in the geometric Langlands program. The connected complex reductive groups have a combinatorial classification by their root data. In the root datum the roots and the coroots appear in a symmetric manner and so the