# Matrice simplettica

In matematica, una matrice simplettica è una matrice $M$ di dimensione $2n\times 2n$ (i cui elementi sono tipicamente reali o complessi) che soddisfa la condizione:
    $M^{T}JM=J$
dove $M^{T}$ indica la matrice trasposta di $M$ e $J$ è la matrice antisimmetrica $2n\times 2n$:
    $J={\begin{bmatrix}0&I_{n}\\-I_{n}&0\\\end{bmatrix}}$
Qui $I_{n}$ è la matrice identità $n\times n$. Si noti che $J$ ha determinante $+1$ ed elevata al quadrato è l'opposto della matrice identità: $J^{2}=-I_{2n}$
Alcuni autori preferiscono usare una $J$ differente per la definizione delle matrici simplettiche. L'unica proprietà essenziale è che $J$ sia una matrice antisimmetrica non singolare. L'alternativa più comune è la forma a blocchi diagonali:
    $J={\begin{bmatrix}{\begin{matrix}0&1\\-1&0\end{matrix}}&&0\\&\ddots &\\0&&{\begin{matrix}0&1\\-1&0\end{matrix}}\end{bmatrix}}$
Si noti che questa scelta si differenzia dalla precedente per una permutazione dei vettori della base. Infatti, ogni scelta di $J$ può essere portata in una delle due forme precedenti con una differente scelta della base. Vedere la formulazione astratta più avanti nella sezione delle trasformazioni simplettiche.

## Proprietà

Ogni matrice simplettica ha un'inversa data da:
    $M^{-1}=J^{-1}M^{T}J$
Inoltre, il prodotto di due matrici simplettiche è ancora una matrice simplettica. Questo fatto attribuisce all'insieme di tutte le matrici simplettiche la struttura di gruppo. Esiste una struttura naturale di varietà su questo gruppo che produce un gruppo di Lie (reale o complesso) chiamato gruppo simplettico. Il gruppo simplettico ha dimensione $n(2n+1)$.
Usando il teorema di Binet, segue immediatamente dalla definizione che il determinante di ogni matrice simplettica è $\pm 1$; più precisamente, si dimostra che vale $1$ attraverso l'uso del pfaffiano e dell'identità:
    ${\mbox{Pf}}(M^{T}JM)=\det(M){\mbox{Pf}}(J)$
Poiché $M^{T}JM=J$ e ${\mbox{Pf}}(J)\neq 0$ si ha che $\det(M)=1$.
Sia $M$ una matrice a blocchi $2n\times 2n$ data da:
    $M={\begin{pmatrix}A&B\\C&D\end{pmatrix}}$
dove $A$, $B$, $C$ e $D$ sono matrici $n\times n$. Allora la condizione che $M$ sia simplettica è equivalente alle condizioni:
    $A^{T}D-C^{T}B=1\qquad A^{T}C=C^{T}A\qquad D^{T}B=B^{T}D$
Quando $n=1$ queste condizioni si riducono alla singola condizione $\det(M)=1$. Quindi una matrice $2\times 2$ è simplettica se e solo se ha determinante unitario.

## Trasformazioni simplettiche

Nella formulazione astratta dell'algebra lineare, le matrici sono sostituite da trasformazioni lineari di spazi vettoriali a dimensioni finite. L'analogo astratto di una matrice simplettica è una trasformazione simplettica di uno spazio vettoriale simplettico. In breve, uno spazio vettoriale simplettico è uno spazio vettoriale $2n$-dimensionale $V$ dotato di una forma bilineare antisimmetrica non degenere $\omega$.
Una trasformazione simplettica è quindi una trasformazione lineare $f:V\to V$ che preserva $\omega$, cioè:
    $\omega (f(x),f(y))=\omega (x,y)$
Fissando una base per $V$, $\omega$ può essere scritta come una matrice $J$ e $f$ come una matrice $M$. La condizione che $f$ sia una trasformazione simplettica è proprio che $M$ sia una matrice simplettica:
    $M^{T}JM=J$
Effettuando un cambio di base, rappresentato da una matrice $A$, si ha:
    $J\mapsto A^{T}JA\qquad M\mapsto A^{-1}MA.$
Si può sempre portare $J$ in una delle due forme standard date nell'introduzione con una scelta opportuna di $A$.