# Tautological bundle – Wikipedia

In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of

${displaystyle k}$

-dimensional subspaces of

${displaystyle V}$

, given a point in the Grassmannian corresponding to a

${displaystyle k}$

-dimensional vector subspace

${displaystyle Wsubseteq V}$

, the fiber over

${displaystyle W}$

is the subspace

${displaystyle W}$

itself. In the case of projective space the tautological bundle is known as the tautological line bundle.

The tautological bundle is also called the universal bundle since any vector bundle (over a compact space[1]) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles. Because of this, the tautological bundle is important in the study of characteristic classes.

Tautological bundles are constructed both in algebraic topology and in algebraic geometry. In algebraic geometry, the tautological line bundle (as invertible sheaf) is

${displaystyle {mathcal {O}}_{mathbb {P} ^{n}}(-1),}$

the dual of the hyperplane bundle or Serre’s twisting sheaf

${displaystyle {mathcal {O}}_{mathbb {P} ^{n}}(1)}$

. The hyperplane bundle is the line bundle corresponding to the hyperplane (divisor)

${displaystyle mathbb {P} ^{n-1}}$

in

${displaystyle mathbb {P} ^{n}}$

The tautological line bundle and the hyperplane bundle are exactly the two generators of the Picard group of the projective space.[2]

In Michael Atiyah’s “K-theory”, the tautological line bundle over a complex projective space is called the standard line bundle. The sphere bundle of the standard bundle is usually called the Hopf bundle. (cf. Bott generator.)

More generally, there are also tautological bundles on a projective bundle of a vector bundle as well as a Grassmann bundle.

The older term canonical bundle has 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.

## Intuitive definition

Grassmannians by definition are the parameter spaces for linear subspaces, of a given dimension, in a given vector space

${displaystyle W}$

. If

${displaystyle G}$

is a Grassmannian, and

${displaystyle V_{g}}$

is the subspace of

${displaystyle W}$

corresponding to

${displaystyle g}$

in

${displaystyle G}$

, this is already almost the data required for a vector bundle: namely a vector space for each point

${displaystyle g}$

, varying continuously. All that can stop the definition of the tautological bundle from this indication, is the difficulty that the

${displaystyle 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

${displaystyle V_{g}}$

, that now do not intersect. With this, we have the bundle.

The projective space case is included. By convention

${displaystyle P(V)}$

may usefully carry the tautological bundle in the dual space sense. That is, with

${displaystyle V^{*}}$

the dual space, points of

${displaystyle P(V)}$

carry the vector subspaces of

${displaystyle V^{*}}$

that are their kernels, when considered as (rays of) linear functionals on

${displaystyle V^{*}}$

. If

${displaystyle V}$

has dimension

${displaystyle n+1}$

, the tautological line bundle is one tautological bundle, and the other, just described, is of rank

${displaystyle n}$

.

## Formal definition

Let

${displaystyle G_{n}(mathbb {R} ^{n+k})}$

be the Grassmannian of n-dimensional vector subspaces in

${displaystyle mathbb {R} ^{n+k};}$

as a set it is the set of all n-dimensional vector subspaces of

${displaystyle mathbb {R} ^{n+k}.}$

For example, if n = 1, it is the real projective k-space.

We define the tautological bundle γn, k over

${displaystyle G_{n}(mathbb {R} ^{n+k})}$

as follows. The total space of the bundle is the set of all pairs (V, v) consisting of a point V of the Grassmannian and a vector v in V; it is given the subspace topology of the Cartesian product

${displaystyle G_{n}(mathbb {R} ^{n+k})times mathbb {R} ^{n+k}.}$

The projection map π is given by π(V, v) = V. If F is the pre-image of V under π, it is given a structure of a vector space by a(V, v) + b(V, w) = (V, av + bw). Finally, to see local triviality, given a point X in the Grassmannian, let U be the set of all V such that the orthogonal projection p onto X maps V isomorphically onto X,[3] and then define

${displaystyle {begin{cases}phi :pi ^{-1}(U)to Utimes Xsubseteq G_{n}(mathbb {R} ^{n+k})times Xphi (V,v)=(V,p(v))end{cases}}}$

which is clearly a homeomorphism. Hence, the result is a vector bundle of rank n.

The above definition continues to make sense if we replace

${displaystyle mathbb {R} }$

with the complex field

${displaystyle mathbb {C} .}$

By definition, the infinite Grassmannian

${displaystyle G_{n}}$

is the direct limit of

${displaystyle G_{n}(mathbb {R} ^{n+k})}$

as

${displaystyle kto infty .}$

Taking the direct limit of the bundles γn, k gives the tautological bundle γn of

${displaystyle G_{n}.}$

It is a universal bundle in the sense: for each compact space X, there is a natural bijection

${displaystyle {begin{cases}[X,G_{n}]to operatorname {Vect} _{n}^{mathbb {R} }(X)fmapsto f^{*}(gamma _{n})end{cases}}}$

where on the left the bracket means homotopy class and on the right is the set of isomorphism classes of real vector bundles of rank n. The inverse map is given as follows: since X is compact, any vector bundle E is a subbundle of a trivial bundle:

${displaystyle Ehookrightarrow Xtimes mathbb {R} ^{n+k}}$

for some k and so E determines a map

${displaystyle {begin{cases}f_{E}:Xto G_{n}xmapsto E_{x}end{cases}}}$

unique up to homotopy.

Remark: In turn, one can define a tautological bundle as a universal bundle; suppose there is a natural bijection

${displaystyle [X,G_{n}]=operatorname {Vect} _{n}^{mathbb {R} }(X)}$

for any paracompact space X. Since

${displaystyle G_{n}}$

is the direct limit of compact spaces, it is paracompact and so there is a unique vector bundle over

${displaystyle G_{n}}$

that corresponds to the identity map on

${displaystyle G_{n}.}$

It is precisely the tautological bundle and, by restriction, one gets the tautological bundles over all

${displaystyle G_{n}(mathbb {R} ^{n+k}).}$

## Hyperplane bundle

The hyperplane bundle H on a real projective k-space is defined as follows. The total space of H is the set of all pairs (L, f) consisting of a line L through the origin in

${displaystyle mathbb {R} ^{k+1}}$

and f a linear functional on L. The projection map π is given by π(L, f) = L (so that the fiber over L is the dual vector space of L.) The rest is exactly like the tautological line bundle.

In other words, H is the dual bundle of the tautological line bundle.

In algebraic geometry, the hyperplane bundle is the line bundle (as invertible sheaf) corresponding to the hyperplane divisor

${displaystyle H=mathbb {P} ^{n-1}subset mathbb {P} ^{n}}$

given as, say, x0 = 0, when xi are the homogeneous coordinates. This can be seen as follows. If D is a (Weil) divisor on

${displaystyle X=mathbb {P} ^{n},}$

one defines the corresponding line bundle O(D) on X by

${displaystyle Gamma (U,O(D))={fin K|(f)+Dgeq 0{text{ on }}U}}$

where K is the field of rational functions on X. Taking D to be H, we have:

${displaystyle {begin{cases}O(H)simeq O(1)fmapsto fx_{0}end{cases}}}$

where x0 is, as usual, viewed as a global section of the twisting sheaf O(1). (In fact, the above isomorphism is part of the usual correspondence between Weil divisors and Cartier divisors.) Finally, the dual of the twisting sheaf corresponds to the tautological line bundle (see below).

## Tautological line bundle in algebraic geometry

In algebraic geometry, this notion exists over any field k. The concrete definition is as follows. Let

${displaystyle A=k[y_{0},dots ,y_{n}]}$

and

${displaystyle mathbb {P} ^{n}=operatorname {Proj} A}$

. Note that we have:

${displaystyle mathbf {Spec} left({mathcal {O}}_{mathbb {P} ^{n}}[x_{0},ldots ,x_{n}]right)=mathbb {A} _{mathbb {P} ^{n}}^{n+1}=mathbb {A} ^{n+1}times _{k}{mathbb {P} ^{n}}}$

where Spec is relative Spec. Now, put:

${displaystyle L=mathbf {Spec} left({mathcal {O}}_{mathbb {P} ^{n}}[x_{0},dots ,x_{n}]/Iright)}$

where I is the ideal sheaf generated by global sections

${displaystyle x_{i}y_{j}-x_{j}y_{i}}$

. Then L is a closed subscheme of

${displaystyle mathbb {A} _{mathbb {P} ^{n}}^{n+1}}$

over the same base scheme

${displaystyle mathbb {P} ^{n}}$

; moreover, the closed points of L are exactly those (x, y) of

${displaystyle mathbb {A} ^{n+1}times _{k}mathbb {P} ^{n}}$

such that either x is zero or the image of x in

${displaystyle mathbb {P} ^{n}}$

is y. Thus, L is the tautological line bundle as defined before if k is the field of real or complex numbers.

In more concise terms, L is the blow-up of the origin of the affine space

${displaystyle mathbb {A} ^{n+1}}$

, where the locus x = 0 in L is the exceptional divisor. (cf. Hartshorne, Ch. I, the end of § 4.)

In general,

${displaystyle mathbf {Spec} (operatorname {Sym} {check {E}})}$

is the algebraic vector bundle corresponding to a locally free sheaf E of finite rank.[4] Since we have the exact sequence:

${displaystyle 0to Ito {mathcal {O}}_{mathbb {P} ^{n}}[x_{0},ldots ,x_{n}]{overset {x_{i}mapsto y_{i}}{longrightarrow }}operatorname {Sym} {mathcal {O}}_{mathbb {P} ^{n}}(1)to 0,}$

the tautological line bundle L, as defined above, corresponds to the dual

${displaystyle {mathcal {O}}_{mathbb {P} ^{n}}(-1)}$

of Serre’s twisting sheaf. In practice both the notions (tautological line bundle and the dual of the twisting sheaf) are used interchangeably.

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

${displaystyle mathbb {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 the standard Kähler form.

In fact, it is straightforward to show that, for k = 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.[5]

• In the case of projective space, where the tautological bundle is a line bundle, the associated invertible sheaf of sections is
${displaystyle {mathcal {O}}(-1)}$

, the tensor inverse (ie the dual vector bundle) of the hyperplane bundle or Serre twist sheaf

${displaystyle {mathcal {O}}(1)}$

; in other words the hyperplane bundle is the generator of the Picard group having positive degree (as a divisor) and the tautological bundle is its opposite: the generator of negative degree.

## References

1. ^ Over a noncompact but paracompact base, this remains true provided one uses infinite Grassmannian.
2. ^ In literature and textbooks, they are both often called canonical generators.
3. ^ U is open since
${displaystyle G_{n}(mathbb {R} ^{n+k})}$

is given a topology such that

${displaystyle {begin{cases}G_{n}(mathbb {R} ^{n+k})to operatorname {End} (mathbb {R} ^{n+k})Vmapsto p_{V}end{cases}}}$

where

${displaystyle p_{V}}$

is the orthogonal projection onto V, is a homeomorphism onto the image.

4. ^ Editorial note: this definition differs from Hartshorne in that he does not take dual, but is consistent with the standard practice and the other parts of Wikipedia.
5. ^ Milnor & Stasheff 1974, §2. Theorem 2.1.

## Sources

• Atiyah, Michael Francis (1989), K-theory, Advanced Book Classics (2nd ed.), Addison-Wesley, ISBN 978-0-201-09394-0, MR 1043170
• Griffiths, Phillip; Harris, Joseph (1994), Principles of algebraic geometry, Wiley Classics Library, New York: John Wiley & Sons, doi:10.1002/9781118032527, ISBN 978-0-471-05059-9, MR 1288523.
• Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052.
• Milnor, John W.; Stasheff, James D. (1974), Characteristic Classes, Annals of Mathematics Studies, vol. 76, Princeton, New Jersey: Princeton University Press, MR 0440554
• Rubei, Elena (2014), Algebraic Geometry: A Concise Dictionary, Berlin/Boston: Walter De Gruyter, ISBN 978-3-11-031622-3