Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 13972

This tag is used if a reference is needed in a paper or textbook on a specific result.

3 votes

Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$

There is also a quick abstract proof via representation theory: $S^2_0(\mathbb{R}^4)$ is a 9-dimensional representation of $\mathrm{SO}(4)/\{\pm I_4\}\simeq \mathrm{SO}(3)\times\mathrm{SO}(3)$ and, h …
Robert Bryant's user avatar
15 votes

Reference for the proof that Möbius transformations extend to isometries of hyperbolic 3-space

Probably, you can find a discussion of this in Thurston's notes on hyperbolic 3-manifolds, or maybe some of the expositions by his students. However, what you are asking for is actually pretty simple: …
Robert Bryant's user avatar
5 votes
Accepted

On a result of Cartan for homogeneous manifolds arising from a quotient of discrete subgroups

The result that you are looking for is not in Élie Cartan's 1936 book La topologie des groupes de Lie because it was not known to be true at the time the book was written. Indeed, as Cartan remarks i …
Robert Bryant's user avatar
3 votes
Accepted

Method of characteristics with 2 dependent variables in 3 dimensions

The method of characteristics is a bit strange here because the equation is underdetermined, so one can't expect to be able to specify a solution by fixing initial data for $u$ and $v$ along a surface …
Robert Bryant's user avatar
6 votes
Accepted

Does $F_{A}^{0,2}=0$ for a connection $A$ on $TM$ almost complex give a complex structure?

Here is an example to think about: Let $S^6 = \mathrm{G}_2/\mathrm{SU}(3)$ be the $6$-sphere endowed with its $\mathrm{G}_2$-invariant almost Hermitian structure. There is a $\mathrm{G}_2$-invariant …
Robert Bryant's user avatar
6 votes
Accepted

Invariants for the isotropy representation of a Riemannian symmetric space

One reference is in Helgason's 1984 book Groups and Geometric Analysis. The result you want appears there as Corollary 5.12. The notation he uses is $X=G/K$ is a symmetric space where $G$ is connecte …
Robert Bryant's user avatar
5 votes

Diagonalization of octonionic Hermitian matrices of size $2\times 2$

Yes, in fact, any $2$-by-$2$ octonionic Hermitian matrix is equivalent under the natural $\mathrm{Spin}(9)$ action to a diagonal $2$-by-$2$ octonionic Hermitian matrix. This follows from the well-know …
Robert Bryant's user avatar
10 votes

Groups associated with infinite dimensional Lie algebras

Here is an informative example that illustrates the difficulties: Consider the Lie algebra ${\frak{g}} = \mathrm{Vect}(\mathbb{S})$ of smooth vector fields on the circle $\mathbb{S}$. The flow of an …
LSpice's user avatar
  • 12.9k
6 votes
Accepted

Is $\operatorname{Spin}(8)$ a direct product of $\operatorname{Spin}(7)$ and $S^7$?

As I suspected, the statement that the bundle $\mathrm{SO}(8)\to S^7$ is a product bundle, i.e., that $$ \mathrm{SO}(8)\simeq S^7\times\mathrm{SO}(7)\tag1 $$ as bundles over $S^7$ is in N. Steenrod's …
Robert Bryant's user avatar
5 votes

Invariant theory over $\mathbb R$

As YCor commented, the main point is to show that the invariant polynomials separate orbits. This follows from the compactness of $\mathrm{SO}(n)$. The point is this: Because $\mathrm{SO}(n)$ is co …
Community's user avatar
  • 1
10 votes
Accepted

Is there a unique "natural" action of $\mathsf{SL}_{n+1}$ on $\mathbb{R}^n$?

There are two aspects to this question, the global question and the local question. Also, the case $n=1$ is different from $n>1$. Basically, the answer is 'essentially yes, but with some caveats'. H …
Robert Bryant's user avatar
11 votes
Accepted

Smoothness of coordinates in the rectification theorem for ODE

In dimension $1$, it's true that a flowboxing change of coordinates for a $C^r$ vector field is $C^{r+1}$, but this is no longer true in dimensions greater than $1$. Basically, the reason is this: If …
Robert Bryant's user avatar
10 votes

Curves of constant curvature on an ellipsoid

You may want to have a look at the article Foliation by constant mean curvature spheres, by Rugang Ye, Pacific Journal of Mathematics, 147 (1991), 381–396. In this article, the author shows, given a R …
Robert Bryant's user avatar
5 votes
Accepted

Reference for non-parallel harmonic $k$-forms

There are too many of these for them to have any particularly interesting structure. For example, consider any metric $g$ on the $3$-torus $\mathbb{T}^3$. By the Hodge theorem, the space of $g$-harm …
Robert Bryant's user avatar
14 votes
Accepted

Taylor expansion of the metric tensor in the normal coordinates

Using the reference https://arxiv.org/pdf/0903.2087.pdf, which agrees with https://arxiv.org/pdf/hep-th/0001078v1.pdf, which agrees with the reference U. Müller, C. Schubert and Anton M. E. van de Ven …
Robert Bryant's user avatar

1
2 3 4 5 6
15 30 50 per page