Partial and Covariant derivatives in invarint actions

Click For Summary
SUMMARY

The discussion centers on the invariance of the action integral I = ∫ℒ d⁴x under transformations involving covariant derivatives. It establishes that if δₑℒ = ∂ₘXᵐ holds true for some function Xᵐ, the question arises whether δₑℒ = DₘXᵐ maintains the same invariance when Dₘ is defined as Dₘϕ = ∂ₘϕ + g[Aₘ,ϕ]. The conclusion drawn is that the invariance of the action depends on the commutation relation [Aₘ, Xᵐ]. If this relation equals zero, the action remains invariant; otherwise, insufficient information exists to determine invariance.

PREREQUISITES
  • Understanding of action integrals in field theory
  • Familiarity with covariant derivatives and their definitions
  • Knowledge of nonabelian gauge theories
  • Basic concepts of supersymmetry
NEXT STEPS
  • Study the properties of covariant derivatives in nonabelian gauge theories
  • Research the implications of the commutation relation [Aₘ, Xᵐ] in field theory
  • Explore the role of invariance in action integrals in supersymmetry
  • Learn about the mathematical foundations of local properties in differential geometry
USEFUL FOR

This discussion is beneficial for theoretical physicists, mathematicians specializing in differential geometry, and researchers working on gauge theories and supersymmetry.

AlphaNumeric
Messages
289
Reaction score
0
It's physics based but actually a maths question so I'm asking it here rather than the physics forums.

I = \int \mathcal{L}\; d^{4}x

I is invariant under some transformation \delta_{\epsilon} if \delta_{\epsilon}\mathcal{L} = \partial_{\mu}X^{\mu} for some function/tensor/field thingy X^{\mu}. This I've no problem with.

However, is the same true for a covariant derivative? If \delta_{\epsilon}\mathcal{L} = D_{\mu}X^{\mu} where D_{\mu}\varphi = \partial_{\mu}\varphi + g[A_{\mu},\varphi], as you get in nonabelian field theory. Is the action still invariant? Obviously the \partial_{\mu} part of D_{\mu} represents no problem but I don't know if the g[A_{\mu},\varphi] term vanishes or not within the integral.

I've been doing some supersymmetry and a number of times I've got the answer the question has asked to find plus a covariant derivative of something. :cry: If I just got a mess of terms I'd know I'm way off, but the fact everything collects nicely into a covariant derivative makes me feel I'm at least on the right track.

Thanks for any help :)
 
Physics news on Phys.org
If ##[A_\mu,X^\mu]=0## we are done, otherwise we just do not have enough information to draw a conclusion. The reason is, that ##\partial_\mu## is a local property, and ##D_\mu## connects this local property with another one ##[A_\mu,X^\mu]## at another location. So ##\mathcal{L}## could still be invariant or equally not.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 5 ·
Replies
5
Views
7K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 20 ·
Replies
20
Views
8K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 7 ·
Replies
7
Views
4K