All Questions

Let $K=\mathbb C((t))$ and $O=\mathbb C[[t]]$, and $n\geq 1$. Consider the matrix $$J_{2n}=\begin{pmatrix} 0& I_n \\ -I_n & 0\end{pmatrix},$$ And let $\Psi : K^{2n}\times K^{2n}\rightarrow K$ ...