Causal contact: Difference between revisions
en>SmackBot m remove Erik9bot category,outdated, tag and general fixes |
en>EmausBot m Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q12600589 |
||
Line 1: | Line 1: | ||
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 [[Grassmannian]]s. The tautological line bundle is important in the study of [[characteristic class]]es. | |||
The older term '''''[[canonical (disambiguation)|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. | |||
==Definition== | |||
Form the [[cartesian product]] '''P'''<sup>''n''</sup>('''R''') × '''R'''<sup>''n''+1</sup>, with the first factor denoting [[projective space|real projective ''n''-space]]. We consider the [[subset]] | |||
:<math>E(\gamma_n):=\left \{(x,v)\in\mathbf{P}^n(\mathbf{R}) \times\mathbf{R}^{n+1}:v\in x\right \}.</math> | |||
We have an obvious [[fiber bundle|projection map]] π : ''E''(γ<sub>''n''</sub>) → '''P'''<sup>''n''</sup>('''R'''), with (''x'', ''v'') ↦ ''x''. Each [[fiber bundle|fibre]] of π is then the [[line (mathematics)|line]] ''x'' inside [[Euclidean space|Euclidean (''n''+1)-space]]. Giving each fibre the induced [[vector space]] structure we obtain the bundle | |||
:<math>\gamma_n:=(E(\gamma_n)\to\mathbf{P}^n(\mathbf{R}) ),</math> | |||
the '''tautological line bundle''' over '''P'''<sup>''n''</sup>('''R'''). | |||
===Complex and quaternionic cases=== | |||
The above definition continues to makes sense if we replace the field '''R''' by either the [[complex numbers]] '''C''' or the [[quaternions]]. Thus we obtain the complex line bundle | |||
:<math>\gamma_{n,\mathbf{C}}:=(E(\gamma_{n,\mathbf{C}})\to\mathbf{P}^n(\mathbf{C})),</math> | |||
whose fibres are isomorphic to '''C''' ≅ '''R'''<sup>2</sup>, and the quaternionic line bundle | |||
:<math>\gamma_{n,\mathbf{H}}:=(E(\gamma_{n,\mathbf{H}})\to\mathbf{P}^n(\mathbf{H})),</math> | |||
whose fibres are isomorphic to '''H''' ≅ '''R'''<sup>4</sup>. | |||
==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. | |||
==Facts== | |||
*The tautological line bundle γ<sub>''n''</sub> is [[fiber bundle|locally trivial]] but not [[fiber bundle#Examples|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 [[fiber bundle|total space]] is the [[Möbius strip]]. For a full proof of the above fact, see.<ref>J. Milnor & J. Stasheff, ''Characteristic Classes'', Princeton, 1974.</ref> | |||
==See also== | |||
*[[Stiefel-Whitney class]]. | |||
==References== | |||
{{reflist}} | |||
*[M+S] [[J. Milnor]] & [[Jim Stasheff|J. Stasheff]], ''Characteristic Classes'', Princeton, 1974. | |||
*Griffiths and Harris, Principles of Algebraic Geometry, Academic Press | |||
{{DEFAULTSORT:Tautological Line Bundle}} | |||
[[Category:Vector bundles]] |
Revision as of 07:06, 28 May 2013
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.
Definition
Form the cartesian product Pn(R) × Rn+1, with the first factor denoting real projective n-space. We consider the subset
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
The above definition continues to makes sense if we replace the field R by either the complex numbers C or the quaternions. Thus we obtain the complex line bundle
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.
Facts
- 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.[1]
See also
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- [M+S] J. Milnor & J. Stasheff, Characteristic Classes, Princeton, 1974.
- Griffiths and Harris, Principles of Algebraic Geometry, Academic Press
- ↑ J. Milnor & J. Stasheff, Characteristic Classes, Princeton, 1974.