Lie groups of bi-M öbius transformations are known and their actions on non orientable n-dimensional complex manifolds have been studied. In this paper, m-M öbius transformations are introduced and similar problems as those related to bi-M öbius transformations are tackled. In particular, it is shown that the subgroup generated by every m-M öbius transformation is a discrete group. Cyclic subgroups are exhibited. Vector valued m-M öbius transformations are also studied.
When investigating Lie groups of Möbius transformations of the Riemann sphere, we were brought in [
f ( z 1 , z 2 ) = A z 1 z 2 + a ( 1 − z 1 − z 2 ) a ( z 1 z 2 − z 1 − z 2 ) + A , where a ∈ ℂ \ { 0,1 } and A = a 2 − a + 1
Proposition 1: The function f ( z 1 , z 2 ) = z 1 ∘ z 2 is a composition law in ℂ ¯ satisfying:
a) z 1 ∘ z 2 = z 2 ∘ z 1 for every z 1 , z 2 ∈ ℂ ¯
b) z ∘ 1 = 1 ∘ z = z for every z ∈ ℂ ¯
c) z ∘ ( 1 / z ) = 1 for every z ∈ ℂ ¯
d) ( 1 / z 1 ) ∘ ( 1 / z 2 ) = 1 / ( z 1 ∘ z 2 ) for every z 1 , z 2 ∈ ℂ ¯
e) z 1 ∘ ( z 2 ∘ z 3 ) = ( z 1 ∘ z 2 ) ∘ z 3 for every z 1 , z 2 , z 3 ∈ ℂ ¯
f) z 1 ∘ z 2 = a if and only if z 1 = a or z 2 = a and z 1 ∘ z 2 = 1 / a if and only if z 1 = 1 / a or z 2 = 1 / a .
It is obvious that this composition law defines a structure of Abelian group on ℂ ¯ whose unit element is 1 and the inverse of any z is 1/z. By removing the elements a and 1/a we get a subgroup G a of this group. Since ℂ ¯ \ { a , 1 / a } is a differentiable manifold on which the group operations are conformal mappings the subgroup G a is a Lie group.
Theorem 1. For every z ∈ ℂ ¯ \ { a , 1 / a } the group 〈 z 〉 generated by z is a subgroup of G a .
Proof: Let us denote z ( n + 1 ) = z ∘ z ( n ) , every n ∈ ℤ , where z ( 0 ) = 1 and z ( 1 ) = z and notice that z ∘ z ( 0 ) = z ∘ 1 = z . An easy induction argument shows that for every m , n ∈ ℤ we have z ( m ) ∘ z ( n ) = z ( m + n ) and in particular z ( n ) ∘ z ( − n ) = z ( 0 ) = 1 , which means that indeed 〈 z 〉 is a subgroup of G a . Let us notice that, for z ≠ 1 we have z ( n ) = 1 if and only if n = 0 .
If z 1 ∈ ℂ ¯ \ { a , 1 / a } then g z 1 ( z 2 ) = f ( z 1 , z 2 ) = ( A z 1 − a ) z 2 − a ( z 1 − 1 ) a ( z 1 − 1 ) z 2 + A − a z 1 is a Möbius transformation in z 2 and if z 2 ∈ ℂ ¯ \ { a , 1 / a } then h z 2 ( z 1 ) = f ( z 1 , z 2 ) = ( A z 2 − a ) z 1 − a ( z 2 − 1 ) a ( z 2 − 1 ) z 1 + A − a z 2 is a Möbius transformation in z 1 . Indeed, ( A z 1 − a ) ( A − a z 1 ) + a 2 ( z 1 − 1 ) 2 = 0 if and only if z 1 = a or z 1 = 1 / a , which has been excluded and similarly ( A z 2 − a ) ( A − a z 2 ) + a 2 ( z 2 − 1 ) 2 = 0 if and only if z 2 = a or z 2 = 1 / a , which again has been excluded. These properties justify the name of bi-Möbius we have given to f ( z 1 , z 2 ) .
Couples of bi-Möbius transformations generate mappings M : ℂ ¯ 2 → ℂ ¯ 2 of the form M ( z 1 , z 2 ) = ( f 1 ( z 1 , z 2 ) , f 2 ( z 1 , z 2 ) ) , where
f k ( z 1 , z 2 ) = ω k z 1 z 2 − z 1 − z 2 + 1 z 1 z 2 − z 1 − z 2 + ω k , and ω k = a k + 1 / a k − 1 , k = 1,2 . The Proposition 1, f) shows that such a mapping has a set E of four fixed points, namely
( a 1 , a 2 ) , ( 1 / a 1 , a 2 ) , ( a 1 , 1 / a 2 ) and ( 1 / a 1 , 1 / a 2 ) . When restricting M to ℂ ¯ 2 \ E its components are bijective mappings in each one of the variables. Indeed, if z 1 ∈ ℂ ¯ \ { a k , 1 / a k } , k = 1,2 , then f k ( z 1 , z 2 ) is a Möbius transformation in z 2 , hence it is a bijective mapping of ℂ ¯ and since f k ( z 1 , a k ) = a k and f k ( z 1 , 1 / a k ) = 1 / a k , it is a bijective mapping of ℂ ¯ \ { a k , 1 / a k } onto itself. Similarly, if z 2 ∈ ℂ ¯ \ { a k , 1 / a k } , k = 1,2 , then f k ( z 1 , z 2 ) is Möbius in z 1 , hence it is a bijective mapping of ℂ ¯ \ { a k , 1 / a k } onto itself. Since f k ( z 1 , z 2 ) = f k ( z 2 , z 1 ) we have M ( z 1 , z 2 ) = M ( z 2 , z 1 ) hence M is not injective. However, by factorizing ℂ ¯ 2 with the two elements group 〈 σ 〉 generated by the symmetry σ ( z 1 , z 2 ) = ( z 2 , z 1 ) , M induces a bijective mapping of M ˜ of ℂ ¯ 2 / 〈 σ 〉 onto ℂ ¯ 2 . Indeed, an easy computation shows that for fixed ω 1 and ω 2 the equations f 1 ( z 1 , z 2 ) = b 1 and f 2 ( z 1 , z 2 ) = b 2 determine uniquily z 1 + z 2 and z 1 z 2 belonging to ℂ ¯ 2 / 〈 σ 〉 . We can call this mapping Möbius transformation of ℂ ¯ 2 / 〈 σ 〉 . This is a new concept. We are expecting Möbius transformations of ℂ ¯ 2 / 〈 σ 〉 to have similar properties with those of Möbius transformations of ℂ ¯ , as well as lot of applications. Any such Möbius transformation depends on two complex parameters: ω 1 and ω 2 . A composition law in the set of these transformations can be defined in the following way. Let:
w 1 = ( ω 1 z 2 − 1 ) z 1 − z 2 + 1 ( z 2 − 1 ) z 1 − z 2 + ω 1 , w 2 = ( ω 2 z 2 − 1 ) z 1 − z 2 + 1 ( z 2 − 1 ) z 1 − z 2 + ω 2 , ζ 1 = ( ω 3 w 2 − 1 ) w 1 − w 2 + 1 ( w 2 − 1 ) w 1 − w 2 + ω 3 , ζ 2 = ( ω 4 w 2 − 1 ) w 1 − w 2 + 1 ( w 2 − 1 ) w 1 − w 2 + ω 4
Let us notice that since ζ 1 is a Möbius transformation in w 1 for every w 2 ∈ ℂ ¯ \ { a 3 , 1 / a 3 } and w 1 is a Möbius transformation in z 1 for every z 2 ∈ ℂ ¯ \ { a 1 , 1 / a 1 } , then ζ 1 is a Möbius transformation in z 1 for every w 2 ∈ ℂ ¯ \ { a 3 , 1 / a 3 } and z 2 ∈ ℂ ¯ \ { a 1 , 1 / a 1 } . Analogously it can be shown that ζ 1 is a Möbius transformation in z 2 and that ζ 2 is a Möbius transformation in z 1 and in z 2 when excluding some points, in other words ( ζ 1 , ζ 2 ) = ( φ 1 ( z 1 , z 2 ) , φ 2 ( z 1 , z 2 ) ) , where φ k ( z 1 , z 2 ) are Möbius transformations in z 1 when some values of z 2 are omitted and they are Möbius transformation in z 2 when some values of z 1 are omitted. Their expressions appear to be more complicated than those of f k ( z 1 , z 2 ) . However, they induce Möbius transformation of ℂ ¯ 2 / 〈 σ 〉 .
The study of these mappings is worthwhile, yet it exceeds the purpose of this note.
The properties e) and f) from Proposition 1 show that f ( z 1 , f ( z 2 , z 3 ) ) is a Möbius transformation in each one of the variables as long as the other variables belong to ℂ ¯ \ { a , 1 / a } .
To simplify the writing, let us denote ω = a + 1 / a − 1 , s 2 ( 2 ) = z 1 z 2 and s 1 ( 2 ) = z 1 + z 2 , s 3 ( 3 ) = z 1 z 2 z 3 , s 2 ( 3 ) = z 1 z 2 + z 1 z 3 + z 2 z 3 , s 1 ( 3 ) = z 1 + z 2 + z 3 , ⋯ , s n ( n ) = z 1 z 2 ⋯ z n , ⋯ , s 1 ( n ) = z 1 + z 2 + ⋯ + z n . When no confusion is possible we can get rid of the upper subscript. Then, after a little calculation, we get:
f 2 ( z 1 , z 2 ) = f ( z 1 , z 2 ) = ω s 2 − s 1 + 1 s 2 − s 1 + ω
f 3 ( z 1 , z 2 , z 3 ) = f ( f 2 ( z 1 , z 2 ) , z 3 ) = ( 1 + ω ) s 3 − s 2 + 1 s 3 − s 1 + ( 1 + ω )
f 4 ( z 1 , z 2 , z 3 , z 4 ) = f ( f 3 ( z 1 , z 2 , z 3 ) , z 4 ) = ( ω 2 + ω − 1 ) s 4 − ω s 3 + s 2 − s 1 + ω ω s 4 − s 3 + s 2 − ω s 1 + ( ω 2 + ω − 1 )
A pattern appears regarding the coefficients of s k in these expressions, namely in every f m the coefficient of s k at the numerator is the same as the coefficient of s m − k at the denominator. It is reasonable to believe that this happens due to the properties a), d) and e) listed above. Indeed, we can prove:
Theorem 2. If f m ( z 1 , z 2 , ⋯ , z m ) = a 0 s n + a 1 s n − 1 + ⋯ + a m b 0 s n + b 1 s n − 1 + ⋯ + b m , then for every k = 1 , 2 , ⋯ , m we have b k = a m − k .
The function f m ( z 1 , z 2 , ⋯ , z m ) is a m-Möbius transformation, i.e. for every k = 1 , 2 , ⋯ , m the function f m is a Möbius transformation in z k for any value of the other variables different of a and 1/a.
Proof: Let us denote σ k = 1 z 1 z 2 ⋯ z k + ⋯ + 1 z m − k + 1 z m − k + 2 ⋯ z m for every k = 1 , 2 , ⋯ , m and suppose that f m − 1 ( z 1 , z 2 , ⋯ , z m − 1 ) = 1 / f m − 1 ( 1 / z 1 , 1 / z 2 , ⋯ , 1 / z m − 1 ) , which is obvious for m = 3 , 4 , 5 . We have:
f m ( z 1 , z 2 , ⋯ , z m ) = ( ω z m − 1 ) f m − 1 ( z 1 , z 2 , ⋯ , z m − 1 ) + ( 1 − z m ) ( z m − 1 ) f m − 1 ( z 1 , z 2 , ⋯ , z m − 1 ) + ( ω − z m ) = ( ω − 1 / z m ) [ 1 / f m − 1 ( 1 / z 1 , 1 / z 2 , ⋯ , 1 / z m − 1 ) ] + ( 1 / z m − 1 ) ( 1 − 1 / z m ) [ 1 / f m − 1 ( 1 / z 1 , 1 / z 2 , ⋯ , 1 / z m − 1 ) ] + ( ω / z m − 1 ) = ( 1 / z m − 1 ) f m − 1 ( 1 / z 1 , 1 / z 2 , ⋯ , 1 / z m − 1 ) + ( ω − 1 / z m ) ( ω / z m − 1 ) f m − 1 ( 1 / z 1 , 1 / z 2 , ⋯ , 1 / z m − 1 ) + ( 1 − 1 / z m ) = 1 / f m ( 1 / z 1 , 1 / z 2 , ⋯ , 1 / z m )
If f m ( z 1 , z 2 , ⋯ , z m ) = a 0 s n + a 1 s n − 1 + ⋯ + a m b 0 s n + b 1 s n − 1 + ⋯ + b m , then
f m ( 1 / z 1 , 1 / z 2 , ⋯ , 1 / z m ) = a 0 σ m + a 1 σ m − 1 + ⋯ + a m b 0 σ m + b 1 σ m − 1 + ⋯ + b m = a m s n + ⋯ + a 1 s 1 + a 0 b m s m + ⋯ + b 1 s 1 + b 0 = 1 / f m ( z 1 , z 2 , ⋯ , z m ) = b 0 s m + b 1 s m − 1 + ⋯ + b m a 0 s m + a 1 s m − 1 + ⋯ + a m
These last equalities are possible if and only if b k = a m − k . Simplifications may occur, as in the case of f 5 below, yet they do not alter the symmetry of the coefficients.
On the other hand, if we write
f m ( z 1 , z 2 , ⋯ , z m ) = f ( f m − 1 ( z 1 , z 2 , ⋯ , z k − 1 , z k + 1 , ⋯ , z m − 1 ) , z k ) ,
it is obvious that f m is a Möbius transformation in z k as long as the other variables do not take the values a and 1/a.
We notice that in order to find exactly what the coefficients of s m are for a given m, we need to iteratively compute f j ( z 1 , z 2 , ⋯ , z j ) for all the values of j from 2 to m. The expressions of these coefficients as functions of ω become more and more complicated. To illustrate this affirmation as well as the Theorem 1, let us notice that an elementary computation gives:
f 5 ( z 1 , z 2 , ⋯ , z 5 ) = ω ( ω + 2 ) s 5 − ( ω + 1 ) s 4 + s 3 − s 1 + ( ω + 1 ) ( ω + 1 ) s 5 − s 4 + s 2 − ( ω + 1 ) s 1 + ω ( ω + 2 )
f 6 ( z 1 , z 2 , ⋯ , z 6 ) = ( ω 3 + 2 ω 2 − ω − 1 ) s 6 − ( ω 2 + ω − 1 ) s 5 + ω s 4 − s 3 + s 2 − ω s 1 + ( ω 2 + ω − 1 ) ( ω 2 + ω − 1 ) s 6 − ω s 5 + s 4 − s 3 + ω s 2 − ( ω 2 + ω − 1 ) s 1 + ( ω 3 + 2 ω 2 − ω − 1 )
f 7 ( z 1 , z 2 , ⋯ , z 7 ) = ( ω 3 + 3 ω 2 + ω − 1 ) s 7 − ω ( ω + 2 ) s 6 + ( ω + 1 ) s 5 − s 4 + s 2 − ( ω + 1 ) s 1 + ω ( ω + 2 ) ω ( ω + 2 ) s 7 − ( ω + 1 ) s 6 + s 5 − s 3 + ( ω + 1 ) s 2 − ω ( ω + 2 ) s 1 + ( ω 3 + 3 ω 2 + ω − 1 )
f 8 ( z 1 , z 2 , ⋯ , z 8 ) = ω ( ω 3 + 3 ω 2 − 3 ) s 8 − ( ω 3 + 2 ω 2 − ω − 1 ) s 7 + ( ω 2 + ω − 1 ) s 6 − ω s 5 + s 4 − s 3 + ω s 2 − ( ω 2 + ω − 1 ) s 1 + ( ω 3 + 2 ω 2 − ω − 1 ) ( ω 3 + 2 ω 2 − ω − 1 ) s 8 − ( ω 2 + ω − 1 ) s 7 + ω s 6 − s 5 + s 4 − ω s 3 + ( ω 2 + ω − 1 ) s 2 − ( ω 3 + 2 ω 2 − ω − 1 ) s 1 + ω ( ω 3 + 3 ω 2 − 3 )
For arbitrary z, z k ∈ ℂ ¯ \ { a , 1 / a } , k = 1 , 2 , ⋯ , m , let us denote g z = f 2 ( z , f m ( z 1 , z 2 , ⋯ , z m ) ) , which is a set G m of m-Möbius transformations.
By Proposition 1 (see also [
Theorem 3. The set of m-Möbius transformations G m = { g z , z ∈ ℂ ¯ \ { a , 1 / a } } with the composition law g z × g w = g z ∘ w is a Lie group.
Proof: Indeed, the properties we listed above show that G m is an Abelian group. It is isomorphic with G a under the mapping χ ( z ) = g z since χ ( z ∘ w ) = g z ∘ w = g z × g w and χ ( 1 ) = g 1 . A topology on G m can be defined as the image by χ of the natural topology on ℂ ¯ \ { a , 1 / a } . This makes G m a differentiable manifold on which the composition law g z × g w = g z ∘ w defines a structure of Lie group. Different complex numbers a define different Lie groups of m-Möbius transformations, yet all of these groups are obviously isomorphic, and therefore there is no need to specify the numbers a, or ω when indicating such a group.
Let ζ ∈ ℂ ¯ \ { a , 1 / a } be arbitrary and for every k ∈ ℤ let us denote ζ ( k + 1 ) = ζ ∘ ζ ( k ) , where ζ ( 0 ) = 1 . It is obvious that for every k , l ∈ ℤ we have ζ ( k ) ∘ ζ ( l ) = ζ ( k + l ) and then g ζ ( k ) × g ζ ( l ) = g ζ ( k + l ) . In particular, g ζ ( k ) × g ζ ( − k ) = g ζ ( 0 ) = g 1 , hence the group 〈 g ζ 〉 generated by g ζ is a subgroup of G m .
Theorem 4. For every ζ ∈ ℂ ¯ \ { a , 1 / a } the group 〈 g ζ 〉 is a discrete subgroup of G m .
Proof: Indeed, if ζ = 1 then ζ ( k ) = 1 for every k ∈ ℤ . If ζ ≠ 1 then we have that ζ ( k + 1 ) = ζ ( k ) ∘ ζ ≠ ζ ( k ) . By using the expressions we have found for different f n we can easily check that there are values of z ≠ 1 for which f n ( z , z , ⋯ , z ) = 1 . For example, if n = 3 , z ( 3 ) = f 3 ( z , z , z ) = 1 for every root of the equation ω z 2 + ( ω − 3 ) z + ω = 0 . Also, if n = 4 , then z ( 4 ) = 1 for every root of the equation ( ω + 1 ) z 4 − 4 z 3 + 4 z − ( ω + 1 ) = 0 etc. It is obvious that for such values ζ = z the group 〈 ζ 〉 is a cyclic one and so is the group 〈 g ζ 〉 , hence it is a discrete subgroup of G n .
If ζ ( k ) ≠ 1 for every k ≠ 0 , then 〈 ζ 〉 is not cyclic and ζ ( k + 1 ) = ζ ( k ) ∘ ζ ≠ ζ for every k ≠ 0 . Moreover, if k ≠ j , then ζ ( k − j ) = ζ ( k ) ∘ ζ ( − j ) ≠ 1 , hence ζ ( k ) ≠ ζ ( j ) . Suppose that there is a subsequence ( ζ ( n k ) ) of distinct elements such that lim n k → ∞ ζ ( n k ) = ζ 0 . Let us split the sequence ( n k ) into two infinite subsequences ( n k 1 ) and ( n k 2 ) where n k 1 + n k 2 = n k . Then ζ ( n k ) = ζ ( n k 1 ) ∘ ζ ( n k 2 ) and ζ 0 = lim n k → ∞ ζ ( n k ) = lim n k 1 → ∞ ζ ( n k 1 ) ∘ lim n k 2 → ∞ ζ ( n k 2 ) = ζ 0 ∘ ζ 0 , which is possible if and only if ζ 0 = 1 , therefore lim n k → ∞ ζ ( n k ) = 1 . For every j ∈ ℤ , ( ζ ( n k + j ) ) is a subsequence of ( ζ ( k ) ) and lim n k → ∞ ζ ( n k + j ) = ζ ( j ) , which again is possible only if ζ ( j ) = 1 . Yet ζ ( j ) ≠ 1 if j ≠ 0 and this shows that there is no convergent subsequence ( ζ ( n k ) ) of distinct elements. Hence the subgroup 〈 ζ 〉 is discrete and so is 〈 g ζ 〉 .
Corollary 1. For every ζ ∈ ℂ ¯ \ { a , 1 / a } the subgroup 〈 g ζ 〉 generated by ζ acts freely and properly discontinuously on G m by left and right translations.
We can extend the concept of m-Möbius transformation to ℂ ¯ n in the following way. For a k ∈ ℂ ¯ \ { 0,1 } , let ω k = a k + 1 / a k − 1 , k = 1 , 2 , ⋯ , n , and let us build the m-Möbius transformations f m , k ( z 1 , z 2 , ⋯ , z m ) as in Section 2 by using ω k instead of ω . We will study the function f : ℂ ¯ m → ℂ ¯ n defined by
f ( z ) = ( f m ,1 ( z ) , f m ,2 ( z ) , ⋯ , f m , n ( z ) ) , where z = ( z 1 , z 2 , ⋯ , z m )
Every f m , k is a m-Möbius transformation of the form
f m , k ( z 1 , z 2 , ⋯ , z m ) = a 0 ( ω k ) s m + a 1 ( ω k ) s m − 1 + ⋯ + a m ( ω k ) a m ( ω k ) s m + a m − 1 ( ω k ) s m − 1 + ⋯ + a 0 ( ω k ) , where s j are the
symmetric functions defined in Section 2, hence f is a vector valued function whose every component is a m-Möbius transformation. For w ∈ Ω = ℂ ¯ \ { a k , 1 / a k | k = 1,2, ⋯ , n } let
g w ( k ) ( z ) = f 2 ( w , f m , k ( z ) ) = ω k w f m , k ( z ) − w − f m , k ( z ) + 1 w f m , k ( z ) − w − f m , k ( z ) + ω k , k = 1 , 2 , ⋯ , n . Then Γ Ω = { g w ( z ) = ( g w ( 1 ) ( z ) , g w ( 2 ) ( z ) , ⋯ , g w ( n ) ( z ) ) } is a set of vector valued functions whose components are all m-Möbius transformations.
Theorem 5. The composition law g z ⋅ g w = g z ∘ w induces a structure of Abelian group on Γ Ω having the unit element g 1 and such that the inverse element of g z is g z − 1 .
Proof: Indeed, g z ⋅ g w = g z ∘ w = g w ∘ z = g w ⋅ g z , for every z , w ∈ Ω , g z ⋅ g 1 = g z ∘ 1 = g z for every z ∈ Ω and g z ⋅ g z − 1 = g z ∘ z − 1 = g 1 for every z ∈ Ω , since the same is true for every g z ( k ) for every k, by Theorem 3, hence g z − 1 = g z − 1 .
Theorem 6. The mapping c : Ω → Γ Ω defined by c ( z ) = g z endows Γ Ω with a Lie group structure.
Proof: The set Γ Ω with the image topology induced by c is a differentiable manifold and c is a diffeomorphism. On the other hand, the group operations are conformal mappings and therefore of class C ∞ . Therefore the mapping c is a Lie group isomorphism.
Let us notice that f m , k ( 1 ) = f m , k ( 1,1, ⋯ ,1 ) = a 0 ( ω k ) C m m + a 1 ( ω k ) C m m − 1 + ⋯ + a m ( ω k ) C m 0 a m ( ω k ) C m m + a m − 1 ( ω k ) C m m − 1 + ⋯ + a 0 ( ω k ) C m 0 = 1 , hence g 1 ( k ) ( 1 ) = f 2 ( 1, f m , k ( 1 ) ) = 1 , k = 1,2, ⋯ , n , hence g 1 ( 1 ) = 1 .
When m = n the function f is a mapping of ℂ ¯ m onto itself. It has a set E of 2 m fixed points. Indeed, every point ( z 1 , z 2 , ⋯ , z m ) where z k is either a k or 1 / a k is a fixed point of f .
The components of f are m-Möbius transformations of ℂ ¯ in every variable z j if the other variables belong to Ω .
Since, for fixed ω k , every f m , k depends only on the symmetric sums s j , the values of f m , k ( z 1 , z 2 , ⋯ , z m ) remain the same when making a permutation of the variables z 1 , z 2 , ⋯ , z m . Therefore f is not an injective function. Let ℘ m be the group of permutations of z 1 , z 2 , ⋯ , z m and let ℂ ¯ m / ℘ m be the factor space of ℂ ¯ m with respect to this group. The function f induces a bijective mapping f ˜ of ℂ ¯ m / ℘ m onto ℂ ¯ m . We can call it Möbius transformation of ℂ ¯ m / ℘ m . A lot of questions remain to be answered about these transformations.
To emphasize the importance of the topic we dealt with in this paper, let us present a citation from [
The Möbius transformations are a chapter in any book of complex analysis. They have remarkable geometric properties and a lot of applications. The whole theory of automorphic functions is based on these transformations and they have surprising connections with the relativity theory. The concept of multi-Möbius transformation appears for the first time here and is related to the theory of Lie groups, which has itself deep connections with the Physics.
We thank Aneta Costin for her support with technical matters.
The author declares no conflicts of interest regarding the publication of this paper.
Ghisa, D. (2021) A Note on m-Möbius Transformations. Advances in Pure Mathematics, 11, 883-890. https://doi.org/10.4236/apm.2021.1111057