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

Let $\Lambda_{n}$ be the set of all Lagrangian subspaces of $C^{n}$, and $P\in\Lambda_{n}$. Put $U_{P}= ( Q\in\Lambda_{n} : Q\cap (iP)=0 )$. There is an assertion that the set $U_{P}$ is homeomorphic to the real vector space of all symmetric endomorphisms of $P$. And then in the proof of it there is a fact that the subspaces $Q$ that intersect $iP$ only at $0$ are the graphs of the linear maps $\phi : P\to iP$. This is what I don't understand, any explanation or reference where I can find it would be helpful.

share|improve this question
    
There is where such asssertion? –  Mariano Suárez-Alvarez Apr 23 '13 at 7:09
add comment

2 Answers

up vote 2 down vote accepted

It is very elementary; the graph representation refers to the cartesian product $P\times iP$ coming from the real vector space direct sum decomposition $\mathbb{C}^n = P\oplus iP\sim P\times iP$.

Here the direct sum decomposition is possible because $\dim _ \mathbb{R}(P)=n $ and $P\cap iP=0$, from the definition of Lagrangian subspace (thus any $z$ writes uniquely as $z=x+iy$ with $x$ and $y$ in $P$).

The second projection $\pi_2: P\times iP \to iP$, restricted to a subspace $Q$, has kernel $Q\cap iP$, so it is injective exactly for $Q\in U_P$, in which case $Q=\operatorname{graph}\\ \pi_1({\pi_2}{|Q})^{-1}$.

For other details check e.g. the introductory pages of Hofer-Zehnder's book, Symplectic Invariants and Halmiltonian Dynamics.

share|improve this answer
add comment

Take the projection $\mathbb C^n\to P$ with kernel $iP$ and restrict it to $Q$. Its inverse, composed with the projection $\mathbb C^n\to iP$ with kernel $P$ is the linear map $\Phi$ you look for. See 31.7 of here for more information.

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.