Math 2.0

Algebraic geometry Definition

Vector bundle

Builds on SchemeSheaf of modulesQuasi-coherent sheaf

Definition

Let XX be a scheme and n≥0n \ge 0 an integer. A vector bundle of rank nn on XX is a sheaf of 𝒪X\mathcal{O}_X-modules ℰ\mathcal{E} with the following property. Every point of XX has an open neighbourhood UU such that ℰ∣U≅𝒪U⊕n\mathcal{E}|_U \cong \mathcal{O}_U^{\oplus n} as 𝒪U\mathcal{O}_U-modules. It is also called a locally free sheaf of rank nn.

Remarks

The free sheaf 𝒪X⊕n\mathcal{O}_X^{\oplus n} is a vector bundle of rank nn, with U=XU = X for every point. On 𝔸k1=Spec⁡k[t]\mathbb{A}^1_k = \operatorname{Spec} k[t] over a field kk, the skyscraper sheaf M~\widetilde{M} with M=k[t]/(t)M = k[t]/(t) is not a vector bundle. Its stalk at the origin is kk, which is killed by tt and so is not a free module over the local ring k[t](t)k[t]_{(t)}; its stalks elsewhere are 00. A vector bundle is a quasi-coherent sheaf, and it is coherent when XX is locally Noetherian. To ℰ\mathcal{E} corresponds the geometric vector bundle 𝕍(ℰ∨)=Spec⁡XSym⁡(ℰ∨)\mathbb{V}(\mathcal{E}^\vee) = \operatorname{Spec}_X \operatorname{Sym}(\mathcal{E}^\vee), whose sheaf of sections is ℰ\mathcal{E}. Hartshorne writes 𝕍(ℰ)=Spec⁡XSym⁡(ℰ)\mathbb{V}(\mathcal{E}) = \operatorname{Spec}_X \operatorname{Sym}(\mathcal{E}), whose sheaf of sections is ℰ∨\mathcal{E}^\vee, so the placement of the dual differs between sources.

Reading path

To understand this page from the ground up, read these 4 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. Quasi-coherent sheaf concept
  2. Scheme concept
  3. Sheaf of modules concept
  4. Vector bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Coherent_sheaf
About this page
Tag3FX0JBH9S1
URIm2://3FX0JBH9S1
Kinddefinition
WritingW0 stub
MSC14F06
DefinesVector bundle
UsesScheme, Sheaf of modules, Quasi-coherent sheaf
Changed2 November 2026

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.