Math 2.0

Algebraic geometry Definition

Tautological line bundle

Builds on Vector spaceProjective spaceVector bundleSerre's twisting sheaf

Definition

Let kk be a field, VV a vector space over kk of dimension n+1n + 1, and ℙ(V)\mathbb{P}(V) the projective space of lines in VV. The tautological line bundle on ℙ(V)\mathbb{P}(V) is the closed subvariety L={(ℓ,v)∈ℙ(V)×V:v∈ℓ}L = \set{(\ell, v) \in \mathbb{P}(V) \times V : v \in \ell} together with the projection L→ℙ(V)L \to \mathbb{P}(V). Its fibre over a point ℓ\ell is the line ℓ⊆V\ell \subseteq V itself. Its sheaf of sections is a vector bundle of rank 11, isomorphic to 𝒪ℙ(V)(−1)\mathcal{O}_{\mathbb{P}(V)}(-1).

Remarks

For V=k2V = k^2, a point of ℙ1\mathbb{P}^1 is ℓ=[a:b]\ell = [a : b], and the fibre of LL over it is {t(a,b):t∈k}\set{t(a, b) : t \in k}. Over the open set a≠0a \ne 0, the map (ℓ,t(1,b/a))↦(ℓ,t)(\ell, t(1, b/a)) \mapsto (\ell, t) trivializes LL, so LL is locally a product with a line. The projection L→ℙ(V)L \to \mathbb{P}(V) is a line bundle but not the trivial one when n≥1n \ge 1. Indeed, 𝒪(−1)\mathcal{O}(-1) has no nonzero global sections, while a trivial bundle has a nowhere-zero section. The dual of LL corresponds to Serre's twisting sheaf 𝒪(1)\mathcal{O}(1), whose global sections are the linear forms on VV. Some authors write ℙ(V)\mathbb{P}(V) for the space of hyperplanes of VV, which changes the sign conventions.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Projective space concept
  2. Serre's twisting sheaf concept
  3. Vector bundle concept
  4. Vector space definition
  5. Tautological line bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Tautological_bundle
About this page
Tag28DVNYNMZR
URIm2://28DVNYNMZR
Kinddefinition
WritingW0 stub
MSC14C20, 14M15
DefinesTautological line bundle
UsesVector space, Projective space, Vector bundle, Serre's twisting sheaf

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.