grandes-ecoles

Papers (191)
2025
centrale-maths1__official 40 centrale-maths2__official 42 mines-ponts-maths1__mp 20 mines-ponts-maths1__pc 21 mines-ponts-maths1__psi 21 mines-ponts-maths2__mp 28 mines-ponts-maths2__pc 24 mines-ponts-maths2__psi 26 polytechnique-maths-a__mp 27 polytechnique-maths__fui 16 polytechnique-maths__pc 27 x-ens-maths-a__mp 18 x-ens-maths-c__mp 9 x-ens-maths-d__mp 38 x-ens-maths__pc 27 x-ens-maths__psi 38
2024
centrale-maths1__official 28 centrale-maths2__official 29 geipi-polytech__maths 9 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 20 mines-ponts-maths1__psi 19 mines-ponts-maths2__mp 23 mines-ponts-maths2__pc 21 mines-ponts-maths2__psi 21 polytechnique-maths-a__mp 44 polytechnique-maths-b__mp 37 x-ens-maths-a__mp 43 x-ens-maths-b__mp 35 x-ens-maths-c__mp 22 x-ens-maths-d__mp 45 x-ens-maths__pc 24 x-ens-maths__psi 26
2023
centrale-maths1__official 44 centrale-maths2__official 33 e3a-polytech-maths__mp 4 mines-ponts-maths1__mp 15 mines-ponts-maths1__pc 23 mines-ponts-maths1__psi 23 mines-ponts-maths2__mp 22 mines-ponts-maths2__pc 18 mines-ponts-maths2__psi 22 polytechnique-maths__fui 23 x-ens-maths-a__mp 25 x-ens-maths-b__mp 24 x-ens-maths-c__mp 20 x-ens-maths-d__mp 20 x-ens-maths__pc 18 x-ens-maths__psi 15
2022
centrale-maths1__mp 48 centrale-maths1__official 48 centrale-maths1__pc 37 centrale-maths1__psi 43 centrale-maths2__mp 32 centrale-maths2__official 32 centrale-maths2__pc 39 centrale-maths2__psi 45 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 24 mines-ponts-maths1__psi 24 mines-ponts-maths2__mp 24 mines-ponts-maths2__pc 19 mines-ponts-maths2__psi 20 x-ens-maths-a__mp 13 x-ens-maths-b__mp 40 x-ens-maths-c__mp 27 x-ens-maths-d__mp 46 x-ens-maths1__mp 13 x-ens-maths2__mp 40 x-ens-maths__pc 15 x-ens-maths__pc_cpge 15 x-ens-maths__psi 22 x-ens-maths__psi_cpge 23
2021
centrale-maths1__mp 40 centrale-maths1__official 40 centrale-maths1__pc 36 centrale-maths1__psi 29 centrale-maths2__mp 30 centrale-maths2__official 29 centrale-maths2__pc 38 centrale-maths2__psi 37 x-ens-maths2__mp 39 x-ens-maths__pc 44
2020
centrale-maths1__mp 42 centrale-maths1__official 42 centrale-maths1__pc 36 centrale-maths1__psi 40 centrale-maths2__mp 38 centrale-maths2__official 38 centrale-maths2__pc 40 centrale-maths2__psi 39 mines-ponts-maths1__mp_cpge 24 mines-ponts-maths2__mp_cpge 21 x-ens-maths-a__mp_cpge 18 x-ens-maths-b__mp_cpge 20 x-ens-maths-d__mp 14 x-ens-maths1__mp 18 x-ens-maths2__mp 20 x-ens-maths__pc 18
2019
centrale-maths1__mp 37 centrale-maths1__official 37 centrale-maths1__pc 40 centrale-maths1__psi 39 centrale-maths2__mp 37 centrale-maths2__official 37 centrale-maths2__pc 39 centrale-maths2__psi 49 x-ens-maths1__mp 24 x-ens-maths__pc 18 x-ens-maths__psi 26
2018
centrale-maths1__mp 47 centrale-maths1__official 47 centrale-maths1__pc 41 centrale-maths1__psi 44 centrale-maths2__mp 44 centrale-maths2__official 44 centrale-maths2__pc 35 centrale-maths2__psi 38 x-ens-maths1__mp 19 x-ens-maths2__mp 17 x-ens-maths__pc 22 x-ens-maths__psi 24
2017
centrale-maths1__mp 45 centrale-maths1__official 45 centrale-maths1__pc 22 centrale-maths1__psi 17 centrale-maths2__mp 30 centrale-maths2__official 30 centrale-maths2__pc 28 centrale-maths2__psi 44 x-ens-maths1__mp 26 x-ens-maths2__mp 16 x-ens-maths__pc 18 x-ens-maths__psi 26
2016
centrale-maths1__mp 42 centrale-maths1__pc 31 centrale-maths1__psi 33 centrale-maths2__mp 25 centrale-maths2__pc 47 centrale-maths2__psi 27 x-ens-maths1__mp 18 x-ens-maths2__mp 46 x-ens-maths__pc 15 x-ens-maths__psi 20
2015
centrale-maths1__mp 42 centrale-maths1__pc 18 centrale-maths1__psi 42 centrale-maths2__mp 44 centrale-maths2__pc 18 centrale-maths2__psi 33 x-ens-maths1__mp 16 x-ens-maths2__mp 31 x-ens-maths__pc 30 x-ens-maths__psi 22
2014
centrale-maths1__mp 28 centrale-maths1__pc 26 centrale-maths1__psi 27 centrale-maths2__mp 24 centrale-maths2__pc 26 centrale-maths2__psi 27 x-ens-maths1__mp 9 x-ens-maths2__mp 16 x-ens-maths__pc 4 x-ens-maths__psi 24
2013
centrale-maths1__mp 22 centrale-maths1__pc 45 centrale-maths1__psi 29 centrale-maths2__mp 31 centrale-maths2__pc 52 centrale-maths2__psi 32 x-ens-maths1__mp 24 x-ens-maths2__mp 35 x-ens-maths__pc 22 x-ens-maths__psi 9
2012
centrale-maths1__mp 36 centrale-maths1__pc 28 centrale-maths1__psi 33 centrale-maths2__mp 27 centrale-maths2__psi 18
2011
centrale-maths1__mp 27 centrale-maths1__pc 17 centrale-maths1__psi 24 centrale-maths2__mp 29 centrale-maths2__pc 17 centrale-maths2__psi 10
2010
centrale-maths1__mp 19 centrale-maths1__pc 30 centrale-maths1__psi 13 centrale-maths2__mp 32 centrale-maths2__pc 37 centrale-maths2__psi 27
2017 x-ens-maths1__mp

26 maths questions

Q1 Matrices Linear Transformation and Endomorphism Properties View
Show that the dimension of the vector space $E ^ { * }$ equals $n$.
Q2 Matrices Bilinear and Symplectic Form Properties View
Show that $\omega ( x , x ) = 0$ for all $\omega \in \mathrm { A } ( E )$ and for all $x \in E$.
Q3 Matrices Bilinear and Symplectic Form Properties View
Let $\omega \in \mathrm { A } ( E )$ and $\mathcal { B } = \left( b _ { 1 } , \ldots , b _ { n } \right)$ a basis of $E$.
(a) Show that there exists a unique matrix $M \in \mathcal { M } _ { n } ( \mathbb { R } )$, whose coefficients we shall specify, such that for all $( x , y ) \in E ^ { 2 } , \omega ( x , y ) = { } ^ { t } X M Y$ where $X , Y \in \mathbb { R } ^ { n }$ are the column matrices representing respectively $x$ and $y$ in the basis $\mathcal { B }$: $$X = \left( \begin{array} { c } x _ { 1 } \\ \vdots \\ x _ { n } \end{array} \right) , \quad Y = \left( \begin{array} { c } y _ { 1 } \\ \vdots \\ y _ { n } \end{array} \right) , \quad \begin{aligned} & x = x _ { 1 } b _ { 1 } + \cdots + x _ { n } b _ { n } \\ & y = y _ { 1 } b _ { 1 } + \cdots + y _ { n } b _ { n } . \end{aligned}$$ We then denote $M = \operatorname { Mat } _ { \mathcal { B } } ( \omega )$.
(b) Show that $M$ is antisymmetric, that is, ${ } ^ { t } M = - M$.
(c) Show that the vector space $\mathrm { A } ( E )$ is of dimension 1 when $E$ is of dimension 2.
(d) Show the equivalence between the three following statements.
$\left( \mathcal { E } _ { 1 } \right) : \quad \omega$ is a symplectic form on $E$.
$\left( \mathcal { E } _ { 2 } \right) : \quad$ For all $x \in E \backslash \{ 0 \}$, there exists $y \in E$ such that $\omega ( x , y ) \neq 0$.
$\left( \mathcal { E } _ { 3 } \right) : \quad \operatorname { Mat } _ { \mathcal { B } } ( \omega )$ is invertible.
Q4 Matrices Bilinear and Symplectic Form Properties View
Show that, if there exists a symplectic form on $E$, then $E$ is of even dimension.
Q5 Matrices Bilinear and Symplectic Form Properties View
Show that the map $\omega _ { 0 }$ defined by $$\begin{array} { r l c c } \omega _ { 0 } : & \mathbb { R } ^ { n } \times \mathbb { R } ^ { n } & \rightarrow & \mathbb { R } \\ ( X , Y ) & \mapsto & { } ^ { t } X J _ { n } Y \end{array}$$ is a symplectic form on $\mathbb { R } ^ { n }$.
Q6 Matrices Bilinear and Symplectic Form Properties View
We fix a symplectic form $\omega$ on $E$. The purpose of questions 6 to 9 is to show that there exists a basis $\mathcal { B }$ of $E$ such that $\operatorname { Mat_{\mathcal {B}} } ( \omega ) = J _ { n }$.
Treat the case where $E$ is of dimension 2.
Q7 Matrices Bilinear and Symplectic Form Properties View
We fix a symplectic form $\omega$ on $E$. Let $F$ be a vector subspace of $E$.
(a) Show that, for every linear form $u : F \rightarrow \mathbb { R }$, there exists a linear form $\widetilde { u } : E \rightarrow \mathbb { R }$ whose restriction to $F$ coincides with $u$.
We denote by $F ^ { \omega }$ the vector subspace of $E$ defined by $$F ^ { \omega } = \{ x \in E : \forall y \in F , \omega ( x , y ) = 0 \}$$ and $\psi _ { F }$ the linear map defined by $$\left\lvert \, \begin{aligned} \psi _ { F } : \quad E & \rightarrow F ^ { * } \\ x & \left. \mapsto \varphi _ { \omega } ( x ) \right| _ { F } \end{aligned} \right.$$ where $\left. \varphi _ { \omega } ( x ) \right| _ { F }$ is the restriction of $\varphi _ { \omega } ( x )$ to $F$.
(b) Show that the restriction of $\omega$ to $F \times F$ is a symplectic form on $F$ if and only if $F \cap F ^ { \omega } = \{ 0 \}$.
(c) What are the kernel and image of $\psi _ { F }$ ?
(d) Show that $\operatorname { dim } ( F ) + \operatorname { dim } \left( F ^ { \omega } \right) = \operatorname { dim } ( E )$.
(e) Show that, if the restriction of $\omega$ to $F \times F$ is a symplectic form on $F$, then $E = F \oplus F ^ { \omega }$ and the restriction of $\omega$ to $F ^ { \omega } \times F ^ { \omega }$ is a symplectic form on $F ^ { \omega }$.
Q8 Proof by induction Prove a general algebraic or analytic statement by induction View
We fix a symplectic form $\omega$ on $E$. Show by induction that there exists a basis $\widetilde { \mathcal { B } }$ of $E$ such that $$\operatorname { Mat } _ { \widetilde { \mathcal { B } } } ( \omega ) = \left( \begin{array} { c c c c } J _ { 2 } & 0 & \cdots & 0 \\ 0 & J _ { 2 } & \ddots & \vdots \\ \vdots & \ddots & \ddots & 0 \\ 0 & \cdots & 0 & J _ { 2 } \end{array} \right)$$
Q9 Matrices Bilinear and Symplectic Form Properties View
We fix a symplectic form $\omega$ on $E$. Conclude that there exists a basis $\mathcal { B }$ of $E$ such that $\operatorname { Mat_{\mathcal {B}} } ( \omega ) = J _ { n }$. Deduce that $\omega$ tames at least one complex structure on $E$.
Q10 Factor & Remainder Theorem Proof of Polynomial Divisibility or Identity View
Let $P , Q \in \mathbb { R } [ X ]$ be nonzero polynomials of respective degrees $p$ and $q$ strictly positive. Show that the linear map $L _ { P , Q }$ defined by $$\left\lvert \, \begin{array} { c c c } L _ { P , Q } : \quad \mathbb { R } _ { q - 1 } [ X ] \times \mathbb { R } _ { p - 1 } [ X ] & \rightarrow \quad \mathbb { R } _ { p + q - 1 } [ X ] \\ ( V , W ) & \mapsto V P + W Q \end{array} \right.$$ is an isomorphism if and only if $P$ and $Q$ are coprime in $\mathbb { R } [ X ]$.
Q11 Number Theory Algebraic Number Theory and Minimal Polynomials View
Let $d \in \mathbb { N } ^ { * }$. Construct a map $$\left\lvert \, \begin{aligned} r : \quad \mathbb { R } _ { d } [ X ] & \rightarrow \mathbb { R } \\ P & \mapsto r ( P ) \end{aligned} \right.$$ polynomial in the coefficients of $P$, such that, if $r ( P )$ is nonzero, then the roots of $P$ in $\mathbb { C }$ are simple.
Hint: You may use the previous question.
Q12 Number Theory Algebraic Number Theory and Minimal Polynomials View
Let $d \in \mathbb { N } ^ { * }$ and $f$ a polynomial function on $\mathbb { R } ^ { d }$. Suppose that the function $f$ is nonzero. Show that $f ^ { - 1 } ( \mathbb { R } \backslash \{ 0 \} )$ is dense in $\mathbb { R } ^ { d }$.
Hint: You may use the fact that a nonzero polynomial in one variable has only finitely many roots.
Q13 Matrices Bilinear and Symplectic Form Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$. Show that there exists a unique $u \in \mathrm { GL } ( E )$ such that $\omega _ { 1 } ( x , y ) = \omega ( u ( x ) , y )$ for all $( x , y ) \in E ^ { 2 }$. Show then that $u$ belongs to the set $\mathcal { S }$ defined by $$\mathcal { S } = \left\{ u \in \mathrm { GL } ( E ) : \forall ( x , y ) \in E ^ { 2 } , \omega ( x , u ( y ) ) = \omega ( u ( x ) , y ) \right\}$$
Q14 Matrices Eigenvalue and Characteristic Polynomial Analysis View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We assume that $E$ is of dimension 4. Let $\mathcal { B }$ be a basis of $E$ such that $\operatorname { Mat } _ { \mathcal { B } } ( \omega ) = J _ { 4 }$. Let $U \in \mathcal { M } _ { 4 } ( \mathbb { R } )$ be the matrix of $u$ in the basis $\mathcal { B }$.
(a) What relation is there between the matrices $J _ { 4 }$ and $U$ ?
(b) Show that there exist $N \in \mathcal { M } _ { 2 } ( \mathbb { R } )$ and $\alpha , \beta \in \mathbb { R }$ such that $$U = \left( \begin{array} { c c } N & \alpha J _ { 2 } \\ \beta J _ { 2 } & { } ^ { t } N \end{array} \right)$$
(c) Determine, as a function of $N , \alpha$ and $\beta$, the coefficients of the polynomial $T$ defined by $T ( X ) = \operatorname { det } \left( N - X I _ { 2 } \right) + \alpha \beta$. Show that $T$ is an annihilating polynomial of $U$.
Q15 Invariant lines and eigenvalues and vectors Diagonalizability determination or proof View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We assume that $E$ is of dimension 4 and that $u$ has no real eigenvalue. Let $\mathcal{B}$ be a basis of $E$ such that $\operatorname{Mat}_{\mathcal{B}}(\omega) = J_4$, and let $U \in \mathcal{M}_4(\mathbb{R})$ be the matrix of $u$ in $\mathcal{B}$.
Show that $U$ is diagonalizable over $\mathbb { C }$. Deduce that there exist $\lambda \in \mathbb { C } \backslash \mathbb { R }$ and vectors $Z$ and $Y$ of $\mathbb { C } ^ { 4 }$ linearly independent over $\mathbb { C }$ such that $U Z = \lambda Z$ and $U Y = \overline{\lambda} Y$.
Q16 Invariant lines and eigenvalues and vectors Diagonalize a matrix explicitly View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We assume that $E$ is of dimension 4 and that $u$ has no real eigenvalue. Let $\mathcal{B}$ be a basis of $E$ such that $\operatorname{Mat}_{\mathcal{B}}(\omega) = J_4$, and let $U \in \mathcal{M}_4(\mathbb{R})$ be the matrix of $u$ in $\mathcal{B}$. Let $\lambda \in \mathbb{C} \backslash \mathbb{R}$ and $Z, Y \in \mathbb{C}^4$ be as in question 15.
Let $Z _ { 1 } , Z _ { 2 } , Y _ { 1 } , Y _ { 2 }$ be vectors of $\mathbb { R } ^ { 4 }$ such that $Z = Z _ { 1 } + i Z _ { 2 }$ and $Y = Y _ { 1 } + i Y _ { 2 }$. Let $\left( z _ { 1 } , z _ { 2 } , y _ { 1 } , y _ { 2 } \right) \in E ^ { 4 }$ have coordinates respectively $Z _ { 1 } , Z _ { 2 } , Y _ { 1 } , Y _ { 2 }$ in the basis $\mathcal { B }$. Show that $\widetilde { \mathcal { B } } : = \left( z _ { 1 } , z _ { 2 } , y _ { 1 } , - y _ { 2 } \right)$ is a basis of $E$.
Q17 Matrices Bilinear and Symplectic Form Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We assume that $E$ is of dimension 4 and that $u$ has no real eigenvalue. Let $\mathcal{B}$ be a basis of $E$ such that $\operatorname{Mat}_{\mathcal{B}}(\omega) = J_4$, and let $z_1, z_2, y_1, y_2 \in E$ be as defined in question 16.
Show that $$\begin{aligned} & \omega \left( z _ { 1 } , z _ { 2 } \right) = \omega \left( y _ { 1 } , y _ { 2 } \right) = 0 \\ & \omega \left( z _ { 1 } , y _ { 1 } \right) = - \omega \left( z _ { 2 } , y _ { 2 } \right) \\ & \omega \left( z _ { 1 } , y _ { 2 } \right) = \omega \left( z _ { 2 } , y _ { 1 } \right) \end{aligned}$$
Q18 Matrices Bilinear and Symplectic Form Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We assume that $E$ is of dimension 4 and that $u$ has no real eigenvalue. Let $\mathcal{B}$ be a basis of $E$ such that $\operatorname{Mat}_{\mathcal{B}}(\omega) = J_4$, and let $Z, Y \in \mathbb{C}^4$ be eigenvectors as in question 15, with $z_1, z_2, y_1, y_2$ as defined in question 16.
Show that, by replacing $Y$ with $\xi Y$ where $\xi \in \mathbb { C } \backslash \{ 0 \}$ is suitably chosen, we have $\omega \left( z _ { 1 } , y _ { 1 } \right) = - 1$ and $\omega \left( z _ { 1 } , y _ { 2 } \right) = 0$.
Q19 Linear transformations View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We assume that $E$ is of dimension 4 and that $u$ has no real eigenvalue. Let $\widetilde{\mathcal{B}} = (z_1, z_2, y_1, -y_2)$ be the basis constructed in questions 16--18, where $\operatorname{Mat}_{\widetilde{\mathcal{B}}}(\omega) = J_4$.
Show that there exist $r > 0$ and $\theta \in \mathbb { R } \backslash \pi \mathbb { Z }$ such that $$\operatorname { Mat } _ { \widetilde { \mathcal { B } } } ( u ) = r \left( \begin{array} { c c } R _ { \theta } & 0 \\ 0 & R _ { - \theta } \end{array} \right)$$ where $R _ { \theta } = \left( \begin{array} { c c } \cos \theta & - \sin \theta \\ \sin \theta & \cos \theta \end{array} \right)$, and conclude that $$\operatorname { Mat } _ { \widetilde { \mathcal { B } } } ( \omega ) = J _ { 4 } \quad \text{and} \quad \operatorname { Mat } _ { \widetilde { \mathcal { B } } } \left( \omega _ { 1 } \right) = r \left( \begin{array} { c c } 0 & - R _ { - \theta } \\ R _ { \theta } & 0 \end{array} \right).$$
Q20 Matrices Linear Transformation and Endomorphism Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We consider a polynomial $P \in \mathbb { R } [ X ]$ annihilating $u$ and a decomposition $P = P _ { 1 } \cdots P _ { r }$, where $r \in \mathbb { N } ^ { * }$ and $P _ { 1 } , \ldots , P _ { r }$ are polynomials pairwise coprime in $\mathbb { R } [ X ]$. We denote $F _ { j } = \operatorname { ker } \left[ P _ { j } ( u ) \right]$ for $j = 1 , \ldots , r$.
Show that $E = F _ { 1 } \oplus \cdots \oplus F _ { r }$ and that $F _ { j }$ is stable under $u$ for $j = 1 , \ldots , r$.
Q21 Matrices Bilinear and Symplectic Form Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We consider a polynomial $P \in \mathbb { R } [ X ]$ annihilating $u$ and a decomposition $P = P _ { 1 } \cdots P _ { r }$, where $r \in \mathbb { N } ^ { * }$ and $P _ { 1 } , \ldots , P _ { r }$ are polynomials pairwise coprime in $\mathbb { R } [ X ]$. We denote $F _ { j } = \operatorname { ker } \left[ P _ { j } ( u ) \right]$ for $j = 1 , \ldots , r$. The notation $F^{\omega}$ is defined in question 7.
Show that, for all $j$ and $k$ belonging to $\{ 1 , \ldots , r \}$ and distinct, we have $F _ { k } \subset F _ { j } ^ { \omega }$ and $F _ { k } \subset F _ { j } ^ { \omega _ { 1 } }$.
Q22 Matrices Bilinear and Symplectic Form Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$. We consider a polynomial $P \in \mathbb { R } [ X ]$ annihilating $u$ and a decomposition $P = P _ { 1 } \cdots P _ { r }$, where $r \in \mathbb { N } ^ { * }$ and $P _ { 1 } , \ldots , P _ { r }$ are polynomials pairwise coprime in $\mathbb { R } [ X ]$. We denote $F _ { j } = \operatorname { ker } \left[ P _ { j } ( u ) \right]$ for $j = 1 , \ldots , r$, and $F_1, \ldots, F_r$ are pairwise orthogonal for $\omega$ and for $\omega_1$ (as shown in question 21).
Deduce that, for all $j \in \{ 1 , \ldots , r \}$, the restrictions of $\omega$ and $\omega _ { 1 }$ to $F _ { j } \times F _ { j }$ are symplectic forms on $F _ { j }$.
Q23 Matrices Bilinear and Symplectic Form Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$, and let $u \in \mathrm{GL}(E)$ be the unique automorphism such that $\omega_1(x,y) = \omega(u(x),y)$ for all $(x,y) \in E^2$.
Suppose that the characteristic polynomial of $u$ has roots of multiplicity at most 2 in $\mathbb { C }$. Show that $E$ is the direct sum of subspaces of dimension 2 or 4, pairwise orthogonal for $\omega$ and $\omega _ { 1 }$, and on which the restrictions of $\omega$ and $\omega _ { 1 }$ are symplectic forms.
Q24 Matrices Bilinear and Symplectic Form Properties View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$. We consider the propositions:
$\left( \mathcal { F } _ { 1 } \right) :$ There exists a complex structure tamed by $\omega$ and by $\omega _ { 1 }$.
$\left( \mathcal { F } _ { 2 } \right) :$ The segment $\left[ \omega , \omega _ { 1 } \right] = \left\{ ( 1 - \theta ) \omega + \theta \omega _ { 1 } ; \theta \in [ 0,1 ] \right\}$ is included in the set of symplectic forms on $E$.
Let $u$ be the automorphism of $E$ defined in question 13. Suppose that $\left( \mathcal { F } _ { 2 } \right)$ is satisfied and that the characteristic polynomial of $u$ has roots of multiplicity at most 2 in $\mathbb { C }$. Show that $( \mathcal { F } _ { 1 } )$ is satisfied.
Hint: You may prove and then use the fact that, for all $\theta \in \mathbb { R } \backslash \pi \mathbb { Z }$, there exists $\phi \in \mathbb { R }$ such that, for all $X \in \mathbb { R } ^ { 2 } \backslash \{ 0 \} , { } ^ { t } X R _ { \phi } X > 0$ and ${ } ^ { t } X R _ { \theta + \phi } X > 0$.
Q25 Matrices Eigenvalue and Characteristic Polynomial Analysis View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$. Let $\mathcal { S }$ be the set defined in question 13: $$\mathcal { S } = \left\{ u \in \mathrm { GL } ( E ) : \forall ( x , y ) \in E ^ { 2 } , \omega ( x , u ( y ) ) = \omega ( u ( x ) , y ) \right\}$$ Show that the set of elements of $\mathcal { S }$ whose characteristic polynomial $P$ has roots of multiplicity at most 2 in $\mathbb { C }$ is dense in $\mathcal { S }$.
Hint: You may use $r \left( P ^ { \prime } \right)$ where the map $r$ is defined in question 11.
Q26 Proof Deduction or Consequence from Prior Results View
We fix two symplectic forms $\omega$ and $\omega _ { 1 }$ on $E$. In light of the results of questions 24 and 25, what can we conclude regarding the relationship between propositions $\left( \mathcal { F } _ { 1 } \right)$ and $\left( \mathcal { F } _ { 2 } \right)$?