Tautological line bundle
Builds on Vector spaceProjective spaceVector bundleSerre's twisting sheaf
Definition
Let be a field, a vector space over of dimension , and the projective space of lines in . The tautological line bundle on is the closed subvariety together with the projection . Its fibre over a point is the line itself. Its sheaf of sections is a vector bundle of rank , isomorphic to .
Remarks
For , a point of is , and the fibre of over it is . Over the open set , the map trivializes , so is locally a product with a line. The projection is a line bundle but not the trivial one when . Indeed, has no nonzero global sections, while a trivial bundle has a nowhere-zero section. The dual of corresponds to Serre's twisting sheaf , whose global sections are the linear forms on . Some authors write for the space of hyperplanes of , 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
- no evidence level
- Projective space concept
- Serre's twisting sheaf concept
- Vector bundle concept
- Vector space definition
- Tautological line bundle definition
Further reading
About this page
| Tag | 28DVNYNMZR |
|---|---|
| URI | m2://28DVNYNMZR |
| Kind | definition |
| Writing | W0 stub |
| MSC | 14C20, 14M15 |
| Defines | Tautological line bundle |
| Uses | Vector 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.