Skip to main content
added 92 characters in body
Source Link
agt
  • 4.3k
  • 2
  • 36
  • 51

Below I write as I would proceed, hoping it could be useful to you, but, by the way, could I know the motivation of this problem?

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0$.
Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$$\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the solutionproof.

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0$.
Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the solution.

Below I write as I would proceed, hoping it could be useful to you, but, by the way, could I know the motivation of this problem?

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0$.
Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the proof.

added 7 characters in body
Source Link
agt
  • 4.3k
  • 2
  • 36
  • 51

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0. Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$$\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0$.
Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the worksolution.

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0. Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the work.

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0$.
Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the solution.

added 209 characters in body; added 32 characters in body
Source Link
agt
  • 4.3k
  • 2
  • 36
  • 51

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:
  

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and
  

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $\{J_R^X,J_L^Y\}=\omega(\zeta_R^X,\zeta_L^Y):(A,B)\to\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)$$X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0. Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the work.

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$ $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that:
 $(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and
 $(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally $\{J_R^X,J_L^Y\}=\omega(\zeta_R^X,\zeta_L^Y):(A,B)\to\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)$

I would prefer to work on the real associative unitary algebra $g\equiv\mathfrak{gl}(n)$, for arbitrary $n$, instead of its unit group $GL(n)$. Let $\Phi_{R(L)}$ be the natural right (resp. left) action of $SO(n)$ on $g$, and $Psi_{R(L)}$ its lift to $T^\ast g$.

The canonical symplectic $2$-form $\omega$ on $T^\ast g=g\times g^\ast$ is constant and given by the bilinear product $\omega((A_1,f_1),(A_2,f_2))=f_1(A_2)-f_2(A_1)$, for all $(+(A_1,f_1),(A_2,f_2)\in g\times g^\ast$.

Let us identify $g$ with $g^\ast$ through the linear isomorphism $A\mapsto \langle A,\cdot\rangle$, where $\langle,\rangle$ is the scalar product on $g$ defined by $\langle A,B\rangle=\textrm{tr}(A^T B)$ for all $A,B\in g$. Consequently let us identify $T^\ast g$ with $g\times g$.

With this idenifications we find the following expression for the symplectic form and the actions:

$\omega((A_1,B_1),(A_2,B_2))=\mathrm{Tr}(B_1^T A_2-B_2^T A_1)$,

$\Psi_R(O,(A,B))=(AO,BO)$, $\Psi_L(O,(A,B))=(OA,OB)$.

For any $X\in\mathfrak{so}(n)$, let $\zeta_{R(L)}^X$ dentote the fundamental vector field on $g\times g$ corresponding to $X$ w.r.t. the action $\Psi_{R(L)}$. We find the following expressions:

$\zeta_R^X(A,B)=(AX,BX)$, $\zeta_L^X(A,B)=(XA,XB)$.

Now it is easy to find that: 

$(\zeta_R^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((BX)^T Q-P^T (AX))=\mathrm{Tr}(X^T(B^T Q+P^T A)$ is equal to the differential of $J_R^X(A,B)=\mathrm{Tr}(X^T(B^T A))$, and 

$(\zeta_L^X\omega)(A,B):(P,Q)\to\mathrm{Tr}((XB)^T Q-P^T (XA))=\mathrm{Tr}(X^T(QB^T+AP^T))$ is equal to the differential of $J_L^X(A,B)=\mathrm{Tr}(X^T(AB^T))$.

So the actions $\Psi_{R(L)}$ are hamiltonian with momentum maps $J_{R(L)}:T^\ast g\cong g\times g \to\mathfrak{so}(n)^\ast$ defined by $J_{R(L)}(A,B):X\in\mathfrak{so}(n)\to J_{R(L)}^X(A,B)$.

Finally, for arbitrary $X,Y\in\mathfrak{so}(n)$, we find that $\{J_R^X,J_L^Y\}\equiv\omega(\zeta_R^X,\zeta_L^Y)=0. Infact its value at an arbitrary $(A,B)\in T^\ast g\cong g\times g$ is equal to $\omega(\zeta_R^X(A,B),\zeta_L^Y(A,B))=\omega((AX,BX),(YA,YB))=\mathrm{Tr}((BX)^T YA-(YB)^T AX)=\mathrm{Tr}(-XB^T YA+B^TYAX)=0$.

This completes the work.

Source Link
agt
  • 4.3k
  • 2
  • 36
  • 51
Loading