Tautological bundle

Tautological bundle

In mathematics, "tautological bundle" is a term for a particularly natural vector bundle occurring over a Grassmannian, and more specially over projective space. "Canonical bundle" as a name dropped out of favour, on the grounds that 'canonical' is heavily overloaded as it is, in mathematical terminology, and (worse) confusion with the canonical class in algebraic geometry could scarcely be avoided.

Grassmannians by definition are the parameter spaces for linear subspaces, of a given dimension, in a given vector space "W". If "G" is a Grassmannian, and "V""g" is the subspace of "W" corresponding to "g" in "G", this is already almost the data required for a vector bundle: namely a vector space for each point "g", varying continuously. All that can stop the definition of the tautological bundle from this indication, is the (pedantic) difficulty that the "V""g" are going to intersect. Fixing this up is a routine application of the disjoint union device, so that the bundle projection is from a total space made up of identical copies of the "V""g", that now do not intersect. With this, we have the bundle.

The projective space case is included: see tautological line bundle. By convention and use "P"("V") may usefully carry the tautological bundle in the dual space sense. That is, with "V"* the dual space, points of "P"("V") carry the vector subspaces of "V"* that are their kernels, when considered as (rays of) linear functionals on "V"*. If "V" has dimension "n" + 1, the tautological line bundle is one tautological bundle, and the other, just described, is of rank "n".

Properties

* The Picard group of line bundles on mathbb P(V) is infinite cyclic, and the tautological line bundle is a generator.
* In the case of projective space, where the tautological bundle is a line bundle, the associated invertible sheaf of sections is the tensor inverse of the Serre twist sheaf mathcal O(1); in other words the Serre sheaf is the "other" generator.

ee also

* Hopf bundle


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Tautological one-form — In mathematics, the tautological one form is a special 1 form defined on the cotangent bundle T * Q of a manifold Q . The exterior derivative of this form defines a symplectic form giving T * Q the structure of a symplectic manifold. The… …   Wikipedia

  • Line bundle — In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising… …   Wikipedia

  • Canonical line bundle — The canonical or tautological line bundle on a projective space appears frequently in mathematics, often in the study of characteristic classes. Note that there is possible confusion with the theory of the canonical class in algebraic geometry;… …   Wikipedia

  • Cotangent bundle — In mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold. It may be described also as the dual bundle to the tangent bundle.… …   Wikipedia

  • Frame bundle — In mathematics, a frame bundle is a principal fiber bundle F(E) associated to any vector bundle E. The fiber of F(E) over a point x is the set of all ordered bases, or frames, for Ex. The general linear group acts naturally on F(E) via a change… …   Wikipedia

  • Real projective space — In mathematics, real projective space, or RP n is the projective space of lines in R n +1. It is a compact, smooth manifold of dimension n , and a special case of a Grassmannian.ConstructionAs with all projective spaces, RP n is formed by taking… …   Wikipedia

  • Moving frame — The Frenet Serret frame on a curve is the simplest example of a moving frame. In mathematics, a moving frame is a flexible generalization of the notion of an ordered basis of a vector space often used to study the extrinsic differential geometry… …   Wikipedia

  • Maurer–Cartan form — In mathematics, the Maurer–Cartan form for a Lie group G is a distinguished differential one form on G that carries the basic infinitesimal information about the structure of G. It was much used by Élie Cartan as a basic ingredient of his method… …   Wikipedia

  • Cartan connection — In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the …   Wikipedia

  • Classifying space for U(n) — In mathematics, the classifying space for the unitary group U(n) is a space B(U(n)) together with a universal bundle E(U(n)) such that any hermitian bundle on a paracompact space X is the pull back of E by a map X → B unique up to homotopy. This… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”