Let $(V,\omega)$ be a finite dimensional presymplectic vector space and $W, U$ be symplectic subspaces. Is then $span(W,U)=\{z\in V|\exists u\in U, w \in W: z=w+u \}$ also a symplectic subspace ?
1 Answers
Consider $V=\mathbb{R}^4$ with the symplectic form $\omega$ defined by the following matrix with respect to the Cartesian basis $e_1$, $e_2$, $e_3$, $e_4$:
$$ \omega=\begin{pmatrix}
0 & 1 & 0 & 0 \\
-1 & 0 & 1 & 0 \\
0 & -1 & 0 & 1 \\
0 & 0 & -1 & 0
\end{pmatrix}. $$
Let $W:= span\{e_1, e_2\}$ and $U:= span\{e_2,e_3\}$. Then both $W$ and $U$ are symplectict but $U+W=span\{e_1, e_2, e_3\}$ is clearly not symplectic.
EDIT (reaction to a comment): Consider $V'=\mathbb{R}^6$ with the symplectic form $\omega'$ defined by the following matrix with respect to the Cartesian basis $e_1$, $e_2$, $e_3$, $e_4$, $e_5$, $e_6$: $$\omega' = \begin{pmatrix} 0 & 1 & 0 & -1 & 0 & 1 \\ -1 & 0 & 1 & 0 & 1 & 0 \\ 0 & -1 & 0 & 1 & 0 & 0 \\ 1 & 0 & -1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 & 0 & 0 \\ -1 & 0 & 0 & 0 & 0 & 0 \\ \end{pmatrix}$$ Let $W':=span\{e_1,e_2\}$ and $U'=span\{e_3,e_4\}$. Then both $W'$ and $U'$ are symplectic subspaces of $V'$, it holds $W'\cap U' = 0$ because $e_1$, $e_2$, $e_3$, $e_4$ are linearly independent, but $W'+U'\subset V'$ is not a symplectic subspace.
- 694
-
what about the case when U and W are disjoint – samlanader Feb 18 '20 at 20:59
-
I modified my answer to cover your question. I added off-diagonal elements to $\omega$ so that I got $-I = III$ and $-II=IV$ for the rows in $\mathbb{R}^4$. I then "disturbed" these relations by adding another elements to the same rows in the extra dimension so that the rows in $\mathbb{R}^6$ became linearly independent. – Pavel Feb 19 '20 at 22:27