nLab Hirzebruch signature theorem

Redirected from "∞-group of units".

Context

Manifolds and cobordisms

Geometry

Contents

Idea

Hirzebruch’s signature theorem relates the signature of oriented smooth 4n4n-manifolds with its Pontrjagin numbers.

Statement

Proposition

(Hirzebruch signature theorem for 4-manifolds) For an oriented smooth 4-manifold MM with fundamental class [M]H 4(M,)[M]\in H^4(M,\mathbb{Z})\cong\mathbb{Z}, its signature is given by Pontrjagin numbers as:

σ(M)=13p 1(M),[M]. \sigma(M) =\frac{1}{3}\langle p_1(M),[M]\rangle \in\mathbb{Z}.

Proposition

(Hirzebruch signature theorem for 8-manifolds) For an oriented smooth 8-manifold MM with fundamental class [M]H 8(M,)[M]\in H^8(M,\mathbb{Z})\cong\mathbb{Z}, its signature is given by Pontrjagin numbers as:

σ(M)=145(7p 22p 1 2)(M),[M]. \sigma(M) =\frac{1}{45}\langle(7p_2-2p_1^2)(M),[M]\rangle \in\mathbb{Z}.

Proposition

(Hirzebruch signature theorem for 12-manifolds) For an oriented smooth 12-manifold MM with fundamental class [M]H 12(M,)[M]\in H^12(M,\mathbb{Z})\cong\mathbb{Z}, its signature is given by Pontrjagin numbers as:

σ(M)=1945(62p 313p 1p 2+2p 1 3)(M),[M]. \sigma(M) =\frac{1}{945}\langle(62p_3-13p_1p_2+2p_1^3)(M),[M]\rangle \in\mathbb{Z}.

Proposition

(Hirzebruch signature theorem for 16-manifolds) For an oriented smooth 16-manifold MM with fundamental class [M]H 16(M,)[M]\in H^16(M,\mathbb{Z})\cong\mathbb{Z}, its signature is given by Pontrjagin numbers as:

σ(M)=114175(381p 471p 1p 319p 2 2+22p 1 2p 23p 1 4)(M),[M]. \sigma(M) =\frac{1}{14175}\langle(381 p_4-71p_1p_3-19p_2^2+22p_1^2p_2-3p_1^4)(M),[M]\rangle \in\mathbb{Z}.

Articles on geometry and topology of 4-manifolds:

References

Last revised on May 17, 2026 at 09:26:37. See the history of this page for a list of all contributions to it.