## Why symmetric spaces?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

In Bar-Natan's "Knots at Lunch" seminar at the University of Toronto, we are currently discussing a talk by Alekseev at Montpellier about Rouvière's expansion of the Duflo isomorphism to the setting of symmetric spaces.
We understand the definition of a symmetric space, and we know that people have written books about them; but we I don't understand in what sense symmetric spaces are useful and interesting mathematical objects. In particular:

Are there significant (analytic? geometric? algebraic?) techniques which work for symmetric spaces, but not for more general classes of homogenous spaces?

What I'm trying to understand (at least vaguely) is the role of symmetric spaces in the Kashiwara-Vergne picture, and the conceptual reason one might expect Duflo's isomorphism to generalize to this specific class of mathematical objects. There must be a conceptual explanation why symmetric spaces are the natural class of objects to consider in such contexts.
A closely related question is THIS.

-

While hardly an answer, I'd like to advertise the following connection. A simple kind of symmetric space is G/H where H is the fixed-point set of an inner involution, and even simpler, the centralizer Z(t) of an involution. Brauer (I believe) proved that there are finitely many finite simple G with fixed isomorphism classes of Z(t), and proposed that finite simple groups be classified using them. Eventually, they were! – Allen Knutson Oct 21 2010 at 2:56

## 3 Answers

The algebra of invariant differential operators on a symmetric space is commutative, and this is certainly not true for an arbitrary homogeneous space. While it is not true that the commutativity of the algebra $D^{G}$ of $G$ invariant differential operators on a homogeneous space $X = G/H$ implies that $X$ is symmetric, if $G$ is reductive it is true that $D^{G}$ is commutative if and only if $G/H$ is weakly symmetric in the sense defined by Selberg (see E.B. Vinberg's survey in Russ. Math. Surveys 56(1)).

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

If one accepts curvature as a measure of complexity of a Riemannian manifold (which one might or might not agree with), then the "simplest" Riemannian manifolds are those of constant curvature. Unfortunately, there are not so many of these; besides Euclidean space the only simply-connected examples are the spheres (constant positive curvature) and the hyperbolic spaces (constant negative curvature). (Of course there is a rich theory of non-simply-connected spaces of constant negative curvature, but never mind.) So, how can one weaken the notion of constant curvature to obtain a larger class of interesting, but not "too complicated" spaces? Well, it seems natural to ask that the covariant derivative of the curvature should be 0. In this case, one has many more 1-connected examples, and these are precisely symmetric spaces. They are nice in various senses:

• They can be classified, so there are not too many of them (but still sufficiently many to be "interesting").
• They admit a description in terms of Lie groups. This allows for very explicit computations, e.g. of curvature and characteristic classes.
• They admit a natural duality (compact/non-neg. curved vs. non-compact/non-pos. curved) if one ignores flat factors. This allows for the transfer of ideas between two different worlds (see e.g. Hirzebruch proportionality).

What more can one ask for? On the other hand, one should stress that they are really rare and special objects, just slightly less rare than manifolds of constant curvature.

-

Would symmetric spaces be the widest class of homogeneous spaces for which explicit computations of curvature and characteristic classes could be made, and for which Hirzebruch proportionality holds? (the answer to the second question is surely no: kurims.kyoto-u.ac.jp/~toshi/texpdf/hirz-the.pdf)  – Daniel Moskovich Oct 10 2010 at 17:18
Good news for anyone interested in the subject is the fact that Wolff's classic text,SPACES OF CONSTANT CURVATURE,which is the most in-depth source on this important area of geometry,will be reissued by the AMS early next year,after over a decade in limbo where copies of the 5th edition were going for over 300 dollars a piece online. That's good news indeed.  – Andrew L Oct 10 2010 at 22:25
I'm interested in the reference to duality between non-pos and non-neg curved spaces. Could you point me towards some references for this ?  – Suresh Venkat Oct 11 2010 at 2:40
Symmetric spaces are certainly not the widest classes of homogeneous spces for which explicit computations of curvature and characteristic classes can be made, but they are the ones for which one gets arguably the nicest and easiest formulas. As an example, consider the rational cohomology: For general homogeneous spaces U/K this depends on the projection p: U -> U/K and the classifying map f: U/K ->BK in a rather complicated way. In the symmetric case, everything splits nicely and one gets H^*(U/K; Q) = p^*H(U/K; Q) \otimes f^*H(BK; Q), i.e. the contribution from characteristic classes splits – Tobias Hartnick Oct 11 2010 at 10:32
Concerning Suresh's question, one should emphasize that to the best of my knowledge there is no such thing as a general duality between non-pos and non-neg curved spaces. This is something very special to symmetric spaces (and some of there generalizations).  In this context, instances of duality can be found in every book on symmetric spaces (e.g. Helgason). As far as duality of char. classes is concerned, the above cite article of Kobayashi-Ono is state of the art, as far as I know. – Tobias Hartnick Oct 11 2010 at 10:34

Here is one example. When $G$ is a compact Lie group and $H$ is a Lie subgroup, the real cohomology of the homogeneous space $G/H$ is the same as the relative cohomology $H^*(g,h,\mathbf{R})$ where $g$ and $h$ are the Lie algebras of $G$, respectively $H$. This can be proven by averaging, just as in the case when $H$ is trivial. In general the differential in the relative cochain complex is not zero, but when $G/H$ is symmetric, it is, for a simple reason: the symmetric involution acts as $(-1)^d$ on the degree $d$ part of the complex; since this action should commute with the differential, the differential must be 0; for more details see Felix, Halperin, Thomas, Rational homotopy theory, p. 162.

So symmetric spaces are formal. However, in general compact homogeneous spaces need not be formal; e.g. $SU(n)/Sp(n)$ is not formal for $n\geq 5$, see Greub, Halperin, Vanstone, Curvature, connections and cohomology.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9188638925552368, "perplexity_flag": "head"}