In mathematics, the signature operator is an elliptic differential operator defined on a certain subspace of the space of differential forms on an even-dimensional compact Riemannian manifold, whose analytic index is the same as the topological signature of the manifold if the dimension of the manifold is a multiple of four. It is an instance of a Dirac-type operator.
Definition in the even-dimensional case Let M {\displaystyle M} be a compact Riemannian manifold of even dimension 2 l {\displaystyle 2l} . Let
d : Ω p ( M ) → Ω p + 1 ( M ) {\displaystyle d:\Omega ^{p}(M)\rightarrow \Omega ^{p+1}(M)}
be the exterior derivative on i {\displaystyle i} -th order differential forms on M {\displaystyle M} . The Riemannian metric on M {\displaystyle M} allows us to define the Hodge star operator ⋆ {\displaystyle \star } and with it the inner product
⟨ ω , η ⟩ = ∫ M ω ∧ ⋆ η {\displaystyle \langle \omega ,\eta \rangle =\int _{M}\omega \wedge \star \eta }
on forms. Denote by
d ∗ : Ω p + 1 ( M ) → Ω p ( M ) {\displaystyle d^{*}:\Omega ^{p+1}(M)\rightarrow \Omega ^{p}(M)}
the adjoint operator of the exterior differential d {\displaystyle d} . This operator can be expressed purely in terms of the Hodge star operator as follows:
d ∗ = ( − 1 ) 2 l ( p + 1 ) + 2 l + 1 ⋆ d ⋆ = − ⋆ d ⋆ {\displaystyle d^{*}=(-1)^{2l(p+1)+2l+1}\star d\star =-\star d\star }
Now consider d + d ∗ {\displaystyle d+d^{*}} acting on the space of all forms Ω ( M ) = ⨁ p = 0 2 l Ω p ( M ) {\displaystyle \Omega (M)=\bigoplus _{p=0}^{2l}\Omega ^{p}(M)} . One way to consider this as a graded operator is the following: Let τ {\displaystyle \tau } be an involution on the space of all forms defined by:
τ ( ω ) = i p ( p − 1 ) + l ⋆ ω , ω ∈ Ω p ( M ) {\displaystyle \tau (\omega )=i^{p(p-1)+l}\star \omega \quad ,\quad \omega \in \Omega ^{p}(M)}
It is verified that d + d ∗ {\displaystyle d+d^{*}} anti-commutes with τ {\displaystyle \tau } and, consequently, switches the ( ± 1 ) {\displaystyle (\pm 1)} -eigenspaces Ω ± ( M ) {\displaystyle \Omega _{\pm }(M)} of τ {\displaystyle \tau }
Consequently,
d + d ∗ = ( 0 D D ∗ 0 ) {\displaystyle d+d^{*}={\begin{pmatrix}0&D\\D^{*}&0\end{pmatrix}}}
Definition: The operator d + d ∗ {\displaystyle d+d^{*}} with the above grading respectively the above operator D : Ω + ( M ) → Ω − ( M ) {\displaystyle D:\Omega _{+}(M)\rightarrow \Omega _{-}(M)} is called the signature operator of M {\displaystyle M} .
Definition in the odd-dimensional case In the odd-dimensional case one defines the signature operator to be i ( d + d ∗ ) τ {\displaystyle i(d+d^{*})\tau } acting on the even-dimensional forms of M {\displaystyle M} .
… excerpt ends here. Continue reading the full article.
