Invariant Metrics on the Sphere - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T12:17:22Z http://mathoverflow.net/feeds/question/75864 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/75864/invariant-metrics-on-the-sphere Invariant Metrics on the Sphere Jean Delinez 2011-09-19T16:07:22Z 2012-03-28T18:53:10Z <p>I've been thinking about $SU(n)$-invariant metrics on the odd-dimensional spheres $S^{2n-1} \simeq SU(n)/SU(n-1)$. For $S^1$, all such metrics are in correspondence with the positive reals. For $S^{3} \simeq SU(2)$, the tangent space is parallelizable, and so, such metrics are in correspondence with metrics on $R^2$. Does such a characterization exist for $S^5$, or higher. </p> http://mathoverflow.net/questions/75864/invariant-metrics-on-the-sphere/75880#75880 Answer by algori for Invariant Metrics on the Sphere algori 2011-09-19T18:25:27Z 2011-09-19T18:25:27Z <p>Assume $n>2$. The $SU(n)$-invariant metrics on the sphere $S^{2n-1}$ are in bijection with $SU(n-1)$ invariant metrics on $T_x S^{2n-1}$ where $SU(n-1)$ is realized as the stabilizer of some $x\in S^{2n-1}$. This action is the sum of the defining $SU(n-1)$-module $V$ and the trivial real 1-dimensional module $T$. The space of invariant real valued bilinear forms on this is 2-dimensional and is spanned by the invariant Hermitian metric on the defining representation and some metric on the trivial representation.</p> <p>Notice that if $(\cdot,\cdot)$ is invariant and $v\in V, t\in T$, then $(v,t)=0$ since there is an $A\in SU(n-1)$ such that $Av=-v$. This is what makes the case $n>2$ different from the case $n=2$.</p> http://mathoverflow.net/questions/75864/invariant-metrics-on-the-sphere/79678#79678 Answer by Renato G Bettiol for Invariant Metrics on the Sphere Renato G Bettiol 2011-11-01T04:21:17Z 2012-03-28T18:53:10Z <h2>Classification of $SU(n+1)$-homogeneous metrics on $S^{2n+1}$:</h2> <p>First, note that for any $n\geq1$, the round metric on the sphere $S^{2n+1}$ can be scaled by $t^2$ in the direction of the Hopf fibers $S^1\to S^{2n+1}\to \mathbb C P^n$, giving rise to a one-parameter family $g_t$ of $SU(n+1)$-homogeneous metrics (so that $g_1$ is the original round metric).</p> <blockquote> <p><strong>Prop.</strong> Any $SU(n+1)$-homogeneous metric on $S^{2n+1}$ is isometric to some $g_t$, $t>0$.</p> </blockquote> <p>In other words, they are always parameterized by (positive) real numbers. Alternatively, these $SU(n+1)$ homogeneous metrics on $S^{2n+1}$ are isometric to distance spheres in the complex projective space $\mathbb C P^{n+1}$.</p> <p>Both of the above statements follow from a more general result, namely W. Ziller's classification of all homogeneous metrics on spheres, see [<em>Homogeneous Einstein metrics on spheres and projective spaces.</em> Math. Ann. 259 (1982), no. 3, 351–358].</p> <hr> <h2>A few more details:</h2> <p>An explicit formula for any $G$-homogeneous metric on the homogeneous space $G/H$, in terms of an $Ad(H)$-invariant decomposition $g= h\oplus p$ of the Lie algebra of $G$ is: $$\langle ,\rangle=h|_{p_0} + \sum_{i=1}^r\alpha_i B|_{p_i},$$ where $p= p_0\oplus\dots\oplus p_r$ is a decomposition so that the $H$ representations on $p_i$ are not equivalent, $H$ acts trivially on $p_0$ and irreducibly on $p_i$, $i=1,\dots r$; $h|_{p_0}$ is any inner product on $p_0$; $B$ is a bi-invariant metric on $G$ and $\alpha_i>0$ are real parameters. Any $G$-homogeneous metric is defined by choosing these parameters. In the case of $SU(n+1)$, this decomposition is $p=p_0\oplus p_1$ and $\dim p_0=1$, so (up to renormalization) there is only one parameter, $\alpha_1$ to be chosen (that I called $t$ above).</p> <p>EDIT. Since I claim the metrics are parameterized by one positive real number (and another answer above claims there must be two real parameters), a clarification is in order here. The point is that, indeed, there are two parameters ($h|_{p_0}$ and $\alpha_1$ in the notation above), nevertheless it is always possible to divide the entire metric by the first one (the number that determines the metric $h$ on the 1-dim space $p_0$), which leaves us with just one parameter. Treating the family as having the $2$ parameters is slightly ambiguous because lots of metrics will be simple rescaling of other ones. In my description above, they are pairwise non-conformal.</p>