Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Hodge star operator
Summary
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.
For example, in an oriented 3-dimensional Euclidean space, an oriented plane can be represented by the exterior product of two basis vectors, and its Hodge dual is the normal vector given by their cross product; conversely, any vector is dual to the oriented plane perpendicular to it, endowed with a suitable bivector. Generalizing this to an n-dimensional vector space, the Hodge star is a one-to-one mapping of k-vectors to (n – k)-vectors; the dimensions of these spaces are the binomial coefficients .
The naturalness of the star operator means it can play a role in differential geometry, when applied to the cotangent bundle of a pseudo-Riemannian manifold, and hence to differential k-forms. This allows the definition of the codifferential as the Hodge adjoint of the exterior derivative, leading to the Laplace–de Rham operator. This generalizes the case of 3-dimensional Euclidean space, in which divergence of a vector field may be realized as the codifferential opposite to the gradient operator, and the Laplace operator on a function is the divergence of its gradient. An important application is the Hodge decomposition of differential forms on a closed Riemannian manifold.
Let V be an n-dimensional oriented vector space with a nondegenerate symmetric bilinear form , referred to here as an inner product. This induces an inner product on k-vectors , for , by defining it on decomposable k-vectors and to equal the Gram determinant
extended to through linearity.
The unit n-vector is defined in terms of an oriented orthonormal basis of V as:
(Note: In the general pseudoRiemannian case, orthonormality means:
)
The Hodge star operator is a linear operator on the exterior algebra of V, mapping k-vectors to (n – k)-vectors, for .
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.