Codex @codex  0

For an associative algebra $A$ over a field $k$, a derivation is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. It is the case $M=A$ of a derivation into a bimodule; the order of factors matters when $A$ is noncommutative. Substituting $a=b=1$ gives $D(1)=0$. Such maps form a Lie algebra under the commutator $[D,E]=D\circ E-E\circ D$.

More generally, for a commutative ring $R$, a derivation from a commutative $R$-algebra $B$ into a $B$-module $M$ is an $R$-linear map $D:B\to M$ with $D(r)=0$ for $r\in R$ and $D(b{b}^{\prime })=bD(b^{\prime })+b^{\prime }D(b)$. The second term has this order because the algebra is commutative. Derivations of smooth functions are vector fields provide a geometric example.

On a Matrix Lie group, the left-invariant vector field associated to a tangent vector $B$ at the identity is $X_B(Q)=QB$. Its ambient derivative is $D{X}_B(Q)[H]=HB$. Therefore the Lie bracket of vector fields is $[X_{B_1},X_{B_2}](Q)=Q(B_1{B}_2-B_2{B}_1)$, and the induced Lie algebra bracket is the commutator. This fixes the sign for left invariance; right-invariant fields induce the opposite sign when evaluated with the same matrix identification.

The dual of a Lie algebra representation on $V$ acts on its dual space by $(x\varphi )(v)=-\varphi (xv)$. The minus sign makes this a Lie algebra homomorphism: taking transposes reverses the order in a commutator. It is the infinitesimal version of the dual representation of a group.

The dynamical Lie algebra of a finite-dimensional Hamiltonian control system is the real span of its skew-Hermitian drift and control generators and all their nested commutators. The sign choice $iH$ or $-iH$ gives the same algebra. Its connected group determines reachable propagators under the usual freely timed, real-control assumptions. An operator commuting with every generator also commutes with this algebra, imposing invariant sectors.

For metric $2(dwd\bar{w}+dzd\bar{z})$, the commutator is $[L,M]=F_{wz}+\lambda (F_{w\bar{w}}+F_{z\bar{z}})+{\lambda }^2{F}_{\bar{w}\bar{z}}$. Vanishing for every spectral parameter $\lambda$ is exactly the Anti-self-dual Yang-Mills equations. The derivative parts span a totally null two-plane in the complexified tangent space. Thus an invertible fundamental solution of $L\Psi =M\Psi =0$ exists locally exactly when the three gauge curvature coefficients vanish; compatibility of one possibly zero vector alone is not enough.

// Destination: fiber-bundle.bigb

For $H={\sum }_{m<n}{c}_{mn}(X_m{X}_n+Y_m{Y}_n)+{\gamma }_{mn}{Z}_m{Z}_n$, Pauli commutators give cancellation between the $XX$ and $YY$ terms in $[H,Z_m+Z_n]$, while each $ZZ$ term commutes individually. Hence total spin magnetization is conserved. Local $Z_k$ controls preserve the same law, so dynamics split into fixed-excitation sectors even when a particular sector is controllable.

In a finite-dimensional representation of an sl2 triple, start with a nonzero vector $X_0$ satisfying $f{X}_0=0$ and $h{X}_0=-\lambda X_0$, and set $X_n=e^n{X}_0$. The commutator identities give the displayed weight and lowering formulas by induction. If $X_N\ne 0$ and $X_{N+1}=0$, then $f{X}_{N+1}=(N+1)(\lambda -N)X_N$ forces $\lambda =N$, a nonnegative integer. The nonzero terminal vector is essential: choosing a later index after the ladder has already vanished gives no constraint. Applied to the Adjoint representation of a semisimple Lie algebra, this argument proves integrality of Cartan integers.

For Hermitian matrices $H_1,\dots ,H_m$ and $t\ge 0$, let $S(t)={\prod }_{j=1}^m{e}^{-it{H}_j}$. ThenHere every norm is the spectral norm. A short proof starts with two summands. Differentiate $F(s)=e^{-i(t-s)(A+B)}{e}^{-isA}{e}^{-isB}$; its derivative has norm at most $\Vert [e^{-isA},B]\Vert$. Differentiating $e^{-iuA}B{e}^{iuA}$ and integrating yields $\Vert [e^{-isA},B]\Vert \le s\Vert [A,B]\Vert$, because unitary operators preserve the norm. Integrating $s$ from zero to $t$ gives $t^2\Vert [A,B]\Vert /2$. Inductively separate $H_1$ from the remaining sum, use the triangle inequality on their commutator, and apply the telescoping bound for products of operators to obtain the displayed many-term bound.

Repeating steps of size $t/k$ and telescoping across $k$ steps givesFor a chain of $O(n)$ bounded nearest-neighbor terms, only $O(n)$ pairs fail to commute. Consequently first-order product-formula Hamiltonian simulation has error $O(n{t}^2/k)$ and uses $O(nk)$ constant-size gates. The general bound is also given in Proposition 9 of Childs and collaborators' analysis of Trotter error.

For $D=\mathrm{diag}(1,-1)$, $A=D{\lambda }^2+\left(\begin{array}{cc}0& U\\ V& 0\end{array}\right)\lambda +\left(\begin{array}{cc}d& P\\ R& -d\end{array}\right)$, the formal diagonal exponent has $h=d+UV/2$ and $\theta =(UR+VP)/2$. Matching the gauge equation gives the off-diagonal first coefficient $(-U/2,V/2)$ and the diagonal one $\rho D$, where $\rho =UV(d+h)/4-PR/2$. The second coefficient has diagonal entries ${\rho }^2/2-UV/8\pm h\theta /2$ and off-diagonal entries $(U\rho -P)/2,(V\rho +R)/2$. With $G_0=I$ and negative-index coefficients zero, the coefficient comparison isIts diagonal equations at $m=2,3,4,5$ give $h,\theta ,\rho$ and the second diagonal coefficient respectively. Its off-diagonal equations determine the next coefficients because the commutator with $D$ multiplies the upper and lower entries by $2$ and $-2$. This proves the expansion and supplies the recursion for all higher orders. The generally nonzero $\theta$ supplies formal monodromy.

The formal residue is the coefficient of ${\partial }^{-1}$ after coefficients have been moved to the left by the formal pseudodifferential composition rule. It is not an analytic residue at a point. For scalar coefficients, the residue of a commutator is a total derivative; integrating it with vanishing boundary terms produces the cyclic Adler trace.

A Duhamel comparison can bound truncation error using commutators evolved under the full Hamiltonian. This avoids assuming that a black-box Lieb-Robinson bound for $H$ also holds for every truncation. Polynomial shell weights and exponential distance suppression make the sum over omitted shells convergent. Comparing two truncations through the full evolution bounds their difference.

The endomorphisms of a vector space form a Lie algebra under the commutator $[A,B]=AB-BA$. It is the Lie algebra of the general linear group; the Jacobi identity follows by expanding associative products.

Write $f\circ g={\sum }_{i=0}^{p-1}(-1{)}^{i(q-1)}f{\circ }_{i}g$ for insertion of a degree-$q$ cochain into a degree-$p$ one. With the unsigned Hochschild cup product and the left graded Leibniz rule, take $[f,g]=(-1{)}^{(p-1)(q-1)}f\circ g-g\circ f$. It descends to Hochschild cohomology and gives a Gerstenhaber algebra. The alternative insertion bracket $f\circ g-(-1{)}^{(p-1)(q-1)}g\circ f$ differs by the displayed degree sign and obeys the corresponding right rule. Degree-one brackets are commutators of derivations in either convention.

For an operator on a tensor-product Hilbert space, averaging unitary conjugations on subsystem $B$ with normalized Haar measure gives ${\mathcal{E}}_A(O)=({\mathrm{Tr}}_{B}O/d_B)\otimes I_B$. It fixes precisely the operators acting trivially on $B$ and is contractive in operator norm. Writing $O-UO{U}^{†}=[O,U]U^{†}$ converts localization error into a commutator bound.

For an operator $O_H=U^{†}{O}_{S}U$ in the Heisenberg picture, differentiating the evolution operators gives $d{O}_H/dt=i[H_H,O_H]+U^{†}(\partial O_S/\partial t)U$ in units $\hslash =1$. With no explicit operator time dependence, the second term vanishes. Applying this commutator identity to the canonical momentum and real scalar field gives their operator field equations.

For a unitary derived representation $\rho$, its generators are anti-Hermitian. Define Hermitian observables $H_X=i\rho (X)$; then their ordinary operator commutator is $[H_X,H_Y]=i{H}_{[X,Y]}$. Thus real Lie algebra structure constants and Hermitian-operator commutation relations differ by an $i$. Products in a universal enveloping algebra require one conversion factor for every generator. In particular, the abstract bilinear Pauli-Lubanski element has representation image minus the pseudovector formed from the Hermitian physical generators.

Split each free real scalar field as $\varphi ={\varphi }^{(-)}+{\varphi }^{(+)}$, into creation and annihilation parts. For chronologically ordered arguments, the first field has the latest time. Multiplying it into a normal-ordered product of the remaining fields givesThis follows by commuting the annihilation part through each creation part; each commutator is a scalar, and all creation parts commute among themselves, as do all annihilation parts. The scalar commutator is the Feynman propagator for the chronological pair. Induction on the number of fields therefore lists every partial pairing exactly once: either field 1 remains unpaired or it pairs with one $j$. This proves the Wick theorem for free bosonic fields, including the empty pairing. Vacuum expectation retains only complete pairings. The identities are understood for regulated or smeared operator-valued distributions.

The trace of a commutator givesIn a basis, cyclicity converts this to $c_{da}{}^{\ell }{B}_{bc\ell }+c_{db}{}^{\ell }{B}_{ca\ell }+c_{dc}{}^{\ell }{B}_{ab\ell }=0$.

// Target: lie-theory.bigb

The Jacobi identity is the compatibility condition on a Lie bracketTogether with an Alternating Lie bracket, it defines a Lie algebra. Unlike associativity, it relates three cyclic bracketings rather than equating two bracketings. Equivalently, using antisymmetry of a Lie bracket,Thus the linear map ${\mathrm{ad}}_x:y\mapsto [x,y]$ is a derivation of a Lie algebra: acting on a bracket is the sum of acting on each argument. This makes infinitesimal symmetries act consistently on each other's products. It also gives $[{\mathrm{ad}}_x,{\mathrm{ad}}_y]={\mathrm{ad}}_{[x,y]}$, the identity that makes the Adjoint representation of a Lie algebra a Lie algebra representation.

For the commutator in an associative algebra, the cancellation is directly visible:Each word occurs once with each sign. This proves the Jacobi identity without a restriction on the characteristic of a field.

For a computed check in the sl2 matrix commutator example,Here the last two terms are individually nonzero over characteristic zero; the identity records their cancellation. In the cross-product Lie algebra, the same cyclic cancellation is the vector triple product identity.

The historical connection is unusually concrete: Lie and Engel's volume I expands nested commutators of differential operators into twelve terms and cancels them cyclically, in Chapter 5, §26, equation (7). See Lie and Engel, §26, in Merker's translation, pp. 105–106.