Stable vector bundle

In mathematics, a stable vector bundle is a (holomorphic or algebraic) vector bundle that is stable in the sense of geometric invariant theory. Any holomorphic vector bundle may be built from stable ones using Harder–Narasimhan filtration. Stable bundles were defined by David Mumford in (Mumford 1963) and later built upon by David Gieseker, Fedor Bogomolov, Thomas Bridgeland and many others.

## Contents

* 1 Motivation
* 2 Stable vector bundles over curves
* 3 Stable vector bundles in higher dimensions
* 4 Slope stability
* 5 Harder-Narasimhan filtration
* 6 Kobayashi–Hitchin correspondence
* 7 Generalizations
* 8 See also
* 9 Literature
* 10 References

## Motivation

This section's factual accuracy is disputed. Please help to ensure that disputed statements are reliably sourced. (July 2025) (Learn how and when to remove this template message)

|

One of the motivations for analyzing stable vector bundles is their nice behavior in families. In fact, Moduli spaces of stable vector bundles can be constructed using the Quot scheme in many cases, whereas the stack of vector bundles 𝐁GLn is an Artin stack whose underlying set is a single point.

Here's an example of a family of vector bundles which degenerate poorly. If we tensor the Euler sequence of

𝒪(1)

there is an exact sequence[1]

> 0->𝒪(−1)->𝒪⊕𝒪->𝒪(1)->0

> [2]

which represents a non-zero element

v∈Ext1(𝒪(1),𝒪(−1))≅k

[3] since the trivial exact sequence representing the

vector is

> 0->𝒪(−1)->𝒪(−1)⊕𝒪(1)->𝒪(1)->0

If we consider the family of vector bundles

in the extension from

t⋅v

for

t∈𝔸1

, there are short exact sequences

> 0->𝒪(−1)->Et->𝒪(1)->0

which have Chern classes

c1=0,c2=0

generically, but have

c1=0,c2=−1

at the origin. This kind of jumping of numerical invariants does not happen in moduli spaces of stable vector bundles.[4]

## Stable vector bundles over curves

A slope of a holomorphic vector bundle W over a nonsingular algebraic curve (or over a Riemann surface) is a rational number μ(W) = deg(W)/rank(W). A bundle W is stable if and only if[5]

μ(V)<μ(W)

for all proper non-zero subbundles V of W and is semistable if

μ(V)≤μ(W)

for all proper non-zero subbundles V of W. Informally this says that a bundle is stable if it is "more ample" than any proper subbundle, and is unstable if it contains a "more ample" subbundle.

If W and V are semistable vector bundles and μ(W) >μ(V), then there are no nonzero maps W → V.

Mumford proved that the moduli space of stable bundles of given rank and degree over a nonsingular curve is a quasiprojective algebraic variety. The cohomology of the moduli space of stable vector bundles over a curve was described by (Harder Narasimhan) using algebraic geometry over finite fields and (Atiyah Bott) using Narasimhan-Seshadri approach.

## Stable vector bundles in higher dimensions

If X is a smooth projective variety of dimension m and H is a hyperplane section, then a vector bundle (or a torsion-free sheaf) W is called stable (or sometimes Gieseker stable) if

χ(V(nH))rank(V)<χ(W(nH))rank(W) for n large

for all proper non-zero subbundles (or subsheaves) V of W, where χ denotes the Euler characteristic of an algebraic vector bundle and the vector bundle V(nH) means the n-th twist of V by H. W is called semistable if the above holds with < replaced by ≤.

## Slope stability

For bundles on curves the stability defined by slopes and by growth of Hilbert polynomial coincide. In higher dimensions, these two notions are different and have different advantages. Gieseker stability has an interpretation in terms of geometric invariant theory, while μ-stability has better properties for tensor products, pullbacks, etc.

Let X be a smooth projective variety of dimension n, H its hyperplane section. A slope of a vector bundle (or, more generally, a torsion-free coherent sheaf) E with respect to H is a rational number defined as

μ(E):=c1(E)⋅Hn−1rk⁡(E)

where c1 is the first Chern class. The dependence on H is often omitted from the notation.

A torsion-free coherent sheaf E is μ-semistable if for any nonzero subsheaf F ⊆ E the slopes satisfy the inequality μ(F) ≤ μ(E). It's μ-stable if, in addition, for any nonzero subsheaf F ⊆ E of smaller rank the strict inequality μ(F) < μ(E) holds. This notion of stability may be called slope stability, μ-stability, occasionally Mumford stability or Takemoto stability.

For a vector bundle E the following chain of implications holds: E is μ-stable ⇒ E is stable ⇒ E is semistable ⇒ E is μ-semistable.

## Harder-Narasimhan filtration

Main article: Harder–Narasimhan stratification

Let E be a vector bundle over a smooth projective curve X. Then there exists a unique filtration by subbundles

0=E0⊂E1⊂…⊂Er+1=E

such that the associated graded components Fi := Ei+1/Ei are semistable vector bundles and the slopes decrease, μ(Fi) > μ(Fi+1). This filtration was introduced in (Harder Narasimhan) and is called the Harder-Narasimhan filtration. Two vector bundles with isomorphic associated grades are called S-equivalent.

On higher-dimensional varieties the filtration also always exist and is unique, but the associated graded components may no longer be bundles. For Gieseker stability the inequalities between slopes should be replaced with inequalities between Hilbert polynomials.

## Kobayashi–Hitchin correspondence

Narasimhan–Seshadri theorem says that stable bundles on a projective nonsingular curve are the same as those that have projectively flat unitary irreducible connections. For bundles of degree 0 projectively flat connections are flat and thus stable bundles of degree 0 correspond to irreducible unitary representations of the fundamental group.

Kobayashi and Hitchin conjectured an analogue of this in higher dimensions. It was proved for projective nonsingular surfaces by (Donaldson 1985), who showed that in this case a vector bundle is stable if and only if it has an irreducible Hermitian–Einstein connection.

## Generalizations

It's possible to generalize (μ-)stability to non-smooth projective schemes and more general coherent sheaves using the Hilbert polynomial. Let X be a projective scheme, d a natural number, E a coherent sheaf on X with dim Supp(E) = d. Write the Hilbert polynomial of E as PE(m) = Σdi=0 αi(E)/(i!) mi. Define the reduced Hilbert polynomial pE := PE/αd(E).

A coherent sheaf E is semistable if the following two conditions hold:[6]

* E is pure of dimension d, i.e. all associated primes of E have dimension d;
* for any proper nonzero subsheaf F ⊆ E the reduced Hilbert polynomials satisfy pF(m) ≤ pE(m) for large m.

A sheaf is called stable if the strict inequality pF(m) < pE(m) holds for large m.

Let Cohd(X) be the full subcategory of coherent sheaves on X with support of dimension ≤ d. The slope of an object F in Cohd may be defined using the coefficients of the Hilbert polynomial as μ^d(F)=αd−1(F)/αd(F) if αd(F) ≠ 0 and 0 otherwise. The dependence of μ^d on d is usually omitted from the notation.

A coherent sheaf E with dim⁡Supp⁡(E)=d is called μ-semistable if the following two conditions hold:[7]

* the torsion of E is in dimension ≤ d-2;
* for any nonzero subobject F ⊆ E in the quotient category Cohd(X)/Cohd-1(X) we have μ^(F)≤μ^(E).

E is μ-stable if the strict inequality holds for all proper nonzero subobjects of E.

Note that Cohd is a Serre subcategory for any d, so the quotient category exists. A subobject in the quotient category in general doesn't come from a subsheaf, but for torsion-free sheaves the original definition and the general one for d = n are equivalent.

There are also other directions for generalizations, for example Bridgeland's stability conditions.

One may define stable principal bundles in analogy with stable vector bundles.

## See also

* Kobayashi–Hitchin correspondence
* Corlette–Simpson correspondence
* Quot scheme

## Literature

* Atiyah, Michael Francis; Bott, Raoul (1983), "The Yang-Mills equations over Riemann surfaces", Philosophical Transactions of the Royal Society of London. Series A. Mathematical and Physical Sciences 308 (1505): 523–615, doi:10.1098/rsta.1983.0017, ISSN 0080-4614, Bibcode: 1983RSPTA.308..523A
* Donaldson, S. K. (1985), "Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles", Proceedings of the London Mathematical Society, Third Series 50 (1): 1–26, doi:10.1112/plms/s3-50.1.1, ISSN 0024-6115
* Friedman, Robert (1998), Algebraic surfaces and holomorphic vector bundles, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98361-5
* Harder, G.; Narasimhan, M. S. (1975), "On the cohomology groups of moduli spaces of vector bundles on curves", Mathematische Annalen 212 (3): 215–248, doi:10.1007/BF01357141, ISSN 0025-5831
* Huybrechts, Daniel (2004-11-18) (in en). Complex geometry: An introduction. Universitext. Springer Science+Business Media. ISBN 978-3540212904. https://link.springer.com/book/10.1007/b137952.
* Huybrechts, Daniel; Lehn, Manfred (2010), The Geometry of Moduli Spaces of Sheaves, Cambridge Mathematical Library (2nd ed.), Cambridge University Press, ISBN 978-0521134200
* Mumford, David (1963), "Projective invariants of projective structures and applications", Proc. Internat. Congr. Mathematicians (Stockholm, 1962), Djursholm: Inst. Mittag-Leffler, pp. 526–530
* Mumford, David; Fogarty, J.; Kirwan, F. (1994), Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], 34 (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-56963-3 especially appendix 5C.
* Narasimhan, M. S.; Seshadri, C. S. (1965), "Stable and unitary vector bundles on a compact Riemann surface", Annals of Mathematics, Second Series (The Annals of Mathematics, Vol. 82, No. 3) 82 (3): 540–567, doi:10.2307/1970710, ISSN 0003-486X

## References

1. ↑ Huybrechts 04, Example 4.1.3
2. ↑ Note Ωℙ11≅𝒪(−2) from the Adjunction formula on the canonical sheaf.
3. ↑ Since there are isomorphismsExt1(𝒪(1),𝒪(−1))≅Ext1(𝒪,𝒪(−2))≅H1(ℙ1,ωℙ1)
4. ↑ Faltings, Gerd. "Vector bundles on curves". http://www.mathe2.uni-bayreuth.de/stoll/lecture-notes/vector-bundles-Faltings.pdf.
5. ↑ Huybrechts 04, Definition 4.B.8
6. ↑ Huybrechts, Daniel; Lehn, Manfred (1997). The Geometry of Moduli Spaces of Sheaves. https://ncatlab.org/nlab/files/HuybrechtsLehn.pdf. , Definition 1.2.4
7. ↑ Huybrechts, Daniel; Lehn, Manfred (1997). The Geometry of Moduli Spaces of Sheaves. https://ncatlab.org/nlab/files/HuybrechtsLehn.pdf. , Definition 1.6.9

* v
* t
* e

Topics in algebraic curves

Rational curves|

* Five points determine a conic
* Projective line
* Rational normal curve
* Riemann sphere
* Twisted cubic

Elliptic curves|

| Analytic theory|

* Elliptic function
* Elliptic integral
* Fundamental pair of periods
* Modular form

|

Arithmetic theory|

* Counting points on elliptic curves
* Division polynomials
* Hasse's theorem on elliptic curves
* Mazur's torsion theorem
* Modular elliptic curve
* Modularity theorem
* Mordell–Weil theorem
* Nagell–Lutz theorem
* Supersingular elliptic curve
* Schoof's algorithm
* Schoof–Elkies–Atkin algorithm

Applications|

* Elliptic curve cryptography
* Elliptic curve primality

Higher genus|

* De Franchis theorem
* Faltings's theorem
* Hurwitz's automorphisms theorem
* Hurwitz surface
* Hyperelliptic curve

Plane curves|

* AF+BG theorem
* Bézout's theorem
* Bitangent
* Cayley–Bacharach theorem
* Conic section
* Cramer's paradox
* Cubic plane curve
* Fermat curve
* Genus–degree formula
* Hilbert's sixteenth problem
* Nagata's conjecture on curves
* Plücker formula
* Quartic plane curve
* Real plane curve

Riemann surfaces|

* Belyi's theorem
* Bring's curve
* Bolza surface
* Compact Riemann surface
* Dessin d'enfant
* Differential of the first kind
* Klein quartic
* Riemann's existence theorem
* Riemann–Roch theorem
* Teichmüller space
* Torelli theorem

Constructions|

* Dual curve
* Polar curve
* Smooth completion

Structure of curves|

| Divisors on curves|

* Abel–Jacobi map
* Brill–Noether theory
* Clifford's theorem on special divisors
* Gonality of an algebraic curve
* Jacobian variety
* Riemann–Roch theorem
* Weierstrass point
* Weil reciprocity law

|

Moduli|

* ELSV formula
* Gromov–Witten invariant
* Hodge bundle
* Moduli of algebraic curves
* Stable curve

Morphisms|

* Hasse–Witt matrix
* Riemann–Hurwitz formula
* Prym variety
* Weber's theorem

Singularities|

* Acnode
* Crunode
* Cusp
* Delta invariant
* Tacnode

Vector bundles|

* Birkhoff–Grothendieck theorem
* Stable vector bundle
* Vector bundles on algebraic curves

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Stable vector bundle. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Stable_vector_bundle&oldid=4226127"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template