COMPLEXIFIED DIFFEOMORPHISM GROUPS, TOTALLY REAL SUBMANIFOLDS AND KAHLER EINSTEIN GEOMETRY

Let (M, J) be an almost complex manifold. We show that the infinite-dimensional space T of totally real submanifolds in M carries a natural connection. This induces a canonical notion of geodesics in T and a corresponding definition of when a functional f : T -> R is convex. Geodesics in T can be expressed in terms of families of J-holomorphic curves in M; we prove a uniqueness result and study their existence. When M is Kahler we define a canonical functional on T; it is convex if M has non-positive Ricci curvature. Our construction is formally analogous to the notion of geodesics and the Mabuchi functional on the space of Kahler potentials, as studied by Donaldson, Fujiki, and Semmes. Motivated by this analogy, we discuss possible applications of our theory to the study of minimal Lagrangians in negative Kahler Einstein manifolds.