Macaulay2 » Documentation
Packages » LieAlgebraRepresentations :: isomorphismOfRepresentations
next | previous | forward | backward | up | index | toc

isomorphismOfRepresentations -- compute an explicit isomorphism between two Lie algebra representations

Description

Let $\rho_1: \mathfrak{g} \rightarrow \mathfrak{gl}(V_1)$ and $\rho_2: \mathfrak{g} \rightarrow \mathfrak{gl}(V_2)$ be two representations, and suppose that $\rho_1 \cong \rho_2$. Then this function returns matrix $P$ such that $\rho_2(X) = P^{-1}*rho_1(X)*P$ for each $X \in \mathfrak{g}$.

To find $P$, we first express the basis of $V_2$ as words in the lowering operators using basisWordsFromMatrixGenerators. We then evaluate these words using the matrix generators for $\rho_1$ to construct the matrix $P$.

In the example below, we compute an isomorphism between the adjoint representation of $sl_3$ (built using the textbook basis of $sl_3$) and the Gelfand-Tsetlin basis for the adjoint representation of $sl_3$.

i1 : sl3 = simpleLieAlgebra("A",2);
i2 : rho1 = adjointRepresentation(sl3);
i3 : V=irreducibleLieAlgebraModule({1,1},sl3);
i4 : LAB = lieAlgebraBasis(sl3);
i5 : rho2=lieAlgebraRepresentation(V,LAB,GTrepresentationMatrices(V));
i6 : P = isomorphismOfRepresentations(rho1,rho2)
Length 1 complete. 3 new words found
Length 2 complete. 4 new words found

o6 = | 0 0 0  1 0 -1 0  0 |
     | 0 0 0  0 0 -2 0  0 |
     | 0 0 -1 0 0 0  0  0 |
     | 0 1 0  0 0 0  0  0 |
     | 1 0 0  0 0 0  0  0 |
     | 0 0 0  0 2 0  0  0 |
     | 0 0 0  0 0 0  -3 0 |
     | 0 0 0  0 0 0  0  3 |

              8       8
o6 : Matrix QQ  <-- QQ

We check that the matrix $P$ has the property that $\rho_2(X) = P^{-1}*rho_1(X)*P$ for each $X \in \mathfrak{g}$. (The function isomorphismOfRepresentations performs this check automatically before returning the matrix $P$.)

i7 : Pinv := inverse P;

              8       8
o7 : Matrix QQ  <-- QQ
i8 : L1:=rho1#"RepresentationMatrices";
i9 : L2:=rho2#"RepresentationMatrices";
i10 : all(#L1, i -> L2_i == Pinv*(L1_i)*P)

o10 = true

Ways to use isomorphismOfRepresentations:

  • isomorphismOfRepresentations(LieAlgebraRepresentation,LieAlgebraRepresentation)

For the programmer

The object isomorphismOfRepresentations is a method function.


The source of this document is in LieAlgebraRepresentations/documentation.m2:2037:0.