Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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 Algebras - see, e.g., [19, Definition 11.24, p. 231] - and also specialized to the case of quaternions - see, e.g., [10, Definition 3.4].
Let \({\mathbb {K}}\) be either the division algebra of quaternions \({\mathbb {H}}\) or the division algebra of octonions \({\mathbb {O}}\); we denote by \(\dim {\mathbb {K}}\) the real dimension of \({\mathbb {K}}\), namely \(\dim {\mathbb {H}}=4\) and \(\dim {\mathbb {O}}=8\). Let \({\mathbb {S}}_{{\mathbb {K}}}\subset {\mathbb {K}}\) be the 2-sphere or, respectively, the 6-sphere of imaginary units, i.e. the sets of \(I\in {\mathbb {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 \({\mathbb {S}}\) instead of \({\mathbb {S}}_{{\mathbb {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
is an entire function (i.e., its domain of definition is \({\mathbb {K}}\)), but cannot be used to define a covering of \({\mathbb {K}}\setminus \{0\}\). In fact, for all \(0 \ne x\in {\mathbb {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 \({\mathbb {S}}(2k+1)\pi =\{q(2k+1)\pi : q\in {\mathbb {S}}\}\), we have
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\in {\mathbb {R}}\). A similar phenomenon happens for all strictly positive \(x\in {\mathbb {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 \({\mathbb {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 \({\mathbb {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 \(\langle \ ,\ \rangle \) denote the standard Euclidean scalar product in \({\mathbb {R}}^{\dim {\mathbb {K}}}\cong {\mathbb {K}}\) and, for any purely imaginary unit \(I\in {\mathbb {S}}\), set
to be the orthogonal space to the slice \({\mathbb {C}}_I={\mathbb {R}}+I{\mathbb {R}}\). A \(C^1\) injective \({\mathbb {R}}^N\)-valued immersion f defined on a suitable domain \(\Omega \) of \({\mathbb {K}}\) is called slice conformal or slice isothermal immersion if, for any purely imaginary unit \(I\in {\mathbb {K}}\) and any \(x,y\in {\mathbb {R}}\), the differential \(df(x+Iy)\) is such that both
and
are conformal. If this is the case, \(f(\Omega )\) is called a hypercomplex Riemann manifold.
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)\ge 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 \({\mathbb {K}}\)-valued, orientation preserving immersions defined on a domain \(\Omega \) of \({\mathbb {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:\Omega \rightarrow {\mathbb {K}}\) is conformal (if non singular) at all real points of the slice domain \(\Omega \) (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 \(\Omega \) may be too restrictive: by a classical result due to Liouville, for \(n>2\) a conformal map from a domain of \({\mathbb {R}}^n\) to \({\mathbb {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 \({\mathbb {R}}^N\)-valued immersions f defined on suitable domains \(\Omega \) of \({\mathbb {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, Sect. 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 Sect. 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.
2 Preliminaries
As we said, \({\mathbb {K}}\) denotes either \({\mathbb {H}}\) or \({\mathbb {O}}\), i.e., the algebras of quaternions or octonions, and \({\mathbb {S}}\subset {\mathbb {K}}\) denotes, respectively, the 2-sphere or 6-sphere of imaginary units, i.e. the set of \(I\in {\mathbb {K}}\) such that \(I^2=-1\). Given any non real \(q \in {\mathbb {K}},\) there exist (and are uniquely determined) an imaginary unit of \({\mathbb {K}}\), and two real numbers x and \(y>0\), such that \(q=x+Iy\). With this notation, the conjugate of q will be \(\bar{q} := x-Iy\) and \(|q|^2=q\bar{q}=\bar{q} q=x^2+y^2\). In both cases, each imaginary unit I generates (as a real algebra) a copy of the complex plane denoted by \({\mathbb {C}}_I\). We call such a complex plane a slice.
Let \(\Omega \) be a slice domain of \({\mathbb {K}}\), i.e., an open and connected subset containing real points and such \(\Omega _I=\Omega \cap {\mathbb {C}}_I\) is a domain of \({\mathbb {C}}_I\) for all imaginary units \(I\in {\mathbb {S}}\subset {\mathbb {K}}\). The set of slice regular functions on \(\Omega \) is defined using a family of Cauchy-Riemann operators (see e.g. [8, 9]).
Definition 2.1
Let \(\Omega \subseteq {\mathbb {K}}\) be a slice domain and let \(f: \Omega \rightarrow {\mathbb {K}}\) be a function.
If, for an imaginary unit I of \({\mathbb {K}}\), the restriction \(f_I := f_{|_{\Omega _I}}\) has continuous partial derivatives and
then \(f_I\) is called holomorphic. If \(f_I\) is holomorphic for all imaginary units of \({\mathbb {K}}\), then the function f is called slice regular.
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=\frac{\partial f}{\partial x}\).
The property of being holomorphic along the slices \(\Omega _I\) for all imaginary units I of \({\mathbb {K}}\), forces slice regular functions to be affine along entire regions of each sphere of type \(x+{\mathbb {S}}y\).
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 \in {\mathbb {S}}\), with \(M \ne 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+{\mathbb {S}}y\), then the local representation formula
holds and, for \(y \ne 0\), the spherical derivative of f is defined by
Moreover, \(f'_s\) is constant in the same neighborhood U of \(x+Iy\) in \(x+{\mathbb {S}}y\) (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 \(\Omega \subseteq {\mathbb {K}}\) particularly resembles the class of holomorphic functions of one complex variable. These functions are defined as follows: a slice regular function \(f: \Omega \rightarrow {\mathbb {K}}\) is said to be slice preserving if, and only if, for all imaginary units I of \({\mathbb {S}}\subset {\mathbb {K}}\), we have that \(f(\Omega _I)\subseteq {\mathbb {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 \({\mathbb {C}}\).
Definition 2.2
A subset D of \({\mathbb {C}}={\mathbb {R}}+i{\mathbb {R}}\) is said to be symmetric (in \({\mathbb {C}}\)) if \(\overline{D}=\{\overline{z} : z \in D\}\) coincides with D. The (axial) symmetrization \(\widetilde{E}\) of a subset E of \({\mathbb {K}}\) is defined by
A subset \(\Omega \) of \({\mathbb {K}}\) is called (axially) symmetric (in \({\mathbb {K}}\)) if \(\widetilde{\Omega } = \Omega .\)
The following definition was given in [11] in the general case of a real alternative algebra endowed with an anti-involution (or \({\mathbb {R}}\)). For the purpose of this paper, and for the sake of simplicity, we will restrict to the cases \({\mathbb {R}}, {\mathbb {H}}, {\mathbb {O}}\).
Definition 2.3
Let A denote either \({\mathbb {R}}\) or \({\mathbb {K}}\) and let \(A_{{\mathbb {C}}}: = A\otimes _{{\mathbb {R}}} {\mathbb {C}}\) be the complexification of A. Let us adopt the usual representation
where \(\iota ^2=-1\). Consider a symmetric domain D of \({\mathbb {C}}\).
If a function \(F : D \rightarrow A_{{\mathbb {C}}}\) is complex intrinsic, that is if \(F( z)=\overline{F(\overline{z})}\) for all \(z\in D\), then F is called an A-stem function (or stem function) on D.
If \(F:D \rightarrow A_{{\mathbb {C}}}\) is a stem function expressed by
then the function \(f: \widetilde{D} \rightarrow A\)
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 \(\Omega \) in \({\mathbb {K}}\) is axially symmetric, then any slice regular function \(f:\Omega \rightarrow {\mathbb {K}}\) is induced by a holomorphic stem function \(F : D = \Omega _i \rightarrow {\mathbb {K}}_{{\mathbb {C}}}\).
As we have seen, stem functions can be defined in symmetric open subsets E of \({\mathbb {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 \(\widetilde{E}\) of \({\mathbb {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 \({\mathbb {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]):
-
(a)
If \(F:D \rightarrow A_{{\mathbb {C}}}\) is expressed by \(F(z)=F_1(z)+\iota F_2(z)\), with \(F_j:D\rightarrow A\) for \(j=1,2\), then F is complex intrinsic if and only if
$$\begin{aligned} F_1(z)=F_1(\overline{z})\quad \text{ and }\quad F_2(z)=-F_2(\overline{z})\ \forall z\in D. \end{aligned}$$(2.4) -
(b)
If we take \(A = {\mathbb {R}}\) then the slice function f induced by the stem function F is a slice preserving function (i.e. \(f(\widetilde{D}_I) \subset {\mathbb {C}}_I\) \(\forall I \in {\mathbb {S}}\)).
-
(c)
The local representation formula (2.2) holds, by definition, for slice functions.
-
(d)
If \(F=F_1+\iota F_2\) is a holomorphic stem function which induces the slice regular function f, then its (complex) derivative \(F'=F_1'+\iota F_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 \ne 0\),
$$\begin{aligned} f'_s(x+Iy)=y^{-1} F_2(x+iy). \end{aligned}$$(2.5)
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.
3 Parameterized quaternionic and octonionic Riemann manifolds
Following the case of classical parameterized surfaces and parameterized Riemann surfaces in \({\mathbb {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\ge n\) and let \(\Omega \) be a domain in \({\mathbb {R}}^n\). A \(C^1\) immersion
will be called a conformal or isothermal map if the matrix of the differential of f is conformal, i.e., if it satisfies
for a (never vanishing \(C^0\)) function \(k: \Omega \rightarrow {\mathbb {R}}\).
Recall that, if \(\langle \ , \ \rangle \) denotes the Euclidean scalar product in \({\mathbb {R}}^{\dim {\mathbb {K}}}\cong {\mathbb {K}}\), then for \(I\in {\mathbb {S}}\) the symbol \({\mathbb {C}}_I^\perp \) will denote the orthogonal complement of the slice \({\mathbb {C}}_I\).
Definition 3.2
Let \(\Omega \) be a slice domain in \({\mathbb {K}}\cong {\mathbb {R}}^{\dim _{} {\mathbb {K}}}\) and let \(N\ge \dim _{} {\mathbb {K}}\) be a natural number. Let \(f: \Omega \rightarrow {\mathbb {R}}^N\) be a \(C^1\) map (immersion). If for all \(I\in {\mathbb {S}}\) and all \(x,y\in {\mathbb {R}}\) the differential \(df(x+Iy)\) is such that both
and
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(\Omega )\) in \({\mathbb {R}}^N\) will be called a (parameterized) hypercomplex Riemann manifold of \({\mathbb {R}}^N\). In particular, when \({\mathbb {K}}= {\mathbb {H}}\) we refer to it as a quaternionic Riemann manifold and in the case \({\mathbb {K}}= {\mathbb {O}}\) as a octonionic Riemann manifold.
In case \(f: \Omega \rightarrow {\mathbb {R}}^N\) itself is a conformal parameterization, then the parameterized hypercomplex Riemann manifold \(f(\Omega )\) in \({\mathbb {R}}^N\) will be called a special (parameterized) hypercomplex Riemann manifold of \({\mathbb {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 \(\Omega \) of \({\mathbb {K}}\cong {\mathbb {R}}^{\dim {\mathbb {K}}}\) and with values in \({\mathbb {R}}^N\).
3.1 The standard set of curves and the case of the differential of a slice regular function
For \(I\in {\mathbb {S}}\), let us consider a point \(x+Iy\in {\mathbb {C}}_I\subset {\mathbb {K}}\) and choose \(L \in {\mathbb {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\ne 0\) set
-
(1)
the curve \(\alpha (t)=(x+t) +Iy\), such that \(\alpha (0)=x+Iy\) and \(\alpha '(0)=1\);
-
(2)
the curve \(\beta _I(t)=x+I(y+t)\), such that \(\beta _I(0)=x+Iy\) and \(\beta '(0)=I\);
-
(3)
the curve \(\Gamma _L(t)=x +\gamma (t)y\), where \(\gamma (t)\) is an arc of a maximum circle \(C_\gamma \) of \({\mathbb {S}}\) such that \(\gamma (0)=I\) and that \(\gamma '(0)=\frac{L}{y}\); hence \(\Gamma _L(0)=x +Iy\) and \(\Gamma '_L(0)=L\);
Instead, when \(y=0\) and so \(x+Iy = x\), the first curve is
-
(1)
\(\alpha (t)=x+t\), such that \(\alpha (0)=x\) and \(\alpha '(0)=1;\)
and the second two coherently become:
-
(2)–(3)
\(\beta _I(t)=x+It, \beta _L(t)=x+Lt\), such that \(\beta _I(0)=\beta _L(0)=x\) and \(\beta _I'(0)=I, \beta _L'(0)=L.\)
In order to present the next definition we need to recall a well known fact: given any \(I\in {\mathbb {S}}\subset {\mathbb {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
of the divison algebra \({\mathbb {K}}\) (see, e.g., [9] for the case of octonions).
Definition 3.3
(Standard set of curves) For any \(I\in {\mathbb {S}}\), let us consider the point \(x+Iy\in {\mathbb {C}}_I\subset {\mathbb {K}}\) and an orthonormal positively oriented standard basis \(\{1, I, I_2,\ldots ,I_{\dim {\mathbb {K}}-1}\}\) of the division algebra \({\mathbb {K}}\). The standard set of curves at the point \(x + Iy\) consists:
-
for \(y \ne 0\), of the curves \(\{\alpha , \beta _I, \Gamma _{I_l},l = 2,\ldots , \dim {\mathbb {K}}-1 \} \);
-
for \(y = 0\), of the curves \(\{\alpha , \beta _I, \beta _{I_l}, l = 2,\ldots ,\dim {\mathbb {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:\Omega \rightarrow {\mathbb {K}}\), defined on a slice domain \(\Omega \) of \({\mathbb {K}}\), this set of curves reveals an easy tool to compute and directly interpret the real differential \(df(x+Iy): {\mathbb {R}}^{\dim {\mathbb {K}}} \rightarrow {\mathbb {R}}^{\dim {\mathbb {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\in {\mathbb {S}}\), a direct computation shows that
Analogously, and since f is slice regular,
In particular we have that \(Idf(x+Iy)1=I\frac{\partial f}{\partial x}(x+Iy) =\frac{\partial f}{\partial y}(x+Iy)=df(x+Iy)I\) and hence
Therefore, the real differential
is a conformal matrix. Let us now continue. The local representation formulas (2.2) and (2.3) yield, for any \(L\in {\mathbb {S}}\) such that \(L \perp I\)
hence we have that
Therefore, the real differential
is a conformal matrix as well. Notice that even if both \(df(x+Iy)_{|{\mathbb {C}}_I} \) and \( df(x+Iy)_{|{\mathbb {C}}_I^\perp } \) 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: \Omega = \widetilde{D} \rightarrow {\mathbb {K}}\) and its stem function \(F: D \rightarrow {\mathbb {K}}.\) Since the local representation formula (2.2) holds for slice functions, then for \(y \ne 0\) we obtain, as seen above, the identity \(df(x + Iy) L = L f'_s(x + Iy) = L y^{-1}F_2(x + iy)\) for every imaginary unit \(L \bot \, I\); therefore, for \(y \ne 0,\) the restriction of the differential to the orthogonal complement of the slice \({\mathbb {C}}_I\) is conformal (if nonzero).
Assume now that \(F \in {\mathcal {C}}^3(D).\) By Proposition 7(2) in [11], f is \(C^1\) and hence we can calculate the differential \(df(x + Iy)_{|{\mathbb {C}}_I}:\)
Therefore, in terms of the stem function F, for \(y \ne 0\) by formula (2.5), the differential df may be written as
Passing to the limit as \(y\rightarrow 0\), then \(\frac{F_2(x+Iy)}{y}\) tends to \(\partial _y F_2(x)\) and so
Therefore, for \(y \ne 0\), \(df(x+Iy)_{|{\mathbb {C}}_I^{\bot }}\) is conformal if and only if \(F_2(x + iy) \ne 0\) and \(df(x)_{|{\mathbb {C}}_I^{\bot }}\) is conformal if and only if \(\partial _y F_2(x) \ne 0.\)
In the case F is holomorphic and \(y\ne 0\), the corresponding formula becomes
and, when \(y=0\), we have \(f'_s=f'_c\) and so
which implies that df(x) is conformal if \(f'_c(x)\ne 0\).
Let’s sum up these observations in the following
Proposition 3.4
Let A denote either \({\mathbb {R}}\) or \({\mathbb {K}}\), and let \(f:\widetilde{D} \rightarrow A\) be a slice function generated by a \(C^3\) stem function F defined on a symmetric domain \(D \subset {\mathbb {C}}= {\mathbb {R}}+i{\mathbb {R}}.\) Then \(df(x+Iy)_{|{\mathbb {C}}_I^{\bot }}\) is conformal if nondegenerate. Moreover,
-
(a)
if dF is conformal on D, then f is slice conformal on \(\widetilde{D}\). In particular, if F is holomorphic, then f is slice regular and hence a slice conformal immersion if df has full rank;
-
(b)
if \(A = {\mathbb {R}},\) dF is conformal, \(\partial _y F_2\ne 0\) on \({\mathbb {R}}\cap D\) and if \(F_2 \ne 0\) on \(D\setminus {\mathbb {R}},\) then f is slice preserving and slice conformal on \(\widetilde{D}\).
Proof
We are left to consider only the case \(A = {\mathbb {R}}\). Since f is slice preserving, then df written with respect to the decomposition \({\mathbb {K}}= {{\mathbb {C}}_I} \oplus {{\mathbb {C}}_I}^{\bot }\) is of the form
\(\square \)
Remark 3.5
Notice that if a stem function F is conformal, it is not necessarily holomorphic. In the case \(A = {\mathbb {R}}, \) the stem function \(F: D \rightarrow A_{{\mathbb {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)_{|{\mathbb {C}}_I}\) is conformal on \(\widetilde{ D}.\) Furthermore, notice that conformality of both \(df(x+Iy)_{|{\mathbb {C}}_I}\) and \(df(x+Iy)_{|{\mathbb {C}}_I^{\bot }}\) does not imply that df has full rank.
3.3 Slice conformal curves
Using Proposition 3.4, we can state the following result.
Theorem 3.6
Let A denote either \({\mathbb {R}}\) or \({\mathbb {K}}.\) Let D be a symmetric domain in \( {\mathbb {C}}= {\mathbb {R}}+ i{\mathbb {R}}\) and \(G,H: {D} \rightarrow A_{{\mathbb {C}}}\) be stem functions with \(G, H \in {\mathcal {C}}^3(D).\) Write \(G = G_1 +\iota G_2,H = H_1 + \iota H_2\) and let \(F_1 = (G_1,H_1),F_2 = (G_2,H_2).\) Let
be the slice curve induced by the map \(F = (G, H) =F_1 +\iota F_2: D \rightarrow A_{{\mathbb {C}}}^2\) in the following way
Assume that:
-
(a)
the differential dF is conformal on D;
-
(b)
the partial derivative \(\partial _y F_2\ne 0\) on \({\mathbb {R}}\cap D\) and \(F_2 \ne 0\) on \(D\setminus {\mathbb {R}}.\)
Then \(df(x + Iy)|_{|{\mathbb {C}}_I}\) and \(df(x + Iy)|_{|{\mathbb {C}}_I^{\bot }}\) are both conformal. If, in addition, f is an injective immersion, then f is a slice conformal parameterization of \(f(\widetilde{D}).\)
In the case \(A = {\mathbb {R}},\) if F is injective, then \(F_2\ne 0\) on \(D\setminus {\mathbb {R}}\) is automatically fulfilled; hence if we assume that F is injective, dF is conformal on D and \(\partial _y F_2\ne 0\) on \({\mathbb {R}}\cap D\), then f is an injective immersion, and hence a slice conformal parameterization of \(f(\widetilde{D}).\)
Proof
To prove the first part of the theorem, notice that by Remark 3.5 the conformality of dF implies \(df_{|{\mathbb {C}}_I}\) conformal. The assumption (b) and Proposition 3.4 imply that \(df(x + Iy)_{|{\mathbb {C}}_I^{\bot }}\) is conformal.
We are left to prove that, if \(A = {\mathbb {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 \in 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 \(F(x) = F(u),\) so \(x = u.\) If \(J = I\) then \(F(x + iy) = F(u + iv)\) so \(x + Iy = u + Iv.\) If \(J = -I\) then \(G_2(x + iy) = - G_2(u+iv) = G_2(u - iv),\) \(H_2(x + iy) = -H_2(u+iv) = H_2(u - iv).\) 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 \(\partial _yF_2\) does not vanish by assumption, and \(F_2\) does not vanish off the real axis. Since both \(df_{|{{\mathbb {C}}_I}}\) and \(df_{|{{\mathbb {C}}_I^{\bot }}}\) are conformal and df has the following block structure
the rank of df is full. \(\square \)
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 \rightarrow A_{{\mathbb {C}}}^n\) 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 \(\Omega \subseteq {\mathbb {K}}\) be a slice domain, and let
be a map whose components \(g, h: \Omega \rightarrow {\mathbb {K}}\) are slice regular functions. If f is an immersion, then f will be called a slice regular curve (in \({\mathbb {K}}^2\)).
Let us now consider a slice regular curve \(f:\Omega \rightarrow {\mathbb {K}}^2\), with slice regular components \(g, h:\Omega \rightarrow {\mathbb {K}}\), and choose any \(I\in {\mathbb {S}}.\) Using the standard set of curves defined in Sect. 3.1, we get that the differential
assumes the form
The first 2 columns of this \((2\dim {\mathbb {K}}) \times \dim {\mathbb {K}}\) real matrix, and separately the last \((\dim {\mathbb {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 \(\Omega \subseteq {\mathbb {K}}\) be a slice domain, and let \(f:\Omega \rightarrow {\mathbb {K}}^2\) be a slice regular curve. If f is injective, then \(f(\Omega )\) is a parameterized hypercomplex Riemann manifold in \({\mathbb {K}}^2\), and the map \(f: \Omega \rightarrow f(\Omega )\) is a slice conformal parameterization. In particular, graphs of slice regular curves are parameterized hypercomplex Riemann manifolds in \({\mathbb {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 \(\Omega \) (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 \(\Omega , \Omega ' \subseteq {\mathbb {K}}\) slice domains, \(f =(f_1,f_2) : \Omega \rightarrow {\mathbb {K}}^2\) and \(g =(g_1,g_2) : \Omega ' \rightarrow {\mathbb {K}}^2\) injective, slice regular curves with the same image \(f(\Omega )=g(\Omega ')\). 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:\Omega ' \rightarrow {\mathbb {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} \circ f_1: \Omega \rightarrow \Omega ' \) 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 \(\Gamma \subseteq {\mathbb {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: \Omega \rightarrow {\mathbb {K}}^n\) defined on slice domains \(\Omega \subseteq {\mathbb {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 \(\Gamma \subseteq {\mathbb {R}}^N\) as its image. Then, for every regular slice preserving invertible change of parameter \(\phi \) between slice domains, the map \(f\circ \phi \) is a slice isothermal parameterization for the hypercomplex Riemann manifold \(\Gamma \).
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 \({\mathbb {H}}\), and let \(f: {\mathbb {H}}\rightarrow {\mathbb {H}}^2\) be the function
where \(\psi : {\mathbb {S}}\rightarrow {\mathbb {S}}\) is the odd \(C^\infty \) function defined by
i.e., when \(\langle \ , \ \rangle \) denotes the Euclidean scalar product of \({\mathbb {R}}^4\cong {\mathbb {H}}\), by
While applying the standard set of curves, take the point \(x+Iy=x+iy\) (i.e., \(I=i\)) with \(y\ne 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.
4 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.
Proposition 4.1
Let us set \(m = \dim {\mathbb {K}}\in \{4, 8\}\). Consider the unit sphere \(S^{m}\subset {\mathbb {R}}^{m+1}\cong {\mathbb {K}}\times {\mathbb {R}}\) and the inverse of the stereographic projection from the north pole \(N=(0,\ldots ,0,1)\) of \(S^{m}\) onto the equatorial plane \({\mathbb {K}}\cong {\mathbb {R}}^{m}\), namely
defined by
Then \(S^{m}\setminus \{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. \(\square \)
We can now conclude by exhibiting the “Riemann” structures of 1-dimensional quaternionic manifolds of the spheres \(S^4 \subset {\mathbb {R}}^5\) and \(S^8 \subset {\mathbb {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 {\mathbb {K}}\in \{4, 8\}\). Let f and h be the following maps
and
Then the differentiable conformal atlas \(\left\{ ({\mathbb {K}}, f), ({\mathbb {K}}, h)\right\} \) endows \(S^m\subset {\mathbb {R}}^{m+1}\) with a structure of slice quaternionic or slice octonionic manifold.
Proof
A direct computation shows that the transition map
has the form
and hence it is a slice regular and slice preserving function. \(\square \)
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 slice isothermal parameterization is given by \(g: {\mathbb {C}}\cong {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^3\cong {\mathbb {C}}\times {\mathbb {R}}\) defined as \(g(x+iy)=(\sinh x \cos y +i\sinh x \sin y, y).\)
Proposition 4.3
Let the map
be defined by
for \(I\in {\mathbb {S}}\), \(x, y\in {\mathbb {R}}\). Then \(f({\mathbb {K}})\) is a parameterized hypercomplex Riemann manifold (diffeomorphic to \({\mathbb {K}}\)) and f is a slice isothermal parameterization. This manifold will be called quaternionic helicoidal manifold if \({\mathbb {K}}= {\mathbb {H}}\) or octonionic helicoidal manifold if \({\mathbb {K}}= {\mathbb {O}},\) and denoted by \({\mathscr {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 \ne 0\) on \({\mathbb {C}}\setminus {\mathbb {R}}\) and \(\partial _y H_{2}(x)=1 \ne 0\) on \({\mathbb {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. \(\square \)
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
For a fixed \(x+Iy\in {\mathbb {C}}_I\), let us compute \(df(x + Iy)1\) and \(df(x + Iy)I:\)
Moreover, from Proposition 3.4 we know that for \(l = 2,\ldots , \dim {\mathbb {K}}-1\)
In the case \({\mathbb {K}}= {\mathbb {H}}\), if we set
and
then, for \(y\ne 0\), we get
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 \({\mathbb {K}}={\mathbb {O}}\) is completely analogous.
4.3 The catenoidal hypercomplex manifold
The case of the catenoid in the complex setting, parameterized by the conformal map
defined by
generalizes to quaternions and octonions as well.
Proposition 4.4
Let the map
be defined by
Then \(f({\mathbb {R}}\times {\mathbb {S}}(-\pi , \pi ))\) is a parameterized hypercomplex Riemann manifold and f is a slice isothermal parameterization. This manifold will be called quaternionic catenoidal manifold if \({\mathbb {K}}= {\mathbb {H}}\) or octonionic catenoidal manifold if \({\mathbb {K}}= {\mathbb {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 \({\mathbb {R}}\times (-i\pi ,i\pi )\), and \(G_2(x,y) \ne 0\) outside the real axis; moreover the derivative \(\partial _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. \(\square \)
Again, it may be interesting to explicitly present the differential of the slice isothermal parameterization of the catenoidal manifold
which may be computed by means of the standard set of curves. In the case \({\mathbb {K}}= {\mathbb {H}},\) if we set
and
then, for \(y\ne 0\), we have
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 \({\mathbb {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.
Let the part of the helicoidal manifold embedded in \({\mathbb {K}}^2\) be parameterized by \(h : {\mathbb {R}}\times {\mathbb {S}}(-\pi , \pi ) \rightarrow {\mathbb {K}}^2,\) induced by the stem map
and the embedded catenoidal manifold parameterized by \(c : {\mathbb {R}}\times {\mathbb {S}}(-\pi , \pi ) \rightarrow {\mathbb {K}}^2,\) induced by the stem map
We claim that
defines a family of conformal injective immersions with \(H_0 = H,\) \(H_{\pi /2 } = C.\)
The differential \(dH_{\theta }: {\mathbb {C}}\rightarrow {\mathbb {K}}\times {\mathbb {K}}\cong {\mathbb {R}}^{2\dim {\mathbb {K}}}\) is given by
where \(A = (\cosh x \cos \theta + \sinh x \sin \theta )\) and \(B = (\cosh x \sin \theta + \sinh x \cos \theta ).\) 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_{\theta } = (F_{\theta },G_{\theta }),\) then \(G_{\theta }(x + iy) = x\sin \theta +\iota y \cos \theta .\) If \(x\sin \theta +\iota y \cos \theta = u\sin \theta + \iota v \cos \theta ,\) either \(\theta = 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 \(\theta = \pi /2\) (in which case we have the stem map for the catenoidal surface) or else \(\iota y = \iota v \) so \(x + iy = u + iv.\) As a consequence, \(G_{\theta , 2}\) is injective for all \(\theta \in (0,\pi /2).\) Because \(\partial _y G_{\theta ,2}(x)= \cos \theta \ne 0\) on the real axis for all \(\theta \in (0,\pi /2),\) all the conditions of Theorem 3.6 are fulfilled and hence \(H_{\theta }\) 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 \({\mathbb {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.
Proposition 5.1
Let \(f: {\mathbb {K}}\rightarrow {\mathbb {K}}\times \mathrm{Im}({\mathbb {K}})\) be the map defined by
for \(I\in {\mathbb {S}}\), \(x, y\in {\mathbb {R}}\). Let \({\mathbb {K}}^+=\{q\in {\mathbb {K}}: \mathrm{Re}\ q >0\}\), and set \({\mathscr {E}}_{\mathbb {K}}^+:=f({\mathbb {K}}^+)\).
The \({\mathscr {E}}_{\mathbb {K}}^+\)-exponential map
defined by:
is an immersion and a diffeomorphism between \({\mathbb {K}}\) and \({\mathscr {E}}_{\mathbb {K}}^+.\) In the case of quaternions, it endows \({\mathscr {E}}_{\mathbb {H}}^+\) with a structure of slice quaternionic manifold (see, e.g., [4]), which is different from the structure of hypercomplex Riemann manifold defined in Proposition 4.3. However, this manifold will be denoted simply by \({\mathscr {E}}_{\mathbb {K}}^+\), and called the logarithm manifold.
Proof
The proof replicates part of the one of Proposition 4.3. \(\square \)
Remark 5.2
-
(a)
If \(\pi : {\mathbb {K}}\times \mathrm{Im}({\mathbb {K}}) \rightarrow {\mathbb {K}}\) denotes the projection on the first factor, then by definition the following equality holds
$$\begin{aligned} (\pi \circ E)(q)= \exp (q) \end{aligned}$$for all \(q\in {\mathbb {K}}\).
-
(b)
Unlike what happens in the complex setting, the map \(\pi :{\mathscr {E}}_{\mathbb {K}}^+ \rightarrow {\mathbb {K}}\) is not a covering. It is not an open map as well, due to the fact that \(\exp :{\mathbb {K}}\rightarrow {\mathbb {K}}\) is not an open map (it has a non–empty degenerate set consisting of spheres).
We will now define the \({\mathscr {E}}_{\mathbb {K}}^+\)-logarithm on \({\mathscr {E}}_{\mathbb {K}}^+\) and exhibit some of its properties.
Definition 5.3
Let \({\mathscr {E}}_{\mathbb {K}}^+\) be the logarithm manifold. The \({\mathscr {E}}_{\mathbb {K}}^+\)-logarithm
is defined as follows, in terms of the real logarithm \(\log \),
where p is called the argument of q, and denoted by \(\mathrm{Arg}(q)\): hence
Indeed, if \((q,p)\in \ {\mathscr {E}}_{\mathbb {K}}^+\), then \(q=r\exp p\) for \(r=|q|\) and L can be rewritten as
The following result and definition explain why the logarithm manifold is a natural domain of definition for the \({\mathscr {E}}_{\mathbb {K}}^+\)-logarithm. Indeed, this hypercomplex manifold plays the role of an “adapted" blow-up of \({\mathbb {K}}\) at points \(x\in {\mathbb {R}}\) with \(x\ne 0\).
Proposition 5.4
The map
is the inverse of the \({\mathscr {E}}_{\mathbb {K}}^+\)-exponential E, and a diffeomorphism from \({\mathscr {E}}_{\mathbb {K}}^+\) to \({\mathbb {K}}\).
Proof
Let us read the \({\mathscr {E}}_{\mathbb {K}}^+\)-logarithm through the parameterization
of \({\mathscr {E}}_{\mathbb {K}}^+\). By composition we get that \(L \circ E\) becomes the identity map of \({\mathbb {K}}\)
Analogously, \(E \circ L \) becomes the identity map of \({\mathscr {E}}_{\mathbb {K}}^+\)
The assertion is now proved. \(\square \)
As a consequence, in the case of quaternions, the map L is a slice regular map from the logarithm manifold \({\mathscr {E}}_{\mathbb {H}}^+\) to \({\mathbb {H}}\), with respect to the structure of slice regular manifold induced by E on \({\mathscr {E}}_{\mathbb {H}}^+\) (see, e.g., [4]). We point out that the definition of the \({\mathscr {E}}_{\mathbb {K}}^+\)-logarithm L is not referred to the structure of helicoidal Riemann manifold defined on \({\mathscr {E}}_{\mathbb {K}}\) in Proposition 4.3.
Definition 5.5
Let \(\pi : {\mathscr {E}}_{\mathbb {K}}^+ \subset {\mathbb {K}}\times \mathrm{Im}({\mathbb {K}}) \rightarrow {\mathbb {K}}\setminus \{0\}\) denote the natural projection
and let \(\Omega \subset {\mathscr {E}}_{\mathbb {K}}^+\) be a path connected subset such that \(\pi _{|_{\Omega }}\) is injective. Then, the map
defined by
is called a branch or a determination of the hypercomplex logarithm on \(\pi (\Omega )\).
Notice that, as expected, with the notations of Definition 5.5 we have that
for all q in \(\pi (\Omega )\).
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\subset {\mathbb {K}}\setminus \{0\}\) which contains a strictly positive real point \(x_0\), and hence a small segment \((x_0-\epsilon , x_0+\epsilon ) \subset {\mathbb {R}}^+\). Indeed, for any \(I\in {\mathbb {S}}\), on each slice \(A_I\), the branches of the hypercomplex logarithm coincide with those of the complex logarithm of the slice \({\mathbb {C}}_I\). As a consequence, there is no choice of \(J\in {\mathbb {S}}\) along \((x_0-\epsilon , x_0+\epsilon ) \subset {\mathbb {R}}^+\) which can make a (non principal) branch of the hypercomplex logarithm a continuous function.
On the other hand, if \(A\subset {\mathbb {C}}_I\setminus \{0\} \subset {\mathbb {K}}\setminus \{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 \(\alpha : [-a, a] \rightarrow {\mathbb {C}}_{I}\setminus \{0\} \subset {\mathbb {K}}\setminus \{0\}\) is a continuous curve having its image in a small disc \(\Delta \) centered at a non zero real point x with \(\Delta \subset {\mathbb {C}}_{I}\setminus \{0\}\), and such that \(\alpha (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
which has a natural structure of hypercomplex Riemann manifold (see Sect. 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 \( \Lambda (\exp ) = \{ (\exp w, w) : w\in {\mathbb {K}}\} \) onto \({\mathbb {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.
Proposition 5.8
Let \(n\in {\mathbb {N}}\), with \(n>1\), and let the map
be defined by
for \(I\in {\mathbb {S}}\), \(x ,y\in {\mathbb {R}}\). Then \(f({\mathbb {R}}\times {\mathbb {S}}(-\pi n,\pi n))\) is a parameterized Riemann hypercomplex manifold (diffeomorphic to \({\mathbb {R}}\times {\mathbb {S}}(-\pi n,\pi n)\)) and f is a slice isothermal parameterization. This manifold will be denoted by \({\mathscr {Q}}_{\mathbb {K}}(n)\).
Proof
The map \(f=(g, h) \) is induced by the stem map
whose components are those of the classical conformal parameterization of the Riemann surface of the n-th root. The map F is \(C^\infty \) and injective: indeed \(H(x+iy)=H(u+iv)\) implies
whence \(\frac{y-v}{n}=2\pi m\) for some integer m. Hence \(y-v=2\pi nm\) implies \(y=v\). Since G is injective in x, we now deduce \(x=u\). The injectivity of F is then proved. Because \(H_2(x + iy) = n \sin \frac{y}{n},\) we have \(\partial _y H_{2}(x) = 1 \ne 0.\)
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. \(\square \)
Again, it is of interest to explicitly compute the differential of the slice conformal parameterization
Since the first component of f has already been analyzed in Sect. 4.2, we will only compute the differential of the function \(n\exp (I\frac{y}{n}):\)
In the case \({\mathbb {K}}= {\mathbb {H}}\), if we set
and
then, for \(y\ne 0\), we have
and for \(y=0\), we coherently obtain:
As expected, \(df(x+Iy)\) is slice conformal and df(x) is conformal. The situation in the case \({\mathbb {K}}={\mathbb {O}}\) is totally analogous.
We will now see how to use \({\mathscr {Q}}_{\mathbb {K}}(n)\) to construct an appropriate domain for the quaternionic or octonionic n-th root function.
Proposition 5.9
Let \(f(x+Iy)=(\sinh x \cos y +I\sinh x \sin y, n\exp (I\frac{y}{n}))\) be as in Proposition 5.8, and let us set
The map
defined by
is an injective immersion and a diffeomorphism between \({\mathbb {R}}^+\times {\mathbb {S}}(-\pi n,\pi n) \) and \({\mathscr {Q}}_{\mathbb {K}}^+(n)\). Indeed, in the case of quaternions, \(\phi _n\) defines on \({\mathscr {Q}}_{\mathbb {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 \({\mathscr {Q}}_{\mathbb {K}}^+(n)\), and called the n-th root manifold.
Proof
The proof replicates the one used to establish Proposition 5.8\(\square \)
We will now define the hypercomplex n-th root on the n-th root manifold, and establish some of its properties.
Definition 5.10
Let \(n\in {\mathbb {N}}\), with \(n>1\) and let \({\mathscr {Q}}_{\mathbb {K}}^+(n)\) be the n-th root manifold. The n-th root
is defined as follows, for all \(r\in {\mathbb {R}}^+\) and \(p\in {\mathbb {S}}(-\pi n, \pi n)\):
or directly (and equivalently), for all \((q, s)\in {\mathscr {Q}}_{\mathbb {K}}^+(n)\), by
Indeed, this last formulation of the definition extends in a natural fashion, to \(\overline{{\mathscr {Q}}_{\mathbb {K}}^+(n)}=f(({\mathbb {R}}^+\cup \{0\})\times {\mathbb {S}}[-\pi n,\pi n ])\) as
and
for all \(s\in nS^3\) and all \(r\ge 0\).
As stated in Proposition 5.9, and analogously to what happens in the case of the logaritm, the definition of the n-th root function is not referred to the structure of hypercomplex Riemann manifold defined on \({\mathscr {Q}}_{\mathbb {K}}(n)\) in Proposition 5.8. Indeed, the structure that is naturally involved with the n-th root functions is the one defined in Proposition 5.9.
As it clearly appears, there is natural space and interest for the study of differential geometry of hypercomplex Riemann manifolds and, in particular, for the study of their curvature, of their mean curvature and minimality. This will be the subject of a forthcoming paper.
References
Angella, D., Bisi, C.: Slice-quaternionic Hopf surfaces. J. Geom. Anal. 29, 1837–1858 (2019). https://doi.org/10.1007/s12220-018-0064-9
Bisi, C., Gentili, G.: On quaternionic tori and their moduli space. J. Noncommutative Geom 12(2), 473–510 (2018). https://doi.org/10.4171/JNCG/284
Colombo, F., Sabadini, I., Struppa, D.C.: Noncommutative Functional Calculus. Theory and Applications of Slice Hyperholomorphic Functions, vol. 289 of Progress in Mathematics. Birkhäuser/Springer Basel AG, Basel (2011)
Gentili, G., Gori, A., Sarfatti, G.: A direct approach to quaternionic manifolds. Math. Nachr. 290, 321–331 (2017). https://doi.org/10.1002/mana.201500489
Gentili, G., Gori, A., Sarfatti, G.: On compact affine quaternionic curves and surfaces. J. Geom. Anal. 31, 1073–1092 (2021). https://doi.org/10.1007/s12220-019-00311-2
Gentili, G., Stoppato, C.: A local representation formula for quaternionic slice regular functions. Proc. Amer. Math. Soc. 149, 2025–2034 (2021). https://doi.org/10.1090/proc/15339
Gentili, G., Stoppato, C.: Geometric function theory over quaternionic slice domains. J. Math. Anal. Appl. 495, 1–38 (2021)
Gentili, G., Stoppato, C., Struppa, D.C.: Regular Functions of a Quaternionic Variable. Springer Monographs in Mathematics. Springer, Berlin (2013)
Gentili, G., Struppa, D.C.: Regular functions on the space of Cayley numbers. Rocky Mt. J. Math. 40, 225–241 (2010)
Gentili, G., Vignozzi, I.: The Weierstrass factorization theorem for slice regular functions over the quaternions. Ann. Glob. Anal. Geom. 40, 435–466 (2011). https://doi.org/10.1007/s10455-011-9266-0
Ghiloni, R., Perotti, A.: Slice regular functions on real alternative algebras. Adv. Math. 226, 1662–1691 (2011). https://doi.org/10.1016/j.aim.2010.08.015
Ghiloni, R., Perotti, A.: Zeros of regular functions of quaternionic and octonionic variable: a division lemma and the camshaft effect. Ann. Mat. Pura Appl. 4(190), 539–551 (2011)
Ghiloni, R., Perotti, A.: On a class of orientation-preserving maps of \({\mathbb{R} }^4\). J. Geom. Anal. 31, 2383–2415 (2021). https://doi.org/10.1007/s12220-020-00356-8
Ghiloni, R., Perotti, A., Stoppato, C.: Singularities of slice regular functions over real alternative *-algebras. Adv. Math. 305, 1085–1130 (2017). https://doi.org/10.1016/j.aim.2016.10.009
Ghiloni, R., Perotti, A., Stoppato, C.: The algebra of slice functions. Trans. Am. Math. Soc. 369, 4725–4762 (2017)
Ghiloni, R., Perotti, A., Stoppato, C.: Division algebras of slice functions. Proc. R. Soc. Edinb. Sect. A 150, 2055–2082 (2020)
Ghiloni, R., Perotti, A., Stoppato, C.: Slice regular functions and orthogonal complex structures over \(\mathbb{R}^8\), Preprint (2021). arXiv:2109.12902 [math.CV]
Gori, A., Vlacci, F.: On a criterion of local invertibility and conformality for slice regular quaternionic functions. Proc. Edimb. Math. Soc. 62, 97–105 (2019)
Gürlebeck, K., Habetha, K., Sprössig, W.: Holomorphic Functions in the Plane and n-Dimensional Space. Birkhäuser Verlag, Basel (2008)
Riemann, B.: Fondamenti di una teorica generale delle funzioni di una variabile complessa. Ann. Mat. Pura Appl. 2, 288–304 (1859)
Funding
Open access funding provided by Università degli Studi di Firenze within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Graziano Gentili and Fabio Vlacci were partly supported by INdAM, through: GNSAGA; INdAM project “Hypercomplex function theory and applications”. The first author was also partially supported by MIUR, through the projects: Finanziamento Premiale FOE 2014 “Splines for accUrate NumeRics: adaptIve models for Simulation Environments”. The second author was partially supported by research program P1-0291 and by research projects J1-7256 and J1-9104 at Slovenian Research Agency. The third author was also partially supported by PRIN 2017 “Real and complex manifolds: topology, geometry and holomorphic dynamics”
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gentili, G., Prezelj, J. & Vlacci, F. Slice conformality and Riemann manifolds on quaternions and octonions. Math. Z. 302, 971–994 (2022). https://doi.org/10.1007/s00209-022-03079-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-022-03079-4