Tautological line bundle
In mathematics, the tautological line bundle is a particular natural line bundle on a projective space. It is a special case of the tautological bundle on a Grassmannians. The tautological line bundle is important in the study of characteristic classes.
The older term canonical line bundle is now strongly deprecated, as it conflicts with universally accepted terminology in the theory of complex manifolds, where the canonical line bundle of a complex m-manifold is defined to be the bundle of (m, 0)-forms (top forms). For this reason, the term tautological is now widely considered to be preferable to avoid confusion.
We have an obvious projection map π : E(γn) → Pn(R), with (x, v) ↦ x. Each fibre of π is then the line x inside Euclidean (n+1)-space. Giving each fibre the induced vector space structure we obtain the bundle
the tautological line bundle over Pn(R).
Complex and quaternionic cases
whose fibres are isomorphic to C ≅ R2, and the quaternionic line bundle
whose fibres are isomorphic to H ≅ R4.
Tautological line bundle in algebraic geometry
In algebraic geometry, this notion exists over any commutative unital ring.
Over a field, its dual line bundle is the line bundle associated to the hyperplane divisor H, whose global sections are the linear forms. Its Chern class is −H. This is an example of an anti-ample line bundle. Over C, this is equivalent to saying that it is a negative line bundle, meaning that minus its Chern class is the de Rham class of a Kähler form.
- The tautological line bundle γn is locally trivial but not trivial, for n ≥ 1. This remains true over other fields.
In fact, it is straightforward to show that, for n = 1, the real tautological line bundle is none other than the well-known bundle whose total space is the Möbius strip. For a full proof of the above fact, see.
- J. Milnor & J. Stasheff, Characteristic Classes, Princeton, 1974.