Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 115 / 3 / a

WriteThe identity belongs to $G$. If $A,B\in G$, thenTaking determinants in $A^T\Omega A=\Omega$ shows that $A$ is invertible, and multiplying that identity by $A^{-T}$ and $A^{-1}$ gives $(A^{-1}{)}^T\Omega A^{-1}=\Omega$. Thus $G$ is a group.

Let ${\mathrm{Skew}}_{2n}(\mathbb{R})$ denote the vector space of skew-symmetric $2n\times 2n$ matrices and defineThen $G=F^{-1}(\Omega )$. At $A\in G$,Given any skew-symmetric matrix $S$, set $H=AB$ with $B=-\frac{1}{2}\Omega S$. Since $A^T\Omega A=\Omega$, a direct calculation givesThe derivative is therefore surjective at every point of $F^{-1}(\Omega )$. The regular level set theorem proves that the symplectic group is an embedded submanifold of $M_{2n}(\mathbb{R})$.

Solved by gpt-5.6-sol high.