Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

As is well known, one can view $\mathbb{CP}^n$ as a quotient of the unit $(2n + 1)$-sphere in $\mathbb{C}^{n+1}$ under the action of $U(1)$, since every line in $\mathbb{C}^{n+1}$ intersects the unit sphere in a circle.

Moreover, we have $S^{2n + 1} = SU(n+1)/SU(n)$, where $SU(n)$ embeds into the bottom right-hand corner (say).

My question is: Is there an embedding $j$ of $U(1)$ into $SU(n+1)/SU(n)$ that gives the $U(1)$ action as a left (right) multiplication, i.e. such that $A.e^{i \theta} = Aj(e^{i \theta})$, for all $A \in SU(n+1)/SU(n)$?

For $n=1$, it's easy: $SU(2) = S^3$, and we embed $e^{i\theta}$ as
$\left( \begin{array}{cc} e^{i \theta} & 0 \\\\ 0 & e^{-i \theta} \end{array} \right)$.

share|improve this question
4  
Well, there is an embedding through left multiplication. –  Mariano Suárez-Alvarez Jan 13 '10 at 6:17
    
I mean an embedding such that the quotient of $SU(n+1)/SU(n)$ under the resulting multplicative action of $U(1)$ is homeomorphic to $\mathbb{CP}^n$. –  Aston Smythe Jan 13 '10 at 6:47
add comment

3 Answers 3

up vote 3 down vote accepted

The U(1) group is the torus in SU(N+1) which commutes with SU(N). In the example given in the question where SU(N) is chosen as the bottom N-dimensional block. U(1) consists of the diagonal matrices

diag{exp(N*i*theta), exp(-i*theta), . . . . (N-times) exp(-i*theta)}

Please observe that the restriction to the bottom N-dimensional block is proportional to the unit matrix thus it commutes with the whole of SU(N), also it belongs to SU(N+1), since its has a unit determinant.

The reason that the U(1) and the SU(N) factors commute is due to a theorem by A. Borel which states that the denominator subgroup of homogeneous Kaehlerian spaces must be the centralizer of a torus. In our case the torus is the U(1) subgroup and the certralizer is SU(N)*U(1)

share|improve this answer
add comment

From wikipedia: $\mathbb{CP}^n$ is a Symmetric space of type AIII for $p=n$, $q=1$. There are embeddings of both $U(1)$ and $SU(n)$ into $S(U(n) \times U(1)) \subset SU(n+1)$ which give you your quotient by right multiplication.

share|improve this answer
add comment

My original answer was unsalvegable so I've deleted it and am posting a new "answer". As with the first one, I don't rate this as particularly an answer but more just trying to understand what's going on.

I was initially having trouble understanding Scott's answer, but now I think I do and I think it gives the matrix representation wanted which isn't quite what David wrote.

We have $SU(n+1)$ and inside this we have $SU(n)$ and quotient out to get $S^{2n+1}$. We also have a slightly larger subgroup which is $S(U(n) \times U(1))$, which contains $SU(n)$, such that the quotient is $\mathbb{CP}^n$.

Now, $S(U(n) \times U(1))$ is $U(n)$ via $A \mapsto (\det A^{-1},A)$ and the inclusion $SU(n) \to S(U(n) \times U(1))$ goes over to the standard inclusion. Here, $SU(n)$ is a normal subgroup and $U(n)$ is the semi-direct product of $SU(n)$ and $U(1)$ with the map $U(1) \to U(n)$ given by $\lambda \mapsto (\lambda, 1,\dots,1)$ (diagonal matrix). When taken over to $S(U(n) \times U(1))$ this becomes $\lambda \mapsto (\lambda^{-1},\lambda,1,\dots,1)$.

So then $SU(n+1)/S(U(n) \times U(1)) \cong (SU(n+1)/SU(n))/U(1)$ where $U(1) \to SU(n+1)$ is the map $\lambda \to (\lambda^{-1},\lambda,1,\dots,1)$.

This isn't the same as David's, I know, so it may not be what you want (since that answer's been accepted). Presumably only one satisfies the condition that you want and presumably it's David's since that answer's been accepted. Still, I was confused and I think I've straightened myself out now.

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.