Abstract

This expository article connects the conformal geometry of Möbius transformations with their kinematic interpretation as Pólya vector fields. We review the vector-calculus perspective of holomorphic functions, establishing a rigorous analytic-to-dynamic dictionary that maps complex analytic objects to conservative and solenoidal 2D physical flows. Leveraging the Lie theory of $S{L}_2\left(ℂ\right)$ , we explicitly compute the one-parameter subgroups and their associated invariant vector fields, demonstrating how Möbius transformations can be understood dynamically as superpositions of elementary flows via the adjoint representation. Finally, as a motivational outlook for future research, we contextualize these geometric and Lie-theoretic results within a broader mathematical physics framework. We discuss heuristic analogies with 2D-electromagnetism, Hopf fibrations, and the Cayley-Dickson doubling construction as structural stepping stones toward higher-dimensional gauge theories.

Keywords

Mobius Transformations, Polya Vector Fields, Lie Theory, 2D-Electromagnetism, Fluid Dynamics

Share and Cite:

1. Introduction

This is an expository article relating well-known facts belonging to Complex Analysis and Symplectic Mechanics, well known to be part of a “trinity” [1], aiming to clarify the perspective of (Sophus) Lie Theory from the geometric point of view of Felix Klein [2]¹. While it is part of a larger program relating Math-Physics theories started in [3], it is self-contained when focusing on the understanding of the structure of the 1-parameter groups of Mobius transformations, and the interplay between the conformal geometry of complex transformations and symplectic-Hamiltonian mechanics aspects, at an elementary level. There are numerous “digressions”, as “links” to further developments the reader may choose to ignore at this stage [4] [5].

Before proceeding to the technical aspects presented, a few general considerations allow to place the article in a larger context.

1.1. The Conceptual Network Methodology

It is an attempt to build a hierarchic Conceptual Network relating not just concepts, but also the Theories they belong to, in a mutually beneficial way, hopefully allowing for a better understanding of their roles and fostering new developments and applications.

$\begin{array}{l}\underset{\_}{\text{Complex Geometry}}\stackrel{\text{Kahler}}{\iff }\underset{\_}{\text{Symplectic Geometry}}\\ •\begin{array}{c}\text{Conformal/Projective}\\ \text{U}\left(1\right)-\text{Equivariant}\end{array}\stackrel{\text{Polya's prescription}}{\to }\text{Kahler Dynamics}\\ •\text{Lie-Cartan Theory}\text{Conformal/Analytic Flows}.\end{array}$

1.2. Motivational Outlook: Physics and Advanced Geometries

While the exact derivations in this article are self-contained, they are motivated by a larger program relating these mathematical structures to theoretical physics. Specifically, the Hamiltonian mechanics utilized here rely on what we term an accidental Lagrangian structure. When constructing the complex numbers via the Cayley-Dickson doubling procedure (rather than as a simple axiomatic field extension), the resulting space $ℂ$ canonically inherits the structure of a cotangent bundle phase-space, $ℂ\cong T^{\text{*}}ℝ$ . From a purely abstract-algebraic perspective, this phase-space geometry appears “accidental”, yet it is structurally essential for hosting the Hamiltonian dynamics of the conformal flows.

This profound equivalence between the complex-analytic properties of holomorphic functions and the symplectic-geometric properties of their flows serves as a localized, pointwise analog for Quantum Mirror Symmetry—the theoretical framework in modern physics that establishes dualities between complex geometries (A-models) and symplectic geometries (B-models).

We emphasize that references to Quantum Mirror Symmetry, Noether’s Theorem, Hopf fibrations, and the Standard Model within this text (particularly in Section 4) are provided as a heuristic, motivational outlook. They illustrate how the exact 2D structures derived here serve as foundational stepping stones toward higher-dimensional gauge theories.

Returning to the main topic of the article, recall that Möbius transformations (MT) play a central role in Complex Analysis and in Physics, via their connection to the group of Lorentz transformations. This lifts to the Kähler triangle, the abstract linear version of Kähler structures of manifold theory:

where the Galois group $\left\{Id,ℂ\right\}$ as Klein geometry structure plays a crucial role linking Complex Analysis and Symplectic Dynamics, which briefly will be referred to by $ℂ=D\left(ℝ\right)=T^{\text{*}}ℝ$ , where the Galois group $\left\{Id,ℂ\right\}$ as Klein geometry structure plays a crucial role linking Complex Analysis and Symplectic Dynamics, which briefly will be referred to by $ℂ=D\left(ℝ\right)\cong T^{\text{*}}ℝ$ ².

It is a rich structure resulting from the Cayley-Dickson construction, which extends the traditional viewpoints derived from Abstract Algebra and Klein Geometry, which is mentioned in the Appendix, to be expanded elsewhere ([4]; see also [5]).

This allows to integrate constructively Lie Theory of $SL\left(2,ℂ\right)$ , with Cartan Theory of Roots Systems associated to the adjoint representation, with the 2nd Hopf fibration $S^1\to S^3\to S^2$ , viewed as a Cartan-Klein symmetric space $S^1\to SU\left(2\right)\to S^2$ .

Comparing the Polya physics viewpoint, which corresponds to Hamiltonian Dynamics, with Klein-Lie Theory analysis of MT, yields a better understanding of their role as “dynamic transformations”, rather then just conformal transformations. By dynamic transformations we will refer to mathematical transformation with a Hamiltonian/Symplectic Geometry interpretation due to the physics related context of their origin, as a reacher structure due to the respective correspondence.

The main result ties the 1-parameter subgroup $\exp \left(tX\right)={ℌ}^t\left(z\right)$ and invariant vector field, of a Möbius transformation $f\left(z\right)$ lifted as an $S{L}_2\left(ℂ\right)$ matrix $ℌ$ [6]:

$f\left(z\right)=\left(az+b\right)/\left(cz+d\right),ℌ=\left[\begin{array}{ll}a\hfill & b\hfill \\ c\hfill & d\hfill \end{array}\right],$ (1)

with the equipotentials and streamlines of the associated Polya Vector Field (PVF):

$V_f\left(x,y\right)=\mathrm{Re}\left(f\left(z\right)\right)\frac{\partial }{\partial x}-\mathrm{Im}\left(f\left(z\right)\right)\frac{\partial }{\partial y}.$ (2)

Part of the motivation comes from better documenting the explanations and example from [7], documentation which seems to be missing from the standard literature on the subject. While some elementary, perhaps pedagogically useful points are made on the way, applications to Special Relativity and Quantum Physics are in view, via the connection with Lorentz transformations and Hopf fibration, a “pointwise model” in Gauge Theory.

The article is organized as follows. A background on Möbius transformations is presented in Section §2. Our main result is Theorem 3.1 in Section 3, presenting the Lie Theory viewpoint. It states the relation between the conformal geometry of Möbius transformations and their 1-parameter group dynamics.

Generalizations and applications are deferred to the concluding Section 4. Appendix provides a preview of our interpretation of the role of the Cayley-Dickson construction, resulting into an additional insight regarding the importance of quaternions and octonions, to be dealt with in detail elsewhere [4]³.

2. Möbius Transformations: Fields or Transformations?

Complex numbers have both an algebraic role as a field extension $ℝ\left[i\right]$ , with the familiar cartesian coordinates representation of its elements as linear combinations $z=x+iy$ , as well as a geometric role as the fundamental representation of the linear conformal group on real vector space ${ℝ}^2$ :

$\rho :\left({ℂ}^{\text{*}},\cdot \right)\to Au{t}_{ℝ}\left({ℝ}^2\right)$

acts via scalar multiplication and rotations. The polar decomposition reflects (is derived from) the canonical isomorphism $PD:{ℝ}_{+}\times SO\left(2\right)\to \left({ℂ}^{\text{*}},\cdot \right)$ . The relation between the two structures is provided by the exponential:

$\exp :\left(ℂ,+\right)\to \left({ℂ}^{*},\cdot \right).$

The 1-point compactification of the complex numbers yields the Riemann sphere, canonically isomorphic with the complex projective line $ℂP^1=ℂ\times ℂ{/}_{\sim }$ , and allowing to freely “move” from the complex plane, to the 2D-sphere and spinorial representation, via the stereographic projection and Hermitian model, via $S{L}_2\left(ℂ\right)$ , if needed.

2.1. Physics Interpretations and the Analytic-to-Dynamic Dictionary

To streamline the transition from complex analysis to vector calculus and kinematics, we consolidate the classical correspondences into a single, comprehensive framework, based on the framework introduced by the renowned mathematician George Pólya and his colleague Gordon E. Latta in their classic 1974 textbook on complex variables [8].

Theorem 2.1 (Analytic-Kinematic Equivalence). Let $f\left(z\right)=u\left(x,y\right)+iv\left(x,y\right)$ be a complex function defined on a domain in $ℂ$ . The analyticity of $f$ (satisfaction of the Cauchy-Riemann equations) is strictly equivalent to its associated Polya

Vector Field $V_f=u\frac{\partial }{\partial x}-v\frac{\partial }{\partial y}$ being simultaneously irrotational ($\text{curl}\left(V_f\right)=0$ ) and divergence-free ($\text{div}\left(V_f\right)=0$ ).

Under these conditions, $V_f$ locally admits a complex potential $F\left(z\right)=\varphi \left(x,y\right)+i\psi \left(x,y\right)$ such that $F^{\prime }\left(z\right)=f\left(z\right)$ . The level curves of the real harmonic potential $\varphi$ (equipotentials) and the harmonic conjugate $\psi$ (streamlines) form orthogonal families that govern the geometry of the flow. Furthermore, the complex line integral over any closed contour $C$ unifies the classical dynamic quantities:

${\displaystyle {\int }_{C}f\left(z\right)\text{d}z}=\text{Work}\left(V_f;C\right)-i\text{Flux}\left(V_f;C\right).$ (3)

To make these correspondences explicit, we define the following Analytic-to-Dynamic Dictionary, mapping complex variables to their vector calculus interpretations via the basis of Wirtinger derivatives (${\partial }_z,{\partial }_{\overline{z}}$ ) and 2D-Frenet moving frames (See Table 1).

Table 1. Analytic-to-Dynamic dictionary mapping complex analysis structures to vector calculus equivalents.

Remark 2.1. The four vector fields ($V_f,W_f,U_f,P_f$ ) provide a complete local basis representation of the complex function via combinations analogous to Pauli matrices. By utilizing the 2D-Frenet moving frame along a curve $C$ , the work and flux map directly to the restrictions of the dual 1-forms ${\alpha }_f$ and ${\beta }_f$ . If the flow is “straightened” locally via the conformal transformation $F\left(z\right)$ (away from critical points), it becomes purely horizontal ($F_{*}\left(V\right)\left(\varphi ,\psi \right)=\psi$ ).

2.2. Möbius Transformations and Their Associated Polya Vector Fields

In this subsection we exemplify the previous qualitative considerations in canonical Cartesian coordinates.

Fix four complex numbers $a:=a^1+a^{2}i$ , $b:=b^1+b^{2}i$ , $c:=c^1+c^{2}i$ , $d:=d^1+d^{2}i$ such that $ac-bd\ne 0$ . Denote $\widetilde{ℂ}:=ℂ\backslash \left\{-\frac{d}{c}\right\}$ .

Consider the complex (holomorphic) function $f:\widetilde{ℂ}\to ℂ$ , $f\left(z\right)=\frac{az+b}{cz+d}$ .

Without restraining the generality, we can suppose $ac-bd=1$ , as $f$ is invariant to (non-null) scalar multiplication of the constants.

Notation. We consider the associated matrix $ℌ:=\left[\begin{array}{ll}a\hfill & b\hfill \\ c\hfill & d\hfill \end{array}\right]$ and $\sigma :={\left(\text{trace}ℌ\right)}^2$ . Denote, as previously, by $u\left(x,y\right):=\mathrm{Re}\left(f\left(z\right)\right)$ and $v\left(x,y\right):=\mathrm{Im}\left(f\left(z\right)\right)$ . Then

$u\left(x,y\right)=\frac{\left(b^1+a^{1}x-a^{2}y\right)\left(d^1+c^{1}x-c^{2}y\right)+\left(b^2+a^{2}x+a^{1}y\right)\left(d^2+c^{1}y+c^{2}x\right)}{{\left(d^1+c^{1}x-c^{2}y\right)}^2+{\left(d^2+c^{1}y+c^{2}x\right)}^2}$

$v\left(x,y\right)=\frac{-\left(b^1+a^{1}x-a^{2}y\right)\left(d^2+c^{1}y+c^{2}x\right)+\left(b^2+a^{2}x+a^{1}y\right)\left(d^1+c^{1}x-c^{2}y\right)}{{\left(d^1+c^{1}x-c^{2}y\right)}^2+{\left(d^2+c^{1}y+c^{2}x\right)}^2}$

are rational functions, as quotients of two polynomials of degree 2 with real coefficients.

Remark 2.2. The potentials $\varphi$ and $\psi$ of the Polya vector field $V_f=u\frac{\partial }{\partial x}-v\frac{\partial }{\partial y}$ can be obtained (through tedious calculations) from the differential equations

$\frac{\partial \varphi }{\partial x}=u,\frac{\partial \psi }{\partial x}=-v.$

By partial fraction decomposition, we get by quadratures the potentials to be “elementary” functions (sums/products/compositions of rational functions, trigonometric functions and logarithmic functions).

In complex notation, the complex potential of a Möbius transformation $f\left(z\right)=\frac{az+b}{cz+d}$ is (generically)

$F\left(z\right)=\frac{a}{c}z+\frac{bc-ad}{c^2}\cdot \text{ln}\left(cz+d\right)+\alpha ,$

where $\alpha$ is a complex constant.

Instead, the complex potential of the associated Polya vector field $V_f$ is (generically)

$\Theta \left(\overline{z}\right)=\frac{\overline{a}}{\overline{c}}\overline{z}+\frac{\overline{b}\overline{c}-\overline{a}\overline{d}}{{\overline{c}}^2}\cdot \overline{\ln \left(cz+d\right)}+\overline{\alpha }.$

Remark 2.3. (i) There exists a well-known classification of MTs, into three disjoint families [9] (Corresponds to the type of fixed points §2.5):

• Parabolic type, when $\sigma =4$ ;

• Elliptic type, when $\sigma \in \left[0,4\right)$ ;

• Loxodromic type, when $\sigma$ is (complex but) not in $\left[0,4\right]$ .

A particular case of the loxodromic type is the hyperbolic one, when $\sigma >4$ . A particular case of the elliptic type is the circular one, for $\sigma =0$ .

(ii) Of interest are also the MTs with all constants real numbers (this is equivalent with all constants imaginary numbers!—hence some duality).

Remark 2.4. Denote

$\mathbb{A}=\left\{\left(z,a,b,c,d\right)\in {ℂ}^5|z\ne -\frac{d}{c},ad-bc\ne 0\right\}$

and define $F:\mathbb{A}\to {ℂ}^6$ , $F\left(z,a,b,c,d\right)=\left(z,a,b,c,d,\frac{az+b}{cz+d}\right)$ . Then $F$ defines

a (parameterized) complex hypersurface in ${ℂ}^6$ , as the union of the graphs of all the Möbius transformations. It is a disjoint union of patches, each one corresponding to a special case of the classification in the previous Remark 2.7. Properties of geometric invariants of $F$ (fundamental forms, curvature(s), geodesics) can establish correspondences between families of such complex hypersurfaces and specific subsets (geometric loci) of $\mathbb{A}$ .

The image of $F$ parameterizes the set $MT\times {ℂ}^{\text{*}}$ , where $MT$ is the set of all Möbius transformations. It corresponds to a restriction of the map $G{L}_2\left(ℂ\right)\to C^{\infty }\left(ℂ\right)$ .

2.3. Towards a Lie Theory Viewpoint of Möbius Transformations

The set of Möbius transformations is a 6-dimensional real Lie group, isomorphic with the Lorentz group $SO\left(3,1\right)$ and denoted with $PGL\left(2,ℂ\right)=:G$ . We denote its Lie algebra with $L\left(G\right)$ .

2.3.1. Projective Geometry and Group

Note that $PGL\left(2,ℂ\right)$ is the same as $PS{L}_2\left(ℂ\right)$ , and the quotient map is a 2:1 covering map (see (1)):

$S{L}_2\left(ℂ\right)\to PS{L}_2\left(ℂ\right),\left[\begin{array}{ll}a\hfill & b\hfill \\ c\hfill & d\hfill \end{array}\right]\mapsto f\left(z\right)=\left(az+b\right)/\left(cz+d\right),$

which provides a convenient “handle” on Möbius transformations. Hence its Lie algebra is canonically isomorphic to $s{l}_2\left(ℂ\right)$ , the Lie algebra $s{l}_2\left(C\right)$ of $S{L}_2\left(ℂ\right)$ , of complex traceless matrices:

$s{l}_2\left(ℂ\right):A=\left[\begin{array}{ll}t\hfill & x+iy\hfill \\ x-iy\hfill & -t\hfill \end{array}\right],tr\left(A\right)=0.$ (4)

In general, the exponential map $\exp :L\left(G\right)\to G$ sends left invariant vector fields on $G$ (elements from L(G)) in points of $G$ (Möbius transformations).

Usually, one considers the following Cartan basis on $L\left(G\right)$ :

$X^{+}=\left[\begin{array}{ll}0\hfill & 1\hfill \\ 0\hfill & 0\hfill \end{array}\right],H=\left[\begin{array}{ll}1\hfill & 0\hfill \\ 0\hfill & -1\hfill \end{array}\right],X^{-}=\left[\begin{array}{ll}0\hfill & 0\hfill \\ 1\hfill & 0\hfill \end{array}\right]$ (5)

with

$\left[X^{+},X^{-}\right]=H,\left[H,X^{+}\right]=2X^{+},\left[H,X^{-}\right]=-2X^{-}.$

The complex 3-dimensional Lie algebra $L\left(G\right)$ is simple, hence semi-simple.

Remark 2.5. This is the same Lie algebra (structure constants) as for its compact form $g=s{u}_2$ with Cartan maximal abelian subalgebra $h=U\left(1\right)$ ; in other words, $s{l}_2\left(ℂ\right)$ is the complexification of $s{u}_2$ .

2.3.2. Connections with Physics

For further applications planned in subsequent work, relating the Electroweak Theory (EWT; spinors and $U{\left(1\right)}_{EM}\times SU{\left(2\right)}_L$ gauge group) with Quantum Computing framework (qubits and quantum gates), we provide a brief interpretation here, in the following two Remarks. The role of complexification mentioned here, will be documented elsewhere from the Hodge structure point of view [10].

N. B. This subsection can be skipped by the reader interested mainly in the mathematical aspects discussed in this article, as speculative and providing only suggestions for further research in Mathematical-Physics targeting EPP.

Remark 2.6. $SU\left(2\right)$ , with its fundamental representation on $ℂ\times ℂ$ (spinors $Spin\left(3\right)\cong SU\left(2\right)$ ), comes with a canonical basis in ${ℂ}^2$ of qubits $z=\left(z_1,z_2\right)$ ,${\left|z_1\right|}^2+{\left|z_2\right|}^2=1$ . The isoclinical embedding $\lambda :U\left(1\right)\to ℂ\times ℂ$ , $\lambda \left({\text{e}}^{i\theta }\right)=\left({\text{e}}^{i\theta },{\text{e}}^{-i\theta }\right)$ of $U\left(1\right)$ (EM’s gauge group) in $SU\left(2\right)$ , corresponding to the Hopf fibration $U\left(1\right)\to SU\left(2\right)\to S^2$ , provides a natural Cartan subalgebra $h=\langle H\rangle$ , having the above $H$ as a generator. Then the restriction of the adjoint action $a{d}_h:h\to End\left(g\right)$ determines uniquely $X^{\pm }$ as eigenvectors for $a{d}_H$ , with the above eigenvalues, as in the theory of Cartan of root systems, here for the Lie algebra $s{l}_2\left(ℂ\right)$ of rank 1.

Remark 2.7 Note also that the EWT distinguishes a different torus $U{\left(1\right)}_Y\cong U{\left(1\right)}_{EM}$ then our $U{\left(1\right)}_{EM}\cong U\left(1\right)$ isoclinic embedding⁴; in EWT the so called Weinberg angle $\theta \approx \pi /6$ is defined, to account for the break of symmetry corresponding to isospin representation [11] of $SU{\left(2\right)}_L$ , on u/d quark types of fractional electric charge +2/3 and −1/3⁵. We further suspect it is related to the winding number of $U\left(1\right)$ on a Hopf torus with ratio 2:1 as suggested by H. Jehle [12], idea to be investigated elsewhere.

2.4. The 2D-EM Analogy for Möbius Transformations

To clarify the heuristic use of the terms “electric” and “magnetic” in our discussion of conformal flows, we establish an explicit interpretive analogy between (3 + 1)D Electromagnetism (EM) and a simplified 2D-EM framework. This parallel is mathematically rooted in the correspondence between the polar decomposition of the conformal group $\left({ℂ}^{\times },\cdot \right)$ acting on $\left(ℂ,+\right)$ , and the Hopf fibration resulting from the adjoint representation applied to the conformal transformations $SL\left(2,ℂ\right)$ acting on the spinor space ${ℂ}^2$ . This is relevant to the emergence of Space-Time Physics from the Quantum Computing spinorial Physics, as documented in [13], beyond the mathematical correspondence between Möbius Transformations and Lorentz Transformations.

Analytically, applying Green’s Theorems to the Pölya vector field $V_f$ of a holomorphic function $f\left(z\right)$ near a zero or pole allows us to interpret the Cauchy integral period as a dual entity. It behaves simultaneously as an “electric” charge, i.e. a 2D analog to Gauss’s Theorem for flux in 3D, and a “magnetic” charge, as a 2D analogue of Stokes’ Theorem evaluating circulation around a virtual spin $z$ -axis.

Within this interpretive analogy, the divergent streamlines emanating from or sinking into a singularity represent a 2D electric field, quantified by its flux. Conversely, the conjugate vector field tangent to the orthogonal family of closed equipotential lines represents the magnetic lines of force. This is quantified by its circulation, acting as an analog to the vector potential in 3D.

Remark 2.8. This is reminiscent of a fluxon associated to the so-called Abrikosov vortices. Note that the so-called skyrmion textures [14] do not have singularities, but would be more general 3D-manifestations of the Hopf-like fibrations with different indexes, worth studying as a stand-alone topic, with perhaps some insight from our physics considerations.

To cleanly separate the rigorous mathematical statements from these heuristic physical analogies, we provide the mapping dictionary in Table 2.

Table 2. Dictionary mapping rigorous complex analysis structures to heuristic 2D-electromagnetism analogies.

An important pedagogical lesson from this analogy is that these “electric” and “magnetic” counterparts naturally emerge together. Just as the divergence and curl are inextricably linked as complementary components in the Helmholtz decomposition of a vector field, the real and imaginary parts of the complex potential inevitably couple the flux and the circulation. This mathematical necessity provides an elegant structural parallel to observations in Elementary Particle Physics, where any fundamental fermion inherently possesses both an electric charge and a magnetic moment correlated with its quantum spin.

2.5. Normal Form of a Mobius Transformation

In our case, denote $ℌ=\exp \left(X\right)$ , where $X\in s{l}_2\left(ℂ\right)$ and $ℌ\in S{l}_2\left(ℂ\right)$ . To make this correspondence explicit, it is convenient to consider the normal form $ℌ\left(k;z_1,z_2\right)$ of a Möbius transformation, as recalled below (see also [6]):

(i) In the non-parabolic case, there exist two distinct fixed points $z_1$ and $z_2$ . Denote $k=r{\text{e}}^{i\theta }$ the characteristic constant. If the two fixed points are at finite range, then

$ℌ\left(k;z_1,z_2\right)=\left[\begin{array}{cc}{z}_1-k{z}_2& \left(k-1\right)z_1{z}_2\\ 1-k& k{z}_1-z_2\end{array}\right].$

If $z_1$ is at finite range and $z_2$ at infinity, then

$ℌ\left(k;z_1,\infty \right)=\left[\begin{array}{cc}k& \left(1-k\right)z_1\\ 0& 1\end{array}\right].$

(ii) In the parabolic case, denote $z_1$ the unique fixed point, with multiplicity 2, and by $\beta$ the translation length. The characteristic constant is 1. If $z_1$ is at finite range, then

$ℌ\left(\beta ;z_1\right)=\left[\begin{array}{cc}1+\beta z_1& -\beta {\left(z_1\right)}^2\\ \beta & 1-\beta z_1\end{array}\right].$

If $z_1$ is at infinity, then

$ℌ\left(\beta ;\infty \right)=\left[\begin{array}{cc}1& \beta \\ 0& 1\end{array}\right].$

2.6. Conjugacy Classes of Möbius Transformations

It is instrumental in “reducing” a non-parabolic MT, having distinct fixed points, to an isometry relative to the canonical metric on the Riemann sphere, via the stereographic projection realizing the completed complex plane in 3D.

Definition 2.1. Given two distinct complex numbers $\left(z_1,z_2\right)$ , thought-off as fixed points, the MT $g\left(z\right)=\left(z-z_1\right)/\left(z-z_2\right)$ sends them onto the canonical antipodal pair $\left(0,\infty \right)$ is called the associated isometric reduction.

Figure 1. Conjugacy classes of Möbius transformations.

It also provides the conjugation relating the (non-parabolic) Möbius transformation $f\left(z\right)$ to a multiplier:

$f^g\left(z\right)=g\left(f\left(g^{-1}\left(z\right)\right)\right)=kz=M_k\left(z\right),g\left(z\right)=\left(z-z_1\right)/\left(z-z_2\right).$

As mentioned above, $g\left(z\right)$ “moves”/“straightens” the fixed points $z_i$ of $f$ to the canonical antipodal pair $\left(0,\infty \right)$ (non-parabolic case, with distinct fixed points: “non-ramified”).

For additional pictures of MT see [15].

Note that reversing the order associated to the fixed points amounts to swapping 0 and ∞, and trading $k$ by its inverse $1/k$ .

Then, after conjugation, $H\left(\lambda \right)=\text{diag}\left[\lambda ,\overline{\lambda }\right]$, with $k={\lambda }^2$ ; the ± ambiguity when defining $H$ is removed under projection to the corresponding MT $f\left(z\right)$ .

This “reduction” by conjugation allows to investigate the Lie Theory aspects at the level of the relevant subgroups involved:

$\left({ℂ}^{\text{*}},\cdot \right)\to G=Aut\left(S^2\right),$

The multiplicative group of (non-zero) multipliers $M_k\left(z\right)$ is maximal abelian in the group $G$ of MT $f\left(z\right)$ .

2.7. Recall on the Adjoint Action

Conjugation induces the adjoint action of $G$ on its Lie algebra $\mathfrak{g}=s{l}_2\left(ℂ\right)$ , which consists of traceless hermitean matrices (see Equation (4)):

$\begin{array}{ccc}S{L}_2\left(ℂ\right)& \stackrel{Ad}{\to }& Inn\left(S{L}_2ℂ\right)\\ {}^{exp}\uparrow & & {}^{exp}\uparrow \\ s{l}_2\left(ℂ\right)& \stackrel{ad}{\to }& End\left(s{l}_2\left(ℂ\right)\right)\end{array}$ (6)

Recall that the inner automorphisms of $SL\left(2,C\right)$ form a subgroup of index 2.

3. Lie Theory Viewpoint

In what follows we apply Lie Theory to study MT and the associated vector fields in relation with 1-parameter groups of transformations defined by Lie algebra generators.

In this way we develop the relation between MT and Lorents transformations, with hindsight to applications in Special Relativity.

3.1. The 1-Parameter Subgroup of a MT

The case of multipliers $M_k\left(z\right)$ , with diagonal matrix $H\left(\lambda \right)$ , is straight forward.

For this purpose, it is convenient to also consider the isoclinic embedding of ${ℂ}^{\text{*}}$ into $S{L}_2ℂ$ :

$j:\left({ℂ}^{\text{*}},\cdot \right)\to S{L}_2ℂ,\lambda \mapsto \text{diag}\left[\lambda ,{\lambda }^{-1}\right].$ (7)

This is typical of aiming to define a Hopf algebra structure via a coproduct, and also part of a Hodge structure in Algebraic-Geometry.

3.1.1. The Standard Flows and Its Superpositions

The Lie generator of a multiplier $M_k\left(z\right)$ is obtained by composing the Lie exponential of ${ℂ}^{\text{*}}$ with the isoclinic embedding:

$X\left(H\right)=j\left(\log \lambda \right),\log \lambda =1/2\left(r+i\theta \right).$

The 1-parameter group is $H\left(\lambda ;t\right)=H^t\left(\lambda \right)=H\left({\lambda }^t\right)$ . This is due to the fact that ${ℂ}^{\text{*}}$ is commutative.

The corresponding flow is obtained by applying the multiplier $kz$ as a conformal transformation to the standard flow by parallels as streamlines, and meridians as equipotentials.

The sources of rotation (“magnetic”, positive and negative, relative to the canonical orientation due to the complex structure), and respectively the sources of divergence (“electric”, negative for a sink), are the two standard fixed points the North and South poles, forming the standard antipodal pair $\left(0,\infty \right)$ , in this particular order (see Figure 1).

Due to commutativity of ${ℂ}^{\text{*}}$ as the subgroup of multipliers, this particular type of MT is a product of an elliptic MT (rotation/“Magnetic” Flow), and a hyperbolic MT (dilation/“Electric Flow”)⁶:

The combined (superposed) flow is loxodromic, i.e. that of a spiraling motion from one fixed point (pole) to the other, with an orientation depending on whether $\left|k\right|>1$ (South to North) or $\left|k\right|<1$ (N to S).

Note that the sources $z_1=0$ and $z_2=\infty$ have both “electric” and “magnetic” charge $q=\log r+i\theta$ .

This decomposition of the MT that are multipliers, reflects directly the direct product polar decomposition of ${ℂ}^{\text{*}}$ .

More precisely, when considering the Polya vector field interpretation, a rotation by $i$ , trades streamlines and equipotentials, yielding the other “harmonic conjugate” potential flow. Together they form a real basis for the 2D-linear flows (vector fields).

3.1.2. From Group Action to Adjoint Representation

Now, let’s conjugate and use the main property of the adjoint action for classical groups $S{L}_2\left(ℂ\right)$ (§2.7 Equation (6)):

$f\in S{L}_2\left(ℂ\right),X\in g,Ad\left(\exp \left(X\right)\right)=\text{Exp}\left(ad\left(X\right)\right)\Rightarrow Ad\left(f\right)X=fX{f}^{-1}.$

In order to better understand the main result, we need to recall the meaning of the Cartan basis, in the context of Root Systems for semi-simple Lie algebras like $s{l}_2\left(ℂ\right)$ : $H$ is the eigenvector corresponding to the $\lambda =0$ eigenvalue, while $X^{\pm }$ correspond to $\pm 1$ eigenvalues. Similarly, a general element $X\in g$ satisfies the Cayley-Hamilton equation:

$\det \left(X-\lambda Id\right)=0\iff X^2-Tr\left(X\right)X+\det \left(X\right)=0\iff X^2+\det \left(X\right)=0,$

with its two eigenvalues ${\omega }_i=\pm \sqrt{-\det \left(X\right)}$ .

Using the result from [16], we obtain the following:

Theorem 3.1. Let $G=PS{L}_2\left(ℂ\right)$ the group of Möbius transformations, with $g=s{l}_2\left(ℂ\right)$ its Lie algebra and $X\in g$ . Then:

Case 1: If $\det \left(X\right)=0$ , we have $\exp \left(X\right)=I+X$ .

Case 2: If $\det \left(X\right)\ne 0$ , we have

$\exp \left(X\right)=\frac{1}{2}{\displaystyle \sum _{i=1}^2{\text{e}}^{{\omega }_i}}\left(I+\frac{1}{{\omega }_i}X\right).$

Remark 3.1. Let $X=\left[\begin{array}{cc}p& q\\ r& -p\end{array}\right]\in s{l}_2\left(ℂ\right)$ . If $p^2+qr=0$ , then the one-parameter subgroup of $X$ is ${\rho }_X\left(t\right)=\exp \left(tX\right):ℝ\to G$ ,

${\rho }_X\left(t\right)=\left[\begin{array}{cc}1+tp& tq\\ tr& 1-tp\end{array}\right]=I+tX,$

which can be identified with the curve of Möbius transformations

$f_t\left(z\right)=\frac{\left(1+tp\right)z+tq}{trz+\left(1-tp\right)}.$ (8)

If $p^2+qr\ne 0$ , then the one-parameter subgroup of $X$ is

$\begin{array}{c}{\rho }_X\left(t\right)=\cosh \left(t\omega \right)I+\frac{\sinh \left(t\omega \right)}{\omega }X\\ =\left[\begin{array}{cc}\cosh \left(t\omega \right)+p\cdot \frac{\sinh \left(t\omega \right)}{\omega }& q\cdot \frac{\sinh \left(t\omega \right)}{\omega }\\ r\cdot \frac{\sinh \left(t\omega \right)}{\omega }& \cosh \left(t\omega \right)-p\cdot \frac{\sinh \left(t\omega \right)}{\omega }\end{array}\right],\end{array}$

which can be identified with the curve of Möbius transformations

$R\ni t\mapsto f_t\left(z\right)=\frac{\left[\cosh \left(t\omega \right)+p\cdot \frac{\sinh \left(t\omega \right)}{\omega }\right]z+q\cdot \frac{\sinh \left(t\omega \right)}{\omega }}{r\cdot \frac{\sinh \left(t\omega \right)}{\omega }\cdot z+\left[\cosh \left(t\omega \right)-p\cdot \frac{\sinh \left(t\omega \right)}{\omega }\right]}\in MT.$ (9)

Before addressing the general case of how the 1-parameter group of transformations determines the Polya vector field of a corresponding Mobius transformation (see subsection 3.3), we provide a few examples.

3.2. Examples

Consider the case of the natural basis of $s{l}_2\left(ℂ\right)$ , i.e. the matrices $X^{+}$ , $X^{-}$ and $H$ . The first two have null determinant. We apply the formulas from Remark 2.11, (ii) and we get the one-parameter subgroups:

${\rho }_{X^{+}}\left(t\right)=I+t{X}^{+}=\left[\begin{array}{cc}1& t\\ 0& 1\end{array}\right],$

${\rho }_{X^{-}}\left(t\right)=I+t{X}^{-}=\left[\begin{array}{cc}1& 0\\ t& 1\end{array}\right],$

${\rho }_H\left(t\right)=\cosh \left(t\right)I+\sinh \left(t\right)H=\left[\begin{array}{cc}\cosh \left(t\right)+\sinh \left(t\right)& 0\\ 0& \cosh \left(t\right)-\sinh \left(t\right)\end{array}\right]=\left[\begin{array}{cc}{\text{e}}^t& 0\\ 0& {\text{e}}^{-t}\end{array}\right].$

The corresponding flows of Möbius transformations are:

${\left(f_{X^{+}}\right)}_t\left(z\right)=t+z=Id\left(t+Id\left(z\right)\right)=\left(Id\circ T_t\circ Id\right)\left(z\right)\left(\text{Parabolic}\text{case}:\text{translations}\right),$

${\left(f_{X^{-}}\right)}_t\left(z\right)=\frac{z}{tz+1}=\left(S\circ T_t\circ S^{-1}\right)\left(z\right) \left(\text{Inversion/Conjugation}\right),$

where $S\left(w\right)=1/w$ is the inversion map and $T_t\left(z\right)=z+t$ . The identity map $Id\left(z\right)=z$ was introduced for reasons of symmetry. We remark that $T_1$ is the generator of (integer) translations, which, together with $S$ , generates the modular group $SL\left(2,\mathbb{Z}\right)$ . Moreover, $S$ and all maps $T_t$ generate the whole $SL\left(2,ℝ\right)$ .

On the Cartan (real) torus, we have:

${\left(f_H\right)}_t\left(z\right)={\text{e}}^{2t}z,t\in ℝ.$

Starting with the flows of functions $f_{X^{+}}$ , $f_{X^{-}}$ and $f_H$ , we can associate the families (“flows”) of Polya vector fields, parameterized by $t\in ℝ$ :

$V_{f_{X^{+}}}^t=\left(t+x\right){\partial }_x-y{\partial }_y,$

$V_{f_{X^{-}}}^t=\frac{t\left(x^2+y^2\right)+x}{{\left(tx+1\right)}^2+t^2{y}^2}\cdot {\partial }_x-\frac{y}{{\left(tx+1\right)}^2+t^2{y}^2}\cdot {\partial }_y,$

$V_{f_H}^t={\text{e}}^{2t}x{\partial }_x-{\text{e}}^{2t}y{\partial }_y.$

The complex potentials for these Polya vector fields write, respectively, as:

$\left(\frac{x^2-y^2}{2}+tx\right)+i\left(xy+ty\right),$

$\left[\frac{x}{t}-\frac{1}{2t^2}\text{ln}\left({\left(tx+1\right)}^2+t^2{y}^2\right)\right]+i\left[\frac{y}{t}-\frac{1}{t^2}\text{arctan}\left(\frac{ty}{tx+1}\right)\right]$

and

$\frac{1}{2}{\text{e}}^{2t}\left(x^2-y^2+2ixy\right).$

Remark 3.2. (i) We can reinterpret these formulas in terms of the isoclinic embedding of ${ℂ}^{*}$ , Equation (7), corresponding to the Cartan torus, and in terms of the Cartan Root System basis $\left\{H,X^{\pm }\right\}$ .

These basis elements (eigenvectors) are canonical representatives of the conjugacy classes of MT which are dilations along the meridians, from “South Pole” 0 towards the “North Pole” $\infty$ , or rotations about the axis through the canonical two fixed antipodal points, along the parallels §2.6.

Exponentiation of their superposition $X=\alpha H+{\beta }_{+}{X}^{+}+{\beta }_{-}{X}^{-}$ yields loxodromic transformations, and providing a visual interpretation of the classification of MT in terms of multiplier, conform §2.5. This general case is treated in § 3.3.

(ii) The action of the Möbius group on ${\mathbb{P}}^1ℂ$ , maps the basis of $sl\left(2,ℂ\right)$ given by $X^{+}$ , $X^{-}$ and $H$ into the basis of the 3D Witt subalgebra ${\tilde{X}}^{+}$ , ${\tilde{X}}^{-}$ and $\tilde{H}$ , where

${\tilde{X}}^{+}=\frac{\text{d}}{\text{d}z},{\tilde{X}}^{-}=-z^2\frac{\text{d}}{\text{d}z},\tilde{H}=2z\frac{\text{d}}{\text{d}z}.$

Since we do not consider the full Dolbeault complex, with $\partial /\partial z,\partial /\partial \overline{z}$ the two corresponding Wirtinger derivatives [17], we will use the simpler notation $\text{d}/\text{d}z={\partial }_z$ instead. The trajectories of ${\tilde{X}}^{+}$ are horizontal lines pointing left/right relative to the axis $Oy$ , as in Figure 3. The trajectories of $\tilde{H}$ suggest a monopole singular at the origin, with radial outward directed jet, as in Figure 4. The trajectories of ${\tilde{X}}^{-}$ suggest instead a dipole centered in the origin, with both inward and outward directed jets, as in Figure 2.

Figure 2. Trajectories of ${\tilde{X}}^{-}$ .

The vector field $\alpha \left(z\right)\frac{\text{d}}{\text{d}z}$ , via the Remark 2.2., writes

$\alpha \left(z\right)\frac{\text{d}}{\text{d}z}=\frac{1}{2}{P}_{\alpha }+\frac{i}{2}{U}_{\alpha }.$

In particular, we obtain:

${\tilde{X}}^{+}=\frac{1}{2}{\partial }_x-\frac{i}{2}{\partial }_y,{\tilde{X}}^{-}=\left[\frac{1}{2}\left(y^2-x^2\right){\partial }_x-xy{\partial }_y\right]-\left[xy{\partial }_x+\frac{1}{2}\left(y^2-x^2\right){\partial }_y\right]i,$

$\tilde{H}=\left(x{\partial }_x+y{\partial }_y\right)+\left(y{\partial }_x-x{\partial }_y\right)i.$

The double of their real parts provides the Polya vector fields of the following functions, respectively:

${\tilde{f}}^{+}\left(x,y\right)=\left(1,0\right),{\tilde{f}}^{-}\left(x,y\right)=\left(y^2-x^2,2xy\right),{\tilde{f}}^H\left(x,y\right)=\left(2x,-2y\right).$

We got three interesting anti-holomorphic functions:

• The image of the first one is the fixed point $\left(1,0\right)$ ; we may write it as ${\tilde{f}}^{+}\left(z\right)={\overline{z}}^0$ .

• The second function re-writes as ${\tilde{f}}^{-}\left(z\right)=-{\overline{z}}^2$ ; it is a special function, with important geometric, analytic and physical roles.

• The third function is the double of the complex conjugation ${\tilde{f}}^H\left(z\right)=2\overline{z}$ .

(We have here another reason why it is better to extend Polya vector fields theory from the holomorphic to the complex framework.)

It is also noteworthy that the road from the complex functions associated to ${\tilde{X}}^{+}$ , ${\tilde{X}}^{-}$ , $\tilde{H}$ , toward the complex functions ${\tilde{f}}^{+}$ , ${\tilde{f}}^{-}$ and ${\tilde{f}}^H$ was made by complex conjugation.

(iii) The action of $SL\left(2,ℂ\right)$ on $ℂ\times ℂ$ maps the basis of $sl\left(2,ℂ\right)$ given by $X^{+}$ , $X^{-}$ and $H$ into ${\widehat{X}}^{+}$ , ${\widehat{X}}^{-}$ and $\widehat{H}$ , where

${\widehat{X}}^{+}=z_1\cdot \frac{\partial }{\partial z_2},{\widehat{X}}^{-}=z_2\cdot \frac{\partial }{\partial z_1},\widehat{H}=z_1\cdot \frac{\partial }{\partial z_1}-z_2\cdot \frac{\partial }{\partial z_2}.$

The trajectories of ${\widehat{X}}^{+}$ are complex lines in ${ℂ}^2$ given by the flow ${\dot{z}}_1=0$ and ${\dot{z}}_2=z_1$ , resulting in a shear transformation parallel to the $z_2$ axis:

$z_1\left(t\right)=z_1\left(0\right),z_2\left(t\right)=z_2\left(0\right)+t{z}_1\left(0\right).$

The trajectories of $\widehat{H}$ are the complex hyperbolas given by:

$z_1\left(t\right)=z_1\left(0\right){\text{e}}^t,z_2\left(t\right)=z_2\left(0\right){\text{e}}^{-t}.$

This flow preserves the product $z_1{z}_2$ , representing a hyperbolic scaling that leaves the origin invariant.

The trajectories of ${\widehat{X}}^{-}$ are the complex lines corresponding to the dual shear transformation, parameterized as:

$z_1\left(t\right)=z_1\left(0\right)+t{z}_2\left(0\right),z_2\left(t\right)=z_2\left(0\right).$

Projective Action on the Riemann Sphere:

When projecting these flows from the fundamental representation in ${ℂ}^2$ down to the Riemann sphere ${\mathbb{P}}^1ℂ$ (via the affine coordinate $z=z_1/z_2$ ), we recover the Witt algebra generators ${\tilde{X}}^{+}$ , ${\tilde{X}}^{-}$ , and $\tilde{H}$ from part (ii). Their geometric trajectories describe the 1-parameter groups of Möbius transformations:

• Translations (${\tilde{X}}^{+}$ ): The trajectories in the complex plane form a family of parallel horizontal lines. On the Riemann sphere, these lines compactify into mutually tangent circles that intersect exclusively at a single degenerate node: the North Pole $z=\infty$ (See Figure 3).

Figure 3. Trajectories of ${\tilde{X}}^{+}$ (translations): A uniform horizontal flow in the complex plane.

Figure 4. Trajectories of $\tilde{H}$ (dilations): A radial flow representing a hyperbolic scaling from the origin.

• Dilations ($\tilde{H}$ ): The trajectories in the complex plane form rays extending radially from the origin (Figure 4). On the Riemann sphere, these correspond to meridians acting as loxodromes flowing from the South Pole (the source at $z=0$ ) directly to the North Pole (the sink at $z=\infty$ ).

• Special Conformal Transformations (${\tilde{X}}^{-}$ ): The trajectories in the complex plane form a family of circles that all pass through the origin and are tangent to the real axis (Figure 5). On the Riemann sphere, this defines a dipole field whose inward and outward trajectories all meet at the South Pole ($z=0$ ). This is the exact dual to ${\tilde{X}}^{+}$ via the inversion map $S\left(z\right)=1/z$ .

Note the notation distinguishes between spinorial action of $SL\left(2,C\right)$ on the spinor space $ℂ\times ℂ$ , e.g. $\widehat{H}$ , versus the corresponding extension of the action on the Riemann sphere, e.g. $\tilde{H}$ .

Figure 5. Trajectories of ${\tilde{X}}^{-}$ (special conformal): A dipole field with streamlines forming circles tangent to the real axis at the origin.

Remark 3.3. Needham’s book [7] is famous for these exact visualizations. Chapter 11 contains beautifully illustrated Polya vector fields on the Riemann Sphere, explicitly showing the dipole flow, source/sinks, and translations mapped to the sphere.

The reader is also invited to consult [18]; this is a widely cited paper and has an accompanying YouTube video. It explicitly visualizes how the 2D plane flows of translations, dilations and rotations, map onto the Riemann Sphere via the stereographic projection.

3.3. From $\mathfrak{s}\mathfrak{l}\left(2,ℂ\right)$ to Pólya Vector Fields: The General Case

We return to the general setting from Theorem 3.1 and Remark 3.1. Let $X=\left[\begin{array}{cc}p& q\\ r& -p\end{array}\right]\in \mathfrak{s}{\mathfrak{l}}_2\left(ℂ\right)$ and let $\omega$ be one of the (complex) roots of the characteristic equation $z^2+\det X=0$ .

To explicitly link the Lie-algebraic computation to the geometric flow picture, we provide the following derivation map. This conceptual pipeline demonstrates how the exponential formulas rigorously generate the associated Pólya vector fields:

1) Lie Algebra Generator (Infinitesimal): We begin with a specific conformal generator $X\in \mathfrak{s}{\mathfrak{l}}_2\left(ℂ\right)$ .

2) Exponentiation (Matrix Dynamics): We compute the 1-parameter subgroup ${\rho }_X\left(t\right)=\text{exp}\left(tX\right)\in S{L}_2\left(ℂ\right)$ . Theorem 3.1 yields the exact, closed-form algebraic expressions for these matrices depending on whether $\det X$ is zero or non-zero.

3) Projective Action (Kinematic Flow): We project the matrix subgroup ${\rho }_X\left(t\right)$ onto the Riemann sphere via the standard Möbius group quotient action. This yields the time-dependent macroscopic conformal flows $f_t\left(z\right)$ explicitly parameterized in equations (8) and (9).

4) Pólya Vector Field (Geometric Flow): Finally, we apply our Analytic-to-Dynamic Dictionary (Table 1) to $f_t\left(z\right)$ . By extracting the real and imaginary parts of the flow $f_t\left(z\right)$ , we analytically construct the precise Pólya vector field $V_{f_t}=\mathrm{Re}\left(f_t\right){\partial }_x-\mathrm{Im}\left(f_t\right){\partial }_y$ , defining the physical trajectories (streamlines and equipotentials) on the plane.

Executing this pipeline via direct calculation proves the following three results.

Proposition 3.1. With the previous notations, consider $V_{f_t}$ the family of integral lines (the “flow”) of Pólya vector fields associated with $f_t$ ⁷. Then:

(i) if $\det X=0$ , we have

$\begin{array}{c}{V}_{f_t}=\left(\frac{tr\left(1+tp\right)\left(x^2+y^2\right)+\left[1-t^2\left(p^2-qr\right)\right]x+tq\left(1-tp\right)}{{\left(trx+1-tp\right)}^2+t^2{r}^2{y}^2}\right){\partial }_x\\ -\left(\frac{\left[1-t^2\left(p^2+qr\right)\right]y}{{\left(trx+1-tp\right)}^2+t^2{r}^2{y}^2}\right){\partial }_y\end{array}$ (10)

(ii) if $\det X\ne 0$ , we have

$\begin{array}{c}{V}_{f_t}=\frac{\left(rSC+pr{S}^2\right)\left(x^2+y^2\right)+\left[C^2-S^2\left(p^2-qr\right)\right]x+\left(qSC-pq{S}^2\right)}{{\left(rSx+C-pS\right)}^2+r^2{S}^2{y}^2}{\partial }_x\\ -\frac{\left[C^2-S^2\left(p^2+qr\right)\right]y}{{\left(rSx+C-pS\right)}^2+r^2{S}^2{y}^2}{\partial }_y\end{array}$ (11)

where $C:=\text{cosh}\left(t\omega \right)$ and $S:=\frac{\text{sinh}\left(t\omega \right)}{\omega }$ .

Proposition 3.2. With the previous notations, consider $\tilde{X}$ the image of $X$ via the action of the Möbius group on $ℂ$ . Then:

$\tilde{X}=\left(-r{z}^2+2pz+q\right)\frac{\partial }{\partial z},$ (12)

or, equivalently, expanded into real and imaginary components (where $p=p_1+i{p}_2$ , $q=q_1+i{q}_2$ , $r=r_1+i{r}_2$ ):

$\tilde{X}=\text{Re}\left(\tilde{X}\right)+\text{Im}\left(\tilde{X}\right)i,$(13)

where

$\begin{array}{c}\text{Re}\left(\tilde{X}\right)=\frac{1}{2}\left[q_1+2p_{1}x-2p_{2}y-r_1\left(x^2-y^2\right)+2r_{2}xy\right]\frac{\partial }{\partial x}\\ +\frac{1}{2}\left[q_2+2p_{2}x+2p_{1}y-r_2\left(x^2-y^2\right)-2r_{1}xy\right]\frac{\partial }{\partial y},\end{array}$

$\begin{array}{c}\text{Im}\left(\tilde{X}\right)=\frac{1}{2}\left[q_2+2p_{2}x+2p_{1}y-r_2\left(x^2-y^2\right)-2r_{1}xy\right]\frac{\partial }{\partial x}-\\ -\frac{1}{2}\left[q_1+2p_{1}x-2p_{2}y-r_1\left(x^2-y^2\right)+2r_{2}xy\right]\frac{\partial }{\partial y}.\end{array}$

Proposition 3.3. With the previous notations, consider $\tilde{f}$ the Polya vector field associated to the double of the real part of $\tilde{X}$ . Then:

$\tilde{f}\left(z\right)=-\overline{r}{\overline{z}}^2+2\overline{p}\overline{z}+\overline{q},$(14)

or, equivalently,

$\begin{array}{c}\tilde{f}\left(x,y\right)=\left[q_1+2p_{1}x-2p_{2}y-r_1\left(x^2-y^2\right)+2r_{2}xy\right]\\ -i\left[q_2+2p_{2}x+2p_{1}y-r_2\left(x^2-y^2\right)-2r_{1}xy\right].\end{array}$(15)

In particular, assuming $r,p,q\in ℝ$ for this specific real reduction, we have:

$\tilde{f}\left(x,y\right)=\left(-r{x}^2+r{y}^2+2px+q\right)+i\left(2rxy-2py\right).$ (16)

Remark 3.4. One may consider the 1-parameter family $f_t$ as a canonical deformation typical of Lie Theory, and focus on the function $f\left(z\right)=f_1\left(z\right)$ and its corresponding static formulas to evaluate the flow at a specific evolutionary state.

4. Conclusions and Future Outlook

In this expository article, we have analyzed Möbius transformations by unifying the Klein geometric perspective with the Pólya vector field interpretation. By employing Hamiltonian dynamics and Lie Theory, these viewpoints complement the purely abstract algebraic classification of their structures.

4.1. Rigorous Mathematical Synthesis

Mathematically, our approach explicitly links conformal geometry to symplectic geometry. The normal forms, conjugacy classes, and one-parameter subgroups of $SL\left(2,ℂ\right)$ map directly onto the irrotational and solenoidal vector fields in the complex plane. Furthermore, interpreting the complex numbers via the Cayley-Dickson doubling construction—rather than exclusively as a simple field extension $ℝ\left[i\right]$ —provides a natural algebraic scaffolding that extends beyond complex numbers to higher-dimensional division algebras, such as quaternions, octonions, and sedonions [3].

4.2. Heuristic Physics Applications and Further Developments

While the mathematical correspondences established here are rigorous, they serve as a structural foundation for several heuristic physical theories and analogies. For instance, the exact correspondence between complex and symplectic structures exemplifies one of “Arnold’s trinities”, providing a local kinematic analog for broader theoretical frameworks like the AdS/CFT correspondence.

To clearly demarcate our established mathematical hierarchy from its speculative applications in physics, specifically within the Standard Model and Gauge Theories [19]-[22], we summarize the conceptual territory in Table 3. This map highlights both the formal mathematical structures and their anticipated physical correlates, separating established algebraic and geometric facts from their corresponding physical kinematics.

Table 3. Conceptual map distinguishing the rigorous algebraic and geometric structures from their corresponding heuristic physical applications.

The pedagogical value of this exposition lies in establishing precise connections between mathematical disciplines that are traditionally isolated in specialized courses. This fits within a larger picture relating Classical Physics and Quantum Physics [4]. The natural next step in this research program is to apply these exact Lie-theoretic and dynamical ideas to the double of the quaternions—the sedonions—and investigate their rigorous mathematical relationship to the 3rd Hopf fibration, thereby laying a formal groundwork for subsequent physics applications [3] [4]. Note also that this direction is being actively considered by other researchers, including [23].

Author Contributions

The research reported in this article is the result of an extensive collaboration of the first two authors, with contributions from the third author, which were essential for the computational aspects contained in the present article.

Appendix. On Cayley-Dickson Doubling Construction

It is well known that the Cayley-Dickson (doubling) Construction (CDC) $\mathcal{D}\left(A\right)$ of an algebra with involution $A$ yields also the complex numbers, as an alternative viewpoint to the traditional field extension with Galois Theory within Abstract Algebra, besides its role of defining the quaternions, octonions, sedonions etc.

It is important to distinguish between the double of $ℂ$ , denoted here $Sp=\mathcal{D}\left(ℂ\right)$ , as spinors related, from Hamilton’s quaternions $ℍ=\left\{t+xi+yj+zk\right\}$ , since the later is in fact obtained via the adjoint representation of the former, associated to the fundamental representation of $SU\left(2\right)$ :

$SU\left(2\right)=Au{t}_R\left(\mathcal{D}\left(ℂ\right)\right)\stackrel{ad}{\mapsto }0\to \left(ℝ,\cdot \right)\to \left(ℍ,\cdot \right)\to \left({ℝ}^3,\times \right)\to 0.$

The right hand side is a Lie algebra central extension, as the “infinitesimal” (tangent space) version of conjugation $Ad$ , hence related to the infinitesimal deformation of the algebraic structure at hand, which is achieved by the Cayley-Dickson construction.

Reinterpreted this way yields additional insight into the rich structures of quaternions, octonions and sedonions, with deep implications to their use in Physics.

Mirror Symmetry is another direction of research, where the role of the Cayley-Dickson doubling Construction, yielding the “accidental” Lagrangian structure mentioned in the introduction, is important, as explained in a recent presentation by the first author [24].

The reader is invited to explore this research direction [4], seemingly not present in the current literature.

NOTES

¹It is well known the productive collaboration of these two influential mathematicians, loc. cit.

²The consequence of these isomorphisms and shift of perspective from algebraic to geometric, is a Lagrangian structure that we called it “accidental” in §1.2, but essential to the Kahler triangle structure.

³Comments from the reader are welcomed!

⁴All Cartan tori are conjugate.

⁵Here the term “electric” is used to refer to sources of divergence, which for analytic maps localize topologically at zeros and poles. When considering the orthogonal family of equipotential lines, these singularities can be viewed as sources of magnetic field lines, with a corresponding associated circulation.

⁶The 2D-EM analogy is further detailed in §2.4.

⁷We use $V_{f_t}$ to avoid the more cumbersome notation $V_{f_t}^t$ .

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References