A compactness theorem for Fueter sections (Q1681632)

Let \(M^3\) be an orientable Riemannian \(3\)-manifold, let \(\pi: \mathfrak X \to M\) be a bundle of hyperkähler manifolds together with a fixed isometric identification \(I : STM \to {\mathfrak H}(\mathfrak X)\) of the unit tangent bundle in \(M\) and the bundle of hyperkähler spheres of the fibers of \(\mathfrak X\), and fix a connection on \(\mathfrak X\). We say that a sectin \(u \in \Gamma(\mathfrak X)\) is a Fueter section if \[ \mathfrak F u:= \sum_{i=1}^3 I(v_i)\nabla_{v_i} u = 0 \in \Gamma(u^*V\mathfrak X) \] for some frame \((v_1, v_2, v_3)\). Here \(\nabla u \in \Omega^1(M, u^*V\mathfrak X)\) is the covariant derivative of \(u\) with values in the pull-back of the vertical tangent bundle \(V\mathfrak X: = \ker (d\pi: T\mathfrak X \to TM)\). The operator \(\mathfrak F\) is called the Fueter operator. In this paper, the author proves a compactness theorem for Fueter sections of a bundle of compact hyperkähler manifolds over a \(3\)-manifold. More precisely, let \((u_i)\) be a sequence of solutions of the (perturbed) Fueter equation \(\mathfrak F u_i = {\mathfrak p} \circ u_i\) with \(\mathfrak p \in \Gamma(\mathfrak X, V\mathfrak X)\) and the energy \(\mathcal E (u_i) \leq C\) for some constant \(C>0\). Then there exists a closed set \(\mathcal S\) with \({\mathscr H}^1(\mathcal S) < \infty\) and a Fueter section \(u \in \Gamma(M \setminus \mathcal S, \mathfrak X)\) such that \(u_i|_{M\setminus \mathcal S}\) converges to \(u\) in \(C^\infty_{\text{loc}}\).