Math 2.0

Algebraic geometry Definition

Stable vector bundle

Builds on Algebraic curveVector bundleWeil divisor

Definition

Let kk be an algebraically closed field and let CC be a smooth projective connected algebraic curve over kk. For a nonzero vector bundle EE on CC of rank rr, let deg⁡E\deg E be the degree of a divisor of its determinant line bundle det⁡E=ΛrE\det E = \Lambda^r E. The slope of EE is μ(E)=deg⁡E/rank⁡E\mu(E) = \deg E / \rank E. The bundle EE is stable if μ(F)<μ(E)\mu(F) < \mu(E) for every subbundle F⊂EF \subset E with 0<rank⁡F<rank⁡E0 < \rank F < \rank E. It is semistable if μ(F)≤μ(E)\mu(F) \le \mu(E) for every such FF.

Remarks

Example: every line bundle is stable, since it has no subbundle of intermediate rank. Non-example: let L1,L2L_1, L_2 be line bundles with deg⁡L1>deg⁡L2\deg L_1 > \deg L_2. Then L1L_1 is a subbundle of E=L1⊕L2E = L_1 \oplus L_2 with μ(L1)=deg⁡L1>(deg⁡L1+deg⁡L2)/2=μ(E)\mu(L_1) = \deg L_1 > (\deg L_1 + \deg L_2)/2 = \mu(E), so EE is not even semistable. The bundle 𝒪C⊕𝒪C\mathcal{O}_C \oplus \mathcal{O}_C is semistable but not stable, since 𝒪C\mathcal{O}_C has the same slope 00. One may test with all nonzero proper coherent subsheaves instead of subbundles; the condition is the same. A stable bundle EE is simple: its only endomorphisms are the scalars. On a smooth projective variety of higher dimension with an ample class HH, slope stability (Mumford–Takemoto stability) uses torsion-free subsheaves and the degree c1(F)⋅Hn−1c_1(F) \cdot H^{n-1}.

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. Algebraic curve concept
  2. Vector bundle concept
  3. Weil divisor concept
  4. Stable vector bundle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Stable_vector_bundle
About this page
TagTP1RQPCETV
URIm2://TP1RQPCETV
Kinddefinition
WritingW0 stub
MSC14H60, 14D20
DefinesStable vector bundle
UsesAlgebraic curve, Vector bundle, Weil divisor

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.