Hodge isomorphism

In mathematics, the Hodge isomorphism or Hodge star operator is an important linear map introduced in general by W. V. D. Hodge. It is defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. The result when applied to an element is called the element's Hodge dual.

Dimensions and algebra

Suppose that $n$ is the dimension of the oriented inner product space and $k$ is an integer such that $0 \leq k \leq n$ , then the Hodge star operator establishes a one-to-one mapping from the space of $k$ -vectors to the space of $(n - k)$ -vectors. The image of a $k$ -vector under this mapping is called its Hodge dual. The former space, of $k$ -vectors, has dimension ${\tbinom {n}{k}}$ , while the latter has dimension ${\tbinom {n}{n-k}}$ , which are equal by the symmetry of the binomial coefficients. Equal-dimensional vector spaces are always isomorphic, but not necessarily in a natural or canonical way. In this case, however, Hodge duality exploits the nondegenerate symmetric bilinear form, hereafter referred to as the inner product (though it might not be positive definite), and a choice of orientation to single out a unique isomorphism, which parallels the combinatorial symmetry of binomial coefficients. This in turn induces an inner product on the space of $k$ -vectors. The naturalness of this definition means the duality can play a role in differential geometry.

The first interesting case is on three-dimensional Euclidean space $V$ . In this context the relevant row of Pascal's triangle reads

1, 3, 3, 1

and the Hodge dual sets up an isomorphism between the two three-dimensional spaces, which are $V$ and the image space of the exterior product acting on pairs of vectors in $V$ . See § Examples for details. In this case the Hodge star allows the definition of the cross product of traditional vector calculus in terms of the exterior product. While the properties of the cross product are special to three dimensions, the Hodge dual applies to an arbitrary number of dimensions.

Extensions

Since the space of alternating linear forms in $k$ arguments on a vector space is naturally isomorphic to the dual of the space of $k$ -vectors over that vector space, the Hodge dual can be defined for these spaces as well. As with most constructions from linear algebra, the Hodge dual can then be extended to a vector bundle. Thus a context in which the Hodge dual is very often seen is the exterior algebra of the cotangent bundle, the space of differential forms on a manifold, where it can be used to construct the codifferential from the exterior derivative, and thus the Laplace–de Rham operator, which leads to the Hodge decomposition of differential forms in the case of compact Riemannian manifolds.

Formal definition of the Hodge star of $k$ -vectors

The Hodge star operator on a vector space $V$ with an inner product is a linear operator on the exterior algebra of $V$ , mapping $k$ -vectors to $(n - k)$ -vectors where $n = dim V$ , for $0 \leq k \leq n$ . It has the following property, which defines it completely: given two $k$ -vectors $α, β$

\alpha \wedge (\star \beta )=\langle \alpha ,\beta \rangle \,\omega

where $\langle \cdot ,\cdot \rangle$ denotes the inner product on $k$ -vectors and $ω$ is the preferred unit $n$ -vector.

The inner product $\langle \cdot ,\cdot \rangle$ on $k$ -vectors is extended from that on $V$ by requiring that

\langle \alpha ,\beta \rangle =\det \left[\left\langle \alpha _{i},\beta _{j}\right\rangle \right]

for any decomposable $k$ -vectors $\alpha =\alpha _{1}\wedge \dots \wedge \alpha _{k}$ and $\beta =\beta _{1}\wedge \dots \wedge \beta _{k}$ .

The unit $n$ -vector $ω$ is unique up to a sign. The preferred choice of $ω$ defines an orientation on $V$ .

Explanation

Let $W$ be a vector space, with an inner product $\langle \cdot ,\cdot \rangle _{W}$ . The Riesz representation theorem states that for every continuous (every in the finite-dimensional case) linear functional $f\in W^{*}$ there exists a unique vector $v$ in $W$ such that $f(w)=\langle w,v\rangle _{W}$ for all $w$ in $W$ . The map $W^{*}\to W$ given by $f\mapsto v$ is an isomorphism. (If $W$ is complex, the map is conjugate linear as opposed to complex linear.) This holds for all vector spaces with an inner product, and can be used to explain the Hodge dual.

Let $V$ be an $n$ -dimensional vector space with basis $\{e_{1},\ldots ,e_{n}\}$ . For $0 \leq k \leq n$ , consider the exterior power spaces ${\bigwedge }^{k}V$ and ${\bigwedge }^{n-k}V$ . For

\lambda \in {\bigwedge }^{k}V,\quad \theta \in {\bigwedge }^{n-k}V,

we have

\lambda \wedge \theta \in {\bigwedge }^{n}V.

There is, up to a scalar, only one $n$ -vector, namely $e_{1}\wedge \ldots \wedge e_{n}$ . In other words, $\lambda \wedge \theta$ must be a scalar multiple of $e_{1}\wedge \ldots \wedge e_{n}$ for all $\lambda \in {\bigwedge }^{k}V$ and $\theta \in {\bigwedge }^{n-k}V$ .

Consider a fixed $\lambda \in {\bigwedge }^{k}V$ . There exists a unique linear function

f_{\lambda }\in \left({\bigwedge }^{n-k}V\right)^{\!*}

such that

\forall \theta \in {\bigwedge }^{n-k}V:\qquad \lambda \wedge \theta =f_{\lambda }(\theta )\,(e_{1}\wedge \ldots \wedge e_{n}).

This $f_{\lambda }(\theta )$ is the scalar multiple mentioned in the previous paragraph. If $\langle \cdot ,\cdot \rangle$ denotes the inner product on $(n - k)$ -vectors, then there exists a unique $(n - k)$ -vector, say

\star \lambda \in {\bigwedge }^{n-k}V,

such that

\forall \theta \in {\bigwedge }^{n-k}V:\qquad f_{\lambda }(\theta )=\langle \theta ,\star \lambda \rangle .

This $(n - k)$ -vector $⋆ λ$ is the Hodge dual of $λ$ , and is the image of the $f_{\lambda }$ under the isomorphism induced by the inner product,

\left({\bigwedge }^{n-k}V\right)^{\!*}\cong {\bigwedge }^{n-k}V.

Thus,

\star :{\bigwedge }^{k}V\to {\bigwedge }^{n-k}V.

Computation of the Hodge star

Given an orthonormal basis $(e_{1},\cdots ,e_{n})$ ordered such that $\omega =e_{1}\wedge \cdots \wedge e_{n}$ , for a positive-definite metric, we see that

\star (e_{i_{1}}\wedge e_{i_{2}}\wedge \cdots \wedge e_{i_{k}})=e_{i_{k+1}}\wedge e_{i_{k+2}}\wedge \cdots \wedge e_{i_{n}},

where $(i_{1},i_{2},\cdots ,i_{n})$ is an even permutation of ${1, 2, ..., n}.$

Of these ${n! \over 2}$ relations, only ${n \choose k}$ are independent. The first one in the usual lexicographical order reads

\star (e_{1}\wedge e_{2}\wedge \cdots \wedge e_{k})=e_{k+1}\wedge e_{k+2}\wedge \cdots \wedge e_{n}.

Index notation for the star operator

Using tensor index notation, the Hodge dual is obtained by contracting the indices of a $k$ -form with the $n$ -dimensional completely antisymmetric Levi-Civita tensor. This differs from the Levi-Civita symbol by a factor of $\sqrt | det g |$ , where $g$ is the matrix of an inner product (the metric tensor) with respect to the basis. The absolute value of the determinant is necessary since it may be negative, e.g. for tangent spaces to Lorentzian manifolds.

Thus one writes^[1]

(\star \eta )_{i_{1},i_{2},\ldots ,i_{n-k}}={\frac {1}{k!}}\eta ^{j_{1},\ldots ,j_{k}}\,{\sqrt {|\det g|}}\,\varepsilon _{j_{1},\ldots ,j_{k},i_{1},\ldots ,i_{n-k}}

where $η$ is an arbitrary antisymmetric tensor in $k$ indices. It is understood that indices are raised and lowered using the same inner product g as in the definition of the Levi-Civita tensor. Although one can apply this expression to any tensor, the result is antisymmetric, since contraction with the completely anti-symmetric Levi-Civita symbol cancels all but the totally antisymmetric part of the tensor. It is thus equivalent to antisymmetrization followed by the Hodge dual.

Examples

Two dimensions

In two dimensions with the normalized Euclidean metric and orientation given by the ordering $(x, y)$ , the Hodge star on $k$ -forms is given by

{\star }\,1=dx\wedge dy

{\star }\,dx=dy

{\star }\,dy=-dx

{\star }(dx\wedge dy)=1.

The complex plane has the remarkable property that it is invariant under holomorphic changes of coordinate. If $z = x + iy$ is a holomorphic function of $w = u + iv$ , then by the Cauchy–Riemann equations $\partial x / \partial u = \partial y / \partial v$ and $\partial y / \partial u = - \partial x / \partial v$ . In the new coordinates

\alpha =p\,dx+q\,dy=\left(p{\frac {\partial x}{\partial u}}+q{\frac {\partial y}{\partial u}}\right)\,du+\left(p{\frac {\partial x}{\partial v}}+q{\frac {\partial y}{\partial v}}\right)\,dv=p_{1}du+q_{1}\,dv,

so that

{\begin{aligned}{\star }\alpha =-q_{1}\,du+p_{1}\,dv&=-\left(p{\frac {\partial x}{\partial v}}+q{\frac {\partial y}{\partial v}}\right)du+\left(p{\frac {\partial x}{\partial u}}+q{\frac {\partial y}{\partial u}}\right)dv\\[4pt]&=-q\left({\frac {\partial x}{\partial u}}du+{\frac {\partial x}{\partial v}}dv\right)+p\left({\frac {\partial y}{\partial u}}du+{\frac {\partial y}{\partial v}}dv\right)\\[4pt]&=-q\,dx+p\,dy,\end{aligned}}

proving the claimed invariance.

Three dimensions

A common example of the star operator is the case $n = 3$ , when it can be taken as the correspondence between the vectors and the skew-symmetric matrices of that size. This is used implicitly in vector calculus, for example to create the cross product vector from the wedge product of two vectors. Specifically, for Euclidean R³, one easily finds that

{\begin{aligned}\star \,dx&=dy\wedge dz\\\star \,dy&=dz\wedge dx\\\star \,dz&=dx\wedge dy\end{aligned}}

where $dx$ , $dy$ and $dz$ are the standard orthonormal differential one-forms on R³. The Hodge dual in this case clearly relates the cross-product to the wedge product in three dimensions. A detailed presentation not restricted to differential geometry is provided next.

Applied to three dimensions, the Hodge dual provides an isomorphism between axial vectors and bivectors, so each axial vector a is associated with a bivector $A$ and vice versa, that is:^[2]

\mathbf {A} =\star \mathbf {a} \qquad \mathbf {a} =\star \mathbf {A}

where $⋆$ indicates the dual operation. These dual relations can be implemented using multiplication by the unit pseudoscalar in Cl₃(R),^[3] $i = e 1 e 2 e 3$ (the vectors ${e ℓ}$ are an orthonormal basis in three dimensional Euclidean space) according to the relations:^[4]

\mathbf {A} =\mathbf {a} i\,,\quad \mathbf {a} =-\mathbf {A} i.

The dual of a vector is obtained by multiplication by $i$ , as established using the properties of the geometric product of the algebra as follows:

{\begin{aligned}\mathbf {a} i&=\left(a_{1}\mathbf {e} _{1}+a_{2}\mathbf {e} _{2}+a_{3}\mathbf {e} _{3}\right)\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}\\&=a_{1}\mathbf {e} _{2}\mathbf {e} _{3}(\mathbf {e} _{1})^{2}+a_{2}\mathbf {e} _{3}\mathbf {e} _{1}(\mathbf {e} _{2})^{2}+a_{3}\mathbf {e} _{1}\mathbf {e} _{2}(\mathbf {e} _{3})^{2}\\&=a_{1}\mathbf {e} _{2}\mathbf {e} _{3}+a_{2}\mathbf {e} _{3}\mathbf {e} _{1}+a_{3}\mathbf {e} _{1}\mathbf {e} _{2}\\&=(\star \mathbf {a} )\end{aligned}}

and also, in the dual space spanned by ${e ℓ e m}:$

{\begin{aligned}\mathbf {A} i&=\left(A_{1}\mathbf {e} _{2}\mathbf {e} _{3}+A_{2}\mathbf {e} _{3}\mathbf {e} _{1}+A_{3}\mathbf {e} _{1}\mathbf {e} _{2}\right)\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}\\&=A_{1}\mathbf {e} _{1}(\mathbf {e} _{2}\mathbf {e} _{3})^{2}+A_{2}\mathbf {e} _{2}(\mathbf {e} _{3}\mathbf {e} _{1})^{2}+A_{3}\mathbf {e} _{3}(\mathbf {e} _{1}\mathbf {e} _{2})^{2}\\&=-\left(A_{1}\mathbf {e} _{1}+A_{2}\mathbf {e} _{2}+A_{3}\mathbf {e} _{3}\right)\\&=-(\star \mathbf {A} )\end{aligned}}

In establishing these results, the identities are used:

(\mathbf {e} _{1}\mathbf {e} _{2})^{2}=\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{1}\mathbf {e} _{2}=-\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{2}\mathbf {e} _{1}=-1

and:

{\mathit {i}}^{2}=(\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3})^{2}=\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}=\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}\mathbf {e} _{3}\mathbf {e} _{1}\mathbf {e} _{2}=\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{1}\mathbf {e} _{2}=-1.

These relations between the dual $⋆$ and $i$ apply to any vectors. Here they are applied to relate the axial vector created as the cross product $a = u \times v$ to the bivector-valued exterior product $A = u \land v$ of two polar (that is, not axial) vectors $u$ and $v$ ; the two products can be written as determinants expressed in the same way:

\mathbf {a} =\mathbf {u} \times \mathbf {v} ={\begin{vmatrix}\mathbf {e} _{1}&\mathbf {e} _{2}&\mathbf {e} _{3}\\u_{1}&u_{2}&u_{3}\\v_{1}&v_{2}&v_{3}\end{vmatrix}}\,,\quad \mathbf {A} =\mathbf {u} \wedge \mathbf {v} ={\begin{vmatrix}\mathbf {e} _{23}&\mathbf {e} _{31}&\mathbf {e} _{12}\\u_{1}&u_{2}&u_{3}\\v_{1}&v_{2}&v_{3}\end{vmatrix}},

using the notation $e ℓ m = e ℓ e m$ . These expressions show these two types of vector are Hodge duals:^[2]

\star (\mathbf {u} \wedge \mathbf {v} )=\mathbf {u\times v} \,,\quad \star (\mathbf {u} \times \mathbf {v} )=\mathbf {u} \wedge \mathbf {v} ,

as a result of the relations:

\star \mathbf {e} _{\ell }=\mathbf {e} _{\ell }{\mathit {i}}=\mathbf {e} _{\ell }\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}=\mathbf {e} _{m}\mathbf {e} _{n}\,,

with $ℓ, m, n$ cyclic,

and:

\star (\mathbf {e} _{\ell }\mathbf {e} _{m})=-(\mathbf {e} _{\ell }\mathbf {e} _{m}){\mathit {i}}=-\left(\mathbf {e} _{\ell }\mathbf {e} _{m}\right)\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}=\mathbf {e} _{n}

also with $ℓ, m, n$ cyclic.

Using the implementation of $⋆$ based upon $i$ , the commonly used relations are:^[5]

\mathbf {u\times v} =-(\mathbf {u} \wedge \mathbf {v} )i\,,\quad \mathbf {u} \wedge \mathbf {v} =(\mathbf {u\times v} )i\ .

Four dimensions

In case $n = 4$ , the Hodge dual acts as an endomorphism of the second exterior power (i.e. it maps two-forms to two-forms, since $4 - 2 = 2$ ). It is an involution, so it splits it into self-dual and anti-self-dual subspaces, on which it acts respectively as +1 and −1.

Another useful example is $n = 4$ Minkowski spacetime with metric signature $(+ - - -)$ and coordinates $(t, x, y, z)$ where (using $\varepsilon _{0123}=1$ )

{\begin{aligned}\star dt&=dx\wedge dy\wedge dz\\\star dx&=dt\wedge dy\wedge dz\\\star dy&=-dt\wedge dx\wedge dz\\\star dz&=dt\wedge dx\wedge dy\end{aligned}}

for one-forms while

{\begin{aligned}\star (dt\wedge dx)&=-dy\wedge dz\\\star (dt\wedge dy)&=dx\wedge dz\\\star (dt\wedge dz)&=-dx\wedge dy\\\star (dx\wedge dy)&=dt\wedge dz\\\star (dx\wedge dz)&=-dt\wedge dy\\\star (dy\wedge dz)&=dt\wedge dx\end{aligned}}

for two-forms. An easy rule to remember for the above Hodge operations is that given a form $\alpha$ , its Hodge dual ${\star }\alpha$ may be obtained by writing the components not involved in $\alpha$ in an order such that $\alpha \wedge (\star \alpha )=dx\wedge dy\wedge dz\wedge dt$ . An extra minus sign will enter only if $\alpha$ does not contain $dt$ . (The latter convention stems from the choice $(+ - - -)$ for the metric signature. For $(- + + +)$ , one puts a minus sign only if $\alpha$ involves $dt$ .)

Inner product of $k$ -vectors

The Hodge dual induces an inner product on the space of $k$ -vectors, that is, on the exterior algebra of $V$ . Given two $k$ -vectors $η$ and $ζ$ , one has

\zeta \wedge \star \eta =\langle \zeta ,\eta \rangle \;\omega

where $ω$ is the normalised $n$ -form (i.e. $ω \land ⋆ ω = ω$ ). In the calculus of exterior differential forms on a pseudo-Riemannian manifold of dimension $n$ , the normalised $n$ -form is called the volume form and can be written as

\omega ={\sqrt {\left|\det[g_{ij}]\right|}}\;dx^{1}\wedge \cdots \wedge dx^{n}

where $\left[g_{ij}\right]$ is the matrix of components of the metric tensor on the manifold in the coordinate basis.

If an inner product is given on $\Lambda ^{k}(V)$ , then this equation can be regarded as an alternative definition of the Hodge dual.^[6] The wedge products of elements of an orthonormal basis in $V$ form an orthonormal basis of the exterior algebra of $V$ .

Duality

The Hodge star defines a dual in that when it is applied twice, the result is an identity on the exterior algebra, up to sign. Given a $k$ -vector $η$ in $Λ k (V)$ in an $n$ -dimensional space $V$ , one has

{\star }{\star }\eta =(-1)^{k(n-k)}s\eta ,

where $s$ is related to the signature of the inner product on $V$ . Specifically, $s$ is the sign of the determinant of the matrix representation of the inner product tensor with respect to any basis. Thus, for example, if $n = 4$ and the signature of the inner product is either $(+ - - -)$ or $(- + + +)$ then $s = -1$ . For Riemannian manifolds (including Euclidean spaces), the signature is always positive, and so $s = 1$ .

Note that the above identity implies that the inverse of $⋆$ can be given as

{\begin{aligned}{\star }^{-1}:~&\Lambda ^{k}\to \Lambda ^{n-k}\\&\eta \mapsto (-1)^{k(n-k)}s{\star }\eta \end{aligned}}

Note that if $n$ is odd then $k (n - k)$ is even for any $k$ , whereas if $n$ is even then $k (n - k)$ has the parity of $k$ . Therefore:

{\star }^{-1}={\begin{cases}s{\star }&n{\text{ is odd}}\\(-1)^{k}s{\star }&n{\text{ is even}}\end{cases}}

where $k$ is the degree of the element operated on.

Hodge star on manifolds

Applying the construction above to each cotangent space of an $n$ -dimensional oriented Riemannian or pseudo-Riemannian manifold, we can obtain an object known as the Hodge dual of a $k$ -form. To be explicit –

For any $k$ -form $ζ$ we define $⋆ ζ$ as the unique $(n - k)$ -form satisfying

\eta \wedge {\star }\zeta =\langle \eta ,\zeta \rangle \;\omega

for every $k$ -form $η$ (here the inner product on forms and the volume form $ω$ are induced by the Riemannian metric tensor in the usual way; greater understanding of these objects can be found by learning about the inner product on $k$ -forms and the volume form).

The Hodge star is thus related to the $L 2$ inner product on $k$ -forms by the formula:

(\eta ,\zeta )=\int _{M}\eta \wedge {\star }\zeta .

for $k$ -forms $η$ and $ζ$ . (Note that we can also see this as an inner product on sections of $\Lambda ^{k}(T^{*}M)$ . The set of sections is frequently denoted as $\Omega ^{k}(M)=\Gamma \left(\Lambda ^{k}\left(T^{*}M\right)\right)$ . Each element of $\Omega ^{k}(M)$ is a $k$ -form.)

More generally, in the non-oriented case, one can define the Hodge star of a $k$ -form as a $(n - k)$ -pseudo differential form; that is, a differential form with values in the canonical line bundle.

Codifferential

The most important application of the Hodge dual on manifolds is to define the codifferential $δ$ on $k$ -forms. Let

\delta =(-1)^{n(k-1)+1}s\ {\star }d{\star }=(-1)^{k}\,{\star }^{-1}d{\star }

where $d$ is the exterior derivative or differential, and $s = 1$ for Riemannian manifolds.

d:\Omega ^{k}(M)\to \Omega ^{k+1}(M)

while

\delta :\Omega ^{k}(M)\to \Omega ^{k-1}(M).

The codifferential is not an antiderivation on the exterior algebra, in contrast to the exterior derivative.

The codifferential is the adjoint of the exterior derivative, in that

(\eta ,\delta \zeta )=(d\eta ,\zeta ).

where $ζ$ is a $(k + 1)$ -form and $η$ a $k$ -form. This identity follows from Stokes' theorem for smooth forms, when

\int _{M}d(\eta \wedge {\star }\zeta )=0=\int _{M}(d\eta \wedge {\star }\zeta -\eta \wedge {\star }(-1)^{k+1}\,{\star }^{-1}d{\star }\zeta )=(d\eta ,\zeta )-(\eta ,\delta \zeta )

i.e. when $M$ has empty boundary or when $η$ or $⋆ ζ$ has zero boundary values (of course, true adjointness follows after continuous continuation to the appropriate topological vector spaces as closures of the spaces of smooth forms).

Notice that since the differential satisfies $d 2 = 0$ , the codifferential has the corresponding property

\delta ^{2}=s^{2}{\star }d{\star }{\star }d{\star }=(-1)^{k(n-k)}s^{3}{\star }d^{2}{\star }=0

The Laplace–deRham operator is given by

\Delta =(\delta +d)^{2}=\delta d+d\delta

and lies at the heart of Hodge theory. It is symmetric:

(\Delta \zeta ,\eta )=(\zeta ,\Delta \eta )

and non-negative:

(\Delta \eta ,\eta )\geq 0.

The Hodge dual sends harmonic forms to harmonic forms. As a consequence of the Hodge theory, the de Rham cohomology is naturally isomorphic to the space of harmonic $k$ -forms, and so the Hodge star induces an isomorphism of cohomology groups

{\star }:H_{\Delta }^{k}(M)\to H_{\Delta }^{n-k}(M),

which in turn gives canonical identifications via Poincaré duality of $H k (M)$ with its dual space.

Derivatives in three dimensions

The combination of the $⋆$ operator and the exterior derivative $d$ generates the classical operators $grad$ , $curl$ , and $div$ , in three dimensions. This works out as follows: $d$ can take a 0-form (function) to a 1-form, a 1-form to a 2-form, and a 2-form to a 3-form (applied to a 3-form it just gives zero). For a 0-form, $\omega =f(x,y,z)$ , the first case written out in components is identifiable as the grad operator:

d\omega ={\frac {\partial f}{\partial x}}\,dx+{\frac {\partial f}{\partial y}}\,dy+{\frac {\partial f}{\partial z}}\,dz.

The second case followed by $⋆$ is an operator on 1-forms ( $\eta =A\,dx+B\,dy+C\,dz$ ) that in components is the curl operator:

d\eta =\left({\partial C \over \partial y}-{\partial B \over \partial z}\right)dy\wedge dz+\left({\partial C \over \partial x}-{\partial A \over \partial z}\right)dx\wedge dz+\left({\partial B \over \partial x}-{\partial A \over \partial y}\right)dx\wedge dy.

Applying the Hodge star gives:

\star d\eta =\left({\partial C \over \partial y}-{\partial B \over \partial z}\right)\,dx-\left({\partial C \over \partial x}-{\partial A \over \partial z}\right)\,dy+\left({\partial B \over \partial x}-{\partial A \over \partial y}\right)\,dz.

The final case prefaced and followed by $⋆$ , takes a 1-form ( $\eta =A\,dx+B\,dy+C\,dz$ ) to a 0-form (function); written out in components it is the divergence operator:

{\begin{aligned}\star \eta &=A\,dy\wedge dz-B\,dx\wedge dz+C\,dx\wedge dy\\d{\star \eta }&=\left({\frac {\partial A}{\partial x}}+{\frac {\partial B}{\partial y}}+{\frac {\partial C}{\partial z}}\right)dx\wedge dy\wedge dz\\\star d{\star \eta }&={\frac {\partial A}{\partial x}}+{\frac {\partial B}{\partial y}}+{\frac {\partial C}{\partial z}}.\end{aligned}}

One advantage of this expression is that the identity $d 2 = 0$ , which is true in all cases, sums up two others, namely that $curl grad f = 0$ and $div curl F = 0$ . In particular, Maxwell's equations take on a particularly simple and elegant form, when expressed in terms of the exterior derivative and the Hodge star.

One can also obtain the Laplacian. Using the information above and the fact that $Δ f = div grad f$ then for a 0-form, $\omega =f(x,y,z)$ :

\Delta \omega =\star d{\star d\omega }={\frac {\partial ^{2}f}{\partial x^{2}}}+{\frac {\partial ^{2}f}{\partial y^{2}}}+{\frac {\partial ^{2}f}{\partial z^{2}}}

Notes

↑ Frankel, T. (2012). The Geometry of Physics (3rd ed.). Cambridge University Press. ISBN 978-1-107-60260-1.
1 2 Pertti Lounesto (2001). "§3.6 The Hodge dual". Clifford Algebras and Spinors, Volume 286 of London Mathematical Society Lecture Note Series (2nd ed.). Cambridge University Press. p. 39. ISBN 0-521-00551-5.
↑ Venzo De Sabbata, Bidyut Kumar Datta (2007). "The pseudoscalar and imaginary unit". Geometric algebra and applications to physics. CRC Press. p. 53 ff. ISBN 1-58488-772-9.
↑ William E Baylis (2004). "Chapter 4: Applications of Clifford algebras in physics". In Rafal Ablamowicz, Garret Sobczyk. Lectures on Clifford (geometric) algebras and applications. Birkhäuser. p. 100 ff. ISBN 0-8176-3257-3.
↑ David Hestenes (1999). "The vector cross product". New foundations for classical mechanics: Fundamental Theories of Physics (2nd ed.). Springer. p. 60. ISBN 0-7923-5302-1.
↑ Darling, R. W. R. (1994). Differential forms and connections. Cambridge University Press.

References

David Bleecker (1981) Gauge Theory and Variational Principles. Addison-Wesley Publishing. ISBN 0-201-10096-7. Chpt. 0 contains a condensed review of non-Riemannian differential geometry.
Jurgen Jost (2002) Riemannian Geometry and Geometric Analysis. Springer-Verlag. ISBN 3-540-42627-2. A detailed exposition starting from basic principles; does not treat the pseudo-Riemannian case.
Charles W. Misner, Kip S. Thorne, John Archibald Wheeler (1970) Gravitation. W.H. Freeman. ISBN 0-7167-0344-0. A basic review of differential geometry in the special case of four-dimensional spacetime.
Steven Rosenberg (1997) The Laplacian on a Riemannian manifold. Cambridge University Press. ISBN 0-521-46831-0. An introduction to the heat equation and the Atiyah-Singer theorem.
Tevian Dray (1999) The Hodge Dual Operator. A thorough overview of the definition and properties of the Hodge dual operator.

Tensors

Glossary of tensor theory

Scope

Mathematics	coordinate system multilinear algebra Euclidean geometry tensor algebra dyadic algebra differential geometry exterior calculus tensor calculus
Physics Engineering	continuum mechanics electromagnetism transport phenomena general relativity computer vision

Notation

Tensor definitions

Operations

Related abstractions

Notable tensors

Mathematics	Kronecker delta Levi-Civita symbol metric tensor nonmetricity tensor Christoffel symbols Ricci curvature Riemann curvature tensor Weyl tensor torsion tensor
Physics	moment of inertia angular momentum tensor spin tensor Cauchy stress tensor stress–energy tensor EM tensor gluon field strength tensor Einstein tensor metric tensor (GR)

Mathematicians

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.