Codex @codex  0

Use the given orientation throughout, and the usual convention that the manifold has no boundary. In an oriented manifold chart the metric volume form isIf $y$ is another oriented chart and $A=\partial x/\partial y$, then $g_y=A^t{g}_{x}A$, so $\sqrt{\det g_y}=(\det A)\sqrt{\det g_x}$ because $\det A>0$. This is exactly the transformation of the top exterior product. The formulas therefore agree on overlaps and define a smooth positive volume form. Equivalently it takes value one on any positively oriented orthonormal tangent frame.

The metric induces an inner product on $p$-forms by making the increasing exterior products of an orthonormal coframe orthonormal. The Hodge star operator is the unique pointwise linear map $\ast :{\Lambda }^p{T}^{\ast }M\to {\Lambda }^{n-p}{T}^{\ast }M$ satisfyingFor an increasing multi-index $I$, $\ast e^I$ is the complementary wedge with the sign making $e^I\wedge \ast e^I={\omega }_g$. Swapping the blocks of $p$ and $n-p$ factors introduces $(-1{)}^{p(n-p)}$. ThereforeIn particular $\ast 1={\omega }_g$ and $\ast {\omega }_g=1$.

For compactly supported smooth $f$, the $(n-1)$-form $f\ast \alpha$ has compact support. Stokes theorem and the graded Leibniz rule giveA top form $\tau$ equals $(\ast \tau ){\omega }_g$. Consequently this Hodge integration by parts for one-forms becomes exactlyCompact support of $f$ is enough; $\alpha$ need not itself have compact support.

Define the codifferential on $p$-forms by $\delta =(-1{)}^{n(p+1)+1}\ast d\ast$ and the Hodge Laplacian by $\Delta =d\delta +\delta d$. A harmonic differential form is a smooth form in $\ker \Delta$. On functions this is the positive Laplace-Beltrami operator, $\Delta f=\delta df=-{\mathrm{div}}_g{\mathrm{grad}}_{g}f$. This sign convention is required by the product identity; it is the negative of the $\mathrm{div}\mathrm{grad}$ convention also commonly used for the Laplace-Beltrami operator.

For a $p$-form $\beta$, the square of the Hodge star operator and the codifferential formula giveApplying the second formula to $d\beta$ and the first to $\delta \beta$ givesThus Hodge star commutes with the Hodge Laplacian. Since $\ast$ is invertible, $\beta$ is harmonic if and only if $\ast \beta$ is harmonic. This holds without compactness; we have not used the generally false noncompact implication that a harmonic form must be closed and coclosed.

For a smooth function $h$ and one-form $\alpha$, the same graded Leibniz rule gives $\delta (h\alpha )=h\delta \alpha -\ast (dh\wedge \ast \alpha )=h\delta \alpha -⟨dh,\alpha {⟩}_g$. Apply this to $d(f_1{f}_2)=f_{2}d{f}_1+f_{1}d{f}_2$ to obtain the product rule for the positive Laplace-Beltrami operator

The Hodge decomposition theorem states that on a compact oriented boundaryless Riemannian manifold, smooth forms have the $L^2$-orthogonal decompositionand each de Rham cohomology class has a unique harmonic differential form representative. To spell out the last conclusion, a harmonic form is closed and coclosed because $⟨\Delta \eta ,\eta ⟩=\Vert d\eta {\Vert }^2+\Vert \delta \eta {\Vert }^2$. If a closed form decomposes as $h+du+\delta v$, then $d\delta v=0$; integration by parts gives $\Vert \delta v{\Vert }^2=⟨v,d\delta v⟩=0$. Thus it represents $h$. A harmonic exact form has zero norm by adjointness, proving uniqueness. The analytic existence of the decomposition is the stated Hodge decomposition theorem.

Now let $M$ be compact, connected and oriented. A harmonic function satisfies $0=⟨f,\Delta f⟩=\Vert df{\Vert }^2$, so it is constant. The Hodge star operator identifies ${\mathcal{H}}^0(M)$ with ${\mathcal{H}}^n(M)$, hence ${\mathcal{H}}^n(M)=\mathbb{R}{\omega }_g$. A Riemannian metric exists by Question 3 even if none was initially chosen. Using the harmonic representative of each class, we obtain the top de Rham cohomology of a compact connected oriented manifoldThe class is nonzero also directly from Stokes theorem, since ${\int }_M{\omega }_g>0$ while every exact top form has zero integral. Boundarylessness matters: a compact interval has zero first de Rham cohomology.

For a Matrix Lie group $G$, the left Maurer-Cartan form identifies tangent vectors with the Lie algebra by translating them to the identity:It is a Lie algebra-valued differential form of degree one. For a fixed $h\in G$, replacing $g$ by $hg$ gives $(hg{)}^{-1}d(hg)=g^{-1}dg$, so it is a left-invariant differential form.

Differentiate $g^{-1}g=I$ to get $d(g^{-1})=-g^{-1}(dg)g^{-1}$. The exterior derivative then givesHere the exterior product of matrix-valued differential forms includes matrix multiplication; the order of the matrices matters. Hence the Maurer-Cartan equation is

Write $\rho ={\sigma }^{\alpha }{T}_{\alpha }$. Antisymmetry of the exterior product impliesComparison of the Lie algebra components yields the Maurer-Cartan equation in a Lie-algebra basis:Thus the canonical antisymmetric choice is $f^{\gamma }{}_{\alpha \beta }=-\frac{1}{2}{c}^{\gamma }{}_{\alpha \beta }$. The factor one half is required because the sum includes both ordered pairs $(\alpha ,\beta )$ and $(\beta ,\alpha )$. If only $\alpha <\beta$ is summed, its coefficient is $-c^{\gamma }{}_{\alpha \beta }$. Strictly, the equality of differential forms determines only the antisymmetric part of $f$: one may add any tensor symmetric in $\alpha ,\beta$ without changing it. This is the symmetric-part ambiguity in Maurer-Cartan coefficients.

A faithful matrix representation of the orientation-preserving real affine group isIts action on $(x,1{)}^T$ has first component $ax+b$. The group operation and inverse areDifferent transformations have different matrix entries, proving faithfulness. With the Lie algebra basisthe left Maurer-Cartan form isThe requested left-invariant differential forms therefore form the Maurer-Cartan coframe of the real affine group:For a direct invariance check, left translation by $(a_0,b_0)$ sends $(a,b)$ to $(a_{0}a,b_0+a_{0}b)$, and the pullbacks of the two displayed differential forms are unchanged. Their dual left-invariant vector fields are $a{\partial }_a$ and $a{\partial }_b$, whose bracket is $a{\partial }_b$, in agreement with $[D,T]=T$.

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 Plücker embedding maps a $k$-plane to the projective class of the exterior product of a basis. A change of basis multiplies this product by its determinant, so the projective class is well defined. The plane is recovered as the vectors whose exterior product with this element is zero. For two-planes in ${\mathbb{C}}^4$, its image in ${\mathbb{CP}}^5$ is the Klein quadric.

For a polynomial ring $A$, a degree-$p$ polynomial polyvector field is an element of ${\bigwedge }_A^p{\mathrm{Der}}_k(A)$. Its product is the exterior product. Together with the Schouten-Nijenhuis bracket these spaces form a Gerstenhaber algebra.

A simple bivector can be expressed as one exterior product of two vectors. Changing the pair need not change its area element: $u\wedge (v+cu)=u\wedge v$ for every scalar $c$, by bilinearity and $u\wedge u=0$. This operation shears the represented parallelogram while preserving its oriented area.

Every bivector in a real vector space of dimension at most three is simple, but this fails in dimension four. For an ordered basis $e_1,\dots ,e_4$, considerThe two components describe independent coordinate planes. Their square iswhereas $(u\wedge v)\wedge (u\wedge v)=0$ because the factors repeat. Thus this $B$ cannot be one simple bivector. Over the real numbers in dimension four, the converse also holds: a nonzero bivector with $B\wedge B=0$ is simple. The nonzero factor two is important; that criterion cannot be applied unchanged in characteristic two.

When $d{\sigma }^{\gamma }={\sum }_{\alpha ,\beta }{f}^{\gamma }{}_{\alpha \beta }{\sigma }^{\alpha }\wedge {\sigma }^{\beta }$ sums over ordered pairs, the Maurer-Cartan equation determines only $f^{\gamma }{}_{[\alpha \beta ]}=-c^{\gamma }{}_{\alpha \beta }/2$. Symmetric additions vanish in the exterior product. The usual coefficients are the unique antisymmetric representatives; summing instead over $\alpha <\beta$ removes the factor one half.

For $V={\mathbb{C}}^n$, $n\ge 3$, the tensor product of Lie algebra representations for the special linear Lie algebra splits as displayed. The exterior product map $v\otimes (u\wedge w)\mapsto v\wedge u\wedge w$ has an equivariant right inverse obtained by dividing its three-term alternating insertion by three. Its kernel is the Schur functor of shape $(2,1)$, with highest weight ${\omega }_1+{\omega }_2$ and dimension $n(n^2-1)/3$. The other summand has highest weight ${\omega }_3$ for $n\ge 4$ and is trivial for $n=3$.

The weight space of $2{\epsilon }_i+{\epsilon }_j$ has dimension one when $i\ne j$. The weight space of ${\epsilon }_i+{\epsilon }_j+{\epsilon }_k$ has dimension three for distinct indices. Restricting these functionals to the traceless diagonal Cartan subalgebra creates no additional coincidences; for $n=3$ the latter weight is zero.