Stable vector bundle

Stable vector bundle

In mathematics, a stable vector bundle is a vector bundle that is stable in the sense of geometric invariant theory. They were defined by harvtxt|Mumford|1963

table vector bundles over curves

A bundle "W" over an algebraic curve (or over a Riemann surface) is stable if and only if

:displaystylefrac{deg(V)}{hbox{rank}(V)} < frac{deg(W)}{hbox{rank}(W)}

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

:displaystylefrac{deg(V)}{hbox{rank}(V)} le frac{deg(W)}{hbox{rank}(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. The moduli space of stable bundles of given rank and degree is an algebraic variety.

harvtxt|Narasimhan|Seshadri|1965 showed that stable bundles on projective nonsingular curves are the same as those that have projectively flat unitary irreducible connections; these correspond to irreducible unitary representations of the fundamental group. Kobayashi and Hitchin conjectured an analogue of this in higher dimensions; this was proved for projective nonsingular surfaces by harvtxt|Donaldson|1985, who showed that in this case a vector bundle is stable if and only if it has an irreducible Hermitian-Einstein connection.

The cohomology of the moduli space of stable vector bundles over a curve was described by harvtxt|Harder|Narasimhan|1975 and harvtxt|Atiyah|Bott|1983.

table vector bundles over projective varieties

If "X" is a smooth projective variety of dimension "n" and "H" is a hyperplane section, then a vector bundle (or torsionfree sheaf) "W" is called stable if

:frac{chi(V(nH))}{hbox{rank}(V)} < frac{chi(W(nH))}{hbox{rank}(W)} ext{ for }n ext{ large}

for all proper non-zero subbundles (or subsheaves) "V" of "W", and is semistable if the above holds with &lt; replaced by &le;.

References

*Citation | last1=Atiyah | first1=Michael Francis | author1-link=Michael Atiyah | last2=Bott | first2=Raoul | author2-link=Raoul Bott | title=The Yang-Mills equations over Riemann surfaces | url=http://www.jstor.org/stable/37156 | id=MathSciNet | id = 702806 | year=1983 | journal=Philosophical Transactions of the Royal Society of London. Series A. Mathematical and Physical Sciences | issn=0080-4614 | volume=308 | issue=1505 | pages=523–615
*Citation | last1=Donaldson | first1=S. K. | title=Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles | id=MathSciNet | id = 765366 | year=1985 | journal=Proceedings of the London Mathematical Society. Third Series | issn=0024-6115 | volume=50 | issue=1 | pages=1–26|doi=10.1112/plms/s3-50.1.1
*Citation | last1=Friedman | first1=Robert | title=Algebraic surfaces and holomorphic vector bundles | publisher=Springer-Verlag | location=Berlin, New York | series=Universitext | isbn=978-0-387-98361-5 | id=MathSciNet | id = 1600388 | year=1998
*Citation | last1=Harder | first1=G. | last2=Narasimhan | first2=M. S. | title=On the cohomology groups of moduli spaces of vector bundles on curves | doi=10.1007/BF01357141 | id=MathSciNet | id = 0364254 | year=1975 | journal=Mathematische Annalen | issn=0025-5831 | volume=212 | pages=215–248
*Citation | last1=Mumford | first1=David | author1-link=David Mumford | title=Proc. Internat. Congr. Mathematicians (Stockholm, 1962) | publisher=Inst. Mittag-Leffler | location=Djursholm | id=MathSciNet | id = 0175899 | year=1963 | chapter=Projective invariants of projective structures and applications | pages=526–530
*Citation | last1=Mumford | first1=David | author1-link=David Mumford | last2=Fogarty | first2=J. | last3=Kirwan | first3=F. | title=Geometric invariant theory | publisher=Springer-Verlag | location=Berlin, New York | edition=3rd | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)] | isbn=978-3-540-56963-3 | id=MathSciNet | id = 1304906 | year=1994 | volume=34 especially appendix 5C.
*Citation | last1=Narasimhan | first1=M. S. | last2=Seshadri | first2=C. S. | title=Stable and unitary vector bundles on a compact Riemann surface | url=http://www.jstor.org/stable/1970710 | id=MathSciNet | id = 0184252 | year=1965 | journal=Annals of Mathematics. Second Series | issn=0003-486X | volume=82 | pages=540–567


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Stable normal bundle — In surgery theory, a branch of mathematics, the stable normal bundle of a differentiable manifold is an invariant which encodes the stable normal (dually, tangential) data. It is also called the Spivak normal bundle, after Michael Spivak… …   Wikipedia

  • Stable (disambiguation) — Stable may refer to: *stable, a building in which livestock, usually horses, are kept. ** Stable, in professional wrestling, a group of wrestlers within a promotion who have a common element *the attribute of stability ** Chemically stable **… …   Wikipedia

  • Normal bundle — In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion). Contents 1 Definition 1.1 Riemannian manifold 1.2 …   Wikipedia

  • Tangent bundle — In mathematics, the tangent bundle of a smooth (or differentiable) manifold M , denoted by T ( M ) or just TM , is the disjoint unionThe disjoint union assures that for any two points x 1 and x 2 of manifold M the tangent spaces T 1 and T 2 have… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Geometric invariant theory — In mathematics Geometric invariant theory (or GIT) is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper… …   Wikipedia

  • Moduli of algebraic curves — In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on… …   Wikipedia

  • Riemann surface — For the Riemann surface of a subring of a field, see Zariski–Riemann space. Riemann surface for the function ƒ(z) = √z. The two horizontal axes represent the real and imaginary parts of z, while the vertical axis represents the real… …   Wikipedia

  • Plane curve — In mathematics, a plane curve is a curve in a Euclidean plane (cf. space curve). The most frequently studied cases are smooth plane curves (including piecewise smooth plane curves), and algebraic plane curves. A smooth plane curve is a curve in a …   Wikipedia

  • De Franchis theorem — In mathematics, the de Franchis theorem is one of a number of closely related statements applying to compact Riemann surfaces, or, more generally, algebraic curves, X and Y, in the case of genus g > 1. The simplest is that the automorphism… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”