# Gauge-invariant field strength term in Yang-Mills Lagrangian

I am reading the chapter of non-abelian gauge invariance from Peskin and Schroeder. Why is the term $-\frac{1}{4}(L_{\mu\nu}^i)^{2}$ gauge invariant?

-

what's $L^i_{\mu\nu}$, field strength? If so, it's "square" -what you wrote- is proportional to Killing form (which is essentially a trace); this is gauge invariant since $L$ transforms like $L\mapsto gLg^{-1}$ under gauge transformations.
Could I ask: what is the link between "proportional to Killing form" and "L transforms like L $\rightarrow g^{-1}Lg$"? Thanks. –  stupidity Jun 5 '12 at 23:50
The gauge transformation on the field strength looks rather like $L\mapsto gLg^{-1}=:Ad_g(L)=L'$. The Killing or Killing-Cartan is a nondegenerate form is defined as $K(X,Y)=Trace(\mathrm{ad}_X\circ\mathrm{ad}_Y)=X^aY^bk_{ab}$, where $k_{ab}$ are determined by the structure constants of the algebra and the generators are usually chosen sothat $k_{ab}=\delta_{ab}$. $K$ is Ad invariant, by cyclicity of the trace. Therefore, if $X=Y=L^a t_a$ (being $t_a$ the aforementioned normalized generators), one gets the gauge invariance for the term $L_aL^a=K(L,L)=K(Ad_gL,Ad_gL)=K(L',L')=L'_a(L')^a.$ –  c.p. Jun 6 '12 at 4:00
Hey Thanks a lot for the answer. But, please could you help me prove that $K(X,Y)=K(Ad_gX,Ad_gY)$. I have never seen this property before. –  ramanujan_dirac Jun 6 '12 at 4:44
$G$, the Lie group, acts on itself by Ad$_g$, and this action is well defined on the Lie algebra, $Ad_g X=gXg^{-1} (X\in\mathfrak{g})$ One has the action of the Lie algebra $\mathfrak{g}=$Lie($G$) on itself given by $ad_X(Y)=[X,Y]$. Now you can easily prove that $ad_{Ad_gX} Y=Ad_g ad_X Ad_{g^{-1}} Y$ for all $X,Y\in\mathfrak{g}$, whence, by cyclicity of Tr $K(Ad_gX, Ad_gY)=Trace(Ad_gad_XAd_{g^{-1}}Ad_gad_YAd_{g^{-1}})=Trace(ad_Xad_Y)=K(X,Y)$. –  c.p. Jun 6 '12 at 5:31
Actually, Gregory Naber refers directly to the Killing-Cartan form as $K(A,B)=-2\mathrm{Tr}(AB)$. This is evidently invariant under the Adjoint action $K(Ad_gA,Ad_gB)=-2\mathrm{Tr}(Ad_gA \,Ad_gB)=-2\mathrm{Tr}(gAg^{-1} gBg^{-1})=-2\mathrm{Tr}(gABg^{-1})=K(A,B)$, by cyclicity of the trace. Perhaps that was the easy answer. (the factor "-2" is a matter of [perhaps physical] convention) –  c.p. Jun 6 '12 at 5:40
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9794652462005615, "perplexity": 580.9929374423047}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-41/segments/1412037663372.35/warc/CC-MAIN-20140930004103-00277-ip-10-234-18-248.ec2.internal.warc.gz"}