structure constants in $U(N)$ Yang-Mills Theory (t'Hooft)

Question

Consider the Yang-Mills action $S = -\frac{1}{2g^{2}} \int d^{x}\ \mathrm{Tr}\left( F_{\mu \nu} F^{\mu \nu} \right)$, where $F_{\mu \nu} = \partial_{\mu} A_{\nu} - \partial_{\mu} A_{\nu} - i [A_{\mu},A_{\nu}]$ is the field strength tensor. Let the gauge group be $U(N)$, so that $A_{\mu}$ belongs to the adjoint representation of $U(N)$.

I'm trying to do a problem which says the following: the adjoint representation of $U(N)$ can be thought of as products of fundamental and anti-fundamental representations - so $\bar{N} \times N$. They say, adopt the following way to write the group index of $A_{\mu}^{a}$, such that $a = (\bar{j}, k)$. In this way, the above means the following in terms of matrix elements: $$ A^{a}_{\mu} \ \to \ A^{(\bar{j},k)}_{\mu} = \left[ A_{\mu} \right]_{jk} $$

I'm asked to compute the structure constants $f^{(\bar{m},n)}_{(\bar{j},k),(\bar{p},q)}$ which are defined by the expression: $$ [ A_{\mu}, A_{\nu} ]^{(\bar{m}, n)} = i f^{(\bar{m},n)}_{(\bar{j},k),(\bar{p},q)} A^{(\bar{j},k)}_{\mu} A^{(\bar{p},q)}_{\nu} $$

What exactly am I trying to do here?

My Attempt: My thinking is that I pick some set of generators $\{ T^{a} \}$ for $U(N)$, which defines a set of structure constants $\{f_{abc}\}$ (relative to my choice of generators).

The generators of the adjoint representation $\{T_{\mathrm{AD}}^{a}\}$, have elements determined by $[T_{\mathrm{AD}}^{a}]_{bc} = i f_{abc}$. Then I think I can expand $A_{\mu}$ as: $$ A_{\mu} = \sum _{a} A_{\mu}^{a} T_{\mathrm{AD}}^{a} $$

But from here I don't have any idea what i am doing....am I supposed to write the structure constants $f^{(\bar{m},n)}_{(\bar{j},k),(\bar{p},q)}$ in terms of the $f_{abc}$?

(Eventually this problem is to lead me towards the t'Hooft double line formalism.)

EDIT: It occurred to me that maybe I need to write the $f^{(\bar{m},n)}_{(\bar{j},k),(\bar{p},q)}$ in terms of the structure constants of the fundamental and anti-fundamental respresentations?

Answer 1

Everything happens in the Lie algebra so consider $u$ to be the relevant Lie algebra (I'm tired of typing mathfrak...).

The adjoint representation is the representation $\rho$ given by the Lie algebra acting on itself by the Lie bracket:

$\rho:u\longrightarrow M(u),\quad \rho(X)\longmapsto [X,.].$

It is a representation because the Lie bracket is linear and $u$ itself is a vector space, hence the action can be represented as a matrix. Remember that this map is an algebra homomorphism. Thus algebraic relations are preserved.

Now, suppose the basis $\{T^i\}_{i\in I}$ of $u$ with $[T^i,T^j]=f_{k}^{ij} T^k$. What we want is to express this last algebraic relation in terms of objects in the adjoint representation. Let us first express these matrices as their matrix elements:

For $X\in u$, $X=X_i T^i \implies \rho(X)_{i}^j=[X,T^j]_i=X_k f_i^{kj}$.

In particular, for $X=T^k$, we have that

$\rho(T^k)_{i}^j=f_i^{kj}.$

So we can write

$\rho([T^a,T^b])_{i}^j=f_{c}^{ab}\rho(T^c)_{i}^j=f_c^{ab}f_i^{cj}$

And knowing that $(\rho(T^a)\rho(T^b))_i^j=f_i^{ak}f_k^{bj}$, we have that

$\rho([X_n T^n,Y_m T^m])_i^j=X_n Y_m\, \rho([T^n,T^m])_i^j=-X_n Y_m f_i^{jk} f_k^{nm}=X_n Y_m (f_i^{mk}f_k^{nj}-f_i^{nk}f_k^{mj})$, using Jacobi Identity.

So with $\rho(X)_a^b\, \rho(Y)_c^{d} F_{(ac)i}^{(bd)j}=X_n Y_m f_a^{nb}f_c^{m d}F_{(ac)i}^{(bd)j}\implies F_{(bd)i}^{(ac)j}=(\delta_{d}^a\delta_{b}^j\delta_{i}^c-\delta_{b}^c\delta_{d}^j\delta_{i}^a)$

Answer 2

I think that I have figured it out thanks to Mr. Zachos. Given the equation defining the structure constants: $$ \left[ A_{\mu}, A_{\nu} \right]^{ ( \bar{m}, n ) } = i f^{( \bar{m}, n )}_{ ( \bar{j},k )(\bar{p},q) } A_{\mu}^{(\bar{j},k)} A_{\nu}^{(\bar{p},q)} $$

We can expand the left hand side such that:

$=A_{\mu}^{(\bar{m}, s)} A_{\nu}^{(\bar{s}, n)} - A_{\mu}^{(\bar{s}, n)} A_{\nu}^{(\bar{m}, s)} \\ = \left[ \delta_{mj} \delta_{sk} \delta_{sp} \delta_{nq} - \delta_{sj} \delta_{nk} \delta_{mp} \delta_{sq} \right] A_{\nu}^{(\bar{p}, q)} A_{\mu}^{(\bar{j}, k)} \\ = \left[ \delta_{mj} \delta_{kp} \delta_{nq} - \delta_{jq} \delta_{nk} \delta_{mp} \right] A_{\nu}^{(\bar{p}, q)} A_{\mu}^{(\bar{j}, k)} \\ = i \left[ i \big( \delta_{jq} \delta_{kn} \delta_{pm} - \delta_{jm} \delta_{kp} \delta_{qn} \big) \right] A_{\nu}^{(\bar{p}, q)} A_{\mu}^{(\bar{j}, k)} $

Which means that the structure constants have the form: $$ f^{( \bar{m}, n )}_{ ( \bar{j},k )(\bar{p},q) } = i \big( \delta_{jq} \delta_{kn} \delta_{pm} - \delta_{jm} \delta_{kp} \delta_{qn} \big) $$