In
mathematics, the Narasimhan–Seshadri theorem, proved by , says that a
holomorphic vector bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to ev ...
over a
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed ve ...
is
stable if and only if it comes from an
irreducible projective
unitary representation In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in case ' ...
of the
fundamental group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
.
The main case to understand is that of topologically trivial bundles, i.e. those of degree zero (and the other cases are a minor
technical extension of this case). This case of the Narasimhan–Seshadri theorem says that a degree zero holomorphic
vector bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to ev ...
over a
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed ve ...
is stable if and only if it comes from an irreducible
unitary representation In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in case ' ...
of the
fundamental group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
of the Riemann surface.
gave another proof using
differential geometry, and showed that the
stable vector bundles have an essentially unique unitary connection of constant (
scalar)
curvature
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.
For curves, the can ...
. In the degree zero case, Donaldson's version of the theorem says that a degree zero holomorphic vector bundle over a Riemann surface is stable if and only if it admits a flat unitary connection compatible with its holomorphic structure. Then the fundamental group representation appearing in the original statement is just the
monodromy
In mathematics, monodromy is the study of how objects from mathematical analysis, algebraic topology, algebraic geometry and differential geometry behave as they "run round" a singularity. As the name implies, the fundamental meaning of '' ...
representation of this flat unitary connection.
See also
*
Nonabelian Hodge correspondence
In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence (named after Kevin Corlette and Carlos Simpson) is a correspondence between Higgs bundles and representations of the fundamen ...
*
Kobayashi–Hitchin correspondence
*
Stable vector bundle
References
*
*
Riemann surfaces
Theorems in analysis
{{Riemannian-geometry-stub