With the same setup as Q37--Q38, show that the restriction $\omega _ { P ^ { \omega } }$ of $\omega$ to $P ^ { \omega } \times P ^ { \omega }$ equips $P ^ { \omega }$ with a symplectic space structure and that the endomorphism $v _ { P ^ { \omega } }$ induced by $v$ on $P ^ { \omega }$ is a symplectic endomorphism.