Statement

Let EE be a on a . Its slope is μ(E)=deg(E)/rk(E)\mu(E)=\deg(E)/\operatorname{rk}(E). The Harder–Narasimhan filtration is the unique filtration by subbundles

0=E0E1Er=E0=E_0\subset E_1\subset\cdots\subset E_r=E

such that every quotient Ei/Ei1E_i/E_{i-1} is semistable and

μ(E1/E0)>μ(E2/E1)>>μ(Er/Er1).\mu(E_1/E_0)>\mu(E_2/E_1)>\cdots> \mu(E_r/E_{r-1}).

Its slopes and ranks determine the Harder–Narasimhan polygon. The bundle is semistable precisely when the filtration has one nonzero quotient.

Principal G-bundles

For an under a GG, the analogue is a canonical reduction to a whose degree data define a , the HN type. For G=GLnG=\operatorname{GL}_n this recovers the filtration above.

Truncation of moduli

Bounding the HN polygon or HN type defines open substacks of the that are of finite type. This Harder–Narasimhan truncation is used to control non-quasi-compact stacks of GG-bundles and . It is a geometric boundedness operation, distinct from , although the two reflect parallel parabolic asymptotics.

References
  1. G. Harder and M. S. Narasimhan, “On the cohomology groups of moduli spaces of vector bundles on curves,” Mathematische Annalen 212 (1975), 215–248.
  2. Sudarshan Gurjar and Nitin Nitsure, “Harder–Narasimhan stacks for principal bundles in higher dimensions and arbitrary characteristics,” 2016. arXiv.