In this paper we prove a convexity theorem for semisimple symmetric spaces which generalizes Kostant's convexity theorem for Riemannian symmetric spaces. Let τ be an involution on the semisimple connected Lie group G and H = GQ the 1-component of the group of fixed points. We choose a Cartan involution θ of G which commutes with τ and write K = Gθ for the group of fixed points. Then there exists an abelian subgroup A of G, a subgroup M of K commuting with A, and a nilpotent subgroup N such that HMAN is an open subset of G and there exists an analytic mapping L: HMAN -* α = h(A) with L(hman) = log a. The set of all elements in A for which aH C HMAN is a closed convex cone. Our main result is the description of the projections L(aH) C α for these elements as the sum of the convex hull of the Weyl group orbit of log a and a certain convex cone in α. 0. Introduction. If G is a connected semisimple Lie group and G — KAN an Iwasawa decomposition, then the convexity theorem of Kostant describes the image of the sets aK under the projection G = KA'N -> α' = L(A') ,kexpXn*-+X as the convex hull of the Weyl group orbit through log a. Recently van den Ban proved a generalization of this theorem to the following situation. Let τ be an involution on the semisimple Lie group G with finite center, G = KA'N a compatible Iwasawa decomposition, i.e., K is τ-invariant, and o! = α^ + αq the corresponding decomposition of a' = L(^4/) into 1 and — 1 eigenspaces for τ. Suppose that H c Gτ is an essentially connected subgroup (see §1 for the definition). Then he describes the image of the sets aH, a £ exp αq under the projection F: G —• α q defined by g e K exp(a^) exp F(g)N. This set is the sum of the convex hull of the orbit of log a under a certain Weyl group and a convex cone in α q. We generalize Kostant's theorem into another direction. We consider the projection L: HMAN -> α defined by g e HMexpL(g)N, where H c Gτ is essentially connected and M, A, and N are defined in §1. This makes sense because the ^4-component in a product hman is unique and HMAN is open in G. So the main new difficulties are the non-compactness of H and the fact that the projection L
Read full abstract