The Hodge star operator or Hodge operator for short is an object from differential geometry . It was introduced by the British mathematician William Vallance Douglas Hodge . The operator is an isomorphism which operates on the outer algebra of a finite-dimensional Prehilbert space or, more generally, on the space of differential forms .
motivation
Let be an n-dimensional, smooth manifold and let be the -th external power of the cotangent space . For all with the vector spaces and have the same dimension and are therefore isomorphic. If , in addition, the structure of an oriented , semiriemannian manifold has been added , one can prove that this isomorphism can be constructed naturally. That is, there is an isomorphism between the spaces that is invariant under the Semiriemannian metric and the orientation-preserving diffeomorphisms . The generalization of this isomorphism to the tangential bundle is called the Hodge-Star operator.
definition
Since the space is a finite-dimensional vector space from the above motivation, we begin here with the definition of the Hodge-Star operator on vector spaces.
Hodge star operator on vector spaces
Let be a -dimensional oriented vector space with scalar product and
its dual space . For , the -th external power of denotes the vector space of the alternating multilinear forms of the level above .
The Hodge star operator
is clearly defined by the following condition: If there is a positively oriented orthonormal basis of and the corresponding dual basis of , then is
It is not enough to require this condition for a single orthonormal basis. But one does not need to demand it for every positively oriented orthonormal basis. It suffices to consider all even permutations of a single basis: If there is a positively oriented orthonormal basis of and the dual basis of it is , then the Hodge-Star operator is uniquely determined by the condition
for every even permutation of .
For an orthogonal basis, which need not be an orthonormal basis, more general applies
and
-
.
Here is when is positively oriented and when is negatively oriented. The formula is especially valid for empty products, so for an orthonormal basis is
-
,
-
.
Global Hodge star operator
After this preliminary work, the Hodge-Star operator can be transferred to the outer algebra of the cotangent bundle . As in motivation, let it be an orientable, smooth Riemannian manifold. Also define as the space of the cuts in the vector bundle . The space is therefore the space of the differential forms -th degree . Since there is a vector bundle and therefore there is a vector space in every point , the Hodge star operator is defined point by point.
The Hodge star operator is an isomorphism
so that for each point
applies. The differential form , evaluated at this point , is again an element of a vector space, and thus the above definition for vector spaces applies. In this definition it was implied that the shape is again a smooth differential shape . However, this is not clear and needs to be proven.
Examples
If one considers the three-dimensional Euclidean space as a Riemannian manifold with the Euclidean metric and the usual orientation, then one can apply the Hodge star operator under these conditions. Let be the oriented standard basis of and the corresponding dual basis . The elements can then be understood as differential forms. The following then applies to
the Hodge star operator
Under these conditions, the Hodge star operator is used implicitly in vector analysis for the cross product and the rotation operator derived from it . This is explained in the article External Algebra .
Properties of the Hodge star operator
Be an oriented smooth Riemannian manifold are, , , and is a Riemannian metric . Then the Hodge star operator has the following properties:
-
(Linearity),
-
(Bijectivity),
-
( Isometry ).
Riemann volume form
Be a smooth, oriented, Riemannian manifold. If one then understands as a constant one function, the Riemann volume shape is defined as . This volume shape is an important part of the integration with differential shapes. This should be illustrated with a simple example. For this, be a compact subset. For the volume of U applies . If one understands now as a manifold and as a compact subset contained therein, then the volume in this case is defined as
The integration theory on manifolds also includes integration on real subsets. According to this principle one can also integrate functions on manifolds by multiplying them with the volume form.
literature
- R. Abraham, JE Marsden, T. Ratiu: Manifolds, Tensor Analysis, and Applications . Springer-Verlag, Berlin 2003, ISBN 3-540-96790-7 .
- S. Morita: Geometry of Differential Forms . American Mathematical Society, ISBN 0-821-81045-6 .