Codex @codex  0

A compact real form of a complex semisimple Lie algebra $\mathfrak{g}$ is a real Lie subalgebra $\mathfrak{u}$ whose complexification of a Lie algebra is $\mathfrak{g}$ and whose Killing form is negative definite. Its simply connected Lie group is compact. The positive internal inner product used in unitary gauge theory is therefore $-\kappa$. For ${\mathfrak{sl}}_2(\mathbb{C})$ the SU(2) Lie algebra is a compact real form, whereas ${\mathfrak{sl}}_2(\mathbb{R})$ is a different real form with indefinite Killing form.

For a finite-dimensional real Lie algebra $\mathfrak{g}$, the solvable radical of its complexification of a Lie algebra is invariant under complex conjugation. Its real fixed subspace is a solvable ideal of $\mathfrak{g}$, and complexifying that fixed subspace recovers the whole radical. Conversely the complexification of any real solvable ideal is solvable. These inclusions prove the displayed identity; in particular $\mathfrak{g}$ is semisimple if and only if ${\mathfrak{g}}_{\mathbb{C}}$ is semisimple.

Locally, the ASDYM equations permit a complex gauge with $A_w=A_z=0$. The trace equation then gives $A_{\bar{w}}=K_z$ and $A_{\bar{z}}=-K_w$. The remaining curvature equation is $K_{w\bar{w}}+K_{z\bar{z}}-[K_w,K_z]=0$. A complex gauge generally makes $K$ valued in the complexification of a Lie algebra; reconstructing a real connection requires its inherited reality condition. The gauge/potential construction is local and need not preserve prescribed behaviour at infinity.

In the complexification of a Lie algebra, defineThe relations in a becomeThe special unitary Lie algebra $\mathfrak{su}(2)$ has real basis $S_i=-i{\sigma }_i/2$, where the Pauli matrices satisfy $[{\sigma }_i,{\sigma }_j]=2i{ϵ}_{ijk}{\sigma }_k$. Its commutators are the same: $[S_i,S_j]={ϵ}_{ijk}{S}_k$. The complex-linear map $L_i\mapsto S_i$ therefore preserves the bracket and maps a basis to a basis. ConsequentlyThe real Lie algebras are not isomorphic: multiplying the boosts by $i$ changes their real form. For example, the Adjoint representation of a Lie algebra evaluated at $K_1$ has real eigenvalues $0,1,-1$, whereas the corresponding nonzero compact SU(2) generators have purely imaginary adjoint eigenvalues.

Every complex Lie algebra representation of the real algebra extends uniquely by complex linearity to its complexification of a Lie algebra. The finite-dimensional complex irreducible representations are therefore classified by a nonnegative integer highest weight $m$, just as for SU(2). There is one equivalence class for eachThese are statements about Lie algebra representations. They do not assert positive-definite unitarity for the noncompact real form, or automatic descent to the full Lorentz group. In particular, half-integer $j$ gives a sign under a $2\pi$ spatial rotation, so its integration needs a covering group.

The complexification of a Lie algebra gives $\mathfrak{su}(4{)}_{\mathbb{C}}={\mathfrak{sl}}_4(\mathbb{C})$, of type A3 root system. Choose simple roots ${\alpha }_1=e_1-e_2$, ${\alpha }_2=e_2-e_3$, ${\alpha }_3=e_3-e_4$, with squared lengths two. The Cartan matrix and Dynkin diagram areEach line represents a single bond. In the Dynkin label convention $w_a=⟨w,{\alpha }_a^{\vee }⟩$, the simple roots have coordinates equal to the rows of $A$.

In the defining representation, apply the simple coroots $E_{aa}-E_{a+1,a+1}$ to the four coordinate basis vectors. Their weights areEquivalently these are obtained by subtracting ${\alpha }_1,{\alpha }_2,{\alpha }_3$ successively from the highest weight. The dual representation has the negative weights, henceAll listed weight multiplicities are one, so both dimensions are four.

The highest weight $(1,0,1)$ is ${\alpha }_1+{\alpha }_2+{\alpha }_3$, the highest root. Its irreducible representation is therefore the Adjoint representation. Under the action on traceless matrices by conjugation, the off-diagonal matrix unit $E_{ij}$ has weight $v_i-v_j$, while the diagonal Cartan subalgebra has zero weight. ThusThe superscript $[3]$ indicates weight multiplicity three. The twelve nonzero weights each have weight multiplicity one, giving $12+3=15$ in total. This also follows from the tensor product representation $4\otimes \overline{4}=15\oplus 1$: the sixteen differences $v_i-v_j$ contain four zero weights, and removing the identity matrix removes one of them.

The complexification of a Lie algebra in the Adjoint representation of SU(5) consists of traceless endomorphisms of $V=A\oplus B$. Splitting an endomorphism into its four blocks gives traceless endomorphisms of $A$ and $B$, one relative block-scalar direction, and the two off-diagonal spaces $\mathrm{Hom}(B,A)$ and $\mathrm{Hom}(A,B)$.

The first three pieces transform as $(3,1{)}_0$, $(1,8{)}_0$ and $(1,1{)}_0$. The off-diagonal pieces have U(1) charges equal to output minus input charge, namely $3-(-2)=5$ and $-2-3=-5$. ThusThe dimensions are $3+8+1+6+6=24$. The first three summands are precisely the gauge fields of the local gauge group $H\times U_c(1)$. The extra gauge fields of the SU(5) gauge theory transform asHermiticity relates the two off-diagonal blocks, so these describe twelve real gauge fields, or six complex fields and their conjugates. Globally, the subgroup generated by $H$ and $U_c(1)$ inside SU(5) is $(SU(2)\times SU(3)\times U(1))/{\mathbb{Z}}_6$, since the parametrization $(U_2,U_3,e^{i\theta })\mapsto \mathrm{diag}(e^{3i\theta }{U}_2,e^{-2i\theta }{U}_3)$ has a six-element kernel. This finite quotient does not alter the stated branching of a representation.

The complexification of a Lie algebra gives $\mathfrak{so}(2n,\mathbb{C})$ of type Dn root system and $\mathfrak{so}(2n+1,\mathbb{C})$ of type Bn root system. For $D_n$, the simple roots ${\alpha }_i=e_i-e_{i+1}$ for $1\le i<n$ and ${\alpha }_n=e_{n-1}+e_n$ give a chain $1,\dots ,n-2$ with two terminal nodes $n-1,n$ joined to $n-2$. All edges are single. For $B_n$, use ${\alpha }_i=e_i-e_{i+1}$ for $i<n$ and ${\alpha }_n=e_n$. The Bn Dynkin diagram is a chain with a double final edge and an arrow pointing to the short node $n$.

The usual family diagrams apply to $D_n$ for $n\ge 4$ and $B_n$ for $n\ge 2$. The small cases are $D_3\cong A_3$, $D_2\cong A_1\oplus A_1$, $B_1\cong A_1$; $\mathfrak{so}(2)$ is one-dimensional and Abelian.

To fix Casimir normalization for orthogonal vector representations, use Hermitian Lie algebra generators $t_{ij}=i(E_{ij}-E_{ji})/\sqrt{2}$, so the defining representation has Dynkin index $c(\mathbf{N})=1$. With long roots of squared length two, the quadratic Casimir operator has Casimir eigenvaluewhere $\rho$ is the Weyl vector and $\lambda$ in the final expression is the column of Dynkin labels. The defining fundamental representation has highest weight $(1,0,\dots ,0)$ in the stated family conventions.

For $D_n$, the row supplied in the source has sum $n-1$ and first entry one, soFor $B_n$, the supplied row has sum $n-\frac{1}{2}$, givingTaking the trace of ${\sum }_a{t}_a{t}_a=C_2(R)I_R$ gives the relation between the Dynkin index and Casimir eigenvalue, $c(R)\dim \mathfrak{g}=C_2(R)\dim R$. ThereforeThere is also a direct check: each coordinate appears in $N-1$ planes and $t_{ij}^2=(E_{ii}+E_{jj})/2$, so ${\sum }_{i<j}{t}_{ij}^2=(N-1)I/2$.

If the Casimir operator is instead defined by $C(\lambda )=(\lambda ,\lambda +2\rho )$, every Lie algebra generator is larger by $\sqrt{2}$ and the corresponding answers are $C(\mathbf{N})=N-1$ and $c(\mathbf{N})=2$. These are the same Lie algebra in a different normalization. At the exceptional small ranks the family Dynkin labels of the vector change, but the direct matrix computation remains valid.

The complexification of a Lie algebra $L_0$ is $L=L_0{\otimes }_{\mathbb{R}}\mathbb{C}$, with the Lie bracket extended complex-bilinearly. Equivalently write $L=L_0\oplus i{L}_0$, whereComplex conjugation is an antilinear map and a Lie algebra automorphism whose fixed subalgebra is $L_0$.

If the solvable radical of $L_0$ is nonzero, its complexification is a nonzero solvable ideal of $L$. Conversely the solvable radical $R$ of $L$ is preserved by complex conjugation, because it is the unique largest solvable ideal. Consequentlyfor $z\in R$, both $(z+\overline{z})/2$ and $(z-\overline{z})/(2i)$ belong to $R_0$. If $R\ne 0$, $R_0\ne 0$ is a solvable ideal of $L_0$. This proves $L_0$ is semisimple if and only if $L_0{\otimes }_{\mathbb{R}}\mathbb{C}$ is semisimple. Consistently, the complex Killing form is just the complex-bilinear extension of the real one; its determinant in a real basis is unchanged by extending scalars.

Take the sl2R Lie algebra ${\mathfrak{sl}}_2(\mathbb{R})$ and the special unitary Lie algebra $\mathfrak{su}(2)$. Both complexify to ${\mathfrak{sl}}_2(\mathbb{C})$. This is immediate for the former; for the latter, the real basis $ih,e-f,i(e+f)$ consists of traceless matrices that are skew-Hermitian matrices and is also a complex basis of ${\mathfrak{sl}}_2(\mathbb{C})$.

They are not isomorphic as real Lie algebras. Their Killing forms are $B(X,Y)=4\mathrm{tr}(XY)$, but on $\mathfrak{su}(2)$ this is negative definite. On ${\mathfrak{sl}}_2(\mathbb{R})$ the basis $h,e+f,e-f$ has a diagonal Gram matrix with entries $8,8,-8$, so the signature of a quadratic form is $(2,1)$. A Lie algebra isomorphism preserves the Killing form and therefore its signature.

A real split semisimple Lie algebra has a Cartan subalgebra whose Adjoint representation of a Lie algebra is simultaneously diagonalizable over $\mathbb{R}$, so its root-space decomposition is defined over $\mathbb{R}$. The example ${\mathfrak{sl}}_2(\mathbb{R})$ is split: the diagonal Cartan subalgebra $\mathbb{R}h$ has eigenvalues $0,2,-2$ and real root spaces $\mathbb{R}e,\mathbb{R}f$. The example $\mathfrak{su}(2)$ is not split. Invariance makes every $\mathrm{ad}x$ skew-adjoint for the positive definite inner product $-B$, so its eigenvalues are purely imaginary. If it were diagonalizable over $\mathbb{R}$, all these eigenvalues would be zero and $\mathrm{ad}x=0$. The center is zero, so only $x=0$ has this property; no nonzero split Cartan subalgebra exists. Thus ${\mathfrak{sl}}_2(\mathbb{R})$ is split and $\mathfrak{su}(2)$ is not.

Write $w=x^1+i{x}^2$, $z=x^3+i{x}^4$. The Euclidean metric is ${\sum }_a(d{x}^a{)}^2$, and the printed four-form is $4d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$, so it specifies the usual positive orientation. The normalized metric volume form is one quarter of that expression. The self-dual frame in complex Euclidean coordinates isThese are real and have the required complex combinations. For the Hodge star operator with this orientation,and applying $\ast$ again gives the reverse relations. Thus $\ast {\omega }_i={\omega }_i$. They are linearly independent, while the $+1$ eigenspace of $\ast$ on 2-forms has dimension three, proving they span ${\Lambda }_{+}^2$. The TeX aid incorrectly reads the subscript as $1$.

The ASDYM equations require the self-dual projection of the gauge field strength to vanish. Orthogonality to ${\omega }_1,{\omega }_2$ sets its $(2,0)$ and $(0,2)$ parts to zero; orthogonality to ${\omega }_3$ removes the trace of its $(1,1)$ part. Explicitly, if $F={\sum }_{a<b}{f}_{ab}d{x}^a\wedge d{x}^b$, these conditions are $f_{13}-f_{24}=0$, $f_{14}+f_{23}=0$ and $f_{12}+f_{34}=0$. Sinceand the conjugate equation supplies the other complex component for a real curvature form of a connection, the equivalent system is

To obtain the complex potential reduction of anti-self-dual Yang-Mills, set $D_w={\partial }_w+A_w$, $D_z={\partial }_z+A_z$. The first equation is the integrability condition $[D_w,D_z]=0$. Locally it allows an invertible complex matrix $s$ satisfying ${\partial }_{w}s=-A_{w}s$ and ${\partial }_{z}s=-A_{z}s$. The Yang-Mills gauge transformation $A\mapsto s^{-1}As+s^{-1}ds$ consequently gives $A_w=A_z=0$. This is a complex gauge; a real compact gauge group alone generally cannot implement it.

In this gauge the second equation becomesThus the one-form $A_{\bar{w}}dz-A_{\bar{z}}dw$ is closed with respect to the exterior derivative in the $(w,z)$ directions. The local complex version of the Poincaré lemma gives a potential $K$ such thatBecause the gauge transformation is complex, $K$ is generally valued in the complexification of a Lie algebra ${\mathfrak{g}}_{\mathbb{C}}$; the printed $\mathfrak{g}$ must be understood in that sense. The elementary reduction is local, and the transformed fields retain a reality condition inherited from the original real connection. For the usual compact matrix gauge groups and smooth fields on all of ${\mathbb{R}}^4={\mathbb{C}}^2$, the gauge and potential can also be chosen globally if no condition at infinity is imposed. The flat partial connection defines a holomorphic principal bundle on the conjugate complex space. That base is a contractible Stein manifold, so the Oka-Grauert principle gives a global trivialization and hence a global complex gauge. After that trivialization, the conjugate of Stein vanishing for the Dolbeault cohomology of functions gives a global primitive $K$, component by component in ${\mathfrak{g}}_{\mathbb{C}}$. Prescribed framing or decay at infinity requires a separate compatibility check and is not automatically preserved by this gauge.

Substitute the potential into the remaining ASDYM equations component:Therefore all three ASDYM equations reduce to the single ASDYM potential equationThe sign follows directly from $A_{\bar{z}}=-K_w$; changing a potential convention would change the displayed commutator sign. Conversely, this equation and the displayed gauge reconstruction make all three curvature conditions vanish, subject to the inherited reality condition when a real gauge field is required.

For a complex finite-dimensional simple Lie algebra, a Cartan subalgebra $\mathfrak{h}$ is a maximal commuting subalgebra of elements whose adjoint maps are semisimple. Equivalently in this setting it is a nilpotent self-normalizing subalgebra. Its dimension is the rank of a semisimple Lie algebra. Simultaneous diagonalization of its Adjoint representation gives the root-space decompositionA root of a root system is a nonzero linear functional $\alpha$ for which this root space is nonzero. For a complex semisimple algebra each root space is one-dimensional. A Cartan-Weyl basis consists of a basis $H_i$ of $\mathfrak{h}$ and one nonzero root vector $E_{\alpha }$ for every root.

The general Lie brackets have the formFor the opposite-root bracket, use the Killing form to define $h_{\alpha }$ by $\kappa (h_{\alpha },H)=\alpha (H)$. Its invariant bilinear form on a Lie algebra property givesOne may normalize the root vectors so that the pairing is one. If instead one uses a coroot as the opposite-root bracket, the root-vector normalization changes accordingly. In particular, root evaluation coordinates cannot simply be used as coefficients in a nonorthonormal Cartan basis.

For the matrix calculation take $N\ge 2$. The complexification of a Lie algebra of the special unitary group Lie algebra is the special linear Lie algebra ${\mathfrak{sl}}_N(\mathbb{C})$: traceless complex matrices. Its Cartan subalgebra consists of traceless diagonal matrices. Write $E_{jk}={\mathcal{T}}^{(j,k)}$ for the matrix units. The given Cartan basis is $H_i=E_{ii}-E_{i+1,i+1}$, $1\le i<N$, and the other basis elements are $E_{jk}$ with $j\ne k$.

The matrix-unit identity $E_{jk}{E}_{lm}={\delta }_{kl}{E}_{jm}$ givesThus all the roots, expressed as evaluation vectors in this precise Cartan basis, areThey are the functionals $e_j-e_k$ on traceless diagonal matrices; there are $N(N-1)$ of them. The corresponding root vector is $E_{jk}$. Together with $N-1$ Cartan generators, they give $N^2-1$ basis elements. The simple roots can be chosen as ${\alpha }_{i,i+1}$, whose evaluation vectors are the rows of the type-$A_{N-1}$ Cartan matrix, with $2$ on the diagonal and $-1$ on adjacent entries. These vectors are evaluations on $H_i$, not coordinates in an orthonormal realization of the root system.

To express every bracket strictly in the chosen basis, introduce the abbreviationThen all pairs are covered byHere both input root vectors have distinct row and column indices. The first case is the only one producing diagonal matrix units, and the displayed sum of $H_p$ resolves them completely into the chosen Cartan basis. Reversing the order gives the negative bracket. This also shows explicitly that the two nonzero non-Cartan cases have structure constants $+1$ and $-1$, and verifies the required root-addition rule.

The complexification of a Lie algebra is $\mathfrak{su}(2{)}_{\mathbb{C}}=\mathfrak{su}(2){\otimes }_{\mathbb{R}}\mathbb{C}\cong {\mathfrak{sl}}_2(\mathbb{C})$. With $[H,E_{\pm }]=\pm 2E_{\pm }$ and $[E_{+},E_{-}]=H$, the Killing matrix in the ordered basis $(E_{+},E_{-},H)$ isThis Cartan-Weyl basis is adapted to the root decomposition, but it is not Killing-orthogonal because $\kappa (E_{+},E_{-})=4$.