Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $CP(n)$ be the complex projective space with Fubini-Study metric with diameter $=\frac{\pi}{2}$. Fix a point say $p\in CP(n)$; my question is what is the set of points of maximum distance to the point $p$? (The hint given in the class is $CP(n-1)$.) I can't figure out why. Could anyone help me please? Or give any reference with a detailed study of this kind of properties?

share|improve this question
2  
Since $CP(n)$ is homogeneous, you may start by assuming that $p$ is your favorite point, e.g. the point with homogeneous coordinates $[1:0:0:\cdots:0]$. –  Jim Belk Feb 15 '12 at 3:47
1  
What's your definition of $CP(n)$ and the Fubini-Study metric? –  Jason DeVito Feb 15 '12 at 4:46
    
@JasonDeVito, the $CP(n)$ should be written as $\mathbb{CP}^n$ the complex $n$-dimensional projective space. The Fubini-Study metric is the metric you get from Riemannian submersion form the round sphere of dimension $2n+1$ by Hopf fibration. –  Sun Feb 15 '12 at 15:13
add comment

1 Answer

up vote 1 down vote accepted

Here's a hint via a few lemmas.

  1. The (identity component) of the isometry group of $S^{2n+1}$ is $SO(2n+2)$. The subgroup of isometries which preserve the Hopf fibration is $U(n+1)\subseteq SO(2n+2)$ (standard embedding). The subgroup $SU(n+1)$ inside of this, thus preserves the Hopf fibration, so descends to an isometry of $\mathbb{C}P^n$. $SU(n+1)$ acts transitively on $S^{2n+1}$, and hence transitively on $\mathbb{C}P^n$. (This is an outline of the proof of what Jim said in his comment). So, as Jim mentioned, we might as well focus on the point $p=[1:0:...:0]$.

  2. Given any geodesic $\gamma$ in $\mathbb{C}P^n$ starting at $p$, and given any preimage $\tilde{p}$ of $p$ in $S^{2n+1}$, there is a unique geodesic $\tilde{\gamma}$ starting at $\tilde{p}$ which projects down to $\gamma$ and is everywhere orthogonal to the Hopf circles. In my head, I'm thinking of $\tilde{p}=(1,0...,0)\in S^{2n+1}$ where I'm thinking of $S^{2n+1} = \{(z_0,...,z_n)\in\mathbb{C}^{n+1}\mid \sum |z_i|^2=1\}$.

  3. A geodesic $\gamma$ stops minimizing distance when $\tilde{\gamma}$ is half way around the sphere and the set of all such stopping points on $S^{2n+1}$ is $\{(0,z_1,...,z_n)\in S^{2n+1}\}$, diffeomorphic to $S^{2n-1}$.

  4. The Hopf actions preserves this $S^{2n-1}$ and becomes $\mathbb{C}P^n$ in the quotient.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.