I have a few questions on an application of the Weyl character formula.

To start with we work with the $\mathbb{Q}$ version of Hamilton's quaternions and consider the maximal order $\mathfrak{O} = \mathbb{Z} + \mathbb{Z}i + \mathbb{Z}j + \mathbb{Z}\frac{1+i+j+k}{2}$.

Now consider the group:

$\Gamma_1 = \left\{A\in M_2(\mathfrak{O}^{\times})\,|\,A = \left( \begin{array}{ccc} a & 0 \\ 0 & b \end{array} \right) \text{ or } A = \left( \begin{array}{ccc} 0 & a \\ b & 0 \end{array} \right) \right\}$

This is a subgroup of the Lie group Sp$(2)$ and is very simple to calculate.

I wish to use the Weyl character formula to evaluate $\sum_{\gamma\in\Gamma_1} \text{tr}(\rho_v(\gamma))$, where $\rho_v$ is the irreducible representation of Sp$(2)$ of highest weight $v(L_1+L_2)$ (using standard notation for $L_1,L_2$).

Now my plan (in order to be able to use the Weyl character formula to get actual traces and not just formal characters) is to shift focus from Sp$(2)$ into Sp$(4,\mathbb{C})\cap$ U$(4)$. There is an isomorphism between the two that behaves as follows on elements of $\Gamma_1$:

$\left(\begin{array}{ccc} a+bi+cj+dk & 0 \\ 0 & \alpha+\beta i+\gamma j + \delta k \end{array}\right) \longmapsto \left( \begin{array}{ccc} a+bi & 0 & c+di & 0\\ 0 & \alpha+\beta i & 0 & \gamma + \delta i \\ -c+di & 0 & a-bi & 0\\ 0 & -\gamma+\delta i & 0 & \alpha - \beta i \end{array} \right)$

$\left(\begin{array}{ccc} 0 & a+bi+cj+dk \\ \alpha+\beta i+\gamma j + \delta k & 0 \end{array}\right)\longmapsto\left( \begin{array}{ccc} 0 & a+bi & 0 & c+di \\ \alpha+\beta i & 0 & \gamma + \delta i & 0\\ 0 & -c+di & 0 & a-bi \\ -\gamma+\delta i & 0 & \alpha - \beta i & 0 \end{array} \right)$

My first question is whether the character of the rep $\rho_v$ of Sp$(2)$ is the same as the character of the similarly defined "$\rho_v$" on the Lie group Sp$(4,\mathbb{C})$ but restricted to Sp$(4,\mathbb{C}) \cap$ U$(4)$? The restriction is important here in order to get a rep on a compact Lie group (hence allowing me to guarantee conjugation into maximal torus to always be possible).

If so then I know that the maximal torus in Sp$(4,\mathbb{C}) \cap$ U$(4)$ consists of matrices of the form:

$\left( \begin{array}{ccc} x & 0 & 0 & 0\\ 0 & y & 0 & 0 \\ 0 & 0 & x^{-1} & 0\\ 0 & 0 & 0 & y^{-1} \end{array} \right)$

where $x,y$ are complex numbers of modulus $1$.

So, when I use the Weyl character formula for the Lie algebra $\mathfrak{sp}_4(\mathbb{C})$ I get the following large expression for the character:

$\frac{e^{(v+2)L_1 + (v+1)L_2} - e^{(v+2)L_1 - (v+1)L_2} - e^{-(v+2)L_1 + (v+1)L_2} + e^{-(v+2)L_1 - (v+1)L_2} - e^{(v+1)L_1 + (v+2)L_2} + e^{-(v+1)L_1 + (v+2)L_2} + e^{(v+1)L_1 - (v+2)L_2} - e^{-(v+1)L_1 - (v+2)L_2}}{e^{2L_1 + L_2}(1-e^{-2L_1})(2-e^{-2L_2})(1-e^{L_2-L_1})(1-e^{-L_1-L_2})}$

The rest of my question is as follows. First, is this correct? Also may I shift this into this formula for the character on the Lie group Sp$(4,\mathbb{C}) \cap$ U$(4)$ (where $T$ is an element of the maximal torus as above):

$\chi(T) = \frac{x^{2v+4}y^{2v+3}-x^{2v+4}y-y^{2v+3}+y-x^{2v+3}y^{2v+4}+xy^{2v+4}+x^{2v+3}-x}{x^vy^v(x^2-1)(y^2-1)(xy-1)(x-y)}$

I got this by using the Lie algebra version above and rewriting multiplicatively, then rearranging.

If I am correct so far then can this be simplified in any way?