复双曲空间中测地管道上的Sasakian磁流
The Sasakian Magnetic Flow on the Geodesic Pipelinesin the Complex Hyperbolic Space
DOI: 10.12677/PM.2023.139277, PDF, HTML, XML, 下载: 193  浏览: 261 
作者: 王江丽, 石青松:贵州大学数学与统计学院,贵州 贵阳
关键词: Sasakian磁场轨道结构扭转复双曲空间Sasakian Magnetic Field Orbit Structural Torsion Complex Hyperbolic Space
摘要: 在复双曲空间中的测地管道上,有由结构张量诱导的Sasakian磁场。带电粒子在Sasakian磁场中运动会产生具有零结构扭转的轨道。本文研究了它们在测地管道上单位切丛上的磁流,并证明了它们是彼此光滑一致的。
Abstract: In the geodesic pipeline in the complex hyperbolic space, there is a Sasakian magnetic field induced by the structural tensor, and the charged particles move in the Sasakian magnetic field to produce an orbit with zero structural torsion. In this paper, we study their magnetic flows on the geodesic pipeline and show that they are smooth and consistent with each other.
文章引用:王江丽, 石青松. 复双曲空间中测地管道上的Sasakian磁流[J]. 理论数学, 2023, 13(9): 2697-2703. https://doi.org/10.12677/PM.2023.139277

1. 引言

在复双曲空间中的每个测地管道上都有无数个由环境空间上的复结构诱导的几乎接触度量结构,利用这种结构诱导的正则闭2-形,可以定义这个测地管道上的磁场,称为Sasakian磁场或接触磁场。正如测地线给出的测地流一样,带电粒子在磁场作用下的轨道中获得了单位切丛上的磁流。即磁场的轨道在单位切丛上诱导动力系统,为了描述这个动力系统的一些几何性质,本文考虑了具有零结构扭转的轨道并进一步将其限制在复双曲空间中的测地管道上研究了两个磁流之间的关系。在文献 [1] 中T Adachi研究了单位带电粒子在Kähler磁场作用下形成轨道的性质,得出了Kähler磁流的性质依赖于磁力的大小。由于Kähler流形是实偶数维的,所以找出一些实奇数维流形上的自然磁场并阐明它们的一些性质是一项有趣的研究。鉴于此本文选择了Kähler流形的实超曲面和一个由Kähler形式在环境空间上诱导的Sasakian 磁场。

为了研究奇数维流形上的磁场,在文献 [2] 中Ikawa选择了一类齐次几乎Sasakian流形,并对其接触度量结构诱导的磁场进行了开创性的研究。在文献 [3] 中Maeda和T Adachi研究A形超曲面上的所有测地线并对其闭合性进行了研究。在文献 [4] 中T Adachi等人研究了非平坦复空间形的A型实超曲面上Sasakian磁场的轨道,得到了轨道为圆形的情况。它们研究的对象都是一般的轨道,本文是在Kähler流形的实超曲面上针对具有零结构扭转的轨道进行研究并且进一步研究了两种磁流之间的关系。本文主要是以复双曲空间中的测地管道作为载体去研究具有零结构扭转的轨道,因为通过复双曲空间中的测地管道可以实现Sasakian空间形,所以本文的想法是按照复空间形中研究Kähler磁场轨道的方法在管道上考察Sasakian磁场的轨道,由于复双曲空间中的测地管道是具有恒定结构扭转的流形,它可以看作是Sasakian空间形的一类特殊流形,所以借助此类流形去研究具有零结构扭转的轨道具有十分重要的意义。通过本文的研究不仅可以提供关于复空间形上阶为4的Killing螺旋的模空间的信息而且进一步完善了奇数维流形的理论体系,同时也为下一步研究四元Kähler流形提供了新的思路。

2. Sasakian磁场

定义1 ( [5] ): ( M ˜ , 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流形。

在Sasakian流形上有自然的闭二形 F ϕ ,满足式子 F ϕ ( u , v ) = v , ϕ v ,其中 u , v T p M ,在 p M

引理1:Kähler流形中的实超曲面上的正则2形式 F ϕ 是闭2形

证明:通过直接计算有

( X F ϕ ) ( Y , Z ) = X ( F ϕ ( Y , Z ) ) F ϕ ( X Y , Z ) F ϕ ( Y , X Z ) = X Y , ϕ Z X Y , ϕ Z Y , ϕ X Z = Y , ( X ϕ ) Z = η ( Z ) A X , Y η ( Y ) A X , Z

( d F ϕ ) ( X , Y , Z ) = ( X F ϕ ) ( Y , Z ) ( Y F ϕ ) ( X , Z ) ( Z F ϕ ) ( X , Y ) = 0

证毕

所以由引理1说明了Kähler流形中的实超曲面上的正则2形式是磁场,所以定义 F k = k F ϕ 为Sasakian磁场,在Sasakian流形上,以弧长为参数的曲线 γ 满足 γ ˙ γ ˙ = k ϕ γ ˙ 时称为Sasakian磁场 F k 的轨道,这与Kähler磁场的轨道方程很类似,即如果 γ ˜ 满足式子 γ ˜ ˙ γ ˜ ˙ = k J γ ˜ ˙ 则称 γ ˜ 为Kähler磁场 k B J 的轨道( [6] ),有 J γ ˜ ˙ = 1 γ ˜ ˙ ( J γ ˜ ˙ ) = k γ ˜ ˙ 可知Kähler磁场的轨道受力均匀,Sasakian磁场 F k 的轨道满足式子 ϕ γ ˙ = 1 η ( γ ˙ ) 2 ,可知Sasakian磁场 F k 的轨道不一定是圆,因为由式子 γ ˙ γ ˙ = | k | 1 γ ˙ , ξ 2 可知 F k 的力不一定是均匀的。所以研究实超曲面上正则磁场的轨道并不容易。为了测量Sasakian流形中实超曲面上 F k 作用在其轨迹 γ 上的力,定义 γ 的结构扭转为 ρ γ = γ ˙ , ξ ,角度 cos 1 ρ γ 称为 γ 的接触角,当 ρ γ = ± 1 时,它是测地线, ρ γ = 0 时,称轨道 γ 是具有零结构扭转的轨道,注意到沿着 γ 的结构扭转通常不是常数,所有由 ϕ v , w = v , ϕ w 可求得其微分如下

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

显然通常而言沿轨道 γ 的结构扭转不是常数。因此为了研究零结构扭转轨道的性质,下面引进引理2。

引理2 ( [7] ): F k 是Kähler流形的测地管道上的Sasakian磁场,则所有轨道都具有恒定的结构扭转,当且仅当形状算子A和结构张量 ϕ 可同时对角化。

由引理2可知为了研究复双曲空间中给定测地管道上的两个磁流之间的关系,因此借助测地管道为载体进一步研究其上两个磁流的关系。因为测地管道可被看作是Sasakian空间形的一种特殊的流形,其上的形状算子和特征向量可以同时对角化。所以对于测地管道上Sasakian磁场的任何轨道其结构扭转都为常数。

为了研究复双曲空间中测地管道上的具有零结构扭转的轨道,现在给出一些基本符号( [8] )。

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 = T ( r ) 它的逆映射定义为 B ^ = ϖ 1 ( T ( r ) ) 切空间定义为 T z B ^ ,定义切丛 T 0 B = { v T B | v ξ } 的水平抬升为 T 0 B ^ = { v T B ^ | v ξ ^ }

3. 测地管道

半径为r的围绕全测地线 M n 1 ( c ; C ) 周围的管道 T ( r ) 称为测地管道,它是A1型其中r满足 r < π / c ,注意当 c > 0 时,在 C P n ( c ) 中围绕在 C P n 1 ( c ) 的管道与测地球一致,A型超曲面要么是A1型要么是A0型否则为A2型,而A1或A0型又称作 ϕ -截面曲率为常数K的单连通完备Sasakian空间形,A型超曲面是Hopf超曲面,其形状算子与特征张量可同时对角化,所以由引理2可知测地管道是研究Sasakian磁场最自然的超曲面,在测地管道上Sasakian 磁场中所有的轨道都具有恒定的结构扭转,所以研究结构扭转是一个非常重要的特征( [8] )。

测地管道上带电粒子在Sasakian磁场作用下会形成无数条轨道,为了研究它们之间的关系引进引理3。

引理3 ( [9] ): γ i 是复双曲空间形中测地管道上的正则磁场 F k i 的轨道,两个轨道 γ i 彼此一致当且仅当以下条件成立。

| ρ γ 1 | = | ρ γ 2 | = 1

ρ γ 1 = ρ γ 2 = 0 | k 1 | = | k 2 |

0 < | ρ γ 1 | = | ρ γ 2 | < 1 k 1 ρ γ 1 = k 2 ρ γ 2

证明:因为M的等距映射 φ M n ( c ; C ) 里是等变的,可发现 d φ ( ξ x ) = ± ξ φ ( x ) ,因此等距映射 φ 保留了轨道的结构扭转的绝对值。另一方面,分别取正交于 ξ x ξ y 的单位切向量 u T x M v T y M ,M上的等距映射 φ ± 满足等式 φ ± ( x ) = y d φ ± ( u ) = v ,且 d φ + ( ξ x ) = ξ y d φ ( ξ x ) = ξ y ,这表明如果 | ρ γ 1 | = | ρ γ 2 | 则会有满足式子 φ ( γ 1 ( 0 ) ) = γ 2 ( 0 ) d φ ( γ ˙ 1 ( 0 ) ) = γ ˙ 2 ( 0 ) 的等距映射 φ 存在,注意到当 ρ γ = ± 1 时,磁场 F k 的轨道为测地线,如果 γ 为磁场 F k 的轨道,则曲线 σ ( t ) = γ ( t ) F k 的轨道,通过常微分方程解的唯一性可得出此结论。

证毕。

4. 复双曲空间中测地管道上具有零结构扭转的轨道

在研究给定测地管道上的Sasakian磁流之间的关系时,这一节先给出带电粒子在Sasakian磁场作用下产生具有零结构扭转的轨道的表达式。现在先给出具有零结构扭转的轨道应该满足的条件。

命题1:在具有恒定 ϕ 截面曲率K的完全单连通Sasakian空间形式上,磁场 F k 的具有零结构扭转的轨道应该满足以下条件。

K = 1 ,它是长度为 2 π / k 2 + 1 的闭曲线

K > 3 K 1 ,它是闭合曲线当且仅当 | k | = ( p q ) K + 3 / ( 2 p q )

K = 3 ,它是无界的

K < 3 时分两种情况

它是闭曲线当且仅当 | k | = ( p + q ) | K | 3 / ( 2 p q )

它是无边界当且仅当 | k | | K | 3 特别地,Legendre测地线是无界的。

我简要说明一下此定理的证明,结合引理5和黎曼连接的关系来证明,分为两种情况讨论,当 k = 0 时,具有零结构扭转的轨道的外在形状是圆,因此它是长度为 4 π / c + 4 的闭合曲线,然后当 k 0 取标准球上的Hopf映射 S 2 n + 1 C P n 或者是anti-de Sitter空间的Hopf映射 H 1 2 n + 1 C H n ( 4 ) ,考虑外在形状的水平抬升,将其视为 C n + 1 里的曲线,进一步得到了它的常微分方程,接下来根据微分方程的特征方程的解中所包含的 ϕ -截面曲率K,对K做分类讨论得到特征方程的解,所以进一步可得出具有零结构扭转的轨道的闭合性。

接下来根据文献 [7] 给出复双曲空间 C H n ( c ) 中测地管道上 F k 的具有零结构轨道的具体表达式。

| k | > 2 / cosh r 时,可知道具有零结构扭转轨道的表达式为

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

γ ^ ( 0 ) = z 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 = cosh r 2 k 2 cosh 2 r 4 { ( k cosh r k 2 cosh 2 r 4 ) ( cosh r z + sinh r u ) + 2 1 v } B = cosh r 2 k 2 cosh 2 r 4 { ( k cosh r + k 2 cosh 2 r 4 ) ( cosh r z + sinh r u ) + 2 1 v } C = sinh 2 r z ( sinh r cosh r ) u

| k | < 2 / cosh r 时,具有零结构扭转轨道的表达式为

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

其中 A , B , C C n + 1 可以给出如下形式

A = cosh r 2 4 k 2 cosh 2 r { ( 4 k 2 cosh 2 r 1 k cosh r ) ( cosh r z + sinh r u ) + 2 v } B = cosh r 2 4 k 2 cosh 2 r { ( 4 k 2 cosh 2 r + 1 k cosh r ) ( cosh r z + sinh r u ) 2 v } C = sinh 2 r z ( sinh r cosh r ) u

5. 测地管道上的Sasakian磁流

在这一节,研究了复双曲空间中测地管道上Sasakian磁场 F k 的Sasakian磁流。求得了使得具有零结构扭转的轨道流与具有零结构扭转的测地流达到同值的测地线的速度。在研究之前对Sasakian磁流进行定义。

定义2:单位切丛束UM上的磁流定义为 F k φ t ( v ) : U M U M F k φ t ( v ) = γ ˙ u ( t ) v U M ,这里 γ u 表示 F k 的法向轨道且满足 γ ˙ u ( 0 ) = v

现在说明黎曼流形M两个磁流共轭需要的条件。

定义3 ( [8] ):黎曼流形N上两个流 φ t , ψ t 称为光滑共轭,如果存在微分同胚f与常数 α ,使得对 t ψ t = f 1 φ α t f

本篇论文的研究结果如下:

定理1:设 T ( r ) 是复双曲空间中围绕全测地线 C H n 1 C H n ( c ) 的管道, F k T ( r ) 上的sasakian磁场,则sasakian磁流 F k 0 φ t 的特点取决于磁力的绝对值 | k |

1) 当磁力 | k | > 2 / cosh r 时,则具有零结构扭转的轨道流 F k 0 φ t 与具有零结构扭转的测地流 φ t 0 彼此光滑共轭,即存在微分同胚 f k ,使得

F k 0 φ t = f k 1 φ k 2 cosh 2 r 4 t 0 f k

2) 当磁力 | k | < 2 / cosh r 时,则具有零结构扭转的轨道流 F k 0 φ t 与具有零结构扭转的测地流 φ t 0 彼此光滑共轭,即存在微分同胚 f k ,使得

F k 0 φ t = f k 1 φ 4 k 2 cosh 2 r t 0 f k

证明:分两种情况,首先当磁力 | k | > 2 / cosh r 时,首先注意到在 U C H n ( 4 ) 上的具有零结构扭转的测地流 φ t 可以用矩阵表示为

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

其中

A 0 ( t ) = ( cos t cosh r I sin t cosh r I sin t cosh r I cos t cosh 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 cosh 2 r t , H ( t ) = sin 1 2 k 2 + 4 cosh 2 r t

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

这里 O M a t ( n + 1 , C ) 表示零矩阵,因为磁场Sasakian的具有零结构扭转的轨道流 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 cosh 2 r + 4 + k cosh r ) 2 ) , P 12 ( k ) = ( 2 i / 4 + ( k 2 cosh 2 r + 4 k cosh r ) 2 ) , P 21 ( k ) = ( k 2 cosh 2 r + 4 + k cosh r / 4 + ( k 2 cosh 2 r + 4 + k cosh r ) 2 ) , P 22 ( k ) = ( k 2 cosh 2 r + 4 k cosh r / 4 + ( k 2 cosh 2 r + 4 k cosh 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 cosh 2 r + 4 t / 2 ) Q k = P k P 0 1 由于 A 0 ( t ) 对应于复双曲空间中Legendre 测地流 φ t Q k 作用于水平子束 H Z 上且与 S 1 -fiber作用可交换,所以它在 U C H n ( 4 ) 上诱导了一个微分同胚映射 f k 使得

F k 0 φ t = f k 1 φ k 2 cosh 2 r 4 t 0 f k

同理,当磁力 | k | < 2 / cosh r 时,也存在一个微分同胚映射 f k 使得

f k 1 φ 4 k 2 cosh 2 r t 0 f k

6. 总结

本文通过建立轨道在Kähler磁场与Sasakian磁场下运动所获得的磁流之间的对应关系,根据研究带电粒子在Kähler磁场运动下得到的轨道性质,从而想到研究带电粒子在Sasakian磁场运动下得到的轨道性质并进一步建立了轨道流与测地流之间的合同关系。方法是将轨道流表示为复欧氏空间的子集的矩阵,利用矩阵的性质来刻画轨道流与测地流的合同关系,通过本文的研究不仅可以提供关于复空间形上阶为4的Killing螺旋的模空间的信息而且进一步完善了奇数维流形的理论体系,同时也为下一步研究四元Kähler流形提供了新的思路。

参考文献

参考文献

[1] Adachi, T. (1995) Kähler Magnetic Flows on a Manifold of Constant Holomorphicsectional Curvature. Tokyo Journal of Mathematics, 18, 473-483.
https://doi.org/10.3836/tjm/1270043477
[2] 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.
[3] Adachi, T. and Maeda, S. (2020) Length Spectrum of Complete Simply Connected Sasakian Space Forms. Differential Geometry and Its Applications, 70, Article 10162513.
https://doi.org/10.1016/j.difgeo.2020.101625
[4] Bao, T. and Adachi, T. (2009) Circlular Trajectories on Real Hypersurfaces in a Nonflat Complex Space. Journal of Geometry, 96, 41-55.
https://doi.org/10.1007/s00022-010-0032-4
[5] Cabrerizo, J.L., Fernandez, 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
[6] Druta-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
[7] Adachi, T. (2008) Trajectories on Geodesic Sphere in a Non-Flat Complex Space. Journal of Geometry, 90, 1-29.
https://doi.org/10.1007/s00022-008-1941-3
[8] Sunada, T. (1993) Magnetic Flows on a Riemann Surface. Proceedings of KAIST Mathematics Workshop, 8, 93-108.
[9] 丘成桐, 孙理察. 微分几何讲义[M]. 北京: 高等教育出版社, 2004.