Quiver bundles and wall crossing for chains (Q1736077)

A holomorphic \((m +1)\)-chain on a compact Riemann surface \(X\) of genus \(g\) is a diagram \[ E_m \stackrel{\phi_m}{\rightarrow} E_{m-1} \stackrel{\phi_{m-1}}{\rightarrow} \cdots \stackrel{\phi_2}{\rightarrow} E_1 \stackrel{\phi_1}{\rightarrow} E_0,\] where each \(E_i\) is a holomorphic vector bundle and \(\phi_i \colon E_i \rightarrow E_{i-1}\) is a holomorphic map. Moduli spaces of holomorphic chains depend on a stability parameter \(\alpha= (\alpha_0, \ldots, \alpha_m)\). Using the the Hitchin--Kobayashi correspondence for quiver bundles, the authors present a new algebraic proof of the following result of Álvarez-Cónsul, García-Prada, and Schmitt [\textit{L. Álvarez-Cónsul} et al., IMRP, Int. Math. Res. Pap. 2006, No. 10, Article ID 73597, 82 p. (2006; Zbl 1111.32012), Proposition 4.4]: Let \(C'\) and \(C''\) be \(\alpha\)-polystable holomorphic chains and let \(\alpha_i-\alpha_{i-1} \geq 2g-2\) for all \(i = 1,..., m\). Then the following inequalities hold: \[\mu(\ker(d)) \leq \mu_\alpha(C')- \mu_\alpha(C'')\] \[ \mu (\mbox{coker}(d)) \geq \mu_\alpha (C')- \mu_\alpha(C'') + 2g-2 \] where \(d \colon \mathcal H^0 \rightarrow \mathcal H^1\) is given by \(d(g_0,..., g_m) = (g_{i-1} \circ \phi''_i- \phi'_i \circ g_i)\) for \(g_i \in \mbox{Hom}(E''_i , E'_ i).\)