Codex @codex  0

For a Hermitian adjoint scalar field with kinetic term $\mathrm{tr}(D_{\mu }\Phi (D^{\mu }\Phi {)}^{†})$, use $D_{\mu }\Phi ={\partial }_{\mu }\Phi +ig[A_{\mu },\Phi ]$ and generators normalized by $\mathrm{tr}(t^a{t}^b)={\delta }^{ab}/2$. Expanding at a constant vacuum expectation value ${\Phi }_0$ and matching ${\mathcal{L}}_{\mathrm{mass}}=A_{\mu }^a(m^2{)}^{ab}{A}^{b\mu }/2$ gives the displayed expression. A real combination of generators $X=x_a{t}^a$ has quadratic form $2g^2\mathrm{tr}([X,{\Phi }_0{]}^{†}[X,{\Phi }_0])\ge 0$. Thus the massless directions are exactly the generators commuting with the vacuum.

For ${\Phi }_0=\mathrm{diag}({\lambda }_1,\dots ,{\lambda }_n)$, the two Hermitian generators associated with each matrix unit pair $E_{ij},E_{ji}$ have squared mass $g^2({\lambda }_i-{\lambda }_j{)}^2$. The surviving group is the centralizer of a Hermitian matrix in SU(n).

Let a Hermitian matrix have distinct real eigenvalues with multiplicities $n_1,\dots ,n_k$. A unitary matrix commuting with it must preserve each eigenspace: if $Av=\lambda v$, then $A(Uv)=UAv=\lambda Uv$. Conversely, any unitary transformation acting independently on these mutually orthogonal eigenspaces commutes with $A$. The centralizer in $U(n)$ is therefore ${\prod }_{j}U(n_j)$. Imposing total determinant one gives the displayed subgroup inside the special unitary group $SU(n)$.

For multiplicities $(2,1)$ in SU(3), it is $S(U(2)\times U(1))\cong U(2)$, embedded by $U\mapsto \mathrm{diag}(U,(\det U{)}^{-1})$. Three distinct eigenvalues leave the diagonal maximal torus $U(1{)}^2$. This determines the unbroken group for a diagonal adjoint scalar field vacuum, including its global determinant constraint.

The Faddeev-Popov ghost field couples to both the gauge field and the adjoint scalar field. In a convention with $D_{\mu }={\partial }_{\mu }+[A_{\mu },\cdot ]$, the ghost action after integration by parts contains $f^{abc}({\partial }_{\mu }{\bar{c}}^a)A_{\mu }^b{c}^c$ and $f^{abc}(n\cdot \partial {\bar{c}}^a){\varphi }^b{c}^c/\sqrt{2}$.

In spontaneous symmetry breaking, the action respects a symmetry while a selected vacuum state is invariant only under a proper subgroup. A nonzero vacuum expectation value can identify that choice. For a local gauge theory, gauge transformations are redundancies rather than transformations between physically different states; a gauge-fixed scalar expectation value describes the Higgs mechanism and its massive excitations. It should not be interpreted as breaking an observable local redundancy.

Write the adjoint scalar field as $\Phi ={\Phi }_0+\phi$, with Hermitian gauge generators normalized by $\mathrm{tr}(t^a{t}^b)={\delta }^{ab}/2$. Since ${\Phi }_0$ is constant, the part of the covariant derivative linear in the gauge field is $D_{\mu }{\Phi }_0=ig{A}_{\mu }^a[t^a,{\Phi }_0]$. Both $t^a$ and ${\Phi }_0$ are Hermitian, so their commutator is anti-Hermitian. The scalar kinetic term therefore contributesMatching coefficients gives the adjoint scalar gauge-boson mass matrixIt is positive semidefinite: for real coefficients $x_a$, its quadratic form is $2g^2\mathrm{tr}(C^{†}C)\ge 0$, where $C=[x_a{t}^a,{\Phi }_0]$. Its null space consists of generators commuting with the vacuum, the Lie algebra of its centralizer.

For a diagonal vacuum ${\Phi }_0=\mathrm{diag}({\lambda }_1,{\lambda }_2,{\lambda }_3)$, the matrix unit $E_{ij}$ obeys $[E_{ij},{\Phi }_0]=({\lambda }_j-{\lambda }_i)E_{ij}$. The two normalized Hermitian generators built from $E_{ij},E_{ji}$ each acquireThe diagonal generators $t^3,t^8$ commute with every such vacuum and remain massless. Orthogonality of these root generators also shows that the mass matrix is diagonal in the supplied Gell-Mann matrices basis. Take $g>0$ and $v\ne 0$ below; $v=0$ restores the full SU(3) group.

Covariance of the fundamental gauge covariant derivative requires $D_{\mu }^{f\prime }(g\chi )=g{D}_{\mu }^f\chi$ for every column $\chi$. Expanding the left side and cancelling $g{\partial }_{\mu }\chi$ gives $({\partial }_{\mu }g)+A_{\mu }^{\prime }g=g{A}_{\mu }$. Therefore the necessary and sufficient Yang-Mills gauge transformation isIn operator notation $D_{\mu }^{f\prime }=g{D}_{\mu }^f{g}^{-1}$. Expanding its commutator on an arbitrary column shows $[D_{\mu }^f,D_{\nu }^f]\chi =F_{\mu \nu }\chi$: the second derivatives cancel, as do the terms containing a single derivative of $\chi$. Conjugating this identity proves the gauge field strength transformationThus the gauge field strength transforms homogeneously even though the potential has an inhomogeneous derivative term.

For the adjoint scalar field, write $B_{\mu }=({\partial }_{\mu }g)g^{-1}$ and ${\Phi }^{\prime }=g\Phi g^{-1}$. Differentiating the inverse matrix givesThe extra terms cancel, proving $D_{\mu }^{\prime }{\Phi }^{\prime }=g(D_{\mu }\Phi )g^{-1}$ for the adjoint covariant derivative. Its curvature is obtained by another direct expansion:where the Jacobi identity combines the last two terms.

For the equations of motion take compactly supported variations, and assume $e\ne 0$, as required by the Lagrangian coefficient. Invariance of the Killing form impliesIndeed, the two connection terms sum to $\kappa ([A_{\mu },X],Y)+\kappa (X,[A_{\mu },Y])=0$. This is the gauge-covariant integration by parts identity. The needed variations areAntisymmetry of the gauge field strength combines its two variation terms. Applying gauge-covariant integration by parts to the action $S=\int \mathcal{L}{d}^{4}x$ givesHere $\kappa ([\delta A_{\nu },\Phi ],D^{\nu }\Phi )=\kappa (\delta A_{\nu },[\Phi ,D^{\nu }\Phi ])$ fixes the sign of the scalar current. Since the Killing form is nondegenerate on a semisimple Lie algebra, independent variations give the coupled Yang-Mills equations and scalar equationEquivalently, $D_{\mu }{F}^{\mu \nu }=e^2[D^{\nu }\Phi ,\Phi ]$. These signs use the stated Minkowski metric, with upper spatial derivatives $D^i=-D_i$.

It remains to verify every equation for the static Bogomolny equations. The hypotheses imply $F_{0i}=0$ and $D_0\Phi =0$, so the temporal gauge equation is automatically zero. The gauge-theory Bianchi identityfollows, for example, from the Jacobi identity for the fundamental gauge covariant derivatives, using their commutator $F_{ij}$. Define $B_i=\frac{1}{2}{\epsilon }_{ijk}{F}_{jk}$. Contracting the gauge-theory Bianchi identity with ${\epsilon }_{ijk}$ gives $D_i{B}_i=0$. The Bogomolny equations say $B_i=e{D}_i\Phi$, so $e\ne 0$ implies $D_i{D}_i\Phi =0$. In the static configuration $D_{\mu }{D}^{\mu }\Phi =-D_i{D}_i\Phi$, verifying the scalar equation.

For the spatial gauge equation, use $F^{ij}=F_{ij}$ and $D^j\Phi =-D_j\Phi$. The Bogomolny equations, the curvature commutator proved above, and the contraction of two Levi-Civita symbols givesince ${\epsilon }_{ijk}{\epsilon }_{ik\ell }=-2{\delta }_{j\ell }$. This is exactly $D_i{F}^{ij}+e^2[\Phi ,D^j\Phi ]=0$. Thus the static first-order Bogomolny system satisfies all four gauge equations and the scalar equation, with no extra ansatz or boundary assumption needed for this local implication. This is the mechanism by which Bogomolny monopole equations imply Yang-Mills-Higgs equations.

There is a sign inconsistency in the printed model. For the ordinary cross product let $J(a)z=a\times z$. The vector triple-product identity gives $[J(a),J(b)]=J(a\times b)$. Consequently the printed $D_{\mu }={\partial }_{\mu }+eJ(A_{\mu })$ has gauge curvatureIts gauge curvature cannot instead contain the printed negative quadratic term. For a noncommuting pure gauge potential for this gauge covariant derivative, $F^{+}=0$ whereas $F^{-}=-2e{A}_{\mu }\times A_{\nu }\ne 0$. Thus the printed gauge kinetic term assigns a nonzero value to a connection obtained by applying the gauge-field transformation law to the zero connection. Literally the printed action has global rotations but not the requested local triplet gauge symmetry. The cross-product convention for an adjoint covariant derivative makes the minimal repair explicit: change the gauge field strength quadratic term to a plus sign, retaining the printed gauge covariant derivative. Changing the sign in the gauge covariant derivative instead would be another consistent convention. The remaining calculation uses the first repair.

The corrected theory has local SO(3) gauge symmetry, equivalently the adjoint-field realization of the SU(2) Lie algebra; its adjoint scalar fields and gauge fields are insensitive to the center of a group of SU(2). Explicitly, $\Phi \mapsto R(x)\Phi$ andBoth $D_{\mu }\Phi$ and $F_{\mu \nu }$ transform as triplets, so their dot products and the scalar potential are invariant. Assume $\lambda >0$, $e\ne 0$ and take $v\ge 0$ without loss of generality. For $v>0$ the minima have ${\Phi }^2=v^2$. Choose the scalar-field vacuum ${\Phi }_0=v(0,0,1)$, whose stabilizer consists of rotations around the third axis: the residual gauge symmetry is SO(2), locally U(1).

In unitary gauge write $\Phi =(0,0,v+h)$, $A_{\mu }=A_{\mu }^3$ and $W_{\mu }^{\pm }=(A_{\mu }^1\mp i{A}_{\mu }^2)/\sqrt{2}$. These are the neutral massless gauge field, two charged massive gauge fields and a real radial scalar field. DefineSubstitution gives $F_{\mu \nu }^3=f_{\mu \nu }-ie{C}_{\mu \nu }$ and $(F_{\mu \nu }^1\mp i{F}_{\mu \nu }^2)/\sqrt{2}=G_{\mu \nu }^{\pm }$. The entire physical-field Lagrangian density is thereforeIn particular $D_{\mu }\Phi =(e(v+h)A_{\mu }^2,-e(v+h)A_{\mu }^1,{\partial }_{\mu }h)$; this directly verifies the scalar field kinetic and vector mass terms. Expanding the scalar potential gives $\lambda v^2{h}^2/2+\lambda v{h}^3/2+\lambda h^4/8$. Comparing the quadratic terms with standard real scalar field and charged-vector mass terms yields the adjoint triplet Higgs spectrum,This also rewrites the purely vector interactions, which are already contained in the displayed gauge field strengths rather than omitted from the theory.

The original symmetry remains unbroken at $v=0$. The unique minimum is then $\Phi =0$, with three massless gauge fields and three massless real scalar field components; the quartic scalar field interaction remains. The physical degrees of freedom number $3\times 2+3=9$. At $v>0$ the two broken generators supply two Goldstone bosons, eaten to give longitudinal gauge-boson polarizations of the charged vectors. The physical count is $2\times 3+2+1=9$: two massive vectors, one massless vector and one radial scalar field. The scalar components eaten in unitary gauge are not additional physical particles.

For the broken phase all interactions containing the physical scalar field areMultiplying interaction coefficients by $i$ and differentiating with respect to the external fields includes the identical-field factorials. The scalar vertices of an adjoint triplet Higgs model areFor example, the $h^3$ rule contains $3!$, whereas the $hh{W}^{+}{W}^{-}$ rule contains only $2!$ from its two identical scalar fields. There are no $hAA$ or $hhAA$ vertices: the radial scalar field is neutral under the residual U(1). There is no derivative scalar-vector vertex in this physical spectrum in unitary gauge.

For completeness, if the unbroken phase is chosen, its physical scalar fields are the three components ${\varphi }_a$, not a single radial $h$. Expanding its gauge-covariant kinetic term givesWith all momenta incoming and Fourier transform convention $e^{-ipx}$, the three unbroken-phase rules areThe first rule follows by differentiating once on each possible scalar: for $a=3,b=1,c=2$, the interaction is $e{A}_{\mu }^3({\varphi }_1{\partial }^{\mu }{\varphi }_2-{\varphi }_2{\partial }^{\mu }{\varphi }_1)$, which fixes the momentum sign. The remaining rules follow from the quadratic gauge interaction and $-\lambda ({\varphi }_a{\varphi }_a{)}^2/8$. There are no unbroken-phase cubic scalar field Feynman vertices.

The string nonlinear sigma model regards the target-space metric, the Kalb–Ramond field and the dilaton as couplings of the two-dimensional worldsheet theory. Schematically its Euclidean terms areQuantization produces running background couplings and a possible worldsheet Weyl anomaly. Gauge-fixed matter bosons contribute central charge $D$, while the reparameterization bc ghost system contributes $-26$ in each chirality. In the critical flat background cancellation therefore requires $D=26$. In a curved background, vanishing improved sigma-model beta functions further imposes field equations for $G,B,\Phi$. For example, the leading metric condition isThese are spacetime conditions because the couplings are functions of the embedding coordinates, not additional worldsheet coordinates.

The leading equations arise by varying the string-frame massless effective actionThe factor $e^{-2\Phi }$ is the sphere contribution in the string genus expansion. Higher sigma-model orders generate higher-derivative terms in the ${\alpha }^{\prime }$ expansion; higher genera give string-loop corrections. Thus conformal consistency of the quantum worldsheet determines the low-energy target equations and their action. This is a massless-sector truncation: the bosonic tachyon is not removed by writing an action only for $G,B,\Phi$.

For a brane embedding $X^{\mu }(\xi )$, the D-brane worldvolume pullbacks areThe dilaton is evaluated at the embedding. When $T_p$ denotes the physical tension in a background with constant mode ${\Phi }_0$, the convention is $\tilde{\Phi }=\Phi (X)-{\Phi }_0$, so $e^{-\tilde{\Phi }}=1$ in that vacuum. Equivalently one can use $\tilde{\Phi }=\Phi (X)$ and a coefficient with the constant $e^{-{\Phi }_0}$ not already included. The physics is the same; the two conventions must not count that constant factor twice.

Several features motivate the Dirac-Born-Infeld action. Without gauge or two-form fields, it is the relativistic induced-volume action for a tensionful extended object. An open-string boundary couples to its gauge potential $A$, so a bulk transformation $B\mapsto B+d\Lambda$ is canceled by $A\mapsto A-P[\Lambda ]/(2\pi {\alpha }^{\prime })$. Thus only $P[B]+2\pi {\alpha }^{\prime }F$ can enter. For slowly varying constant field strength, the open-string disk partition function resums its dependence into the determinant; expansion gives the Maxwell kinetic term. The disk has Euler characteristic one, giving $e^{-\Phi }$ rather than the closed-string sphere's $e^{-2\Phi }$. Worldvolume covariance and the induced metric then combine these ingredients into the determinant expression.

Explicitly, in flat background and static gauge $X^a={\xi }^a$ with transverse fluctuations $X^I$, the weak-field expansion starts asThe linear term in the antisymmetric matrix $F$ vanishes; the quadratic term follows from expanding $\frac{1}{2}\mathrm{Tr}\log (1+2\pi {\alpha }^{\prime }{\eta }^{-1}F)$. Thus the DBI action contains both the scalar and gauge kinetic energies, while higher powers and derivatives are string-scale corrections.

For two coincident D-branes, an oriented open string has independent labels $r,s\in \{1,2\}$ at its ends. Its Chan-Paton factors are the matrix units $E_{rs}$. The four massless vector modes span the Lie algebra of $U(2)$: diagonal strings supply the two Abelian fields, and oppositely oriented interbrane strings supply the off-diagonal modes. Joining strings multiplies these matrices, producing the non-Abelian commutators. Transverse vector polarizations become adjoint scalar fields. This is Coincident-D-brane gauge enhancement.

The massless gauge/scalar dynamics reduce to dimensionally reduced Yang-Mills theory in a flat background with constant dilaton and vanishing pulled-back $B$, at energies and field variations well below the string scale. More precisely, derivative corrections satisfy ${\alpha }^{\prime }{E}^2\ll 1$, and one expands in small dimensionless field strengths and scalar gradients rather than retaining the full nonlinear determinant. Weak string coupling suppresses loop corrections. After subtracting the constant brane vacuum energy and using the scalar normalization fixed below, the coefficient isA bosonic brane additionally has an open-string tachyon; the displayed action governs its massless sector and is not a stable complete truncation. For supersymmetric branes the corresponding leading action also has the massless fermions.

There is a sign qualification in the printed scalar potential. With the stated $D_a\varphi ={\partial }_a\varphi +i[A_a,\varphi ]$, take $A_a,{\varphi }^I$ Hermitian and $[{\varphi }^I,{\varphi }^J{]}^2$ to mean the literal matrix product. Then dimensional reduction hasConsequently $F_{IJ}{F}^{IJ}=-[{\varphi }^I,{\varphi }^J{]}^2$. The consistent low-energy action isThis is the Hermitian commutator potential in D-brane Yang-Mills theory. Its potential energy is $-\sum \mathrm{Tr}[{\varphi }^I,{\varphi }^J{]}^2/(4g_{\mathrm{YM}}^2)\ge 0$, because a Hermitian-matrix commutator is anti-Hermitian. For a concrete check, take ${\varphi }^1=v{\sigma }_1$, ${\varphi }^2=v{\sigma }_2$ with Pauli matrices. Then $[{\varphi }^1,{\varphi }^2{]}^2=-4v^{4}I$, so the literal printed plus sign would make the static energy negative and unbounded below. The printed plus sign is consistent only if its square denotes the positive norm $[{\varphi }^I,{\varphi }^J{]}^{†}[{\varphi }^I,{\varphi }^J]$, rather than a literal square. The gauge-boson mass calculation below uses the unambiguous kinetic terms.

In an ordinary separated-brane vacuum the scalar expectation values commute and can be simultaneously diagonalized:Their eigenvalue vectors specify the transverse positions, up to the normalization to be determined. The trace encodes the center of mass; their difference encodes separation. When the two vectors coincide, every $U(2)$ transformation commutes with the vacuum. When they are distinct, only independent diagonal phases do, so the unbroken group is $U(1)\times U(1)$. The off-diagonal vectors acquire mass by the Higgs mechanism.

Write the off-diagonal entries of $A_a$ as $W_a$ and $W_a^{\ast }$ and put $\Delta v^I=v_1^I-v_2^I$. At a constant diagonal vacuum, $D_a{\varphi }^I=i[A_a,⟨{\varphi }^I⟩]$, soThe quadratic off-diagonal gauge kinetic term is $-f_{ab}^{\ast }{f}^{ab}/(2g_{\mathrm{YM}}^2)$ with $f_{ab}={\partial }_a{W}_b-{\partial }_b{W}_a$, and the scalar kinetic term supplies $-{\sum }_I(\Delta v^I{)}^2{W}_a^{\ast }{W}^a/g_{\mathrm{YM}}^2$. Comparing these with the complex massive-vector action givesHere the term W-boson means this broken-generator vector, not specifically an electroweak particle. The normalization places the gauge coupling outside the action, so no extra $g_{\mathrm{YM}}$ multiplies these $v_r^I$; rescaling to canonically normalized scalar fields moves that coupling into the usual Higgs mass formula.

The corresponding open-string vector oscillator stretched over distance $L=|X_1-X_2|$ has classical stretching mass $TL=L/(2\pi {\alpha }^{\prime })$. Its unstretched mass contribution vanishes because it is the vector level, rather than the bosonic tachyon level. Equating it with the gauge-theory mass givesThe component relation follows by rotational covariance and a common choice of transverse origin; a uniform translation adds the same constant to both brane coordinates. This is the D-brane scalar-position normalization. Together with the string tension determined in Question 1, it fixes the exact normalization of scalar eigenvalues as brane positions.

The Grassmann field $c$ is odd and the adjoint scalar field $\varphi$ is even. The two printed signs are consistent with a right-acting BRST differential, whose graded Leibniz rule isThe bracket between two odd fields is graded, so $[c,c]=2c^2$. Applying this rule to the ordinary Lie bracket $[c,\varphi ]=c\varphi -\varphi c$ givesThe second bracket here is graded because both its entries are odd. The graded Jacobi identity gives $[c,[c,\varphi ]]=\frac{1}{2}[[c,c],\varphi ]$. ThereforeThe side of the odd derivation is essential. With the usual left graded Leibniz rule and the same two printed signs, the result would be $-[[c,c],\varphi ]$, which is generally nonzero. A left-acting convention must reverse one of those signs. All subsequent BRST symmetry formulas here use the right-acting convention.

Choose an anti-Hermitian basis $T^a$ with $[T^b,T^c]=f^{abc}{T}^a$, an invariant positive invariant bilinear form on a Lie algebra, and the adjoint covariant derivative $D_{\mu }X={\partial }_{\mu }X+[A_{\mu },X]$. Couplings are absorbed into this convention; restoring $D_{\mu }={\partial }_{\mu }+g[A_{\mu },\cdot ]$ multiplies each ghost interaction vertex below by $g$. The associated BRST charge acts as $Q{A}_{\mu }=-D_{\mu }c$, $Q\bar{c}=ih$, and $Qh=0$.

Write $F^a=\partial \cdot A^a+(n\cdot \partial {\varphi }^a)/\sqrt{2}$. For the gauge-fixing fermion $\Psi =\int {\bar{c}}^a(F^a-i{h}^a/2)$, the right graded Leibniz rule givesThe Gaussian functional integral over the Nakanishi-Lautrup field produces the positive gauge fixing term $F^a{F}^a/2$. The ghost operator is $-\partial \cdot D-(n\cdot \partial ){\mathrm{ad}}_{\varphi }/\sqrt{2}$.

Now use the canonical free kinetic terms $F_{\mu \nu }^a{F}_{\mu \nu }^a/4+(\partial {\varphi }^a{)}^2/2$. At nonzero momentum in Euclidean space $p$, put $\eta =n\cdot p$. The quadratic kernel for $(A_{\mu }^a,{\varphi }^a)$, per color, isThe transverse gauge-field kernel plus the gauge-fixing longitudinal term has become $p^2{\delta }_{\mu \nu }$. The scalar quantum field theory propagator is the inverse Schur complement, not merely the inverse of the scalar diagonal entry:Hence the free adjoint-scalar propagator in scalar-dependent gauge fixing isFor completeness the mixed quantum field theory propagator is $⟨A_{\mu }^a{\varphi }^b{⟩}_0=-{\delta }^{ab}\eta p_{\mu }/(\sqrt{2}{p}^4)$; ignoring this mixing would give an incorrect scalar answer.

The scalar propagator is independent of the gauge vector $n$, not of the momentum component parallel to $n$. For a unit $n$, $p^2=p_{\perp }^2+p_{\parallel }^2$, and the free scalar quantum field theory propagator still depends on $p_{\parallel }$. Thus the literal momentum-independence clause in the PDF is false for the standard minimally coupled massless scalar action; the cancellation above establishes the natural gauge-vector-independence statement. The usual massless zero mode in field theory at $p=0$ needs a separate infrared prescription.

Finally, integration by parts gives the ghost action in an unambiguous convention:Use $e^{ip\cdot x}$ for the Fourier transform of every field, with all momenta incoming. Let the antighost carry color $a$ and momentum $q$, the boson color $b$ and momentum $k$, and the ghost color $c$ and momentum $p$, so $q+k+p=0$. Expansion of $e^{-S_{\mathrm{gh}}}$ gives the ghost vertices in scalar-dependent gauge fixingThe free Faddeev-Popov ghost field propagator is ${\delta }^{ab}/p^2$ and every closed ghost loop contributes a minus sign. There are no further ghost interaction vertices in this gauge. Factors of $i$ and an overall ghost-vertex sign depend on the Fourier transform and ghost-ordering conventions; the displayed ghost action fixes both here.

A traceless Hermitian $3\times 3$ adjoint scalar field transforms by $\Phi \mapsto U\Phi U^{†}$. A diagonal vacuum with eigenvalues $({\lambda }_1,{\lambda }_2,{\lambda }_3)$, summing to zero, leaves its centralizer unbroken. The adjoint scalar gauge-boson mass matrix assigns mass $g|{\lambda }_i-{\lambda }_j|$ to the vector fields linking the $i$th and $j$th eigenspaces. Coincident eigenvalues preserve non-Abelian rotations of their eigenspace; distinct eigenvalues preserve only a maximal torus.