Conformal Mappings Revisited in the Octonions and Clifford Algebras of Arbitrary Dimension

In this paper we revisit the concept of conformality in the sense of Gauss in the context of octonions and Clifford algebras. We extend a characterization of conformality in terms of a system of partial differential equations and differential forms using special orthonormal sets of continuous functions that have been used before in the particular quaternionic setting. The aim is to describe to which higher dimensional algebras this characterization can exactly be extended and under which circumstances. It turns out to be crucial that this characterization requires a domain of definition that lies in a subalgebra that has the norm composition property and that is either associative (Clifford algebra case) or at least alternative (octonionic case). The orthonormal frames are elements of the spin group Spin(n+1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(n+1)$$\end{document}. We round off by relating the nature of the orthonormal frames to the associated Möbius transformation which are related to SO(9, 1) in the octonionic case and to the Ahlfors–Vahlen group in the case of a Clifford algebra.


Introduction
In the two-dimensional setting the set of angle and orientation preserving maps over a domain (called conformal maps in the strict sense) coincides with all holomorphic functions that are injective over that domain and can hence be characterized by the Cauchy-Riemann differential equation ∂f ∂y = −i ∂f ∂x . If one drops the property of preserving orientation, when we are talking about conformal maps in the sense of Gauss, then one additionally gets the solutions to the conjugated Cauchy-Riemann equation ∂f ∂y = i ∂f ∂x . As it is extremely well-known, Liouville's theorem tells us that in Euclidean spaces of real dimension n ≥ 3 the set of conformal maps is restricted to the set of Möbius transformations which does not fit within the framework of null-solutions to the generalized Cauchy-Riemann equation ∂f ∂x0 + n j=1 e j ∂f ∂xj neither in the context of Clifford algebras nor in that of the Cayley-Dickson algebras that are generated by the usual doubling process of doubling the complex numbers in the classical way.
However, as shown in [2,7,17] for the particular quaternionic case, conformal maps, and hence equivalently Möbius transformations related to GL (2, H), can be characterized by a different equation that generalizes the Cauchy-Riemann equation in another and different way. While in the complex plane there only exist two imaginary numbers of lenght 1, namely i and −i, in the quaternions there exists a whole sphere of elements with length 1 and vanishing real part. Conformal maps in the sense of Gauss turned out to be locally characterizable by the following generalized version of the Cauchy-Riemann system of the form ∂f ∂xj = Ψ j (z) ∂f ∂x0 , j = 1, 2, 3 where the elements Ψ j (z) form an orthonormal system of unit quaternions with vanishing real part. Such an arbitrary orthonormal system is often called a structural set, cf. [23]. Furthermore, the elements Ψ i (z) can locally vary from point to point. In general, they are not constant but continuous functions. In the complex case, this system reduces to the classical Cauchy-Riemann or conjugated Cauchy-Riemann system, because the constants i and −i are the only admissible choices for such functions in C.
The aim of this paper is to explain to which higher dimensional algebras (beyond the quaternions) this characterization can be carried over and which algebraic conditions are required to achieve this.
The Cayley-Dickson doubling process generates the quaternions from doubling the complex numbers which in turn arise from doubling the reals. If one continues applying the usual Cayley-Dickson process to the quaternions, then one obtains the non-associative octonions, which nevertheless still form a normed alternative division algebra. In the next step of this doubling construction, the property of being a composition and alternative algebra is lost. Furthermore, one gets zero divisors.
Another way to extend the quaternions is offered by Clifford algebras which have the advantage of being associative in any dimension. However, one has to deal with zero divisors, as soon as being beyond quaternions. Additionally one loses the multiplicativity of the norm. However, a zerodivisor free subspace where the composition property of the norm still holds is the space of paravectors which is isomorphic to R n+1 . The paravectors generate the multiplicative Clifford group. In turn, the Clifford group contains as special subgroups the famous pin and spin group which are double covers of the O(n + 1) and SO(n + 1), respectively.
To establish a generalization of the particular characterization of conformality as indicated above, we take domains of definition that lie in a subalgebra that has the norm composition property and that is either associative (Clifford algebra case) or at least alternative (octonionic case).
We show that one can extend this characterization both to the octonionic setting and to the setting of real paravector-valued functions. The structural sets that arise in this generalized context are elements of the spin group Spin(n + 1). We round off by relating the nature of the orthonormal frames to the associated Möbius transformation which are related to SO (9,1) in the octonionic case and to the Ahlfors-Vahlen group SV (n + 1) (cf. [11]) in the case of taking a domain that is embedded in a Clifford algebra. Like in the quaternionic case, the orthonormal frames are constant if and only if the associated Möbius transformation is exclusively generated by translations, dilatations and rotations. Whenever a reflection at a sphere is involved, one deals with non-constant but continuous orthonormal structural frames.
It turns out that this characterization of conformality cannot be carried over to higher dimensional Cayley-Dickson algebras beyond octonions, or to Clifford algebra-valued functions that take other values than paravectors since the argumentation explicitly requires the composition property and the associative or alternative property.
This paper underlines once more the particularity of the octonionic case in the context of Cayley-Dickson algebras concerning symmetry theories. It currently seems that the octonions provide the most adequate algebra to study the arising symmetries of recent physical attempts of setting up unifying theories in connection with the standard model of particle physics and supergravity, see [5,12,21].

Clifford Algebras vs. Octonions
There are many possibilities to extend the complex number field to higher dimensions.
One method is the doubling principle of Cayley-Dickson described in many papers, see for example [1,24]. To start, take two pairs of complex numbers (a, b) and (c, d) and introduce an addition and multiplication operation by where · simply denotes the conjugation (anti-)automorphism which will be extended by The octonions are not associative anymore. However, they still form an alternative and composition algebra. Although one has no associativity anymore one still has the weaker Moufang rule (ab)(ca) = a((bc)a) for all a, b, c ∈ O.
Putting c = 1 yields the flexibility condition (ab)a = a(ba). Moreover, for all a, b ∈ O. R, C, H and O are the only real normed division algebras. Let a = a 0 + 7 i=1 a i e i be an octonion represented with the seven imaginary units as mentioned above. We call a 0 the real part of a and write a = a 0 . The conjugation leaves the real part invariant, but e j = −e j for all j = 1, . . . , 7.
The Euclidean norm and the Euclidean scalar product from R 8 naturally extends to the octonionic case by a, b := 7 i=0 a i b i = {ab} and |a| := a, a = 7 i=0 a 2 i . We have the important norm composition property |a · b| = |a| · |b| for all a, b ∈ O. Every non-zero element a ∈ O is invertible with a −1 = a/|a| 2 .
Next following [9] Proposition 1.6, one also has the important rule {b(aa)c} = {(ba)(ac)} for all a, b, c ∈ O which we will exploit at some crucial points to prove the main results of this paper.
Unfortunately, if one continues applying the Cayley-Dickson doubling process, then one even loses the properties of a composition and an alternative algebra and one gets zero-divisors.
A parallel world alternatively to Cayley-Dickson algebras of higher dimensional generalizations of complex numbers is offered by the construction of Clifford algebras. In contrast to Cayley-Dickson algebras, all Clifford algebras remain associative. Let us follow for instance [4]. Suppose that {e 1 , e 2 , . . . , e n } is the standard orthonormal basis of the Euclidean vector space R n . The associated real Clifford algebra Cl n is the free algebra generated by R n modulo the relation a 2 = −|a| 2 e 0 where e 0 = 1 is its multiplicative An arbitrary element a of the Clifford algebra Cl n can be written in the form a = A⊆{1,...,n} a A e A where the basis elements e A are products of the elements e i , i.e. e A := e l1 e l2 . . . e ln where 1 ≤ l 1 < · · · < l r ≤ n, e ∅ = e 0 = 1. So, a = a 0 + a 1 e 1 + · · · + a n e n + a 1,2 e 1 e 2 + · · · + a n−1,n e n−1 e n + · · · + a 1,2,...,n e 1 e 2 · · · e n .
The conjugation anti-automorphism can be defined on the full Clifford algebra by e j = −e j for each j = 1, . . . , n and ab = b a for each a, b ∈ Cl n . We will also use the reversion anti-autmorphism which is defined by e * j = e j for each j = 1, . . . , n and (ab) * = b * a * for any a, b ∈ Cl n . We further denote by Sc(a) := a 0 the scalar part of a and by V ec(a) := n i=1 a i e i the vector part of a. Subsequentially, a 1,2 e 1 e 2 +· · ·+a n−1,n e n−1 e n is the bivector part and so on. The space R ⊕ R n is called the space of paravectors and will be identified with R n+1 in what follows. The space of all elements of the Clifford algebra that only have a scalar part, a vector part and a bi-vector part is denoted by R ⊕ R n ⊕ R n,n and is also important in the sequel of this paper.
The first Clifford algebras Cl 1 and Cl 2 are isomorphic to C and H, respectively. Unfortunately, up from Cl n with n ≥ 3 one loses the property of a composition algebra and one gets zero-divisors. However, the subspace of paravectors is still normed and zero-divisor free. The Euclidean norm naturally extends to R ⊕ R n by |a| = n i=0 a 2 i and every non-zero paravector is invertible with a −1 = a/|a| 2 . On the whole Clifford algebra one can introduce a scalar product of the form a, b := Sc(ab) and a (pseudo-)norm |a| := Sc(aa). However, on the general Clifford algebra, one only has an inequality of the form |ab| ≤ 2 n/2 |a||b| for a, b ∈ Cl n .
Nevertheless, the composition property |ab| = |a||b| remains true for all paravectors a, b ∈ R n+1 and even for products of paravectors. This will also be crucially applied in the sequel of this paper.

Main Results
This section provides us with a generalization of some of the results presented for the quaternionic case in [2,7,17] to the non-associative octonionic case on the one hand and to arbitrary dimensional paravector spaces in associative Clifford algebras on the other hand.
As already pointed out in the introduction, this topic in the octonionic setting attracted in the recent time a lot of interest from physicists in the context of extensions of the standard model of particle physics and super gravity, see for instance [5,12,21].
It should also be clearly mentioned that there are substantial differences between the related octonionic function theories and function theories in Clifford algebras which is also a topic of recent interest, see for instance [14][15][16]. As classical references we also recommend [8,13,22,25]. R. S. Kraußhar Adv. Appl. Clifford Algebras Following classical textbooks like [3] and others, as well as our previous work from the quaternionic setting, we can address conformality in the octonionic setting in the following way: The differentials dz and df are defined as usual. dz is an octonionic 1-form: dz = dx 0 + e 1 dx 1 + · · · + e 7 dx 7 and df = 7 i=0 ∂f ∂xi dx i . Note that the partial derivatives ∂f ∂xi are octonionvalued.
Analogously, one defines in the framework of paravector-valued functions embedded in an associative Clifford algebra: where | · | is the usual Euclidean norm from the paravector space R n+1 := R ⊕ R n .
The differentials are defined in the same way as above, compare also with [18].
One can show in both cases: Proof. Both for the octonionic case (addressed for n = 7) and for the paravector-valued cases (addressed for general n), we obtain by a direct computation that The latter expression equals λ(z)|dz| 2 Remark 3.4. Equivalently, one can characterize conformality in the way where δ ik represents the usual Kronecker symbol.
As a generalization of the quaternionic case, we can also establish a characterization of conformality in the octonionic case in the following way: such that Proof. Suppose that f is a C 1 (D)-conformal map in D with ∂f ∂x k = 0 for all z ∈ D. Exploiting the crucial property that the octonions form a division algebra one can well-define for each k = 1, . . . , 7 at each single point z ∈ D the seven functions Since f ∈ C 1 (D), the functions ∂f ∂x k and ∂f ∂x0 −1 belong at least to C 0 (D).
Note that ∂f ∂x0 = 0 for all z ∈ D. In view of ∂f ∂x0 = ∂f ∂xj for all j = 1, . . . , 7 and applying the other crucial fact that O is a composition algebra where |ab| = |a||b| for all a, b ∈ O we get that for all z ∈ D.
Next we observe that Now we recall that in the octonions we have the properties for all octonions a, b, c ∈ O. In view of these rules we have for all i, j ∈ {1, . . . , 7}: Remark 3.6. This proof cannot be extended to the context of higher dimensional Cayley-Dickson algebras beyond the octonions because we explicitly used the property of a composition algebra and the property (6) that relies on the structure of an alternative algebra. These two properties are essential.
In the case of a paravector-valued function in an associative Clifford algebra, one can prove a similar statement, but the related structural systems [Ψ] = (Ψ 1 (z), . . . , Ψ n (z)) have a different algebraic structure. They are not paravector-valued but they are bi-products of two paravectors with no-scalar part having norm 1. For each single z ∈ D they turn out to be elements of the spin group Spin(n + 1) which is the group generated by products of an even number of paravectors from R n+1 from the Clifford algebra Cl n , i.e.: In this setting one has Remark 3.8. The condition (ii) can be interpreted as orthogonality relation in terms of the usual Clifford inner product from [4] defined by a, b := Sc(ab) which of course descends down to the elements of the spin group.
Proof. The proof can be done basically along the same lines as in the octonionic case, putting special emphasis to the following features. In constrast to the octonionic setting, the Clifford algebra Cl n possesses zero divisors for n ≥ 3. However, all non-zero paravectors from R n+1 are invertible in Cl n and their inverses are again paravectors. Since f is assumed to be a paravector-valued function, also its partial derivatives are paravectorvalued, and therefore ( ∂f ∂x0 ) −1 does exist whenever ∂f ∂x0 = 0. So, for each z with ∂f ∂x0 = 0 one can well-define the n structural functions Ψ k (z) := ( ∂f ∂x k )( ∂f ∂x0 ) −1 for k = 1, . . . , n. Note that these indeed are composed by a product of two paravector valued expressions, since both functions ∂f ∂x k and ( ∂f ∂x0 ) −1 are paravector-valued. A further difference between the octonionic setting and the Clifford algebra setting consists of the fact that Clifford algebras are no composition algebras anymore for n ≥ 3. As mentioned in the previous section, the Clifford norm defined by |a| = Sc(aa) is only a pseudo norm satisfying an inequality of the form |ab| ≤ 2 n/2 |a||b|. However, if a and b are paravectors or more generally products of paravectors, then one still has that the composition property |ab| = |a||b|. Therefore, we may apply the same argument as in (4) to conclude from | ∂f ∂x0 | = | ∂f ∂xj | for all j = 1, . . . , n that |Ψ k (z)| = 1 in the Clifford norm for each k = 1, . . . , n and vice versa, too. R. S. Kraußhar Adv. Appl. Clifford Algebras Since we have the associativity property in the whole Clifford algebra, the second part of the proof stating that can be carried over without any obstacle.
Note that also this proof uses the composition property, so the restriction to paravector-valued functions is essential. Remark 3.9. Note that none of the functions Ψ i has a scalar (real) part. In the octonionic case the orthonormality property implies that their anticom- . This relation then is translated into the equaton: In the Clifford algebra setting the situation is essentially different. For each z ∈ D the functions Ψ i are elements of the spin group Spin(n + 1) being also mutually orthonormal to each other with respect to the Clifford scalar product. However, only in the special case where they are pure vectors, their anticommutator {Ψ i , Ψ j } vanishes, while in the special case where the functions Ψ i are pure bivectors, their commutator [Ψ i , vanishes. Only in these two situations one obtains the special differential relations: where we have the minus sign in the case of pure vectors and the plus sign in the case of pure bivectors. However, in the associative cases working in a Clifford algebra one may directly simplify this equation into Multiplying both sides of the equation from the left with Ψ i (z) leads to Conformal Mappings Revisited in the Octonions...
Thus, we have locally df = (dx 0 + Ψ 1 dx 1 + · · · + Ψ n dx n ) ∂f ∂x 0 , Ψ i , Ψ j = δ ij which can be translated into the form df = dz [Ψ] · ∂f ∂x0 . This relation can formally be interpreted in terms of a generalized differential quotient Here, the linearization is understood with respect to the directions of the local orthonormal basis system [Ψ] which may vary continuously at each point z ∈ D.

Discussion
As mentioned in the introduction, the set of conformal maps coincides in the Euclidean spaces R n+1 with the set of the Möbius transformations which is stated in Liouville's theorem. It can also be proved very elegantly with methods from Clifford algebras using the so-called cog-wheel lemma, cf. [6]. For convenience we recall from [5,10,13,20] that the octonions offer an elegant representation of the SO(9, 1)-Möbius transformations (which can be