复双曲空间中测地球面上的Sasakian磁流
Measuring Sasakian Magnetic Flow on Earth Surface in Complex Hyperbolic Space
DOI: 10.12677/ORF.2023.133201, PDF, HTML, XML, 下载: 242  浏览: 372 
作者: 王江丽, 石青松:贵州大学数学与统计学院,贵州 贵阳
关键词: Sasakian磁场Legendre轨道共轭复双曲空间Sasakian Magnetic Field Legender Orbit Conjugation Complex Hyperbolic Space
摘要: 在复双曲空间中的每个测地球上都有由几乎接触度量结构引起的Sasakian磁场。在本文中研究了复双曲空间中测地球上的一种特殊的Sasakian磁流即Legendre轨道流,它是带电粒子在测地球上的Sasakian磁场作用下沿着与特征向量场正交方向运动所获得的受限磁流。本文主要研究了复双曲空间中测地球上的Legendre轨道流与Legendre测地流彼此光滑共轭。
Abstract: In the complex hyperbolic space, there are Sasakian magnetic fields caused by the almost contact metric structure on every measuring earth. In this paper, a special Sasakian magnetic flow, Legendre orbital flow, is studied on the measuring Earth in the complex hyperbolic space. It is the limited magnetic flow obtained by the charged particles moving in the direction orthogonal to the eigenvector field under the Sasakian magnetic field on the measured earth. This paper mainly studies that the Legendre orbital flow and Legendre geodesic flow on Earth in complex hyperbolic space are smooth conjugate to each other.
文章引用:王江丽, 石青松. 复双曲空间中测地球面上的Sasakian磁流[J]. 运筹与模糊学, 2023, 13(3): 2018-2023. https://doi.org/10.12677/ORF.2023.133201

1. 引言

( M ˜ , J , , ) 是具有复结构J的Kähler流形,在复双曲空间中的每个测地球上都有由复结构J诱导的几乎接触度量结构 ( φ , ξ , η , , ) 。由此结构可诱导正则闭2-形 F ϕ ,利用 F ϕ 可定义测地球上的Sasakian磁场即 F k = k F ϕ 。类似测地线诱导测地流一样,可从带电粒子在磁场作用下的运动轨道中诱导单位切丛上的磁流,定义与Sasakian磁场有关的流为 F k φ t ( v ) = γ ˙ u ( t ) v U M ,其中 γ u 代表 F k 的法向轨道且满足 γ ˙ u ( 0 ) = v ,以弧长为参数的曲线 γ 如果满足微分方程 γ ˙ γ ˙ = k ϕ γ ˙ ,则 γ 称为Sasakian磁场的轨道。当磁力 k = 0 时,Sasakian磁场的轨道方程变为 γ ˙ γ ˙ = 0 ,此时轨道即为测地线。所以轨道是测地线的推广概念。在研究Sasakian流形时显然想到通过考察轨道的性质来反映Sasakian流形的形状及几何构造。

本文主要是研究复双曲空间中测地球上两个磁流之间的关系,运用坐标变换的形式将Legendre轨道流表示为复欧式空间的子集的矩阵,然后利用矩阵的性质刻画Legendre轨道流与Legendre测地流之间的关系。对于磁流的研究,在文献 [1] 中T Adachi在复空间形中的A型实超曲面上对Kähler磁场上的一般轨道进行了研究。得到了 C P n ( c ) 中的单位切丛上的磁流彼此平滑一致, C H n ( c ) 中的单位切丛上的磁流被分成三个一致类。因为Sasakian流形是Kähler流形的奇维类似物,所以本文受到了文献 [1] 中研究Kähler磁场中Kähler磁流的启发,研究了Sasakian磁场中的Sasakian磁流。因为Sasakian磁场的轨道受力不均匀,所以相对来说Sasakian磁场轨道的研究比较繁琐。对于Sasakian磁场轨道的研究,在文献 [2] 中Maeda和T Adachi研究了A形超曲面上的所有测地线并对其闭合性进行了研究。在文献 [3] 中J.L. Cabrerizo,M. Fernandez & J.S. Gomez研究了三维Sasakian流形上的轨道及其闭合性。在文献 [4] 中S.L. Druta-Romaniuc,J. Inoguchi,M.I. Munteanu和A.I. Nistor研究了n维Sasakian流形上的轨道并以Frenet公式的观点证明了它们的性质。他们研究的都是一般的轨道,本文中研究的是与特征向量场 ξ 正交方向的Legendre轨道。并在此基础上考察了复双曲空间中测地球上Legendre轨道流与Legendre测地流两者之间的关系。此工作可以让我们对测地球这种特殊的流形有了一个大致的了解,而且进一步完善了实超曲面的理论体系。

2. 预备知识

在研究之前,先给出本文需要用到的相关定义、定理、引理。既然是研究Sasakian流形中Sasakian磁场的轨道,则现在先给出Sasakian流形的定义。

定义1 ( [5] ): ( M ˜ , J , , ) 是具有复结构J的Kähler流形,M是Kähler流形的实超曲面,在M上对任意的切向量 v , w T p M , p M ,由复结构J诱导的接触度量结构 ( ϕ , ξ , η , , ) 满足 ϕ 2 v = v + η ( v ) ξ ϕ ( ξ ) = 0 η ( ξ ) = 1 ϕ v , ϕ w = v , w η ( v ) η ( w ) 时,此流形称为contact度量流形,这里的 ϕ , ξ , η , , 分别是张量场,向量场,一阶形式和黎曼度量。进一步,当接触度量结构满足 ( v ϕ ) w = v , w ξ η ( w ) v 时,contact度量流形称为Sasakian流形。

定义2: M ˜ 是完备的黎曼流形,设 p M ˜ , δ > 0 ,使得指数映射 exp p 在开球 B p ( δ ) = { v T p M ; | v | < δ } 上有定义,令 B p ( δ ) = exp p ( B p ( δ ) ) = { q M ; p , q 线 r , 使 L ( r ) < δ } ,称 B p ( δ ) 为在 M ˜ 中以 p 为中心, δ 为半径的测地球。

为了后续研究Legendre轨道的方程,这里引进外在形状,复扭转以及d阶螺旋的定义。

定义3 ( [3] ):对于黎曼流形 M ˜ 中子流形 M 上的光滑曲线 γ ,将其视为黎曼流形 M ˜ 中的曲线 γ ^ ,称 γ ^ γ M ˜ 中的外在形状, τ i j = Y i , J Y j γ 的复扭转。

所以为了研究 M 上的曲线,很自然的想法是通过研究 γ M ˜ 中的外在形状 γ ^

定义4 ( [3] ):以弧长为参数的光滑曲线 γ 称为d阶螺旋,如果有沿着 γ 的单位正交向量场 Y 1 = γ ˙ Y 2 Y d 和测地曲率 k 1 , , k d 1 满足方程 γ ˙ Y j = k j 1 Y j 1 + k j Y j + 1 ( j = 1 , , d ) ,其中 k 0 = k d 0 Y 0 = Y d + 1 = 0

因为Sasakian磁场作用在轨道上的力不均匀,为了测量作用在轨道上的力,对其结构扭进行定义。

定义5 ( [6] ): γ 的结构扭转定义为 ρ γ ( t ) = η ( γ ˙ ( t ) ) ,当 ρ γ = ± 1 时,它是测地线, ρ γ = 0 时,为Legendre轨道。

˜ 分别是 M ˜ M 的协变微分,有Gauss和Weingarten公式 ˜ X Y = X Y + A X , Y N ˜ X N = A N ,其中 X , Y M 的切向量场,A是与N对应的形状算子,有 X ξ = ϕ A X ,对结构扭转求微分有( [7] )

ρ γ = γ ˙ γ ˙ , ξ = k ϕ γ ˙ , ξ + γ ˙ , ϕ A γ ˙ = 1 2 γ ˙ , ( ϕ A A ϕ ) γ ˙

因此,从此式可以发现,沿 γ 的结构扭转一般来说不是常数。而本文研究对象是复双曲空间中的测地球,它可被看作是Sasakian空间形的一种特殊的流形( [8] ),此流形上的形状算子 ϕ 和特征向量 ξ 可以同时对角化。所以对于测地球上Sasakian磁场的任何轨道其结构扭转都为常数,正如测地线诱导测地流一样,测地球上Sasakian磁场的Legendre轨道诱导了Legendre轨道流( [9] ), F k 0 φ t : U 0 B p ( δ ) U 0 B p ( δ ) 这里 B p ( δ ) 表示半径为 δ 的测地球。

为了研究复双曲空间中测地球上的Legendre轨道,现在给出一些基本符号。

H 1 2 n + 1 = { z C n + 1 | z , z = 1 } = { z C n + 1 | z = 1 } ,用单位圆 S 1 = { λ C | | λ | = 1 } 作用在 H 1 2 n + 1 上即 λ z = λ z = ( λ z 0 , λ z 1 , , λ z n ) C H n 表示 H 1 2 n + 1 的商空间 H 1 2 n + 1 / S 1 ,称为n维复双曲空间,取复空间 C n + 1 上的埃尔米特形 , ,定义为 z , w = z 0 w ¯ 0 + z 1 w ¯ 1 + + z n w ¯ n ,这里 z = ( z 0 , z 1 , , z n ) , w = ( w 0 , w 1 , , w n ) C n + 1 ,定义anti-de Sitter空间的映射为 ϖ : H 1 2 n + 1 C H n ( 4 ) ,anti-de Sitter空间在z处的切空间定义为 T z H 1 2 n + 1 = { ( z , u ) { z } × C n + 1 | Re z , u = 0 } 现在将其分解为与映射 ϖ 有关的水平和垂直的子空间即 T z H 1 2 n + 1 = H Z V Z 其中

H Z = { ( z , u ) T z H 1 2 n + 1 | z , u = 0 } , V Z = { ( z , 1 a z ) T z H 1 2 n + 1 | a R } ,

C H n ( 4 ) 中的测地球 B = B p ( δ ) 它的逆映射定义为 B ^ = ϖ 1 ( B p ( δ ) ) 切空间定义为 T z B ^ ,定义丛 T 0 B = { v T B | v ξ } 的水平抬升为 T 0 B ^ = { v T B ^ | v ξ ^ }

在给出Legendre轨道的显示表达式之前先介绍几个重要的引理。

¯ , ˜ 分别为 C n + 1 H 1 2 n + 1 上的黎曼连接, N = N ( z ) = ( z , z ) T z H 1 2 n + 1 为单位法向量,则 ¯ , ˜ C H n ( 4 ) 上的黎曼连接 之间的关系如下:

引理1 ( [1] ):1) 对于 H 1 2 n + 1 C n + 1 上的任意向量场 X , Y ,有 ˜ X Y = ¯ X Y X , Y N

2) 对于 H 1 2 n + 1 上的任意水平向量场 X , Y ,将其视为 C H n ( 4 ) 上的向量场, X Y = ˜ X Y + X , J Y J N

证明:1) 因为 Y , N = 0 ¯ X N = X ,所以有 ¯ X Y , N = ¯ X Y , N + Y , ¯ X N = 0

2) 同理 X Y = ˜ X Y ˜ X Y , J N J N , J N J N = ˜ X Y + ˜ X Y , J N J N ,因为 Y , J N = 0 ,可发现

˜ X Y , J N = ˜ X Y , J N + Y , ˜ X J N = ˜ X Y , J N + Y , ¯ X J N X , J N N = ˜ X Y , J N + Y , J ¯ X N = ˜ X Y , J N X , J Y

引理2 ( [5] ):设 γ C H n ( c ) 中测地球上Sasakian磁场 F k 的Legendre轨道, γ 位于某个完全测地线 M 2 ( c ; C ) 上,它在 C H n ( c ) 里的外在形状是具有测地曲率为 k 1 = k 2 + λ 2 k 2 = | k | λ / k 2 + λ 2 k 3 = λ 2 / k 2 + λ 2 和复扭转为 τ 12 = τ 34 = k / k 2 + λ 2 τ 13 = τ 24 = 0 τ 14 = τ 23 = sgn ( k ) λ / k 2 + λ 2 的4阶Killing螺旋,当 k = 0 时,它的外在形状是 M n ( c ; C ) 里具有测地曲率为 k 1 = λ 和复扭转为 τ 12 = 0 的圆证明:由高斯与Weingarten公式还有 X ξ = ϕ A X 可得

˜ γ ˙ γ ˙ = k φ γ ˙ + λ N = k J γ ˙ + λ N

˜ γ ˙ { k J γ ˙ + λ N } = k J ˜ γ ˙ γ ˙ λ A γ ˙ = ( k + 2 λ 2 ) γ ˙ k λ ξ

˜ γ ˙ ξ = λ J γ ˙ = k λ k + 2 λ 2 ( k J γ ˙ + λ N ) + λ 2 k + 2 λ 2 ( λ J γ ˙ k N )

所以当 k = 0 时, γ 的外在形状是具有测地曲率为 λ 的圆,它的Frenet标架为 { γ ˙ , N } ,它位于某个常截面曲率为 c / 4 的完全测地实空间形 M 2 ( c / 4 ; R ) 上,当 k 0 ,可看到 k 1 = k 2 + λ 2 k 2 = | k | λ / k 1

k 3 = λ 2 / k 1 是正数,设 Y 2 = 1 k 1 ( k J γ ˙ + λ N ) Y 3 = sgn ( k ) ξ Y 4 = sgn ( k ) k 1 ( λ J γ ˙ k N ) 其中 sgn ( k ) 表示k的

符号,所以有 ˜ γ ˙ γ ˙ = k 1 Y 2 ˜ γ ˙ Y 2 = k 1 γ ˙ + k 2 Y 3 ˜ γ ˙ Y 3 = k 2 Y 2 + k 3 Y 4 ˜ γ ˙ Y 4 = k 3 Y 3 ,因此可发现 γ 的外在形状是4阶螺旋,且位于某个完全测地 M 2 ( c ; C ) 上。

3. Sasakian磁场的Legendre轨道方程

在本节主要是通过引理1和引理2给出 C H n ( 4 ) 中测地球上的Legendre轨道方程的显示表达式。设 γ C H n ( 4 ) 中测地球上Sasakian磁场的Legendre轨道,由引理1中黎曼连接的关系有 ¯ X Y = X Y X , J ¯ Y J ¯ N ¯ + X , Y N ¯ N ¯ H 1 2 n + 1 上的单位外法向量,且 N ¯ , N ¯ = 1 J ¯ C n + 1 上的复结构,对轨道 γ 进行水平抬升 γ ^ H 1 2 n + 1 并将其视为 C n + 1 中的曲线。由黎曼连接的关系和引理2,知 γ ^ 满足

{ ¯ γ ^ ˙ γ ^ ˙ = k 2 + cot 2 r Y 2 γ ^ , ¯ γ ^ ˙ Y 2 = k 2 + cot 2 r γ ^ ˙ + | k | cot r k 2 + cot 2 r Y 3 k k 2 + cot 2 r J ¯ γ ^ ,

这里 Y 2 , Y 3 是由引理2导出的水平向量场,因此可知 γ ^ 满足常微分方程

γ ^ i k γ ^ + ( cot 2 r 1 ) γ ^ = 0

解此微分方程有

γ ^ ( t ) = A exp ( 1 ( k + k 2 + ( 4 / sinh 2 r ) ) t / 2 ) + B exp ( 1 ( k k 2 + ( 4 / sinh 2 r ) ) t / 2 ) + C

A , B , C C n + 1 ,考虑初值条件 γ ^ ( 0 ) = z B ^ C n + 1 γ ^ ˙ ( 0 ) = ( z , v ) { z } × C n + 1 N ϖ ( z ) = ( z , u ) { z } × C n + 1 ,则

A , B , C C n + 1 有如下形式

A = sinh r 2 k 2 sinh 2 r + 4 { ( k sinh r k 2 sinh 2 r + 4 ) ( sinh r z + cosh r u ) 2 i v } ,

B = sinh r 2 k 2 sinh 2 r + 4 { ( k sinh r + k 2 sinh 2 r + 4 ) ( sinh r z + cosh r u ) + 2 i v } ,

C = cosh 2 r z + ( sinh r cosh r ) u .

接下来在第四节中研究 U 0 B p ( δ ) 上的Legendre磁流。

4. Sasakian磁流

本节证明了复双曲空间中测地球上Sasakian磁场 F k 的Legendre轨道流与Legendre测地流是彼此光滑一致的,现在给出本文的主要定理。

定理1:设 B p ( δ ) 是复双曲空间中半径为 δ 的测地球,则Sasakian磁场 F k 的Legendre轨道流 F k 0 φ t 与Legendre测地流 φ t 0 彼此光滑共轭,即存在微分同胚 f k 使得

F k 0 φ t = f k 1 φ k 2 sinh 2 r + 4 t / 2 0 f k

证明:一般来说我们只关注 c = 4 这种情况,首先注意到在 U C H n ( 4 ) 上的Legendre测地流 φ t 可以用矩阵表示为

φ t ( d π ( z u ) ) = d π ( A 0 ( t ) ( z u ) ) ,

其中

A 0 ( t ) = ( cos t sinh r I sin t sinh r I sin t sinh r I cos t sinh r I ) M a t ( 2 ( n + 1 ) ; C ) ,

这里 ( z u ) 表示 ( z u ) 的转置, I M a t ( n + 1 , C ) 表示单位矩阵,定义 A k ( t ) M a t ( 2 ( n + 1 ) , C ) ,定义两个函数

G ( t ) = cos 1 2 k 2 + 4 sinh 2 r t , H ( t ) = sin 1 2 k 2 + 4 sinh 2 r t ,

A k ( t ) = G ( t ) ( I O O I ) + H ( t ) sinh r k 2 sinh 2 r + 4 t ( k i I 2 I 2 I k i I )

这里 O M a t ( n + 1 , C ) 表示零矩阵,因为Sasakian磁场的Legendre轨道流 F k 0 φ t 可以表示为

F k 0 φ t ( d π ( z u ) ) = d π ( e i k t / 2 A k ( t ) ( z u ) ) = d π ( A k ( t ) ( z u ) ) ,

I n 表示 n × n 阶单位矩阵

设矩阵 P k ( t ) = ( p 11 ( k ) I n p 12 ( k ) I n p 21 ( k ) I n p 22 ( k ) I n ) 其中 P 11 ( k ) , P 12 ( k ) , P 21 ( k ) , P 22 ( k ) 向量取值如下

P 11 ( k ) = ( 2 i / 4 + ( k 2 sinh 2 r + 4 + k sinh r ) 2 ) , P 12 ( k ) = ( 2 i / 4 + ( k 2 sinh 2 r + 4 k sinh r ) 2 ) , P 21 ( k ) = ( k 2 sinh 2 r + 4 + k sinh r / 4 + ( k 2 sinh 2 r + 4 + k sinh r ) 2 ) , P 22 ( k ) = ( k 2 sinh 2 r + 4 k sinh r / 4 + ( k 2 sinh 2 r + 4 k sinh r ) 2 ) ,

得到 P k 1 A k ( t ) P k = ( G k + i H k O O G k i H k )

所以有 Q k 1 A k ( t ) Q k = A 0 ( k 2 sinh 2 r + 4 t / 2 ) Q k = P k P 0 1 由于 A 0 ( t ) 对应于复双曲空间中Legendre测地流 φ t Q k 作用于水平子束 H Z 上且与 S 1 f i b e r 作用可交换,所以它在 U C H n ( 4 ) 上诱导了一个微分同胚映射 f k 使得

F k 0 φ t = f k 1 φ k 2 sinh 2 r + 4 t / 2 0 f k

5. 总结

本文是通过建立Sasakian磁场与Kähler磁场之间的对应关系,利用代数方法实现在复双曲空间中测地球面上Sasakian磁场中建立Legendre轨道流与Legendre测地流之间的合同关系。通过本文的研究不仅完善了实超曲面的理论体系,并且为下一步研究四元Kähler流形中的实超曲面提供了新的思路。

参考文献

[1] Adachi, T. (1995) Kähler Magnetic Flows on a Manifold of Constant Holomorphic Sectional Curvature. Tokyo Journal of Mathematics, 18, 473-483.
https://doi.org/10.3836/tjm/1270043477
[2] Adachi, T. and Maeda, S. (2020) Length Spectrum of Complete Simply Connected Sasakian Space Forms. Differential Geometry and its Ap-plications, 70, Article No. 101625.
https://doi.org/10.1016/j.difgeo.2020.101625
[3] Cabrerizo, J.L., Fer-nandez, M. and Gomez, J.S. (2009) The Contact Magnetic Flow in 3D Sasakian Manifolds. Journal of Physics A: Mathematical and Theoretical, 42, 195-201.
https://doi.org/10.1088/1751-8113/42/19/195201
[4] Dru-ta-Romaniuc, S.L., Inoguchi, J., Munteanun, M.I. and Nistor, A.I. (2015) Magnetic Curves in Sasakian Manifolds. Journal of Nonlinear Mathematical Physics, 22, 428-447.
https://doi.org/10.1080/14029251.2015.1079426
[5] Adachi, T. (2008) Trajectories on Geodesic Sphere in a Non-Flat Complex Space Form. Journal of Geometry, 90, 1-29.
https://doi.org/10.1007/s00022-008-1941-3
[6] Sunada, T. (1993) Magnetic Flows on a Riemann Surface. Proceedings of KAIST Math, Workshop, 8, 93-108.
[7] 丘成桐, 孙理察. 微分几何讲义[M]. 北京: 高等教育出版社, 2004.
[8] Ikawa, O. (2004) Motion of Electric Charged Particles in Homogeneous Kähler Manifolds and Homogeneous Sasakian Manifolds. Far East Journal of Mathematical Sciences, 14, 283-302.
[9] Bao, T. and Adachi, T. (2009) Circlular Trajectories on Real Hypersurfaces in a Nonflat Complex Space Form. Journal of Geometry, 96, 41-55.
https://doi.org/10.1007/s00022-010-0032-4