Search Results
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 |
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 …
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: …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …