Slice conformality and Riemann manifolds on quaternions and octonions

In this paper we establish quaternionic and octonionic analogs of the classical Riemann surfaces. The construction of these manifolds has nice peculiarities and the scrutiny of Bernhard Riemann approach to Riemann surfaces, mainly based on conformality, leads to the definition of slice conformal or slice isothermal parameterization of quaternionic or octonionic Riemann manifolds. These new classes of manifolds include slice regular quaternionic and octonionic curves, graphs of slice regular functions, the 4 and 8 dimensional spheres, the helicoidal and catenoidal 4 and 8 dimensional manifolds. Using appropriate Riemann manifolds, we also give a unified definition of the quaternionic and octonionic logarithm and n-th root function.


PREFACE
The initial project originating this paper was giving a well structured and unifying definition of the logarithm and n-th root functions in the quaternionic and octonionic settings.To this purpose, our first aim was to construct the quaternionic and octonionic analogs of the well known Riemann surface of the complex logarithm, which in the complex setting allows a complete understanding of this function and of its branches.
Indeed, the manifolds constructed with this aim revealed new, interesting and peculiar features, so that they captured the central position among the results of this paper.
We will illustrate how the project of this paper developed and, to begin with, point out that for the case of the principal branch of the logarithm, definitions were already given in the general setting of Clifford Algebrassee, e.g., [19,Definition 11.24,p. 231] -and also specialized to the case of quaternions -see, e.g., [10,Definition 3.4].
Let K be either the division algebra of quaternions H or the division algebra of octonions O; we denote by dim K the real dimension of K, namely dim H = 4 and dim O = 8.Let S K ⊂ K be the 2-sphere or, respectively, the 6-sphere of imaginary units, i.e. the sets of I ∈ K such that I 2 = −1.
For the sake of simplicity, both in the case of quaternions and in the case of octonions we will simply write S instead of S K since no confusion can arise.The construction of the logarithm and its branches given in the complex case cannot be directly replicated in the quaternionic and octonionic environments.This is mainly due to the fact that the exponential function q n n! is an entire function (i.e., its domain of definition is K), but cannot be used to define a covering of K \ {0}.In fact, for all 0 = x ∈ R, the preimage of x is not a discrete set but consists of infinitely many 2 or 6 dimensional spheres.Indeed, for instance in the case x < 0, setting S(2k + 1)π = {q(2k + 1)π : q ∈ S}, we have (exp) −1 (x) = {log |x| + S(2k + 1)π : k ∈ Z}.
It follows that, contrarily to what happens in the case of the complex logarithm, no continuous branch of the quaternionic or octonionic logarithm can be defined on any open neighborhood of any strictly negative x ∈ R. A similar phenomenon happens for all strictly positive x ∈ R, except for the principal branch.To overcome this difficulty, we turn our attention to the construction of a 4-dimensional, respectively 8-dimensional, manifold obtained by blowing-up K along the real axis, and "adapting" it to become a domain of definition for the quaternionic or octonionic logarithm.Our natural approach to perform this construction passes through the recent theory of slice regular functions -see, e.g., the monograph [8] and references therein -and leads to the quaternionic and octonionic helicoidal Riemann manifolds (which are manifolds in the sense of [4]) inspired by the classical helicoidal surface of the space R 3 .
These manifolds, constructed with the purpose specified above, have new, interesting and peculiar features that attracted the attention of the authors and encouraged them to go back to the scrutiny of Bernhard Riemann approach to holomorphic functions and Riemann surfaces, which was mainly based on conformality, as in [20].All this led to a deeper appreciation of the work of Riemann, to a nice surprise and to Definition 3.2 of slice conformal or slice isothermal parameterization and of hypercomplex Riemann manifold.
Indeed, the study of slice conformality and the investigation of quaternionic and octonionic Riemann manifolds became the true main subject of this paper.
Let , denote the standard Euclidean scalar product in R dim K ∼ = K and, for any purely imaginary unit I ∈ S, set C ⊥ I = {q ∈ K : q, x + Iy = 0, ∀(x + Iy) ∈ C I } to be the orthogonal space to the slice C I = R + IR.A C 1 injective R Nvalued immersion f defined on a suitable domain Ω of K is called slice conformal or slice isothermal immersion if, for any purely imaginary unit I ∈ K and any x, y ∈ R, the differential df (x + Iy) is such that both The nice surprise was that the quaternionic and octonionic spheres, the helicoidal and catenoidal manifolds, together with the natural quaternionic and octonionic curves, are all hypercomplex Riemann manifolds.
The study performed in [13] by Ghiloni and Perotti shows that the Jacobian matrix J f of a slice regular function f is such that det(J f ) ≥ 0, i.e that f is orientation preserving.Slice conformality is indeed an extension of the definition of slice regularity, even in the case of K-valued, orientation preserving immersions defined on a domain Ω of K: for a fixed non real quaternion a, the function f (q) = aq in not slice regular, but it is slice conformal (actually conformal) and orientation preserving.The following remark is basic to help placing the results of this paper in the right perspective.
Remark.After recalling that the real differential df of a slice regular function f : Ω → K is conformal (if non singular) at all real points of the slice domain Ω (see, e.g., [8,Corollary 8.17.]), it is worthwhile noticing that to require that the differential df is conformal at all points of the domain of definition Ω may be too restrictive: by a classical result due to Liouville, for n > 2 a conformal map from a domain of R n to R n is a Möbius transformation.
In the paper a standard set of curves is applied to study the real differential of (smooth enough) injective R N -valued immersions f defined on suitable domains Ω of K (we point out that similar techniques were already introduced in [13,17,19]).As a result, the paper can exhibit a collection of quaternionic and octonionic Riemann manifolds, inspired by classical Riemann surfaces, which testify the interest of the approach.
Sub-manifolds of the helicoidal hypercomplex manifolds, endowed with suitable atlases which define different structures, provide a natural environment for the definition of the quaternionic and octonionic logarithm, and for their possible branches.Once done this, the construction of natural manifolds of definition for the n-th root quaternionic and octonionic functions is an easily doable step.
The paper is organized as follows.After a few preliminaries, which also subsume the approach to slice regular functions based on stem functions, Section 3 is dedicated to the definition and construction of classes of hypercomplex Riemann manifolds, including quaternionic and octonionic slice regular curves.This construction is based on Theorem 3.6, which studies slice conformal curves in terms of their stem functions, and calls into play the standard set of curves.In Section 4 we present other explicit examples of quaternionic and octonionic regular curves, which comprise the hypercomplex Riemann sphere, the helicoidal hypercomplex manifold, the catenoidal hypercomplex manifold and the study of the relations between them.Section 5 contains the presentation of natural manifolds for the definition of the quaternionic and octonionic logarithm.The same section contains the construction of the manifolds of the n-th root quaternionic and octonionic functions.
The authors are grateful and indebted to the anonymous referee for her/his attentive and accurate report, and for the precious comments and suggestions that helped much to put the paper in the present improved form, and to formulate Theorem 3.6 at the right degree of generality.

PRELIMINARIES
As we said, K denotes either H or O, i.e., the algebras of quaternions or octonions, and S ⊂ K denotes, respectively, the 2-sphere or 6-sphere of imaginary units, i.e. the set of I ∈ K such that I 2 = −1.Given any non real q ∈ K, there exist (and are uniquely determined) an imaginary unit of K, and two real numbers x and y > 0, such that q = x+ Iy.With this notation, the conjugate of q will be q := x − Iy and |q| 2 = q q = qq = x 2 + y 2 .In both cases, each imaginary unit I generates (as a real algebra) a copy of the complex plane denoted by C I .We call such a complex plane a slice.
Let Ω be a slice domain of K, i.e., an open and connected subset containing real points and such Ω I = Ω ∩ C I is a domain of C I for all imaginary units I ∈ S ⊂ K.The set of slice regular functions on Ω is defined using a family of Cauchy-Riemann operators (see e.g.[8,9]).Definition 2.1.Let Ω ⊆ K be a slice domain and let f : Ω → K be a function.
If, for an imaginary unit I of K, the restriction f I := f | Ω I has continuous partial derivatives and If f is a slice regular function, then the Cullen or slice derivative of f is defined as It turns out that f ′ c is a slice regular function (see [8]) and from (2.1) one easily obtains that f ′ c = ∂f ∂x .The property of being holomorphic along the slices Ω I for all imaginary units I of K, forces slice regular functions to be affine along entire regions of each sphere of type x + Sy.
In fact, the local representation formula for quaternionic slice regular functions on slice domains (see, e.g., [6,7]), states that, if L, M, N ∈ S, with M = N, are such that x + Ly, x + My, x + Ny belong to a suitable open neighborhood U of x + Iy in the 2-sphere x + Sy, then the local representation formula holds and, for y = 0, the spherical derivative of f is defined by s is constant in the same neighborhood U of x + Iy in x + Sy (see, e.g., [7,Definition 3.1]).The analog of this representation formula holds for octonionic slice regular functions as well (see, e.g., [11,Proposition 6], [14, Formula (5)]).A subclass of the class of slice regular functions on a slice domain Ω ⊆ K particularly resembles the class of holomorphic functions of one complex variable.These functions are defined as follows: a slice regular function f : Ω → K is said to be slice preserving if, and only if, for all imaginary units I of S ⊂ K, we have that f (Ω I ) ⊆ C I , (see [9] for the case of octonions).
In a while we will make use of the notion of stem function, which was defined by Ghiloni-Perotti in [11], on a class of subsets of the complex plane C.
The following definition was given in [11] in the general case of a real alternative algebra endowed with an anti-involution (or R).For the purpose of this paper, and for the sake of simplicity, we will restrict to the cases R, H, O.
is called the slice function induced by F .
Slice regular functions on symmetric slice domains can all be induced by stem functions, as the following result states (see, e.g., [11]).

Proposition 2.4. If a slice domain Ω in K is axially symmetric, then any slice regular function
As we have seen, stem functions can be defined in symmetric open subsets E of C that do not necessarily intersect the real axis.As a consequence, holomorphic stem functions induce special slice functions, still called slice regular functions, defined on symmetric domains E of K which do not necessarily intersect the real axis, so generalizing the initial notion of slice regularity to the class of so called product domains (see e.g.[15] for the terminology and the seminal paper on stem functions [11]).
In this paper we will be mainly concerned with slice regular functions defined on slice domains of K, which in principle can be dealt with avoiding reference to stem functions.However, by admitting on the stage the point of view of stem functions, some results may be easily extended to the case of product domains; moreover, the generation of slice regular functions through holomorphic stem functions is exactly the same for the case of quaternions and octonions, and hence such an approach has the advantage to provide a natural unified vision in the two different environments, thus simplifying technicalities and presentation.
Remark 2.5.With reference to the notations of Definition 2.3, the following facts have been proven (see, e.g., [11]): 2 is also a holomorphic stem function which induces the slice derivative f ′ c of f .(e) If f is a slice function generated by the stem function F , then for y = 0, For most of the remaining properties of slice regular functions that will be directly used in the sequel we will mainly refer the reader to [8,9].As for the main applications and developments of this theory, the reader can consult [1,2,3,5,6,7,12,18], and e.g.[16] for generalizations.

MANIFOLDS
Following the case of classical parameterized surfaces and parameterized Riemann surfaces in R N , we will give new definitions, useful in the quaternionc and octonionic settings of slice regular functions.As customary, a differentiable map will be called an immersion if its differential is injective at all points of the domain of definition.Definition 3.1.Let n, N be natural numbers with N ≥ n and let Ω be a domain in will be called a conformal or isothermal map if the matrix of the differential of f is conformal, i.e., if it satisfies are conformal, then f will be called a slice conformal or slice isothermal map (immersion).
If f is an injective immersion, then it will be called a slice conformal or slice isothermal parameterization and the parameterized manifold f (Ω) in R N will be called a (parameterized) hypercomplex Riemann manifold of R N .In particular, when K = H we refer to it as a quaternionic Riemann manifold and in the case K = O as a octonionic Riemann manifold.
In case f : Ω → R N itself is a conformal parameterization, then the parameterized hypercomplex Riemann manifold f (Ω) in R N will be called a special (parameterized) hypercomplex Riemann manifold of R N .
The notion of parameterized quaternionic or octonionic Riemann manifold turns out to be quite natural, as the significant examples that we will present show.To construct the examples we will need a direct and easy method to compute the differential of a C 1 immersionf defined in a slice domain Ω of K ∼ = R dim K and with values in R N .(2) the curve β I (t) = x + I(y + t), such that β I (0) = x + Iy and β ′ (0) = I; (3) the curve Γ L (t) = x + γ(t)y, where γ(t) is an arc of a maximum circle C γ of S such that γ(0) = I and that γ ′ (0) = L y ; hence Γ L (0) = x + Iy and Γ ′ L (0) = L; Instead, when y = 0 and so x + Iy = x, the first curve is and the second two coherently become: In order to present the next definition we need to recall a well known fact: given any I ∈ S ⊂ K, then both in the case of quaternions and in the case of octonions, it is possible to complete {1, I} to an orthonormal positively oriented standard basis {1, I, I 2 , . . ., I dim K−1 } of the divison algebra K (see, e.g., [9] for the case of octonions).• for y = 0, of the curves {α, β I , Γ I l , l = 2, . . ., dim K − 1}; • for y = 0, of the curves {α, β I , β I l , l = 2, . . ., dim K − 1}.
We desire now to use the standard set of curves to calculate the differential df of f and to point out some of its features.Indeed, when naturally used with a slice regular function f : Ω → K, defined on a slice domain Ω of K, this set of curves reveals an easy tool to compute and directly interpret the real differential df (x + Iy) : R dim K → R dim K of the function f .But its full use will be seen in the sequel of this paper, in more general situations.
To calculate df, after fixing I ∈ S, a direct computation shows that Analogously, and since f is slice regular, In particular we have that is a conformal matrix.Let us now continue.The local representation formulas (2.2) and (2.3) yield, for any is a conformal matrix as well.Notice that even if both df (x + Iy) |C I and df (x + Iy) |C ⊥ I are conformal, the full differential df (x + Iy) may not be conformal in general.

3.2.
The differential of a smooth slice function.In this subsection we exhibit the connection between conformality properties of a slice function defined in a symmetric slice domain f : Ω = D → K and its stem function F : D → K. Since the local representation formula (2.2) holds for slice functions, then for y = 0 we obtain, as seen above, the identity df (x + Iy)L = Lf ′ s (x + Iy) = Ly −1 F 2 (x + iy) for every imaginary unit L⊥ I; therefore, for y = 0, the restriction of the differential to the orthogonal complement of the slice C I is conformal (if nonzero).
Assume now that F ∈ C 3 (D).By Proposition 7(2) in [11], f is C 1 and hence we can calculate the differential df (x + Iy) |C I : Therefore, in terms of the stem function F , for y = 0 by formula (2.5), the differential df may be written as Passing to the limit as y → 0, then F 2 (x+Iy) y tends to ∂ y F 2 (x) and so Therefore, for y = 0, df (x+ Iy) In the case F is holomorphic and y = 0, the corresponding formula becomes and, when y = 0, we have Let's sum up these observations in the following Proposition 3.4.Let A denote either R or K, and let f : D → A be a slice function generated by a C 3 stem function F defined on a symmetric domain then f is slice preserving and slice conformal on D.
Proof.We are left to consider only the case A = R. Since f is slice preserving, then df written with respect to the decomposition in the following way Assume that: In the case A = R, if F is injective, then F 2 = 0 on D\R is automatically fulfilled; hence if we assume that F is injective, dF is conformal on D and ∂ y F 2 = 0 on R ∩ D, then f is an injective immersion, and hence a slice conformal parameterization of f ( D).
Proof.To prove the first part of the theorem, notice that by Remark 3.5 the conformality of dF implies df |C I conformal.The assumption (b) and Proposition 3.4 imply that df (x + Iy) |C ⊥ I is conformal.We are left to prove that, if A = R and F is injective, then f is injective and df has full rank.Notice that the non vanishing of F 2 off the real axis follows from the injectivity of F : indeed, at least one of the values G 2 (x + iy) or H 2 (x + iy) must be nonzero, otherwise F (x + iy) = F (x − iy).
Let us first show that injectivity of F implies the injectivity of f .To this aim, consider z = x + iy, w = u + iv ∈ D and assume that f (x + Iy) = f (u + Jv).Then By assumption G l and H l , l = 1, 2 are real valued and by (2.4) the functions G 2 , H 2 vanish at real points, so we have the following: The injectivity of F excludes the last possibility unless y = v = 0.In this case Because G 2 , H 2 are even in y we have F (x + iy) = F (u − iv) which implies that x + iy = u − iv and hence x + Iy = x + (−I)(−y), so f is injective.
To see that the rank of df is full, notice that on the real axis ∂ y F 2 does not vanish by assumption, and F 2 does not vanish off the real axis.Since both df |C I and df |C ⊥ I are conformal and df has the following block structure the rank of df is full.
Remark 3.7.With reference to the preceding statement and proof, notice that conformality of F does not imply conformality of G and H.
Remark 3.8.A statement analogous to the one of Theorem 3.6 holds in a "n-vectorial" version, i.e., for maps F : D → A n C defined by n-tuples of stem functions.
3.4.Quaternionic and octonionic slice regular curves.We will use the standard notion of curve in the quaternionic and octonionic setting.Definition 3.9.Let Ω ⊆ K be a slice domain, and let f : Ω → K 2 f (q) = (g(q), h(q)) be a map whose components g, h : Ω → K are slice regular functions.If f is an immersion, then f will be called a slice regular curve (in K 2 ).
Let us now consider a slice regular curve f : Ω → K 2 , with slice regular components g, h : Ω → K, and choose any I ∈ S. Using the standard set of curves defined in Subsection 3.1, we get that the differential The first 2 columns of this (2 dim K)×dim K real matrix, and separately the last (dim K − 2) columns of the same matrix, are orthogonal to each other and with the same norms, and hence F is slice isothermal.In conclusion we have proved Proposition 3.10.Let Ω ⊆ K be a slice domain, and let f : Ω → K 2 be a slice regular curve.If f is injective, then f (Ω) is a parameterized hypercomplex Riemann manifold in K 2 , and the map f : Ω → f (Ω) is a slice conformal parameterization.In particular, graphs of slice regular curves are parameterized hypercomplex Riemann manifolds in K 2 .
As we already pointed out, in general f is (a slice conformal but) not a conformal parmeterization.It is well known in fact that the slice regular functions f, g are in general not conformal at non real points of Ω (see, e.g., [8]), and hence f cannot be a conformal parameterization in general.
We end this section with a natural question, on how the quaternionic or octonionic parameter can be changed between slice regular quaternionic or octonionic curves having the same image.Indeed, let us consider Ω, Ω ′ ⊆ K slice domains, f = (f 1 , f 2 ) : Ω → K 2 and g = (g 1 , g 2 ) : Ω ′ → K 2 injective, slice regular curves with the same image f (Ω) = g(Ω ′ ).In this situation, we may assume that locally g 1 is injective.Then the local equalities f 1 (q) = g 1 (q ′ ) and f 2 (q) = g 2 (q ′ ) imply ) and since f 2 , g 2 : Ω ′ → K are slice regular functions, this functional equation is in general not valid.Nevertheless, we know that it holds if, for instance, g −1 1 • f 1 : Ω → Ω ′ is a slice preserving regular function.Hence, we can make the following Remark 3.11.Let f and g be injective immersions having the same image Γ ⊆ K 2 .If a change of quaternionic or octonionic parameter between f and g is a slice preserving invertible function, then f is a slice conformal parameterization if, and only if, g is a slice conformal parameterization.
What established in this section can be directly reformulated for the case of slice regular curves f : Ω → K n defined on slice domains Ω ⊆ K. To conclude, we point out that Remark 3.11 is valid in a more general setting, as explained in the next remark.Remark 3.12.Let f be a slice isothermal parameterization having the hypercomplex Riemann manifold Γ ⊆ R N as its image.Then, for every regular slice preserving invertible change of parameter φ between slice domains, the map f • φ is a slice isothermal parameterization for the hypercomplex Riemann manifold Γ.
The following remark should better explain the definition of slice conformal immersion that has been adopted.Remark 3.13.Let {1, i, j, k} be the standard basis of H, and let f : H → H 2 be the function where ψ : S → S is the odd C ∞ function defined by i.e., when , denotes the Euclidean scalar product of R 4 ∼ = H, by ψ(I) = I, i 3 i + I, j j + I, k 3 k I, i 6 + I, j 2 + I, k 6 While applying the standard set of curves, take the point x + Iy = x + iy (i.e., I = i) with y = 0, choose J = j and use the curves Direct computations show that Thus: and hence the last two columns have different norms.In conclusion such an f is not a slice isothermal parameterization.

OTHER EXAMPLES OF HYPERCOMPLEX RIEMANN MANIFOLDS
4.1.The Riemann sphere.This example generalizes to real dimensions 4 and 8 the case of the Riemann sphere in the complex setting.
Then S m \{N} is a special parameterized hypercomplex Riemann manifold and the map f is a conformal parameterization.Analogous statement can be proved for the stereographic projection from the south pole S.
Proof.It is well known that the inverse of stereographic projection is conformal, the rest follows.
We can now conclude by exhibiting the "Riemann" structures of 1dimensional quaternionic manifolds of the spheres S 4 ⊂ R 5 and S 8 ⊂ R 9 .In the case of S 4 , this structure corresponds to that of slice quaternionic manifold, as defined in [4].In the case of S 8 , it corresponds to a natural generalization to the case of octonions.Theorem 4.2.Let us set m = dim K ∈ {4, 8}.Let f and h be the following maps Then the differentiable conformal atlas {(K, f ), (K, h)} endows S m ⊂ R m+1 with a structure of slice quaternionic or slice octonionic manifold.
Proof.A direct computation shows that the transition map 1 q and hence it is a slice regular and slice preserving function.

4.2.
The helicoidal hypercomplex manifold.This further example generalizes to quaternions and octonions the case of the helicoid in the complex setting, whose classical isothermal parameterization is given by g : C ∼ = R 2 → R 3 ∼ = C × R defined as g(x + iy) = (sinh x cos y + i sinh x sin y, y). for I ∈ S, x, y ∈ R. Then f (K) is a parameterized hypercomplex Riemann manifold (diffeomorphic to K) and f is a slice isothermal parameterization.This manifold will be called quaternionic helicoidal manifold if K = H or octonionic helicoidal manifold if K = O, and denoted by E .
Proof.The map f is induced by the stem map whose components are those of the classical conformal parametrization of the helicoid.We need to check that the assumptions of Theorem 3.6 hold.The injectivity of F is obvious since the last component is injective in y and the first is injective in x; moreover, H 2 (x + iy) = y = 0 on C \ R and ∂ y H 2 (x) = 1 = 0 on R. Now, since as we said dF is conformal, then by Theorem 3.6, the map f is a slice conformal parameterization, and the proof is complete.
It may be interesting to see how the use of the standard set of curves leads to the explicit calculation of the differential of the slice isothermal parameterization of the helicoidal manifold f (x + Iy) = (sinh x cos y + I sinh x sin y, Iy).In the case K = H, if we set and then, for y = 0, we get cosh x cos y − sinh x sin y 0 0 cosh x sin y sinh x cos y 0 0 0 0 sinh x sin y y 0 0 0 0 sinh x sin y y and for y = 0, we have, taking the limit (and coherently with the use of the standard curves): As expected, df (x + Iy) is slice conformal and df (x) is conformal.The case K = O is completely analogous.

4.3.
The catenoidal hypercomplex manifold.The case of the catenoid in the complex setting, parameterized by the conformal map generalizes to quaternions and octonions as well.
Proposition 4.4.Let the map be defined by f (x + Iy) = (cosh x cos y + I cosh x sin y, x) Then f (R × S(−π, π)) is a parameterized hypercomplex Riemann manifold and f is a slice isothermal parameterization.This manifold will be called quaternionic catenoidal manifold if K = H or octonionic catenoidal manifold if K = O.
Proof.The map f is induced by the stem map whose components are those of the classical conformal parametrization of the catenoid.
Obviously the map F is injective on R × (−iπ, iπ), and G 2 (x, y) = 0 outside the real axis; moreover the derivative ∂ y G 2 (x, 0) = cosh x never vanishes.Since dF is conformal, then by Theorem 3.6, the map f is a slice conformal parameterization.This completes the proof.
Again, it may be interesting to explicitly present the differential of the slice isothermal parameterization of the catenoidal manifold f (x + Iy) = (cosh x cos y + I cosh x sin y, x) which may be computed by means of the standard set of curves.In the case K = H, if we set then, for y = 0, we have sinh x cos y − cosh x sin y 0 0 sinh x sin y cosh x cos y 0 0 0 0 cosh x sin y y 0 0 0 0 cosh x sin y y Moreover, for y = 0, we coherently obtain: Again, df (x + Iy) is slice conformal and df (x) is conformal.In the case of octonions we obtain similar matrices.As in the real case, once both naturally embedded in K 2 , the catenoidal hypercomplex manifold can be transformed to a part of an helicoidal hypercomplex manifold through a family of parameterized hypercomplex Riemann manifolds.

We claim that
defines a family of conformal injective immersions with , where A = (cosh x cos θ + sinh x sin θ) and B = (cosh x sin θ + sinh x cos θ).It is obvious that the columns are orthogonal to each other, and a direct computation shows that their norms are equal.If we write H θ = (F θ , G θ ), then G θ (x + iy) = x sin θ + ιy cos θ.If x sin θ + ιy cos θ = u sin θ + ιv cos θ, either θ = 0 (and then we have the stem function for the helicoidal manifold, for which the injectivity has already been proved), or x = u.Then either θ = π/2 (in which case we have the stem map for the catenoidal surface) or else ιy = ιv so x + iy = u + iv.As a consequence, G θ,2 is injective for all θ ∈ (0, π/2).Because ∂ y G θ,2 (x) = cos θ = 0 on the real axis for all θ ∈ (0, π/2), all the conditions of Theorem 3.6 are fulfilled and hence H θ induces a family of slice conformal injective immersions.
5. THE HYPERCOMPLEX LOGARITHM AND n-TH ROOT 5.1.The hypercomplex logarithm.To define the complex logarithm one usually uses either the helicoid or the graph of the exponential function.
Since we have shown that the latter in case of K is a hypercomplex manifold, the logarithm can be defined using the projection on the second coordinate (compare Remark 5.7).We will show here how the helicoidal hypercomplex manifold defined in the previous section can be adapted to be the natural domain for the definition of a quaternionic logarithm.Compared to the logarithm defined by the graph of exponential function, this definition facilitates the identification of the argument and is therefore easier to use in the constructions which include continuations of the logarithm.The assertion is now proved.
As a consequence, in the case of quaternions, the map L is a slice regular map from the logarithm manifold E + H to H, with respect to the structure of slice regular manifold induced by E on E + H (see, e.g., [4]).We point out that the definition of the E + K -logarithm L is not referred to the structure of helicoidal Riemann manifold defined on E K in Proposition 4.3.Definition 5.5.Let π : E + K ⊂ K × Im(K) → K \ {0} denote the natural projection (q, p) → q and let Ω ⊂ E + K be a path connected subset such that π | Ω is injective.Then, the map log K : π(Ω) → K defined by log K q = L(π −1 | Ω (q)) is called a branch or a determination of the hypercomplex logarithm on π(Ω).
Notice that, as expected, with the notations of Definition 5.5 we have that | Ω (q)) = q for all q in π(Ω) Remark 5.6.It is important to notice that, unlike what happens in the case of the complex logarithm, and with the exception of the principal branch (see, e.g., [10,Definition 3.4]), no continuous branch of the hypercomplex logarithm can be defined on any open set A ⊂ K \ {0} which contains a strictly positive real point x 0 , and hence a small segment (x 0 − ǫ, x 0 + ǫ) ⊂ R + .Indeed, for any I ∈ S, on each slice A I , the branches of the hypercomplex logarithm coincide with those of the complex logarithm of the slice C I .As a consequence, there is no choice of J ∈ S along (x 0 − ǫ, x 0 + ǫ) ⊂ R + which can make a (non principal) branch of the hypercomplex logarithm a continuous function.
On the other hand, if A ⊂ C I \ {0} ⊂ K \ {0} is simply connected, any continuous branch of the hypercomplex logarithm along A coincides with the appropriate branch of the complex logarithm along A. In particular, this happens when α : [−a, a] → C I \ {0} ⊂ K \ {0} is a continuous curve having its image in a small disc ∆ centered at a non zero real point x with ∆ ⊂ C I \ {0}, and such that α(0) = x.We will address this issue in a forthcoming paper.
We conclude this section by pointing out a different possible definition of the hypercomplex Riemann manifold on which to define the hypercomplex logarithm.
Remark 5.7.The definition of a hypercomplex logarithm could be given, alternatively, using the graph of the exponential function Γ(exp) = {(q, exp q) : q ∈ K} which has a natural structure of hypercomplex Riemann manifold (see Subsection 3.4), with the function f (q) = (q, exp q) as a slice isothermal parameterization.Indeed the logarithm could be defined as the slice regular function from the "reversed" graph Λ(exp) = {(exp w, w) : w ∈ K} onto K, coinciding with the projection onto the second factor.The advantage of the approach that we actually adopted in this paper stays also in that it calls into scenery the helicoidal and logarithm manifolds, which more closely follow the path of the complex setting.5.2.The hypercomplex n-th root.To give a proper definition of the n-th root function over the quaternions and octonions, we will first of all define a suitable hypercomplex Riemann manifold, which will be useful to find a possible domain for such a function.As expected, df (x + Iy) is slice conformal and df (x) is conformal.The situation in the case K = O is totally analogous.
We will now see how to use Q K (n) to construct an appropriate domain for the quaternionic or octonionic n-th root function.is an injective immersion and a diffeomorphism between R + × S(−πn, πn) and Q + K (n).Indeed, in the case of quaternions, φ n defines on Q + H (n) a structure of slice regular manifold (see [4]) different from the one induced by the contruction of Proposition 5.8.However, this manifold will be denoted simply by Q + K (n), and called the n-th root manifold.Proof.The proof replicates the one used to establish Proposition 5.8 We will now define the hypercomplex n-th root on the n-th root manifold, and establish some of its properties.

Definition 2 . 3 .
Let A denote either R or K and let A C := A ⊗ R C be the complexification of A. Let us adopt the usual representation A C = {x + ιy : x, y ∈ A} where ι 2 = −1.Consider a symmetric domain D of C. If a function F : D → A C is complex intrinsic, that is if F (z) = F (z) for all z ∈ D, then F is called an A-stem function (or stem function) on D. If F : D → A C is a stem function expressed by

( b )
If we take A = R then the slice function f induced by the stem function F is a slice preserving function (i.e.f ( D I ) ⊂ C I ∀I ∈ S).(c) The local representation formula (2.2) holds, by definition, for slice functions.(d) If F = F 1 + ιF 2 is a holomorphic stem function which induces the slice regular function f , then its (complex) derivative

3. 1 .
The standard set of curves and the case of the differential of a slice regular function.For I ∈ S, let us consider a point x + Iy ∈ C I ⊂ K and choose L ∈ S orthogonal to I. In the same spirit of [13, proof of Proposition 3.1] and [17, Proposition 3.1], and with a similar purpose, we will use the following set of curves.For y = 0 set (1) the curve α(t) = (x+t)+Iy, such that α(0) = x+Iy and α ′ (0) = 1;

Definition 3 . 3 .
(Standard set of curves) For any I ∈ S, let us consider the point x + Iy ∈ C I ⊂ K and an orthonormal positively oriented standard basis {1, I, I 2 , . . ., I dim K−1 } of the division algebra K.The standard set of curves at the point x + Iy consists: (a) the differential dF is conformal on D; (b) the partial derivative ∂ y F 2 = 0 on R ∩ D and F 2 = 0 on D \ R. Then df (x + Iy)| |C I and df (x + Iy)| |C ⊥ I are both conformal.If, in addition, f is an injective immersion, then f is a slice conformal parameterization of f ( D).

Proposition 4 . 1 .
Let us set m = dim K ∈ {4, 8}.Consider the unit sphere S m ⊂ R m+1 ∼ = K × R and the inverse of the stereographic projection from the north pole N = (0, . . ., 0, 1) of S m onto the equatorial plane K ∼ = R m , namely

Proposition 5 . 1 .
Let f : K → K × Im(K) be the map defined by f (x + Iy) = (sinh x cos y + I sinh x sin y, Iy) Proposition 5.4.The mapL : E + K → K is the inverse of the E + K -exponential E,and a diffeomorphism from E + K to K. Proof.Let us read the E + K -logarithm through the parameterization E(x + Iy) = (exp x cos y + I exp x sin y, Iy) of E + K .By composition we get that L • E becomes the identity map of K x + Iy → (exp x(cos y + I sin y), Iy) → log(exp x) + Iy = x + Iy Analogously, E • L becomes the identity map of E + K (r exp p, p) → log r + p → (exp(log r) exp p, p) → (r exp p, p).

Proposition 5 . 8 .cosh x cos y − sinh x sin y 0 0 cosh x sin y sinh x cos y 0
Let n ∈ N, with n > 1, and let the mapf : R × S(−πn, πn) → K × K ∼ = R 2 dim K be defined by f (x + Iy) = (sinh x cos y + I sinh x sin y, n exp(I y n ))for I ∈ S, x, y ∈ R. Then f (R × S(−πn, πn)) is a parameterized Riemann hypercomplex manifold (diffeomorphic to R × S(−πn, πn)) and f is a slice isothermal parameterization.This manifold will be denoted by Q K (n).then, for y = 0, we have df (x + Iy)

Proposition 5 . 9 .
Let f (x + Iy) = (sinh x cos y + I sinh x sin y, n exp(I y n )) be as in Proposition 5.8, and let us setQ + K (n) := f (R + × S(−πn, πn)).The map φ n : R + × S(−πn, πn)) → Q + K (n) defined by φ n (x + Iy) = (exp(x + Iy), n exp(I y n )) Notice that if a stem function F is conformal, it is not necessarily holomorphic.In the case A = R, the stem function F : D → A C is conformal if and only if F is either holomorphic or antiholomorphic or, to put it differently, if and only if df (x + Iy) |C I is conformal on D. Furthermore, notice that conformality of both df (x + Iy) |C I and df (x + Iy) |C ⊥ Theorem 3.6.Let A denote either R or K. Let D be a symmetric domain in C = R + iR and G, H :