Suppose A and B are normed division algebras, i.e. R,C,H or O, we introduce and study Grassmannians of linear subspaces in (A ⊗ B)n which are complex/Lagrangian/maximal isotropic with respect to natural two tensors on (A ⊗ B)n. We show that every irreducible compact symmetric space must be one of these Grassmannian spaces, possibly up to a finite cover. This gives a simple and uniform description of all compact symmetric spaces. This generalizes the Tits magic square description for simple Lie algebras to compact symmetric spaces.

In a symmetric space of noncompact type X = G=K oriented geodesic segments correspond modulo isometries to vectors in the Euclidean Weyl chamber. We can hence assign vector valued lengths to segments. Our main result is a system of homogeneous linear inequalities, which we call the generalized triangle inequalities or stability inequalities, describing the restrictions on the vector valued side lengths of oriented polygons. It is based on the mod 2 Schubert calculus in the real Grassmannians G=P for maximal parabolic subgroups P. The side lengths of polygons in Euclidean buildings are studied in the related paper [KLM2]. Applications of the geomet- ric results in both papers to algebraic group theory are given in[KLM3].

The geometric Cauchy problem for a class of surfaces in a pseudo-Riemannian manifold of dimension 3 is to nd the surface which contains a given curve with a prescribed tangent bundle along the curve. We consider this problem for constant negative Gauss curvature surfaces (pseudospherical surfaces) in Euclidean 3-space, and for timelike constant non-zero mean curvature (CMC) surfaces in the Lorentz-Minkowski 3-space. We prove that there is a unique solution if the prescribed curve is noncharacteristic, and for characteristic initial curves (asymptotic curves for pseudospherical surfaces and null curves for timelike CMC) it is necessary and sucient for similar data to be prescribed along an additional characteristic curve that intersects the rst. The proofs also give a means of constructing all solutions using loop group techniques. The method used is the innite dimensional d'Alembert type representation for surfaces associated with Lorentzian harmonic maps (1-1 wave maps) into symmetric spaces, developed since the 1990's. Explicit formulae for the potentials in terms of the prescribed data are given, and some applications are considered.

The main purpose of this paper is to prove a general result about the geometry of holomorphic line bundles over Khler manifolds. This result is essentially a partial verification of a conjecture of Tian [30] and Tian has, over many years, highlighted the importance of the question for the existence theory of KhlerEinstein metrics. We will begin by stating this main result.

A discrete conformality for polyhedral metrics on surfaces is introduced in this paper which generalizes earlier work on the subject. It is shown that each polyhedral metric on a surface is discrete conformal to a constant curvature polyhedral metric which is unique up to scaling. Furthermore, the constant curvature metric can be found using a discrete Yamabe flow with surgery.