Global analysis, analysis on manifolds Definition
Signature operator
Builds on Riemannian manifoldDifferential formExterior derivativeHodge star operatorHodge LaplacianElliptic operator on a compact manifoldIntersection formHirzebruch signature theorem
Definition
Let be a closed oriented Riemannian manifold of dimension . Let be the space of smooth complex-valued differential forms, with exterior derivative , Hodge star and codifferential , the formal adjoint of . Define by Then and . Let be the eigenspaces of . The signature operator of is the restriction
Remarks
The operator is elliptic with square the Hodge Laplacian, so is an elliptic operator of order . Its index equals the signature of the intersection form on . Indeed, the harmonic forms of degrees contribute equally to the kernel and the cokernel and cancel. On harmonic -forms , whose eigenspaces are the self-dual and anti-self-dual forms. The Atiyah–Singer index theorem applied to gives the Hirzebruch signature theorem.
Example: on -forms, . For (), the harmonic -forms are the multiples of the Kähler form , which is self-dual, so and the index of is .
Non-example: the operator uses the splitting by degree instead of the splitting by . It is the de Rham or Euler operator, and its index is the Euler characteristic, not the signature; for it is .
Reading path
To understand this page from the ground up, read these 14 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Cobordism concept
- Differential form concept
- Elliptic operator on a compact manifold concept
- Hodge Laplacian concept
- Hodge star operator concept
- Intersection form concept
- Orientation of a manifold concept
- Pontryagin class concept
- Riemannian manifold concept
- Signature of a quadratic form concept
- Smooth manifold concept
- Exterior derivative concept
- Hirzebruch signature theorem statement
- Signature operator definition
Further reading
About this page
| Tag | A77EHY9DAN |
|---|---|
| URI | m2://A77EHY9DAN |
| Kind | definition |
| Writing | W0 stub |
| MSC | 58J20, 58A14, 57R20 |
| Defines | Signature operator |
| Uses | Riemannian manifold, Differential form, Exterior derivative, Hodge star operator, Hodge Laplacian, Elliptic operator on a compact manifold, Intersection form, Hirzebruch signature theorem |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.