A geometric classification of the compact four-dimensional Einstein-Weyl manifolds with at least four-dimensional symmetry group is given. Our results also sharpen previous results on four-dimensional Einstein metrics and correct Parker's topological classification of cohomogeneity-one four-manifolds.

this article we generalize the classical gradient estimate for the minimal surface equation to higher codimension. We consider a vector-valued function $u : \Omega \subset \math{R}^n \to \math{R}^m$ that satisfies the minimal surface system, see equation (1.1) in §1. The graph of u is then a minimal submanifold of $\math{R}^{n+m}$. We prove an a priori gradient bound under the assumption that the Jacobian of $ du: \math{R}^n \to \math{R}^m$ on any two dimensional subspace of $\mtah{R}^n$ is less than or equal to one. This assumption is automatically satisfied when $du$ is of rank one and thus the estimate covers the case when m=1, i.e., the original minimal surface equation. This is applied to Bernstein type theorems for minimal submanifolds of higher codimension.

Let M be a complete two-dimensional surface immersed into the three-dimensional Euclidean space. Then a classical theorem of Hilbert says that when the curvature of M is a non-zero constant, M must be the sphere. On the other hand, when the curvature of M is zero, a theorem of Hartman-Nirenberg [4] says that M must be a plane or a cylinder. These two theorems complete the classification of complete surfaces with constant curvature in R 3.

Let M be a compact Criemannian manifold of nonpositive curvature1 and with fundamental group . It is well known [8, p. 102] that M is a K (, 1) and thus completely determined up to homotopy type by . In light of this fact it is natural to ask to what extent the riemannian structure of M is determined by the structure of , and the intent of this paper is to demonstrate that rather strong implications of this sort exist. In the case that M has strictly negative curvature, the group is known to be highly noncommutative. Every abelian, in fact, every solvable, subgroup of is cyclic [3]. It is therefore a plausible conjecture that in the nonpositive curvature case, will possess large amounts of commutativity only under special geometric circumstances. We shall show that this is true, that indeed those properties of which involve commutativity have a dramatic reflection in the riemannian structure of M.

Making use of the relations among 3-Sasakian manifolds, hypercomplex manifolds and quaternionic Khler orbifolds, we prove that complete 3-Sasakian manifolds are rigid.