Hyperholomorphic connections on coherent sheaves and stability (Q657303)

\textit{S. Bando} and \textit{Y.-T. Siu} [in: Geometry and analysis on complex manifolds. Festschrift for Professor S.\ Kobayashi's 60th birthday. Singapore: World Scientific. 39--59 (1994; Zbl 0880.32004)] generalised to coherent sheaves the celebrated result of \textit{K. Uhlenbeck} and \textit{S. T. Yau} [Commun.\ Pure Appl.\ Math.\ 39, Suppl., S257--S293 (1986; Zbl 0615.58045)] that stable vector bundles on compact Kähler manifolds are precisely those indecomposable vector bundles which admit a Hermitian-Yang-Mills (a.k.a.\ Einstein-Hermitian) connection. The curvature of such a connection on a coherent sheaf \(\mathcal F\) is defined away from the singular set of \(\mathcal F\) and has to be square integrable in Bando and Siu's theory. In the paper under review, the author studies the stability of coherent sheaves on hyperkähler manifolds. A Hermitian-Yang-Mills connection on a reflexive sheaf, which has \(\text{SU}(2)\)-invariant and square integrable curvature, is called hyperholomorphic. Such sheaves are polystable and their singular sets are hyperkähler subvarieties [the author, in: Hyperkähler manifolds. Mathematical Physics (Somerville). 12. Somerville, MA: International Press (1999; Zbl 0990.53048)]. In applications, for example in the study of higher direct image sheaves, the square-integrability of the curvature is often difficult to verify. The author conjectures that for a compact hyperkähler manifold \(M\) with \(I\) one of the induced complex structures and \(\mathcal F\) a reflexive sheaf on \((M,I)\) with a connection \(\nabla\) that has \(\text{SU}(2)\)-invariant curvature, the curvature of \(\nabla\) is always square-integrable. This conjecture is shown for torsion-free sheaves with isolated singularities. The main result of this article is the proof of a result which would follow from the conjecture: for a reflexive sheaf \(\mathcal F\) on a compact hyperkähler manifold, the existence of a connection with \(\text{SU}(2)\)-invariant curvature already implies that the sheaf is polystable. However, it is not clear if the given connection coincides with the unique admissible Hermitian-Yang-Mills connection on \(\mathcal F\) (which has square integrable curvature) given by the result of Bando and Siu. An essential technical ingredient in his proof is a hyperkähler version of Sibony's Lemma: a positive closed \((p,p)\)-form with singularities in codimension at least \(p+1\) on a Kähler manifold is locally \(L^1\)-integrable.