🌀Riemannian Geometry Unit 11 – Harmonic Forms and Hodge Theory

Key Concepts and Definitions

• Differential forms generalize the concept of functions and vector fields to higher dimensions
• Harmonic forms are differential forms that satisfy the Laplace equation $\Delta \omega = 0$
• The Hodge star operator $\star$ is a linear map between differential forms of complementary degrees
• The Laplacian operator $\Delta$ is a second-order differential operator that generalizes the notion of the Laplacian from vector calculus to differential forms
• Hodge decomposition theorem states that any differential form can be uniquely decomposed into the sum of an exact form, a co-exact form, and a harmonic form
• Cohomology groups are vector spaces that measure the "holes" in a manifold and are related to harmonic forms
• The de Rham cohomology is a cohomology theory based on differential forms and provides a way to study the topology of a manifold using calculus

Foundations of Differential Forms

• Differential forms are antisymmetric multilinear maps that take tangent vectors as input and produce a real number
• The exterior derivative $d$ is an operator that generalizes the concept of the gradient, curl, and divergence from vector calculus
  • It maps $k$-forms to $(k+1)$-forms and satisfies $d^2 = 0$
• The wedge product $\wedge$ is an antisymmetric bilinear operation that combines differential forms
• Stokes' theorem relates the integral of a differential form over a manifold to the integral of its exterior derivative over the boundary of the manifold
• Closed forms are differential forms $\omega$ that satisfy $d\omega = 0$, while exact forms are differential forms that can be expressed as the exterior derivative of another form
• The pullback is an operation that allows differential forms to be "pulled back" from one manifold to another using a smooth map between the manifolds

Introduction to Harmonic Forms

• Harmonic forms are differential forms that are both closed ($d\omega = 0$) and co-closed ($d^*\omega = 0$), where $d^*$ is the adjoint of the exterior derivative
• On a compact Riemannian manifold, harmonic forms are representatives of cohomology classes
  • Each cohomology class contains a unique harmonic form
• Harmonic forms minimize the $L^2$ norm among all forms in the same cohomology class
• The dimension of the space of harmonic $k$-forms is equal to the $k$-th Betti number of the manifold
• Harmonic forms are related to the topology of the manifold and can be used to study its properties

The Hodge Star Operator

• The Hodge star operator $\star$ is a linear map that takes a $k$-form to an $(n-k)$-form, where $n$ is the dimension of the manifold
• It is defined using the Riemannian metric and the orientation of the manifold
• The Hodge star operator satisfies $\star^2 = (-1)^{k(n-k)}$ on $k$-forms
• The codifferential operator $d^*$ can be defined using the Hodge star and the exterior derivative as $d^* = (-1)^{nk+n+1} \star d \star$ on $k$-forms
• The Hodge star operator is used to define the $L^2$ inner product on differential forms

Laplacian and Harmonic Functions

• The Laplacian operator $\Delta$ on differential forms is defined as $\Delta = dd^* + d^*d$
• A differential form $\omega$ is harmonic if and only if $\Delta \omega = 0$
• On functions (0-forms), the Laplacian reduces to the usual Laplacian from vector calculus
  • Harmonic functions are functions that satisfy $\Delta f = 0$
• The maximum principle states that a harmonic function on a compact manifold attains its maximum and minimum on the boundary
• Green's functions are fundamental solutions to the Laplace equation and can be used to solve Poisson's equation $\Delta u = f$

Hodge Decomposition Theorem

• The Hodge decomposition theorem states that any differential $k$-form $\omega$ on a compact Riemannian manifold can be uniquely decomposed as $\omega = d\alpha + d^*\beta + \gamma$, where:
  • $\alpha$ is a $(k-1)$-form
  • $\beta$ is a $(k+1)$-form
  • $\gamma$ is a harmonic $k$-form
• The three components $d\alpha$, $d^*\beta$, and $\gamma$ are orthogonal with respect to the $L^2$ inner product
• The Hodge decomposition theorem provides a way to understand the structure of the space of differential forms on a manifold
• It relates the topology of the manifold (through harmonic forms) to the analysis of differential forms (through the Laplacian)

Applications in Riemannian Geometry

• Harmonic forms can be used to study the topology of a Riemannian manifold, such as its Betti numbers and cohomology groups
• The Hodge theorem states that on a compact Riemannian manifold, every cohomology class contains a unique harmonic representative
• The Hodge decomposition can be used to solve partial differential equations on manifolds, such as the Poisson equation and the heat equation
• Harmonic forms and the Hodge Laplacian play a crucial role in the Atiyah-Singer index theorem, which relates the index of an elliptic operator to topological invariants of the manifold
• In physics, harmonic forms appear in the study of Maxwell's equations and gauge theory, where they describe the behavior of electromagnetic fields and connections on principal bundles

Problem-Solving Techniques

• When working with differential forms and harmonic forms, it is essential to have a strong understanding of linear algebra and multilinear algebra
• Symmetry and antisymmetry properties of differential forms can often simplify calculations and proofs
• The use of local coordinates and coordinate-free expressions can help in understanding the geometric meaning of differential forms and operators
• Integration by parts and Stokes' theorem are powerful tools for manipulating integrals of differential forms
• When solving problems involving the Laplacian or harmonic forms, it is often helpful to consider the eigenvalue problem $\Delta \omega = \lambda \omega$ and use the properties of eigenvalues and eigenfunctions
• Variational principles, such as the Dirichlet principle for harmonic functions, can be used to characterize solutions to partial differential equations on manifolds
• In some cases, it may be beneficial to use numerical methods, such as finite element methods or discrete exterior calculus, to approximate solutions to problems involving harmonic forms and the Hodge Laplacian