grandes-ecoles 2022 Q36

grandes-ecoles · France · centrale-maths1__official Groups Symplectic and Orthogonal Group Properties
Let $u \in \operatorname { Symp } _ { \omega } ( E )$, $e_1 \in E$ non-zero, $f_1 \in E$ not collinear with $e_1$ such that $\omega(e_1, f_1) = 1$, and $\delta_1$ a composition of at most two symplectic transvections such that $\delta_1(u(e_1)) = e_1$. Let $\tilde { f } _ { 1 }$ denote the vector $\delta _ { 1 } \left( u \left( f _ { 1 } \right) \right)$. Show that there exists a composition $\delta _ { 2 }$ of at most two symplectic transvections of $E$ such that
$$\left\{ \begin{array} { l } \delta _ { 2 } \left( e _ { 1 } \right) = e _ { 1 } \\ \delta _ { 2 } \left( \tilde { f } _ { 1 } \right) = f _ { 1 } \end{array} \right.$$
One may adapt the proof of the preceding lemma.
Let $u \in \operatorname { Symp } _ { \omega } ( E )$, $e_1 \in E$ non-zero, $f_1 \in E$ not collinear with $e_1$ such that $\omega(e_1, f_1) = 1$, and $\delta_1$ a composition of at most two symplectic transvections such that $\delta_1(u(e_1)) = e_1$. Let $\tilde { f } _ { 1 }$ denote the vector $\delta _ { 1 } \left( u \left( f _ { 1 } \right) \right)$. Show that there exists a composition $\delta _ { 2 }$ of at most two symplectic transvections of $E$ such that

$$\left\{ \begin{array} { l } 
\delta _ { 2 } \left( e _ { 1 } \right) = e _ { 1 } \\
\delta _ { 2 } \left( \tilde { f } _ { 1 } \right) = f _ { 1 }
\end{array} \right.$$

One may adapt the proof of the preceding lemma.