naima said:
Hi PF
I read a paper in which Lewandowski writes:
the Gauss law has the form
##\partial E^a / \partial x^a + c_{jk}E^{aj}\gamma ^k_a = 0##
wherec are the structure constants
he then writes that if we are in a semisimple algebra they are skew symmetric in the indices and it can be rewritten as
##\partial E^a / \partial x^a - c^j_{k}E^{a}_j\gamma ^k_a = 0##
And he writes (that is my question):
"where NOW E and ##\gamma## are canonically conjugate".
Can you explain why?
Further to what
Dexter have said, it would be more helpful, if you tell us, for example, why the structure constant carries
two indices instead of
three, the meaning of different indices, symbols, etc.
Any way, in any field theory with (
compact) non-Abelian symmetry [itex]G[/itex], the conjugate pair [itex](\varphi^{A} , \pi_{A})[/itex], [itex]A = 1,2, \cdots , \mbox{dim}\left(\rho_{\varphi}(G)\right)[/itex], appear in (the Noether
expression of) the
generator [itex]Q_{a}[/itex] , [itex]a = 1, \cdots , \mbox{dim}(G)[/itex], of the infinitesimal symmetry transformation [tex]\delta_{a}\varphi^{A} = [Q_{a} , \varphi^{A}] = \left(T_{a}\right)^{A}{}_{B} \ \varphi^{B} ,[/tex] [tex][T_{a} , T_{b}] = C_{abc}T_{c} .[/tex] In Noether theorem, [itex]Q_{a}[/itex] is given by the integral [tex]Q_{a} = \int d^{3}\vec{x} \ J^{0}_{a}(x) = \int d^{3}\vec{x} \ \pi_{A}(x) \left(T_{a}\right)^{A}{}_{B} \ \varphi^{B}(x) , \ \ \ (1)[/tex] where [itex]J^{\mu}_{a}[/itex] is the conserved 4-vector Noether current.
For pure Yang-Mills theory, [itex]\mathcal{L} = - (1/4) F^{\mu\nu a}F_{\mu\nu}^{a}[/itex], the Noether current (corresponding to the
global symmetry) is given by [tex]J^{\mu}_{a} = - C_{abc} F^{\mu\nu b}A^{c}_{\nu} ,[/tex] where the vector potential [itex]A^{a}_{\mu}[/itex] transforms in the
adjoint representation [itex]C_{abc} = (T_{a})_{bc}[/itex]. Integrating the [itex]J^{0}_{a}[/itex] component, we obtain [tex]Q_{a} = - \int d^{3}\vec{x} \ F^{0j}_{b}\ \left(T_{a}\right)^{b}{}_{c} \ A^{c}_{j} .[/tex] Using, the definition of the non-Abelian electric field [itex]E^{j}_{b} = - F^{0j}{}_{b}[/itex], we get [tex]Q_{a} = \int d^{3}\vec{x} \ E^{j}_{b}(x) \ \left(T_{a}\right)^{b}{}_{c} \ A^{c}_{j}(x) . \ \ \ (2)[/tex] Comparing (2) with the generic form (1), we can identify the conjugate (Yang-Mills) pair with [itex]( A^{a}_{j} , E_{a}^{j})[/itex]. You can also arrive at the same construction, using the generator of
local gauge symmetry, i.e., the integral form of
Gauss’ law.