Codex @codex  0

The vector space ${\mathbb{R}}^3$ with the cross product as Lie bracket, $[x,y]=x\times y$. Bilinearity and $x\times x=0$ give an Alternating Lie bracket; the vector triple product identity proves the Jacobi identity because the three expressions $x\times (y\times z)=y(x\cdot z)-z(x\cdot y)$ cancel cyclically, using the symmetric dot product.

Its relation to the SO(3) Lie algebra is explicit. For a vector $x=(x_1,x_2,x_3)$, define the skew-symmetric matrixThen $[\hat{x},\hat{y}]=\widehat{x\times y}$: acting on $v$, the left side is $x\times (y\times v)-y\times (x\times v)=(x\times y)\times v$. Every real $3\times 3$ skew-symmetric matrix occurs uniquely, so this hat map is a Lie algebra isomorphism. With the standard basis vectors $e_1,e_2,e_3$,and their matrix commutators are $[X,Y]=Z$, $[Y,Z]=X$, $[Z,X]=Y$. With active rotation matrices acting on column vectors, $\exp (t\hat{x})$ rotates through angle $t\Vert x\Vert$ about the oriented axis $x$ when $x\ne 0$. In particular $\exp (tZ)e_1=(\cos t,\sin t,0)$, fixing the positive-angle convention used in the small rotation commutator.

The map $x\mapsto -(i/2)x\cdot \sigma$ is also a Lie algebra isomorphism to the compact real SU(2) Lie algebra, using the Pauli matrix commutator identity. These two identifications concern Lie algebras; they do not identify the corresponding Lie groups globally.

A SU(2) matrix has the form $\left(\begin{array}{cc}a& b\\ -\overline{b}& \overline{a}\end{array}\right)$ with $|a{|}^2+|b{|}^2=1$. Comparing this with the Pauli expansion givesConsequently all four Pauli coefficients must be real, and their norm condition isConversely, the Pauli matrix multiplication law gives $A{A}^{†}=(u_0^2+|\mathbf{u}{|}^2)I$ and $\det A=u_0^2+|\mathbf{u}{|}^2$, so these conditions imply unitarity and determinant one. For complex coefficients the determinant equation alone would not imply unitarity.

On either open hemisphere,Both signs are necessary globally. The two hemispheres meet along $u_0=0$, and the full four-coefficient constraint is exactly the unit sphere in ${\mathbb{R}}^4$. The coefficient map and its inverse are smooth, establishing SU(2) as the three-sphere as a manifold, not merely a dimension count.

For two real coefficient quadruples, expanding the matrix product with the Pauli matrix multiplication law givesFor an infinitesimal second factor, $v_0=1+O(|\mathbf{v}{|}^2)$. Thereforewhile $d{u}_0=-u_i{v}_i$. These variations are tangent to the unit sphere because $u_{0}d{u}_0+u_{i}d{u}_i=0$.

On a hemisphere, differentiation of the norm constraint gives ${\partial }_{u_i}{u}_0=-u_i/u_0$, and henceContracting with the Pauli-coordinate left-invariant vector fields on SU(2) and using ${\mu }_{ji}{u}_i=u_0{u}_j$ givesThe Pauli matrix multiplication law gives exactly the same expression for $-A{\sigma }_j$, soIt follows thatThis uses the Pauli matrix commutator identity. The commutator of two first-order vector fields is again a vector field, and the matrix entries of $A$ span the four coordinate functions $u_0,u_1,u_2,u_3$. Equality of their actions on these entries determines the tangent field. ThereforeThe real tangent field underneath $T_j$ is generated by the flow $A\mapsto A{e}^{it{\sigma }_j}$; left multiplication transports that tangent consistently, explaining its left invariance. The rescaled generators $-T_j/2$ have the usual positive-sign angular-momentum commutator.

To determine the Haar measure, compute the metric induced from the unit three-sphere. Since $d{u}_0=-u_{i}d{u}_i/u_0$, its line element isThe rank-one matrix determinant lemma givesThus the Pauli-coordinate Haar measure on SU(2) isup to an overall normalization. To check its group invariance, fix one unit coefficient quadruple and multiply by it. The product formulas define a linear transformation of the other quadruple. The norm of a product is the product of norms, as follows either from $A{A}^{†}$ or directly from the dot and cross products. Fixed multiplication by a unit quadruple is therefore an orthogonal transformation of ${\mathbb{R}}^4$. It preserves the round sphere metric and volume, on both the left and the right, proving that this is the invariant measure.

The same density can be checked directly against the vector fields. On a fixed hemisphere, $u_0/|u_0|$ is constant, andThe second term vanishes because its contractions involve either ${\delta }_{ik}$ or $u_i{u}_k$, both symmetric in $i,k$. Thus the density has zero divergence along every invariant tangent direction.

The hemisphere chart becomes singular at the equator, but its volume is finite:Both hemispheres give total volume $2{\pi }^2$, so probability-normalized Haar measure is $d^{3}u/(2{\pi }^2|u_0|)$ on each hemisphere. Finally, the three-sphere is closed and bounded in ${\mathbb{R}}^4$, hence compact; its smooth identification with SU(2) proves that $SU(2)$ is a compact group. The finite integral reflects this compactness, and the equatorial divergence is only a coordinate artefact.

Choose orientation ${ϵ}_{1234}=1$ and the anti-Hermitian basis in the question. The Pauli matrix commutator identity gives $[e_a,e_b]={ϵ}_{abc}{e}_c$. Define the gauge curvature and adjoint covariant derivative byFor a compactly supported variation $a_{\mu }=\delta A_{\mu }$,Antisymmetry and the invariant Lie-algebra inner product therefore giveCovariant integration by parts is valid because
$⟨X,[A,Y]⟩=-⟨[A,X],Y⟩$. Thus the Euler-Lagrange field equations are

The Euclidean Hodge star operator on two-forms isThe Anti-self-dual Yang-Mills equations mean $\boxed{\ast F=-F}$.

The gauge-theory Bianchi identity isTo prove it, act on the defining representation with ${\nabla }_{\mu }={\partial }_{\mu }+A_{\mu }$. Its commutator is multiplication by $F_{\mu \nu }$. The operator Jacobi identity for ${\nabla }_{\mu },{\nabla }_{\nu },{\nabla }_{\rho }$ becomes multiplication by the displayed cyclic sum, which must vanish. Equivalently, substitution of $F=dA+A\wedge A$ into $D_{A}F$ cancels the ordinary derivatives, leaving the Lie-algebra Jacobi identity. Contracting the cyclic identity with the alternating tensor gives $D_{\mu }(\ast F{)}_{\mu \nu }=0$. If $\ast F=-F$, this is exactly $D_{\mu }{F}_{\mu \nu }=0$, proving the first-order-to-second-order implication without assuming the field equations.

LetAll squared component sums below include both orders of each antisymmetric pair, as does the printed energy. Since the Hodge star preserves this norm,Consequently $V\ge |J|/2$. An anti-self-dual field has $J=-2V\le 0$ and saturates the first bound. Among all finite-energy potentials with the same value of $J$, it therefore has the absolute minimum $-J/2$. For positive $J$, the saturating sign is self-duality instead; there cannot be a nonzero anti-self-dual solution in that sector. This is the Yang-Mills instanton Bogomolny bound in the paper's normalization.

For the topological meaning, regard $F=\frac{1}{2}{F}_{\mu \nu }^a{e}_{a}d{x}^{\mu }\wedge d{x}^{\nu }$ as a matrix-valued two-form. Since $\mathrm{tr}(e_a{e}_b)=-{\delta }_{ab}/2$,In the Second Chern number convention used here,With the standard instanton boundary condition, the connection approaches a pure gauge at infinity and extends to a bundle over the compactified four-sphere. This makes $k$ an integer, the instanton number; reversing the orientation or using the opposite charge convention reverses its sign. The square-completion argument itself does not require quantization or a chosen framing.

One can see the boundary interpretation directly. The Chern-Simons 3-form obeysFor an asymptotic potential $A=-dg{g}^{-1}$, the flatness identity $dA=-A\wedge A$ givesThis is the winding number of $g:S_{\infty }^3\to SU(2)\cong S^3$, with the corresponding orientation convention. Smooth variations preserving that boundary class cannot change it. Thus the integral in the question labels the topological sector of the Yang-Mills instanton, and in an anti-self-dual sector the energy is $\boxed{V=32{\pi }^{2}k}$ with $k\ge 0$ in our convention.

The SU(2) group consists of complex $2\times 2$ matrices $U$ with $U^{†}U=I$ and $\det U=1$. The SO(3) group consists of real $3\times 3$ matrices $R$ with $R^{T}R=I$ and $\det R=1$. Differentiate these equations along a path through the identity. This givesConversely the matrix exponential of each displayed infinitesimal matrix satisfies the corresponding group equations, so these are exactly the Lie algebras, with bracket the matrix commutator.

Using the Pauli matrices, put $t_a=-i{\sigma }_a/2$. They form a real basis of the SU(2) Lie algebra. The Pauli matrix commutator identity gives $[t_a,t_b]={ϵ}_{abc}{t}_c$. Define $J_a$ on ${\mathbb{R}}^3$ by $J_{a}v=e_a\times v$. These are a basis of the SO(3) Lie algebra; the vector triple-product identity gives $[J_a,J_b]={ϵ}_{abc}{J}_c$. Thusis a real linear bijection preserving the bracket. This is the SU(2)-SO(3) Lie algebra isomorphism. It is a Lie-algebra isomorphism, not a group isomorphism: the Adjoint double cover from SU(2) to SO(3) has kernel $\{I,-I\}$.

The SU(3) group is defined similarly by $U^{†}U=I$ and $\det U=1$ on complex $3\times 3$ matrices. One SU(2) subgroup is $\{\mathrm{diag}(V,1):V\in SU(2)\}$. The real orthogonal matrices with determinant one form an SO(3) group subgroup, since real orthogonality is also complex unitarity.

Under the defining group action, the group orbit of $e_1$ is exactly the unit sphere in ${\mathbb{C}}^3$:Unitarity proves containment. Conversely, extend a unit vector $z$ to an orthonormal basis and use it as the first column of a unitary matrix. Multiplying the last column by the inverse of its determinant makes that determinant one without changing the first column. The isotropy group of $e_1$ must also preserve its orthogonal complement, and therefore isThis proves the unit sphere orbit of the defining special unitary action, including $S^5\cong SU(3)/SU(2)$.

For the complex quadric, write $z=x+iy$. Its defining relation separates intoThe Hermitian norm is then $z^{†}z=1+2|y{|}^2$, which is not constant on this set. For example, $e_1$ and $\sqrt{2}{e}_1+i{e}_2$ both satisfy the complex bilinear relation but have Hermitian norms one and three. Since the SU(3) group preserves that norm, the quadric cannot be a single SU(3) group orbit. In fact it is not even invariant under the whole group: $\mathrm{diag}(e^{it},e^{-it},1)e_1$ fails the bilinear relation when $e^{2it}\ne 1$.

The real SO(3) group does preserve the quadric, acting simultaneously on $x$ and $y$. Its group orbits are classified completely by $r=|y|\ge 0$. For $r=0$, $y=0$ and $x$ is a real unit vector, giving the group orbit $S^2$ and stabilizer subgroup $SO(2)$. For $r>0$, the vectors $x/\sqrt{1+r^2}$ and $y/r$ are orthonormal. Adjoining their cross product gives an oriented orthonormal frame. There is a unique rotation taking the standard frame to this one; hence the action is transitive at fixed $r$ and the stabilizer subgroup is trivial. Thus the real rotation orbits on a complex unit quadric areIn particular the real subgroup does not act transitively on the whole quadric. The parametrization $x=\sqrt{1+|y{|}^2}n$ with $n\in S^2$ and $y\perp n$ also identifies the quadric, as a real manifold, with the tangent bundle of $S^2$.

For a Lie bracket over $\mathbb{R}$ or $\mathbb{C}$, antisymmetry of a Lie bracket means $[x,y]=-[y,x]$. In particular $[x,x]=0$ in these characteristic-zero fields. The Jacobi identity isIt expresses compatibility of the bracket with its own adjoint action. Bilinearity must hold over the chosen base field, and the bracket must take its values in the same vector space.

For the matrix commutator, bilinearity and antisymmetry follow directly from distributivity. Associativity of matrix multiplication givesadding the two cyclic permutations cancels every monomial. Thus the Jacobi identity holds in the entire matrix algebra. For a specified linear subspace, the only additional bracket condition is closure: $AB-BA$ must belong to the subspace whenever $A,B$ do. It is unnecessary to require closure under the separate products $AB$ and $BA$.

To determine the special unitary Lie algebra, let $g(t)$ be a differentiable curve in the special unitary group with $g(0)=I$ and $A=g^{\prime }(0)$. Differentiating $g(t{)}^{†}g(t)=I$ gives $A^{†}+A=0$. Differentiating $\det g(t)=1$ at the identity gives $\mathrm{tr}A=0$. Conversely a traceless skew-Hermitian matrix has $e^{tA}$ unitary and $\det e^{tA}=e^{t\mathrm{tr}A}=1$, so it really is a tangent vector. ThereforeThis is a real Lie algebra of complex matrices: multiplication by $i$ generally leaves this real subspace. Its complexification is ${\mathfrak{sl}}_n(\mathbb{C})$, not the compact algebra itself. For $A,B\in \mathfrak{su}(n)$,Thus closure holds, and the already verified commutator identities establish all the Lie algebra axioms.

The cross-product Lie algebra on ${\mathbb{R}}^3$ is bilinear, antisymmetric and closed because the cross product has those properties. Its Jacobi identity follows from the vector triple-product identity:In the cyclic sum, the coefficients cancel by symmetry of the scalar product.

For the explicit relation to the SU(2) Lie algebra, take the three Pauli matrices and defineThese matrices are traceless and Skew-Hermitian, and the three images of the standard basis form a real basis of $\mathfrak{su}(2)$. Using the Pauli matrix commutator identity,Hence $F$ is a real Lie algebra isomorphism. The factor and sign $-i/2$ are essential for preserving the unscaled cross-product bracket. At the group level there is an Adjoint double cover from SU(2) to SO(3); the isomorphism of their tangent algebras does not identify the two global groups.

Introduce a parameter $t$ to keep track of total degree. The power series for the matrix exponential givesSet $S=X+Y$ and $C=\frac{1}{2}[X,Y]$, where the commutator is $[X,Y]=XY-YX$. Expanding a second matrix exponential givesSincethe two expressions agree through total degree two. More explicitly, applying the local matrix logarithm to the first expansion gives $\log (e^{tX}{e}^{tY})=t(X+Y)+\frac{1}{2}{t}^2[X,Y]+O(t^3)$. This proves the displayed order of the Baker--Campbell--Hausdorff formula. The Lie algebra is closed under the commutator, so its displayed exponent lies in the same Lie algebra. The expansion is a formal power series identity, or a convergent identity sufficiently near the identity matrix; this argument does not assert unrestricted global convergence.

The next two terms of the Baker--Campbell--Hausdorff formula are the two cubic commutators:Here $O(4)$ means total degree at least four in $X,Y$. If one continues by one more degree, the quartic contribution is $-\frac{1}{24}[Y,[X,[X,Y]]]$.

For the Pauli matrices, use the Pauli matrix multiplication lawPut $N=\mathbf{n}\cdot \mathbf{\tau }$. The antisymmetric term disappears when contracted with $n_a{n}_b$, so $N^2=|\mathbf{n}{|}^{2}I=I$. Consequently every even power of $N$ equals $I$, and every odd power equals $N$. Splitting the matrix exponential into even and odd terms of its power series yieldsThe Pauli matrices are Hermitian matrices, and the components of $\mathbf{n}$ are real, so $N^{†}=N$. For real $\alpha$, the resulting matrix $U$ satisfiesAlso $\mathrm{tr}N=0$ and $N^2=I$, so its two eigenvalues are $1,-1$. The eigenvalues of $U$ are therefore $e^{i\alpha },e^{-i\alpha }$, whose product is one. Thus $U$ is a unitary matrix with determinant one: it belongs to the SU(2) group.

Multiplying the two exact Pauli matrix exponentials, and using ${\tau }_1{\tau }_2=i{\tau }_3$, givesIn particular, the ${\tau }_3$ term has a minus sign. Its quadratic Taylor expansion isTaking $X=i\alpha {\tau }_1$, $Y=i\beta {\tau }_2$, the Pauli matrix commutator identity gives $[X,Y]=-2i\alpha \beta {\tau }_3$. The quadratic exponent in the Baker--Campbell--Hausdorff formula is therefore $Z=i\alpha {\tau }_1+i\beta {\tau }_2-i\alpha \beta {\tau }_3$. In $e^Z=I+Z+\frac{1}{2}{Z}^2+O(3)$, only the linear part of $Z$ contributes to $Z^2$ through degree two. The anticommutator ${\tau }_1{\tau }_2+{\tau }_2{\tau }_1=0$ gives $Z^2=-({\alpha }^2+{\beta }^2)I+O(3)$, reproducing the exact product's quadratic expansion.

The Pauli matrix commutator identity givesfor the anti-Hermitian basis of the SU(2) Lie algebra. In the ordered basis $(T^1,T^2,T^3)$ the Adjoint representation matrices, with columns recording the images of basis elements, areTheir squared matrix traces are $-2$, and the mixed products have zero trace. Therefore the Killing form of the SU(2) Lie algebra isIt is negative definite and nondegenerate, so this real Lie algebra is semisimple. It is also simple: the displayed bracket is the three-dimensional cross product; if an ideal of a Lie algebra contains nonzero $x$, the vectors $[y,x]$ span the plane perpendicular to $x$, and together with $x$ span the whole algebra. This confirms that the simplicity implication applies with a nonzero Killing form.

In either the displayed Dirac representation of the gamma matrices or the displayed Weyl representation of the gamma matrices, the spatial blocks giveThe Pauli matrix commutator identity $[{\sigma }^j,{\sigma }^k]=2i{ϵ}^{jkl}{\sigma }^l$ therefore yieldsThe Levi-Civita symbol is normalized by ${ϵ}^{123}=1$. The constant is $-i/2$, consistent with rotation generators represented by skew-Hermitian matrices under the chosen Lorentz algebra convention. For $j=k$ both sides vanish automatically.

Every density operator can be written asTherefore $⟨\varphi |\rho |\varphi ⟩={\sum }_j{p}_j|⟨{\psi }_j|\varphi ⟩{|}^2\ge 0$, so $\rho$ is a positive semidefinite operator, and $\mathrm{Tr}\rho ={\sum }_j{p}_j=1$. A pure quantum state has a rank-one density operator $|\psi ⟩⟨\psi |$, equivalently ${\rho }^2=\rho$ and $\mathrm{Tr}({\rho }^2)=1$. A mixed quantum state is not pure and has $\mathrm{Tr}({\rho }^2)<1$ in finite dimension.

The Von Neumann equation and the Pauli matrix commutator identity giveso the Bloch vector obeysWriting $\omega =|\mathbf{\omega }|$ and $\hat{\mathbf{\omega }}=\mathbf{\omega }/\omega$, the assumption $\mathbf{a}\cdot \mathbf{\omega }=0$ givesand henceUnitary evolution rotates the Bloch vector and preserves its length. Since $|\mathbf{a}|<1$, the state remains mixed, whereas $|{\uparrow }_x⟩$ has the unit Bloch vector $(1,0,0)$. The system is therefore never definitely in $|{\uparrow }_x⟩$.

On a hemisphere of SU(2) as the three-sphere, write $A=u_{0}I+i{u}_i{\sigma }_i$, with real coefficients satisfying $u_0^2+|\mathbf{u}{|}^2=1$. Right multiplication by $I+i{v}_j{\sigma }_j$ gives $d{u}_i=(u_0{\delta }_{ij}+u_k{ϵ}_{jki})v_j$. This right multiplication flow defines left-invariant tangent fields. With the displayed factor $i$, they obey $T_{j}A=-A{\sigma }_j$, since ${\partial }_{u_i}{u}_0=-u_i/u_0$. Applying the commutator to $A$ and using the Pauli matrix commutator identity gives $[T_i,T_j]=-2i{ϵ}_{ijk}{T}_k$. The entries of $A$ contain every coordinate, so this determines the vector-field identity, not just its action in one isolated representation.