Stoilow Factorization of the Heisenberg Group
Автор: Dorokhin D.K.
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 3 т.27, 2025 года.
Бесплатный доступ
In this article we study the properties of quasiconformal mappings on the Heisenberg group H1 and consider the definition of quasiconformal mappings in terms of the Beltrami equation. In particular, we obtain an explicit expression for the Beltrami coefficient for the composition of two quasiconformal mappings and we prove an analogue of the Stoilow factorization theorem on the plane. Namely, if the Beltrami coefficients of two quasiconformal mappings are equal almost everywhere, then there exists a conformal mapping such that by acting on one of the given quasiconformal mappings from the left, we obtain another given mapping. As an application of these results on the Heisenberg group H1 we compute the Beltrami coefficients of some quasiconformal mappings and we prove a theorem on the images of quasi–Brownian motions. In specific examples we demonstrate the invariance of the Beltrami coefficient under the action of the composition of a conformal function on the corresponding left mapping. Using the Stoilow factorization on the Heisenberg group, we show that if two quasi–Brownian motions have the corresponding Beltrami coefficients equal almost everywhere, then their trajectories are equivalent only if the conformal map in the Stoilov factorization is a map obtained from a composition of translations, rotations and dilations.
Heisenberg group, Stoilow factorization, quasiconformal mappings, Beltrami system, Brownian motion
Короткий адрес: https://sciup.org/143184860
IDR: 143184860 | УДК: 517 | DOI: 10.46698/o8833-7719-4418-f
Текст научной статьи Stoilow Factorization of the Heisenberg Group
It is known, see, for example, [1], that WiOc-homeomorphism f : Q ^ Q', Q, Q' C C, is K -quasiconformal if and only if, when f (z) = ^f (z) a. e. z G Q, (1)
∂z ∂z where д = ^(z) (the Beltrami coefficient) is a bounded measurable function satisfying
„ „ . K - 1 , ^ д ^ м C < 1
K +1
The equation (1) is called the Beltrami equation . Next theorem characterizes all solutions of the Beltrami equation.
-
# The work was supported by the Russian Science Foundation, project № 24-21-00319. © 2025 Dorokhin, D. K.
Theorem 1 (Stoilow Factorization). Let a homeomorphism f (z) E Wo2 be a solution of the Beltrami equation (1) and |^(z)| C k < 1- Also let g(z) E W12 be any other solution of the Beltrami equation (1). Then there exists a holomorphic function Ф : Q‘ ^ C such that
g(z) = Ф(f (z)), z E Q- (2)
Conversely, if Ф is holomorphic on Q‘, then the composition Ф о f is W102-solution of the equation (1) on Q.
Initially, S. Stoilow in the paper [2] showed that if there is a continuous, open mapping f between two Riemann surfaces S and S ′ for which the preimage of any point is a totally disconnected set, then there exists the Riemann surface S and a homeomorphism h : S ^ S such that f о h -1 : S ^ S ‘ is a holomorphic mapping. Theorem has significant generalizations in 2D analysis: every open and discrete map h is topologically equivalent to some analytic function, so h = ^ о f , where f is some homeomorphism, ^ is some holomorphic function (mapping h : Q ^ C is called discrete, if set h - 1 (w) is discrete for every w E C). Y. G. Reshetnyak proved [3] that every mappings with bounded distortion are open and discrete; on the other hand, the quasiconformal mappings are homeomorphic mapping with bounded distortion.
The Beltrami equation has importance for isometrical coordinates on the 2-dimensional manifolds and also in the calculus of variations in minimizing the energy functional for homeomorphisms acted from a unit disk to defined domain [1].
Quasiconformal maps on non-Riemannian structures were first considered by G. D. Mostov because of the classification of metric spaces of constant negative curvature [4]. To prove the rigidity theorem, G. D. Mostow needed quasiconformal transformations of the ideal boundary of some symmetric space [5]. M. L. Gromov, using the Gromov–Hausdorff convergence, proved [6– 8] that the geometry of such an ideal boundary is modeled by a nilpotent group with the Carnot–Caratheodory metric. This was one of the incentives for studying quasiconformal maps on the Carnot groups and more general Carnot spaces [8, 9]. In the paper [10] P. Pansu introduced the concept of differentiability of mappings “in terms” of the Carnot–Caratheodory metric ( P -differentiability). Using the concept of P -differentiability, A. Koranyi and H. M. Reimann [11] systematized analytical methods for studying mappings on the Heisenberg groups H n , assuming a priori P -differentiability of mappings almost everywhere. The analytical apparatus that allows one to develop the theory of quasiconformal mappings on the Carnot groups under minimal assumptions was developed by S. K. Vodopyanov and his students, see [12–16]. A. Koranyi and H. M. Reimann [11, 17] showed that on the Heisenberg groups quasiconformal mappings can be defined in terms of systems of differential equations similar to the classical Beltrami equations on the plane. It should be noted separately that in the Euclidean case the Beltrami equations exist only in dimension 2; on the Heisenberg groups H n an analogue of the Beltrami equation exists in all dimensions [11, 17]. For strictly pseudoconvex hypersurfaces the theory of the Beltrami equations was constructed in [18].
In our paper, we proved an analogue of the Stoilow factorization theorem on the first Heisenberg group H1 (Theorem 4). Our proof is based on the use of a formula for the Beltrami coefficient of a composition of quasiconformal mappings and an analogue of the Liouville theorem proved by D. V. Isangulova in the paper [19]. To do this, we derive the notation forms of the corresponding differential operators from the composition of quasiconformal mappings (Lemma 1), using which we calculate the corresponding Beltrami coefficient for compositions of quasiconformal mappings (Lemma 2). The last section of the paper is devoted to the following problem: let two quasiconformal mappings with a common Beltrami coefficient be given; will the images of the corresponding Brownian motions then be equivalent, that is, will these processes be expressed through each other by means of a time change (preserve their tra jectories)? We have proven the following
Theorem 2. Let N t and M t be quasi-Brownian motions on the Heisenberg group H 1 with corresponding quasiconformal maps f and g whose Beltrami coefficients are equal almost everywhere. Then, if the map g о f - 1 is a composition of dilations, rotations, and translations on the Heisenberg group H 1 , then there exists a time change a(t) such that almost surely N t = M a ( t ) .
2. Basic Definitions and Known Theorems
The first Heisenberg group H 1 [11, 17, 19, 20] defined in the standard Euclidean space R 3 with the coordinate system (x,y,t) induced by the coordinate frame (O,e i ,e 2 ,e 3 ) , using the following table of commutators
\ [e i ,e 2 ] = - 4е з ,
([е 1 ,е з ] = [е 2 ,е з ] = 0.
Using the Baker–Campbell–Hausdorff formula and the table (3), we obtain an analytical expression of the left translation of w i * W 2 an arbitrary element W 2 = (x 2 ,y 2 ,t 2 ) G H 1 and an other arbitrary element w i = (x i ,y i ,t i ) G H a :
w i * W 2 = (x i + X 2 , y i + У 2 , t i + t 2 - 2x i y 2 + 2y i X 2 ).
Using (4), we obtain expressions for the basis of left-invariant vector fields (the Jacobi basis [20]) of the Lie algebra V of the group H 1 at each point (x,y,t) :
-
∂∂
2x dt, T = at'
X = T + 2У^, Y = F
∂x ∂t ∂y
Left-invariant vector fields X, Y are horizontal. We denote by V 1 the tangent bundle induced by horizontal vector fields X, Y . We have V = V i ® V 2 , where V 2 as tangent subbundle, induced “vertical” field T [11, 20].
We will also use the representation of the Heisenberg group. H 1 as (z,t) G C x R [11, 17]. Then the group operation is defined as
(z i ,t i ) * (Z 2 ,t2) = (z i + Z 2 , t i + t 2 - 2Im(z i • Z 2 )) ,
where z i = x i + iy i , Z 2 = X 2 + iy 2 .
Action is a one-parameter stretching group b s : H 1 ^ H 1 , s > 0 , set by the law 8 s (z, t) = ssz, s2^.
Homogeneous norm [17] (the Koranyi norm) p(z,t) = ( | z | 4 +1 2 ) 1 / 4 sets the metric on H 1 : P (( z i >t i )> (z 2 ,t 2 ) = P (( z 2 ,t 2 ) - i * (z i ,t i)) .
Definition 1 [19]. Let Q C H 1 be an open set. Sobolev space W 1,q (Q) , where 1 < q < от , consists of locally integrable functions f : Q ^ R, having weak derivatives Xf and Yf , with norm
Ilfllw 1,q(Q) = IlfIIl«(Q) + ll^hf \\lq(q) < от, where Vhf = (Xf, Yf) is a horizontal gradient. We will denote f G W^cq(^), if f € W1,q(U) for any open set U such that U C Q.
Definition 2 [19, 20]. A mapping f : Q ^ H 1 belongs to W l^c q (Q, H 1 ) , if f G L q (Q, H 1 ) and the satisfies:
-
(A) for any w G H a function [f] w : x G Q H P(f (x),w) belongs to W lOc q (Q) ;
-
(B) a family of functions V h [f] w has a majority belongs to L qo^ Q).
Recall that the differential 1-form т sets the contact structure on a (2n + 1)-dimensional manifold, if т Л (dT)n = 0. On the Heisenberg group H1 the contact structure is determined by the form т = 2xdy — 2ydx + dt. (6)
We have ker т = V 1 .
Definition 3 [17]. A diffeomorphism f : U ^ U‘, U,U‘ C H1, will be called a contact map if it preserves the contact structure, that is f *т = Хт,
where Х = 0 is some function.
Condition (7) can be written in the following equivalent form
( —2f 2 Xf 1 + 2f\Xf 2 + Xf 3 = 0, (8)
I - 2f 2 Yf 1 +2f 1 Yf 2 + Yf 3 = 0.
Mapping of the Sobolev space f : U ^ U ‘ , U, U ‘ C H 1 are weak contact, that is, the conditions (8) are fulfilled for them almost everywhere (see, for example, [19]).
For mappings f = (f 1 ,f 2 ,f 3 ) : Q ^ H 1 of the Sobolev space W^ c q (Q, H 1 ) we define the formal horizontal differential D h f as a matrix
D f = (Xf 1 Yf 1 }
D h f XXYf2) •
It follows from general facts, see, for example, [21], that the horizontal differential D h f generates a linear mapping Df : V ^ V , called a formal differential, which is a homomorphism preserving the grading of the Lie algebra V . The determinant of the matrix Df ( x ) will be called the formal Jacobian of the mapping f and denoted by J f (x) .
Definition 4 [19, Definition 1]. The homeomorphism f : Q ^ H 1 defined on an open set Q C H, is a quasiconformal mapping if f G W i0c4 (Q; H 1 ) , and there is a constant K ^ 1 , such that the inequality
W D h f (x) ^ 4 < KJ f (x) (9)
for almost any x G Q . Consider the following vector fields
Z = 1(X — iY ) and Z = | (X + iY ). (10)
Definition 5 [11, Definition 2]. The homeomorphism f = (f 1 , f 2 , f'3) : Q ^ H 1 is defined on an open set Q C H 1 , is a quasiconformal mapping, if f is absolutely continuous, P -dif-ferentiable almost everywhere, preserves orientation and almost everywhere on Q satisfies the Beltrami equation
Zf i = ^Zf i ,
Zf ii = pZfu,
where f i = f i + if 2 and f ii = f s + i | f i | 2 , p is some measurable function, such that ||^ W M < 1 .
These two definitions of a quasiconformal mappping are equivalent, see [11, 21].
We have [22]
Dhf = f f , h Zf I Zf I
W D h f W = | Zf i | + | Zf i | ,
Zf I Zf I
J f = det I Zf Zf \ 0 0
0 _ I = (| Zf i | 2 - | Zf i | 2 ) 2 . | Zf i | 2 -| Zf i |7
Remark 1. If the Beltrami coefficient of the quasiconformal mapping f is zero almost everywhere, then almost everywhere it holds Zf i = 0 . Then the inequality (9) has the form
| Zf i | 4 c K i Zf i l 4 .
This is true for all K ^ 1 , i. e. f is a 1 -quasiconformal (conformal) mapping.
Theorem 3 [19, p. 326] . Any (not necessarily orientation-preserving) 1-quasiconformal map on the Heisenberg group H 1 is represented as a composition of the following type of mappings:
(1) Left translation na(x) = a * x, a G H;
(2) Dilation Ss(x) = (sz,s21), s > 0;
(3) Rotation фа(х) = (егаz,t), a G R;
(4) Inversion j(x) = Izi2z-—t, p-^;
(5) Reflection i(x) = (z,t).
3. Stoilow Factorization on the Heisenberg Group H1
Lemma 1. Let Q, Q ' , Q '' be domains of H 1 , g : Q ^ Q ' and h : Q ' ^ Q '' are quasiconformal mappings. Then
z (h i 0 g) = (Zh i 0 g)Zg i + ( Zh i ◦ g)Zg i ,
Z (h i 0 g) = (Zh i 0 g)Zg i + ( Zh i 0 g^Zg i .
⊳ We have
z (h i ° g) = 2 ( x - iY)(h i ° д') = 2 ( [ x (h i ° g) + y (h x ° g)] + i [ x (h x ° g) - y (h i ° g)] )
h i x ° g)g i x +(h i y ° g)g x x +(h i t ° g)g 3 x +2y ((h i x
° 9)9 i t +(h i y ° g^g x 1 +(h i t ° g)g 3 1)]
+ [(h 2 x ° 9)9 1 y + (h 2 y ° g)g 2 y + (h 2 t ° g)g 3 y - 2x ( hh 2x ° g)g i t + (h x y ° g)g 2 1 + (h x t ° g)g 3 1)] + i [(h 2 x ° g)g i x + (h x y ° g^ x x + (h x 1 ° g^ x +2y (hh2x ° g)g i t +(h 2 y ° g)g 2 t +(h 2 t ° g"^)] - i [ (h i x ° g)g i y +(h i y ° g)g x y +(h i t ° g)g 3 y - 2x ( (h i x ° g)g i t +(h i y ° g)g x t +(h i t ° g)g 3 t )]
= -[combine them g ix + 2yg it and g iy — 2xg it into Xg i and Yg i , accordingly, for all i = 1,2, 3} = 2 [ (h i x ° g)Xg i +(h i y ° g)Xg x +(h i t ° g)Xg 3 ] + [ (h x x ° g)Yg i +(h x y ° g)Yg x +(h x t ° g)Yg3] + i (h x 2 x° g)Xg i + (h x y ° g)Xg x + (h x t ° g)Xg3] — i(h i x °° g)Yg i + (h i y ° g)Yg x + (h i t ° g)Yg3\ = { by the condition of contact, we will Xg 3 and Yg 3 ^ = 2 ([ (Xh i ° g)Xg i + (Yh i ° g)Xg x ] + [ (Xh x ° g)Yg i + (Yh x ° g)Yg x] + i [ (Xh x ° g)Xg i + (Yh x ° g)Xg x ] — i [ (Xh i ° g)Yg i + (Yh i ° g)Yg x ] = 2 ([ (Xh i ° g)Xg i + (Yh i ° g)Xg x ] — i [ (Xh i ° g)Yg i + (Yh i ° g)Yg x ]) = (Xh i ° g)Zg i + (Yh i ° g)Zg x = (( Z + Z ) h i ° g ) Zg i — i (( Z — Z )) h i ° g^Zg x = (Zh i ° g)Zg i + ( Zh i ° g ) Zg i .
Similarly:
Z(h i ° g) = 2 (X + iY)(h i ° g) = ^ ([ X(h i ° g) — Y(h x ° g) ] + i [ X(h x ° g) + Y(h i ° g) ]) = (Zh i ° g)Zg i + (Zhi ° g^Zg i . >
Lemma 2. Let f : Q ^ Qi and g : Q ^ Qx be quasiconformal mappings on the Heisnberg groups H1 with Beltrami coefficients µf and µg , accordingly. Then the composition f ° g i : Qx ^ Qi is an quasiconformal mapping with the Beltrami coefficient
Zg i h f — h g h f O g-1 ° g = = • i-----—
.
Zgi 1 — h f h g
< A mapping f ° g i is quasiconformal (see, for example, [11]). Let h = f ° g i , then f i = h i ° g . Using the Lemma 1 to Zf i and Zf i , we get
Zf i = (Zh i ° g)Zg i + (Zh i ° g)Zg i ,
Then
Zf i = (Zh i ° g)Zg i + ZZhi ° g)Zg i .
Zf i Zg i — Zf i Zg i
Zhi ° q = ---=----=----- ,
Zg i Zg i — Zg i Z^
From here we find h h ° g
— ZfZg i — Zf i Zg i
Zhi ° g =--=----=----- .
Zg^g i — ZgZg i
h h ° g = —
ZfiZg i — ZfZg i ZfiZg i 1
Zf i Zg i — Zf i Zg i = Zg i h f — h g
—
µ f µ g
Zg i 1 — h f h g
.
Note that 1 — g f g g = 0 almost everywhere, see Definition 5. The product Zf i Zg is also non-zero almost everywhere. Indeed, if Zf i = 0 , then using the Beltrami equation for f , we get that Zf i = 0 , from which J f = 0 , see Remark 1. However, J f =0 is almost everywhere [21, Theorem 4]. Thus, Zf i =0 is almost everywhere. Similar arguments work for Zg I . ⊲
As a result, we obtain the expression for the Beltrami coefficient of the inverse mapping (in the Lemma 2, we need to put f (x) = x ):
^ g -i о g =
—
Zg I
-7- • ^ g • Zg I
Theorem 4. Let f : Q ^ Qi and g : Q ^ Q2 be quasiconformal mappings on the Heisenberg group H1 with the Beltrami coefficients µf and µg accordingly. The following conditions are equivalent:
-
(1) gf = gg almost everythere on Q;
-
(2) There is an quasiconformal mapping h : Q2 ^ Qi so that f = h о g.
<1 (1) ^ (2) By the Lemma 2, we consider mappings with almost everywhere equal the Beltrami coefficients. We obtain that the Beltrami coefficient of the function h = f о g — 1 is zero and, therefore, h is a conformal function such that f = h о g , see Remark 1.
(2) ^ (1) Let f о g1 = h. Then by the Lemma 2 we get
ZgI
0 = gfeg-10g = ^
ZgI
gf—gg
1 —gfgg •
4. Examples
4.1. Invariance of the Beltrami coefficient with respect to the conformal mapping. Now we check that the composition from the left to the conformal mapping does not change the Beltrami coefficient of the mapping. Consider the functions g = (tz,t3/3), h = j оg = (3z/(3t|z|2 — it2), —3/(9t|z|4 +13)), where j is the inverse of the Heisenberg group.
Therefore, g f = g g almost everywhere. >
To demonstrate the results obtained, let us consider a number of examples.
Now µ g :
ZgI izz
g g = Zg l = - t •
We check that µ g and µ h are equal almost everywhere:
— — 9 tzz + i 3 zz (3 |z| 2 — 2 it )
_ Zh i _ (3 t|z| 2 —it 2 ) 2
g h = Zhi = 9 t|z| 2 — 3 it 2 — 9 tzz—i 3 zz (3 |z| 2 — 2 it )
I (3 t|z| 2 —it 2 ) 2
— 3tzz + izz(3 | z | 2 — 2it)
—izz(3|z| 2 + it) izz
-----------—--------:-------- —--— . (t + i|z| 2 )(3|z| 2 + it) t + i|z| 2
— it2 — izz(3 | z | 2 — 2it)
-
4.2. The Beltrami coefficient for the inverse function. We show how the Beltrami coefficient for the inverse mapping is expressed in terms of the Beltrami coefficient of the original mapping. Consider the mappings h = (tz, t 3 /3) and h — 1 = (z/ 3/3t, 3/3t ) . Now g h and µ h -1
-
4.3. The Beltrami coefficient of the composition of the mappings. Now we show how the Beltrami coefficient for the composition of mappings can be expressed in terms of the Beltrami coefficients of the original mappings. Consider the mappings h = (2z + z, 3t) , g = (tz,t3/3) and g - 1 = (z/(3t) 1 / 3 , (3t) 1 / 3 ) . Now P h , P g and Pg- i
Zhi izz Zh—1 izz gh = Zhi = — t + i|z|2 , gh-1 = Zh—1 = 3t — i|z|2 •
On the other hand, by the Lemma 2
µ h - 1 |
Z (h 1 i ) Z Zhi \ i-1 t+ + izz izz \ 1 izz Z (h - 1 i ) \Zh I Ph) \t — izz t + i \ z \ 2 J 3t — i \ z \ 2 ’ |
Zhi 1 Zgi izz Zgi 1 izz
^ h = Zhi = 2 , P g = Zg | = — t + i | z | 2 , P g -1 = Zg - 1 = 3t - i | z | 2 ’
Consider the Beltrami coefficient for f = h о g = (2tz + tz, — t3) :
Zfi t — iz(2z + z)
Pf Zfi 2t + iz(2z + z)
By the Lemma 2,
_ Z(hi о g) _ / Zg-Z(hi о g) Zg-T
P h P g 1 \ ((3t) 3 (3t) 3
1 - P h P g-1) \(3t) - 3 +(3t) - 3
• i zz
• izz
1 izz
2 ~ 3 t-i|z| 2
1 izz
L ■ 2 3 t + i|z| 2
)
◦ g
A
3t — izz
3t + izz
3 t-i\z\ 2 - 2 izz 3 t-ilzl 2 6 t +2 i|z| 2 + i zz 3 t + i|z| 2
)
= t3 — it2|z|2 — 2it2zz g 2t3 + 2it2\z\2 + it2 zz
t — iz(2z + z) 2t + iz(2z + z)
5. Quasi-Brownian Motion on the Heisenberg Group H1
The property of conformal invariance of the Brownian motion is known: on the plane, the conformal image of the Brownian motion is the Brownian motion with modified time, and in R n this is possible only if the mapping is a harmonic morphism [23] (see also [24]). A similar result for mappings on the Heisenberg group H 1 was obtained in [25]. Then the question of describing random processes invariant with respect to quasiconformal mappings of the Heisenberg group is of interest. On the plane, such processes are described in the dissertation [26].
Definition 6 [27]. Let X t and Y t be independent standard one-dimensional Brownian motions, and S t = 2 ft(Y s dXs — X s dY s ) . The random process M t = (X t , Y t , S t ) will be called the horizontal Brownian motion in the Heisenberg group H 1 .
Definition 7. The process A t will be called the quasi-Brownian motion on the Heisenberg group H 1 if there exists a quasiconformal mapping f such that f(A t ) is the horizontal Brownian motion.
-
⊳ Proof of Theorem 2. By the definition of the quasi-Brownian motion
g(N ) = (g о f-1)(Bt), where Bt is the Brownian motion on the Heisenberg group. By Theorem 4.1 of [25] the mapping g of-1 will preserve the trajectories of the Brownian motion if and only if g of-1 is a harmonic morphism on the Heisenberg group, that is, if it is a composition of dilations, rotations, or translations. Note that by Theorem 4 the mapping g о f-1 is conformal and orientationpreserving. Then we get that (g о f-1)(Bt) = Ba(t), where Ba(t) is another independent of Bt Brownian motion with changed time a(t) and Nt = Ma(t). >
Acknowledgement. The author expresses his deep gratitude to S. K. Vodopyanov, D. V. Isan-gulova, N. A. Evseev for attention to the author’s results and help.