# antipodal map of complex projective space

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?

-
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
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

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.