grandes-ecoles 2025 Q6
Linear Transformation and Endomorphism Properties
View
Compatible extension with $u$ given by a vector Let $V$ be a finite-dimensional vector space equipped with a nilpotent endomorphism $u$. We assume that there exists a vector subspace $W$ of $V$ stable by $u$ and a linear application $\varphi : W \rightarrow \mathcal{D}$ such that $\xi \circ \varphi = \varphi \circ u_W$. In this question, we assume that $W$ is strictly contained in $V$ and we fix a vector $v$ of $V$ that does not belong to $W$.
a) Verify that the set $$\mathcal{J} = \{P \in \mathbb{C}[X],\, P(u)(v) \in W\}$$ is an ideal of $\mathbb{C}[X]$.
b) Prove that there exists a natural integer $n$ such that $X^n \in \mathcal{J}$. Deduce that $\mathcal{J}$ is generated by the monomial $X^r$ for an appropriate natural integer $r$ that we do not ask you to specify.
c) Let $W'$ be the subspace of $V$ defined by $$W' = \{P(u)(v) + w,\, P \in \mathbb{C}[X] \text{ and } w \in W\}.$$ Verify that $W'$ contains $W$ and $v$ and that it is stable by $u$.
We denote $G_v = \varphi(u^r(v))$.
d) Prove that there exists an element $F_v$ of $\mathcal{D}$ such that $$G_v = \xi^r(F_v).$$
e) Let $P$ be a polynomial and let $w$ be an element of $W$. Prove that if $P(u)(v) = w$, then $P(\xi)(F_v) = \varphi(w)$.
f) Let $x$ be an element of $W'$. Let $P$ be a polynomial and let $w$ be an element of $W$ such that $x = P(u)(v) + w$. Prove that the element $\varphi'(x) = P(\xi)(F_v) + \varphi(w)$ depends only on $x$ and not on the choice of $P$ and $w$. Verify then that the application $\varphi'$ thus defined is an extension of $\varphi$ to $W'$ compatible with $u$ (it is not asked to verify that $\varphi'$ is linear, which we will admit).