Skip to main content
Robert Bryant's user avatar
Robert Bryant's user avatar
Robert Bryant's user avatar
Robert Bryant
  • Member for 13 years, 8 months
  • Last seen this week
awarded
revised
Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$
Added a missing phrase and edited a few sentences for clarity
Loading…
Loading…
comment
Example of non homogenous manifold with a finitely generated algebra of natural functions
@Amr: Presumably, what you want is the application of Weyl's theorem about scalar invariants of representations of the orthogonal group applied to the normalized power series expansion of metrics in normal coordinates. See H. Weyl's "The Classical Groups" (the chapter on the orthogonal group) and P. Gilkey's discussion in Section 2.4 of his book "Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem".
awarded
comment
How to describe the compact real forms of the exceptional Lie groups as matrix groups?
@QGravity: This information about roots and fundamental weights can also be found in Helgason's book.
comment
How to describe the compact real forms of the exceptional Lie groups as matrix groups?
@QGravity: The best reference I know is Helgason's "Differential Geometry, Lie groups, and Symmetric Spaces". See Table V of Chapter X, Section 6. If all you want is the classification of the compact real forms of the simple Lie groups, that's much easier and follows directly from the classification of the complex simple Lie algebras over $\mathbb{C}$, but, if you want all the real forms, you need to know the finite order automorphisms of the complex simple Lie algebras, which is more delicate.
revised
Example of non homogenous manifold with a finitely generated algebra of natural functions
Added a little more information to show that the example constructed really is a smooth metric on the 2-sphere, plus a remark showing that there are lots of examples with no symmetry at all.
Loading…
awarded
revised
Example of non homogenous manifold with a finitely generated algebra of natural functions
Fixed a minor normalization error about where $f$ vanishes.
Loading…
Loading…
Loading…
awarded
comment
Explicit automorphism map of ${\rm Spin}(8;\mathbb{R})$, ${\rm SO}(8;\mathbb{R})$, ${\rm PSO}(8;\mathbb{R})$
@MichaelAlbanese: Yes, they are equal, as is not hard to show using the Moufang identities in the octonions, plus some more elementary facts.
revised
Asymptotic parametrization for negatively curved surfaces
Added some information about the extensions of u and v to the entire surface S
Loading…
revised
Asymptotic parametrization for negatively curved surfaces
Fixed the description of the points missed by (u,v):S to R^2
Loading…
revised
Asymptotic parametrization for negatively curved surfaces
Put in the explicit formula for u and v
Loading…
revised
Asymptotic parametrization for negatively curved surfaces
Added a sentence to explain why the desired s and t cannot exist
Loading…
Loading…
comment
Jacobian of exponential map
Look in Helgason's Differential Geometry, Lie Groups, and Symmetric Spaces. He gives a formula for the Jacobian of the differential of the exponential map. I don't know the history that well, but I think that such formulae are due originally to some combination of Cartan and Weyl. Probably, Helgason's notes at the end of the relevant chapter contain some comment on this. (I don't have my copy handy at the moment.)
1
2 3 4 5
269