Theorem
Harder–Narasimhan filtration
The canonical filtration of a bundle by semistable pieces of strictly decreasing slope.
Statement
Let be a vector bundle on a smooth projective geometrically connected curve. Its slope is . The Harder–Narasimhan filtration is the unique filtration by subbundles
such that every quotient is semistable and
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 algebraic principal bundle under a reductive group , the analogue is a canonical reduction to a parabolic subgroup whose degree data define a dominant rational cocharacter, the HN type. For this recovers the filtration above.
Truncation of moduli
Bounding the HN polygon or HN type defines open substacks of the moduli stack of bundles that are of finite type. This Harder–Narasimhan truncation is used to control non-quasi-compact stacks of -bundles and shtukas. It is a geometric boundedness operation, distinct from Arthur's analytic truncation, although the two reflect parallel parabolic asymptotics.
References
- G. Harder and M. S. Narasimhan, “On the cohomology groups of moduli spaces of vector bundles on curves,” Mathematische Annalen 212 (1975), 215–248.
- Sudarshan Gurjar and Nitin Nitsure, “Harder–Narasimhan stacks for principal bundles in higher dimensions and arbitrary characteristics,” 2016. arXiv.