Notation clarification: SU(N) group integration

Click For Summary
The discussion focuses on clarifying the meaning of det(δ/δJ) W(J) in the context of quantum field theory. It explains that this expression returns a number rather than a matrix due to the nature of the determinant and the integration over the SU(n) group. The determinant is defined through the properties of the matrix formed by functional derivatives of W(J) with respect to J. The integration over SU(n) normalizes the measure, leading to the conclusion that the determinant relates to the functional derivatives of W(J). This clarification resolves the initial confusion regarding the notation and its implications in the problem statement.
paralleltransport
Messages
128
Reaction score
97
Homework Statement
This is not a homework problem.
Relevant Equations
U is a matrix element of SU(N). dU is the haar measure (left invariant measure) on the SU(N) lie group.
Hello,

I would like help to clarify what det( {\delta \over \delta J}) W(J) (equation 15.79) actually means, and why it returns a number (and not a matrix). This comes from the following problem statement (Kaku, Quantum Field Theory, a Modern Introduction)
1640643097208.png


Naively, one would define det ({\delta \over \delta J}) W(J) to be the determinant of the matrix whose i, j'th element is
δWδJijδWδJij
 
Physics news on Phys.org
paralleltransport said:
I would like help to clarify what \det(\frac{\delta }{\delta J}) W(J).
The determinant of any n \times n matrix (such as u and \frac{\delta}{\delta J}) is given by \det (M) = \frac{1}{n!} \epsilon_{i_{1} \cdots i_{n}} \ \epsilon_{j_{1} \cdots j_{n}} \ M_{i_{1}j_{1}} \ \cdots \ M_{i_{n}j_{n}} . Now take M = u \in SU(n) and integrate over SU(n): since \det (u) = 1 and the measure is normalized \int_{SU(n)} d \mu (u) = 1, you get 1 = \frac{1}{n!} \epsilon_{i_{1} \cdots i_{n}} \ \epsilon_{j_{1} \cdots j_{n}} \int_{SU(n)} d \mu (u) \ u_{i_{1}j_{1}} \ \cdots \ u_{i_{n}j_{n}} , or 1 = \left( \frac{1}{n!} \epsilon_{i_{1} \ \cdots \ i_{n}} \ \epsilon_{j_{1} \ \cdots \ j_{n}} \frac{\delta}{\delta J_{i_{1}j_{1}}} \ \cdots \frac{\delta}{\delta J_{i_{n}j_{n}}} \right) W(J) \equiv \mbox{det}(\frac{\delta}{\delta J}) W(J) .
 
  • Like
Likes paralleltransport
OK that clears it up thanks!
 
So is there some elegant way to do this or am I just supposed to follow my nose and sub the Taylor expansions for terms in the two boost matrices under the assumption ##v,w\ll 1##, then do three ugly matrix multiplications and get some horrifying kludge for ##R## and show that the product of ##R## and its transpose is the identity matrix with det(R)=1? Without loss of generality I made ##\mathbf{v}## point along the x-axis and since ##\mathbf{v}\cdot\mathbf{w} = 0## I set ##w_1 = 0## to...

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 27 ·
Replies
27
Views
3K
Replies
15
Views
3K
Replies
0
Views
1K
  • · Replies 17 ·
Replies
17
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
10K
  • · Replies 6 ·
Replies
6
Views
3K