Codex @codex  0

A Gerstenhaber algebra has an associative product making it a graded commutative algebra and a degree-minus-one graded Lie bracket. In the left convention, $[u,vw]=[u,v]w+(-1{)}^{(|u|-1)|v|}v[u,w]$. The shifted degrees $|u|-1$ determine the signs of antisymmetry and the Jacobi identity. Hochschild cohomology and the exterior algebra of polynomial derivations are examples.

A graded Lie algebra has a graded Lie bracket preserving total degree, with $[u,v]=-(-1{)}^{|u||v|}[v,u]$ and $[u,[v,w]]=[[u,v],w]+(-1{)}^{|u||v|}[v,[u,w]]$ for homogeneous vectors in the indicated degrees. A Gerstenhaber algebra uses this sign rule after shifting degrees by one.

An element of a single graded component $A_n$ of a graded algebra is homogeneous of degree $n$. The degree sign rules for an exterior product or a graded Lie bracket apply first to homogeneous elements, then extend by linearity.

Use shifted degreesIts graded Lie bracket is the sign-adjusted Whitehead bracket from Question 2, equivalently the Samelson product on loops. This regrading is essential: the geometric bracket has degree minus one in the unshifted sphere grading. A free graded Lie algebra on a graded vector space $V$ means $\mathbb{L}(V)$ with the universal extension property for linear maps from $V$ to any graded Lie algebra.

Here are the general results used. The Bott–Samelson theorem says that, for a connected based CW complex $X$, the inclusion $X\to \Omega \Sigma X$ induces an isomorphism of graded algebraswith the Pontryagin product. The Milnor–Moore theorem says that for simply connected $Y$, rational loop Hurewicz homomorphism identifies $L_Y$ with the primitives of that loop-homology Hopf algebra and induces $U(L_Y)\cong H_{\ast }(\Omega Y;\mathbb{Q})$. The graded Poincaré-Birkhoff-Witt theorem identifies the associated graded algebra of $U(L)$, for its word-length filtration, with the graded symmetric algebra on $L$; hence its primitive elements of a Hopf algebra are exactly $L$ over $\mathbb{Q}$. Finally the rational Whitehead theorem identifies rational homology equivalences of simply connected CW complexes with rational homotopy equivalences. Rationalization of a topological space induces the corresponding isomorphisms of loop-space homotopy and rational homology.

Suppose first $Y$ has the rational homotopy type of $\Sigma X$. A reduced suspension is simply connected when $X$ is connected; a disconnected $X$ has $H_1(\Sigma X;\mathbb{Q})={\tilde{H}}_0(X;\mathbb{Q})\ne 0$, so it cannot have the rational homology of the simply connected $Y$. Put $V={\tilde{H}}_{\ast }(X;\mathbb{Q})$, in strictly positive degrees. Bott–Samelson theorem gives $H_{\ast }(\Omega Y;\mathbb{Q})\cong T(V)$ as an algebra. To deduce freeness of the primitive Lie algebra, its coproduct must also be considered: the initial Bott–Samelson theorem generators can have reduced-diagonal terms when $X$ has nontrivial cup products.

By Milnor–Moore theorem write this Hopf algebra as $U(L_Y)$. Its algebra indecomposables satisfyThe first identity follows from the enveloping relation: after all positive products are killed, every bracket is killed and no additional linear relation is introduced. Hence each homogeneous basis vector of $V$ has a primitive representative in $H_{\ast }(\Omega Y;\mathbb{Q})$. Choose such representatives $p_v$. Sending $v$ to $p_v$ defines an algebra map from $T(V)$ to itself whose effect on indecomposables is the identity. It is an isomorphism: $p_v=v+$ decomposable terms, and every factor in those terms has smaller positive degree than $v$. Degree induction solves recursively for each original generator and constructs the inverse. This works even with arbitrarily many generators in a degree.

Equip the source tensor algebra with primitive generators. The map is now a Hopf-algebra isomorphism, because the chosen images are primitive. The primitives in this tensor Hopf algebra are exactly $\mathbb{L}(V)$: $U(\mathbb{L}(V))=T(V)$ by the two universal properties, and the graded Graded Poincaré–Birkhoff–Witt theorem gives its primitive subspace. Consequently $L_Y\cong \mathbb{L}(V)$, proving the forward direction without assuming a primitive coproduct for the original generators.

Conversely suppose $L_Y\cong \mathbb{L}(W)$ for a positively graded $W$. Choose a homogeneous basis $w_{\lambda }$ of $W$. Represent its corresponding homotopy class by a based sphere map $S^{|w_{\lambda }|+1}\to Y_{\mathbb{Q}}$, and combine these maps intoThe wedge sum is a reduced suspension, namely $Z=\Sigma ({\bigvee }_{\lambda }{S}^{|w_{\lambda }|})$. The preceding direction, applied to this wedge sum, gives its free rational homotopy Lie algebra on the sphere inclusions. Indeed these particular tensor generators are primitive because the reduced diagonal of each sphere is zero, and loop Hurewicz homomorphism sends the adjoint sphere inclusion to that generator. Naturality of the bracket shows that $F_{\ast }$ sends the free generating basis to the prescribed free generating basis of $L_Y$. It is therefore an isomorphism of free graded Lie algebras, hence an isomorphism in every rational homotopy degree. The rational Whitehead theorem makes $F$ a rational homotopy equivalence. This proves the reverse implication and also shows that a wedge sum of spheres can be chosen as the reduced suspension.

For every chosen connected $X$ with $Y{\simeq }_{\mathbb{Q}}\Sigma X$, the required algebra statement is precisely the Bott–Samelson theorem isomorphism, transported along rational homotopy equivalence:Multiplication is concatenation of tensors and the degree-zero tensor is the unit. All freeness assertions here are graded, with the Koszul signs described above.

The gauge-invariant Yang-Mills action integrates over physically equivalent configurations along each gauge orbit. At the quadratic level its gauge-field kernel has longitudinal zero directions: in momentum space $K_{\mu \nu }(k)=-k^2{\eta }_{\mu \nu }+k_{\mu }{k}_{\nu }$ satisfies $K_{\mu \nu }{k}^{\nu }=0$. It therefore has no inverse from which to construct a gauge-boson propagator. Gauge fixing both removes the redundant orbit integration and supplies an invertible quadratic operator away from the ordinary physical propagator poles.

For the covariant condition ${\partial }^{\mu }{A}_{\mu }=0$, the Faddeev-Popov determinant is that of ${\partial }^{\mu }{D}_{\mu }$. Its representation by odd Faddeev-Popov ghost fields and antighost fields produces the displayed ghost term. In a nonabelian theory $D_{\mu }$ depends on the gauge field, so the determinant is not an irrelevant constant: ghost interactions must be retained. The even Nakanishi-Lautrup field $b$ writes gauge fixing in a form with off-shell BRS symmetry. For $\xi \ne 0$, its algebraic equation is $b=-\partial \cdot A/\xi$, giving $-(\partial \cdot A{)}^2/(2\xi )$ after elimination. At $\xi =0$ it imposes the gauge condition as a Lagrange multiplier.

For the nilpotence proof, write the adjoint bracket as $[X,Y{]}^a=f^{abc}{X}^b{Y}^c$, with coefficients in a Grassmann algebra. If $|X|,|Y|$ are their parities, this is a graded Lie bracket:Thus two odd fields have a symmetric bracket, in particular $[c,c]$ need not vanish. The transformations become $s{A}_{\mu }=D_{\mu }c$, $sc=-[c,c]/2$, $s\bar{c}=-b$, $sb=0$, and $s$ obeys the left graded Leibniz rule.

Because $D_{\mu }$ is even, $D_{\mu }[c,c]=[D_{\mu }c,c]+[c,D_{\mu }c]=2[D_{\mu }c,c]$. Varying both the field and the connection in $D_{\mu }c$ now givesFor the ghost,The last equality is the graded Jacobi identity applied to three copies of the odd field $c$. In components the remaining expression is $\frac{1}{2}{f}^{abc}{f}^{bde}{c}^d{c}^e{c}^c$; its coefficient is antisymmetrized over $c,d,e$, and the ordinary Jacobi identity for the structure constants makes that antisymmetrization zero. Finally $s^2\bar{c}=-sb=0$ and $s^{2}b=0$. HenceThis is off-shell nilpotence of the Yang-Mills BRST quartet.

To verify invariance of the complete Lagrangian, $s{F}_{\mu \nu }=[F_{\mu \nu },c]$, obtained from $[D_{\mu },D_{\nu }]c=[F_{\mu \nu },c]$. Thus $s(F_{\mu \nu }^a{F}^{\mu \nu a})=0$ because the product of the two curvature components is symmetric in their color labels while $f^{abc}$ is antisymmetric. The remaining terms vary asThe last term vanishes by the already proved $s^{2}A=0$, and the first and third terms cancel pointwise. ThereforeEquivalently, the covariant gauge-fixing density as a BRST variation is $s\Psi$ with $\Psi =-{\bar{c}}^a(\partial \cdot A^a+\xi b^a/2)$. The graded sign from moving $s$ past $\bar{c}$ produces the positive ghost term, and $s^2\Psi =0$ proves its invariance. No integration-by-parts qualification is needed for the density as written.

Let $Q=Q_{\mathrm{BRS}}$ be the BRS charge. The physical state space is its BRST cohomology, usually at ghost number zero:Nilpotence ensures $\mathrm{im}Q\subseteq \ker Q$. A state $Q|\chi ⟩$ is orthogonal to every closed state because $⟨\psi |Q|\chi ⟩=⟨Q\psi |\chi ⟩=0$, and its norm is $⟨\chi |Q^2|\chi ⟩=0$. Thus adding an exact state changes neither physical inner products nor amplitudes. Self-adjointness here is relative to the stated indefinite Hermitian form; a nonzero self-adjoint nilpotent operator could not exist on a positive-definite state space. Positivity must be proved on the quotient, not assumed on the gauge/ghost space.

Fix a color label and a nonzero momentum $k$, and take the usual nontrivial asymptotic charge, $\alpha \ne 0$. Nilpotence on a vector state gives $Q|c⟩=0$, because at least one component of $k$ is nonzero. Nilpotence on the antighost state then givesThe two coefficients are complex conjugates as required by self-adjointness: using the given ghost pairing,Thus the antighost-to-vector coefficient is ${\alpha }^{\ast }$, as the printed bar notation indicates. These conditions are the massless shell condition and the consistency of the charge with the inner products.

A general one-particle vector representative is $|\epsilon ⟩={\epsilon }^{\mu }|A_{\mu }⟩$. It is closed precisely when $k_{\mu }{\epsilon }^{\mu }=0$. The vector state $k^{\mu }|A_{\mu }⟩=Q|\bar{c}⟩/\bar{\alpha }$ is exact, so representatives obeyThe ghost state is also exact: choose $v^{\mu }$ with $\alpha v\cdot k=1$, then $Q(v^{\mu }|A_{\mu }⟩)=|c⟩$. The antighost state is not closed because its image is a nonzero longitudinal vector. More explicitly, closure of a general sum of vector, ghost and antighost states forces the antighost coefficient to vanish and the vector polarization to be orthogonal to $k$; its ghost component disappears in the quotient. Thus the full one-particle cohomology already reduces toWith the mostly-plus Minkowski metric, choose a Lorentz frame with $k^{\mu }=(\omega ,0,0,\omega )$, $\omega >0$. Closure gives ${\epsilon }^3={\epsilon }^0$, and the norm isSubtracting a multiple of $k$ sets ${\epsilon }^0={\epsilon }^3=0$. Consequently positive one-particle BRST cohomology consists of two transverse positive-norm polarizations per color, represented by $|A_1⟩,|A_2⟩$. A nonzero class has strictly positive norm; the zero-norm longitudinal direction was precisely the exact direction removed.

The qualifications $k\ne 0$ and $\alpha \ne 0$ are essential to this one-particle argument. The zero-momentum sector requires separate treatment, and the trivial-charge case cannot yield the asserted removal of negative-norm vector states from the stated relations alone. Abstract nilpotence and self-adjointness by themselves do not guarantee positive cohomology.

A derivation of an algebra is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. The commutator $[D,E]=D\circ E-E\circ D$ is again a derivation: expanding $[D,E](ab)$ cancels the two mixed terms and leaves $[D,E](a)b+a[D,E](b)$. The commutator on endomorphisms is bilinear, antisymmetric, and satisfies the Jacobi identity by cancellation of its twelve triple-composition terms. Therefore ${\mathrm{Der}}_k(A)$ is a Lie algebra.

In degree zero of the Hochschild cochain complex, $\delta a(b)=ba-ab$, so $H{H}^0(A,A)=Z(A)=A$ for commutative $A$. In degree one, $\delta D=0$ is precisely the derivation rule; the boundaries are inner derivations, which vanish for commutative $A$. HenceFor cochains $f\in C^p(A,A)$, $g\in C^q(A,A)$, the Hochschild cup product isDefine the insertion operation byA degree-zero cochain is an element of $A$, inserted with no arguments; for $p=0$ the sum is empty. For the Gerstenhaber bracket we use the left graded Leibniz rule convention, compatible with the unsigned Hochschild cup product just displayed:Both degree-zero inputs have bracket zero. Another common insertion convention writes $f\circ g-(-1{)}^{(p-1)(q-1)}g\circ f$; the two brackets differ by $(-1{)}^{(p-1)(q-1)}$. With an unsigned Hochschild cup product, that convention uses the corresponding right graded Leibniz rule. The distinction matters for a degree-two cochain bracketed with a function. Either consistent convention gives the same degree-one Lie bracket and the same derivation action on functions.

If $m(a,b)=ab$, this convention gives $\delta f=[m,f]$. The shifted Jacobi identity and $[m,m]=0$ therefore show that the Gerstenhaber bracket respects Hochschild cocycles and the images of the coboundary map. The Hochschild cup product and Gerstenhaber bracket induce operations on Hochschild cohomology. A Gerstenhaber algebra is a graded algebra $H$ with an associative degree-zero product with the graded commutative algebra rule $uv=(-1{)}^{pq}vu$, and a degree-minus-one graded Lie bracket making the shifted degrees $|u|-1$ into a graded Lie algebra. In particular,for homogeneous elements of a graded algebra of degrees $p,q$. The shifted Jacobi identity isThe Hochschild cup product does not make the cochains a graded commutative algebra in general, but does make their cohomology a graded commutative algebra; the insertion operation supplies the homotopy for this assertion and for the graded Leibniz rule. Thus these axioms describe the induced Gerstenhaber algebra, not a claim of a graded commutative algebra structure on the cochain multiplication itself.

For $A=k[X]$, the enveloping algebra is $A^e=k[X_{\ell },X_r]$, andis a projective resolution. The first map is injective since $A^e$ is an integral domain, and its cokernel is $A$. Applying ${\mathrm{Hom}}_{A^e}(-,A)$ gives a zero coboundary map. ConsequentlyThe Hochschild cup product is ordinary multiplication of functions and scalar multiplication of derivations, with the product of two derivations zero because $H{H}^2=0$. Every derivation is $f{\partial }_X$, since it is determined by its value on $X$. The Gerstenhaber bracket iswith all other orders fixed by graded antisymmetry. These formulas fully determine the Gerstenhaber algebra.

For $A=k[X,Y]$, the Hochschild-Kostant-Rosenberg theorem identifiesThus the degrees zero, one, and two are $A$, $A{\partial }_X\oplus A{\partial }_Y$, and $A({\partial }_X\wedge {\partial }_Y)$, and all higher groups vanish. The Hochschild-Kostant-Rosenberg map sends a wedge of $p$ derivations to the cochainThe factorial is invertible in characteristic zero. Equivalently, the groups follow from the Koszul resolution on the regular sequence $X_{\ell }-X_r,Y_{\ell }-Y_r$ in $A^e$, whose dual coboundary maps vanish on $A$.

The Hochschild cup product becomes the exterior product, and our Gerstenhaber bracket becomes the left Schouten-Nijenhuis bracket. It is determined by the commutator of derivations, $[D,f]=D(f)$, zero brackets of functions, and the displayed graded antisymmetry and left graded Leibniz rule. For explicit signs, put $\Pi ={\partial }_X\wedge {\partial }_Y$ and $D=F{\partial }_X+G{\partial }_Y$. ThenThe last bracket has degree three, whose exterior power is zero. For two derivations, the coefficient functions of their commutator give the remaining formula. This specifies the entire Gerstenhaber algebra; under the alternate insertion convention mentioned above, the first displayed bracket changes sign, together with the Leibniz convention. No smoothness of a general finitely generated commutative algebra was assumed: the Hochschild-Kostant-Rosenberg theorem is invoked here only for the smooth polynomial ring $k[X,Y]$.

The geometric Whitehead product of based maps $\alpha :S^p\to Y$, $\beta :S^q\to Y$ is their wedge sum map composed with the attaching map $S^{p+q-1}\to S^p\vee S^q$ of the top cell of $S^p\times S^q$. With the usual geometric signs it satisfies $[\alpha ,\beta {]}_W=(-1{)}^{pq}[\beta ,\alpha {]}_W$. Regrading ${\pi }_{p}Y$ to degree $p-1$ and setting $\{\alpha ,\beta \}=(-1{)}^p[\alpha ,\beta {]}_W$ gives the graded Lie bracket transported from the Samelson product on the loop space. In degrees $p,q\ge 2$ it is bilinear; fundamental-group inputs instead record commutators and the action of ${\pi }_1$ on higher homotopy.