---
title: Harder-Narasimhan Filtration Overview
url: https://www.emergentmind.com/topics/harder-narasimhan-filtration
type: topic
---

# Harder-Narasimhan Filtration Overview

The Harder–Narasimhan (HN) filtration is a fundamental structural invariant arising in the geometric theory of vector bundles, principal bundles, and representations of quivers. It canonically decomposes complex objects into semistable pieces with strictly decreasing "slopes," providing a unifying tool for moduli theory, geometric invariant theory, and representation theory. The concept, originally appearing in the context of vector bundles on curves, has been extended to principal $G$-bundles, decorated bundles, and other categorical settings, with profound implications for the structure and classification of moduli spaces and algebraic stacks [2511.17371].

## 1. Formal Definition and Construction

Let $E$ be a holomorphic vector bundle of rank $r$ over a compact Riemann surface $X$. Its degree is defined as $\deg(E)=c_1(E)[X]$, and its slope as $\mu(E)=\deg(E)/\operatorname{rk}(E)$. $E$ is slope-semistable if every nontrivial proper subbundle $F$ satisfies $\mu(F)\leq\mu(E)$.

### Harder–Narasimhan Filtration (Classical case)
Every $E$ admits a unique filtration by subbundles,
\[
0 = E_0 \subset E_1 \subset \cdots \subset E_t = E,
\]
where each successive quotient $F_m = E_m/E_{m-1}$ is slope-semistable and the sequence of slopes is strictly decreasing:
\[
\mu(F_1) > \mu(F_2) > \cdots > \mu(F_t).
\]
Uniqueness follows from the "strongly contradicting semistability" condition, and existence is obtained by recursively selecting subbundles of maximal slope and passing to quotients [2511.17371].

### Decorated and Self-dual Bundles
For decorated bundles (e.g., symplectic or special-orthogonal structures) only isotropic (i.e., structure-compatible) subbundles are considered. A symplectic or orthogonal bundle admits a unique isotropic filtration with semistable quotients and decreasing slopes (positive for the nontrivial pieces), followed by a coisotropic semistable quotient. The full HN filtration of $E$ is recovered by appending the coisotropic piece.

## 2. Generalization to Principal $G$-Bundles and Reductions

Semistability is extended to principal $G$-bundles $\xi \to X$ for $G$ a complex reductive group by considering reductions $s : X \to \xi/P$ to parabolic subgroups and evaluating the degree of associated vector bundles.
- $\xi$ is semistable iff for every maximal parabolic $P \subset G$ and reduction $s$ the associated "vertical tangent bundle" $V_{\xi/P}$ has $\deg(s^*V_{\xi/P}) \geq 0$.
- The general filtration is constructed via rational reductions to parabolics, leading to a "canonical reduction" as defined by Atiyah–Bott and by Biswas–Holla via GIT-based criteria:
   - The Levi factor bundle is semistable.
   - For every nontrivial dominant character $\chi:P\to \mathbb{C}^*$, $\deg(\chi(s^*\xi))>0$.

The two approaches coincide and characterize existence and uniqueness of canonical reductions up to conjugacy [2511.17371].

## 3. Obstruction Theory and HN Type for Principal Bundles

The HN filtration in the principal bundle context is encoded by an obstruction-theoretic invariant:
- The "second obstruction" $o_2(\xi) \in \pi_1(G)$, refined to $\mu^\xi \in \operatorname{Lie}(T)_\mathbb{R}$ (where $T$ is a maximal torus).
- The HN type $\mu_{HN}^\xi \in \operatorname{Lie}(T)_\mathbb{R}$, living in the closed Weyl chamber. For $G=GL(r)$, if $E$ has HN steps with slopes $\mu_1 > \cdots > \mu_t$ and ranks $r_1,\dots,r_t$, then
  \[
  \mu_{HN}^{Fr(E)} = \operatorname{diag}(\mu_1 \cdot I_{r_1},\dots,\mu_t \cdot I_{r_t}),
  \]
  corresponding to the graded pieces' slopes.

This encoding allows a complete classification of possible HN types and their stratifications on moduli spaces [2511.17371].

## 4. Stratification of Moduli Spaces and Artin Stacks

The HN filtration yields a stratification of parameter schemes and stacks, formalizing the variation of semistability in families.
- For families of principal bundles on a family $X/S$ of smooth projective varieties, the parameter scheme $S$ admits a stratification by locally closed subschemes $S_\tau$—the \textbf{schematic Harder–Narasimhan stratification}.
- Each $S_\tau$ corresponds to points where the fiberwise bundle has HN-type $\tau$ and has a universal property: base changes factoring through $S_\tau$ induce families with relative HN filtration of type $\tau$.
- On the stack of principal $G$-bundles, these strata glue to a stratification by locally closed substacks. The closure relations reflect the partial order on HN types in the Weyl chamber [1505.02236].

This framework generalizes to $\Lambda$-modules and Higgs bundles, so that each moduli problem admits an intrinsic HN stratification compatible with the underlying stability theory [1208.5572].

## 5. Algorithmic and GIT Interpretations

For quiver representations and general objects in finitely generated categories, the HN filtration admits deterministic, polynomial-time algorithms.
- For an acyclic quiver representation $M$, the filtration is found by iteratively extracting subrepresentations of maximal slope (via matrix discrepancy problems), yielding canonical refinements and supporting effective computation for large classes of moduli problems [2111.06428].
- The HN filtration coincides with the flag associated to Kempf's maximally destabilizing $1$-PS in GIT: for any unstable object in a parameter space (e.g., a Quot scheme or quiver representation space), the maximally destabilizing $1$-PS produces a weighted flag whose associated filtration agrees with the HN filtration [2511.06428, 1112.1886].

This correspondence clarifies the link between geometric invariant theory (optimal $1$-parameter subgroups) and the intrinsic structure of destabilizing filtrations in moduli theory.

## 6. Extensions, Categorical, and Game-Theoretic Frameworks

The HN filtration generalizes beyond classical settings:
- Chen–Jeannin's order-theoretic and game-theoretic construction reinterprets HN filtrations as minimax profiles in zero-sum games on lattices of subobjects, where convexity replaces degree additivity, and the unique filtration arises from a Nash equilibrium in a bounded lattice [2306.08283, 2509.19632].
- Categorical approaches utilize abstract slope functions satisfying strong "slope inequalities" on proto-abelian categories, allowing existence and uniqueness theorems for HN filtrations in settings lacking classical degree/rank additivity, with broad applicability to isocrystals, normed lattices, and even linear codes [2107.07743].
- Algebraic frameworks describe HN filtrations as arising from chains of torsion classes and their intersections (slicings), linking the theory to wall-crossing formulas in Hall algebras and providing a unified algebraic structure for stability theory [1810.06322].

These approaches demonstrate the universality of HN filtrations as organizing structures not only in moduli theory but across broad categorical and representation-theoretic landscapes.

---

### References
- "Harder-Narasimhan filtrations of decorated vector bundles" [2511.17371]
- "Schematic Harder-Narasimhan stratification for families of principal bundles in higher dimensions" [1505.02236]
- "A deterministic algorithm for Harder-Narasimhan filtrations for representations of acyclic quivers" [2111.06428]
- "Harder-Narasimhan games" [2306.08283]
- "Categorification of Harder-Narasimhan Theory via slope functions" [2107.07743]
- "An algebraic approach to Harder-Narasimhan filtrations" [1810.06322]
- "Formalization of Harder-Narasimhan theory" [2509.19632]

Source: https://www.emergentmind.com/topics/harder-narasimhan-filtration