The title says it all. In one of his answers to the question "Convex hull in CAT(0)" (I don't have the points to post a link, if someone doesn't mind link-ifying this that would be cool), Greg Kuperberg said that GL(n,C)/U(n) is a CAT(0) space. I was wondering why this is true, or if there's a reference for this.