Zero-Sets of Quaternionic and Octonionic Analytic Functions with Central Coefficients

We prove that the zero set of any quaternionic (or octonionic)analytic function f with central (that is, real) coefficientsis the disjoint union of codimension two spheres in R⁴ or R⁸(respectively) and certain purely real points. In particular,for polynomials with real coefficients, the complete root-setis geometrically characterisable from the lay-out of the rootsin the complex plane. The root-set becomes the union of a finitenumber of codimension 2 Euclidean spheres together with a finitenumber of real points. We also find the preimages f^–1for any quaternion (or octonion) A. We demonstrate that this surprising phenomenon of complete spheresbeing part of the solution set is very markedly a special ‘real’phenomenon. For example, the quaternionic or octonionic Nthroots of any non-real quaternion (respectively octonion) turnout to be precisely N distinct points. All this allows us todo some interesting topology for self-maps of spheres.