A set of all linear transformations with a fixed Jordan structure is a symplectic manifold isomorphic to the coadjoint orbit of . Any linear transformation may be projected along its eigenspace to (at least one) coordinate subspace of the complement dimension. The Jordan structure of the image is defined by the Jordan structure of the pre-image, consequently the projection $\mathcal O (J)\to \mathcal O (\tilde J)\mathcal E\mathcal O(J) \to \mathcal E \times \mathcal O (\tilde J)$ is a birational symplectomorphysm. The iteration of the procedure gives the isomorphism between and the linear symplectic space, which is the direct product of all the fibers of the projections. The Darboux coordinates on $\mathcal O(J)$ are pull-backs of the canonical coordinates on the linear spaces in question.

生成讲解博客的中文版本

生成AI智能校验的中文版本