We introduce O-systems (Definition 3.1) of orthogonal transformations of ${ℝ}^m$, and establish $ℝ$ correspondences both between equivalence classes of Clifford systems and those of O-systems, and between O-systems and orthogonal multiplications of the form $\mu :{ℝ}^n\times {ℝ}^m\to {ℝ}^m$, which allow us to solve the existence problems both for $O$-systems and for umbilical quadratic harmonic morphisms simultaneously. The existence problem for general quadratic harmonic morphisms is then solved by the Splitting Lemma. We also study properties...

Let $(M,J^{\alpha },\alpha =1,2,3)$ and $(N,{𝒥}^{\alpha },\alpha =1,2,3)$ be hyperkähler manifolds. We study stationary quaternionic maps between $M$ and $N$. We first show that if there are no holomorphic 2-spheres in the target then any sequence of stationary quaternionic maps with bounded energy subconverges to a stationary quaternionic map strongly in $W^{1,2}(M,N)$. We then find that certain tangent maps of quaternionic maps give rise to an interesting minimal 2-sphere. At last we construct a stationary quaternionic map with a codimension-3 singular set by using the embedded...