The *slope* of a vector bundle $E$ is defined as $\mu(E) = \deg(E)/\mathrm{rank}(E)$. Then a vector bundle $E$ is called *semistable* if $\mu(E') \leqslant \mu(E)$ for all proper sub-bundles $E'$. It is called *stable* if $\mu(E') < \mu(E)$.


I've heard that moduli spaces of stable and semistable vector bundles are somehow well-behaved, but I don't know why this is, nor do I know exactly what well-behaved should mean in this context. What goes wrong if we try to consider moduli of more general vector bundles? Moreover the definitions of slope and (semi)stable seem a bit artificial -- where do they come from?


I've also only seen the above definitions made in the context of vector bundles over curves. Why just curves? Does something stop working in higher dimensions or in greater generality?



Why and how are moduli spaces of (semi)stable vector bundles well-behaved?
I believe "nice" here means "is a quasi-projective variety."


As for why, the reason is geometric invariant theory, which is roughly a way of looking at moduli problems, or actions of groups (which is roughly the same thing) and picking out a subset of the quotient (which itself is only nice as a stack) which is a quasi-projective variety. So there's a general definition of semi-stable points for any action of an affine algebraic group acting on a projective variety with choice of equivariant projective embedding (it depends on the choice of embedding) and the quotient of the semi-stable points is always a quasi-projective variety.


