复射影空间中B型实超曲面上Sasaki磁场下轨道
Trajectories for Sasakian Magnetic Fields on Real Hypersurfaces of Type B in Complex Projective Space
DOI: 10.12677/PM.2021.119187, PDF, HTML, XML, 下载: 311  浏览: 433  国家自然科学基金支持
作者: 刘晓周, 包图雅*:内蒙古民族大学数理学院,内蒙古 通辽
关键词: 复射影空间B型实超曲面Sasaki磁场轨道二阶相切Complex Projective Space Real Hypersurfaces of Type B Sasakian Magnetic Fields Trajectories Tangentially of Order Two
摘要: 研究流形上的曲线对认识流形有重要的作用,而曲线的指标是描述曲线的有力工具。本文计算了复射影空间中B型实超曲面上Sasaki磁场下二阶相切的轨道的外在测地曲率和外在复挠率。
Abstract: The study of curves on manifolds plays an important role in the considering of manifolds, and the index of curves is a powerful tool for describing curves. In this paper, we calculate the extrinsic geodesic curvature and extrinsic complex torsion of extrinsic tangentially of order two trajectories for Sasakian magnetic fields on real hypersurfaces of type B in complex projective space.
文章引用:刘晓周, 包图雅. 复射影空间中B型实超曲面上Sasaki磁场下轨道[J]. 理论数学, 2021, 11(9): 1679-1684. https://doi.org/10.12677/PM.2021.119187

1. 引言

静磁场是3维欧氏空间中散度等于零的向量值函数 B = ( B 1 , B 2 , B 3 ) [1]。单位质量的带单位电荷的带电粒子在静磁场中做常速度运动,是因为该带电粒子在静磁场中受到的洛伦兹力为 v × B = Ω B v ,其中v是带电粒子的速度,而 Ω B 是一个反对称矩阵 ( 0 B 3 B 2 B 3 0 B 1 B 2 B 1 0 ) 。利用反对称矩阵 Ω B 在3维欧氏空间中引进了2-形式 B ( u , v ) 的定义,即 B ( u , v ) = u , Ω B v [1]。另一方面,2-形式 B = B 1 d x 2 d x 3 + B 2 d x 3 d x 1 + B 3 d x 1 d x 2 ,对该2-形式 B ( u , v ) 进行一次微分得 d B = ( B 1 x 1 + B 2 x 2 + B 3 x 3 ) d x 1 d x 2 d x 3 。当 d B = 0 时,2-形式 B ( u , v ) 是闭的,从而散度等于零的问题等价于该2-形式 B ( u , v ) 是闭的。T. Adachi把欧式空间中静磁场的概念推广到Kähler流形上引进了Kähler磁场的定义 [2],推广到非平坦复流形中的实超曲面上引进了Sasaki磁场的定义 [3]。

非平坦复空间 C M n 包括复射影空间 C P n 和复双曲空间 C H n 。实超曲面是n维非平坦复空间 C M n 中的实 ( 2 n 1 ) 维子流形。实超曲面M上有近切触度量结构 ( ϕ , ξ , η , , ) ,该结构由张量 ϕ ( v ) = J v η ( v ) N 、向量场 ξ = J N 、1-形式 η ( v ) = v , ξ 和Kähler流形上的度量 , 所决定,其中N是非平坦复空间 C M n 中的实超曲面M上的单位法向量,v是实超曲面M的切空间 T p M 上的向量。Kimura把复射影空间 C P n 中的Hopf齐性实超曲面M分为A1型、A2型、B型、C型、D型和E型 [4]。

本文的内容是在复射影空间 C P n ( c ) 中B型实超曲面上开展的,复射影空间 C P n ( c ) 中B型实超曲面是绕全实全测地 R P n ( c / 4 ) 的半径为r的管 R ( r ) ,其中 0 < r < π / ( 2 c ) ,B型实超曲面也可以理解成半径为 π / ( 2 c ) r 的绕复超二次曲面 C Q n 1 的管 [4]。 C P n ( 4 ) 中绕全实全测地 R P n ( 1 ) 的管 R ( r ) ( 0 < r < π / 4 ) 是B型实超曲面,在 S 2 n + 1 中的等距映射下它被表示为 ϖ 1 ( R ( r ) ) = { ( z 0 , , z n ) C n + 1 | | z 0 | 2 + + | z n | 2 = 1 , | z 0 2 + + z n 2 | = cos 2 r } 。复射影空间 C P n ( c ) 中B型实超曲面有三个主曲率,分别是对应与 ξ 垂直方向的主曲率 λ 1 = c 2 cot c 2 r λ 2 = c 2 tan c 2 r ,对应于 ξ 方向的主曲率为 δ = c tan c r [4]。

在非平坦复空间 C M n 中的实超曲面M上,定义2-形式 F ϕ ( u , v ) = u , ϕ ( v ) ,其中 u , v T p M 。2-形式 F ϕ ( u , v ) = u , ϕ ( v ) 是闭的,2-形式 F ϕ ( u , v ) = u , ϕ ( v ) 的常数倍 F κ = κ F ϕ ( κ R ) 称为Sasaki磁场 [3]。单位质量的带单位电荷的带电粒子在Sasaki磁场下的运动轨迹是满足等式 γ ˙ γ ˙ = κ ϕ γ ˙ 的弧长参数化的光滑曲线,被称为Sasaki磁场下轨道。当 κ = 0 ,带电粒子的运动轨迹是测地线。当 κ 0 ,带电粒子的运动轨迹的形状是多样的,通常对特殊的形状进行研究。

对于轨道的研究,一种方法就是通过等距映射把轨道放到其外围空间进行考虑。设M是实超曲面, M ˜ 是其外围流形, l : M M ˜ 是等距浸入映射。当等距浸入映射l把M上的光滑曲线 γ 映射到M的外围空间 M ˜ 上时,称曲线 l γ 为曲线 γ 的外在形状。通常考虑曲线的特殊的外在形状,如测地线、圆等。实超曲面M上由弧长参数化的光滑曲线如果满足 ˜ γ ˙ ˜ γ ˙ γ ˙ ( t 0 ) + ˜ γ ˙ γ ˙ 2 γ ˙ ( t 0 ) = 0 ,则称曲线的外在形状是圆 [5]。2017年包图雅和T. Adachi研究了复射影空间中A1型实超曲面上Sasaki磁场下的外在圆轨道,进而给出了A1型实超曲面的特征 [6]。

在此基础上,包图雅和T. Adachi弱化条件,考虑更一般的情况,在2016年研究了Kähler流形中实超曲面上Sasaki磁场下轨道二阶相切的条件,并由此给出了Kähler流形中的实超曲面的特征 [5],在2018年利用二阶相切的Sasaki磁场下的轨道研究了复双曲空间中B型实超曲面的特征 [7]。当 ˜ γ ˙ ˜ γ ˙ γ ˙ ( t 0 ) + ˜ γ ˙ γ ˙ 2 γ ˙ ( t 0 ) 没有与M相切的分量,称曲线的外在形状是二阶相切 [5]。

通过对实超曲面上曲线的外在形状上的指标进行分析,例如测地曲率和复挠率,可以得到实超曲面的特征。实超曲面M上弧长参数化的光滑曲线 γ 的外在测地曲率k被定义为 k = ˜ γ ˙ γ ˙ ,其外在复挠率 τ 被定义为 τ = γ ˙ , J ˜ γ ˙ γ ˙ / k 。本文在文献 [5] 的基础上,利用高斯公式 ˜ X Y = X Y + A M X , Y N 和魏因加尔吞公式 ˜ X N = A M X 计算了复射影空间中B型实超曲面上Sasaki磁场下二阶相切的轨道的外在测地曲率和外在复挠率。

2. 主要结果

引理 [5] 设 γ 是Kähler流形 M ˜ 中Hopf实超曲面M上Sasaki磁场 F κ 下的轨道。

1) 当构造挠率 ρ γ ( t 0 ) = ± 1 ,那么 γ 的外在形状是二阶相切的,这时 k ( t 0 ) = | δ |

2) 当构造挠率 ρ γ ( t 0 ) ± 1 ,并且 γ ˙ ( t 0 ) ρ γ ( t 0 ) ξ γ ( t 0 ) 是主曲率向量,那么 γ 的外在形状是二阶相切当且仅当下面条件中的一个成立:

i) λ κ ρ γ ( t 0 ) + ( δ λ ) ρ γ 2 ( t 0 ) = 0

ii) κ + ( δ λ ) ρ γ ( t 0 ) = 0

这里 λ 表示 γ ˙ ( t 0 ) ρ γ ( t 0 ) ξ γ ( t 0 ) 的主曲率。对应i)情形的测地曲率 k ( t 0 ) = | κ | ,对应ii)情形的测地曲率和复挠率满足:

k 2 ( t 0 ) = κ 2 2 κ λ ρ γ ( t 0 ) + λ 2 (2.1)

k ( t 0 ) τ ( t 0 ) = κ ( 2 ρ γ 2 ( t 0 ) 1 ) λ ρ γ ( t 0 ) . (2.2)

3) 当测地曲率 k ( t 0 ) | κ | ,如果 γ ˙ ( t 0 ) ρ γ ( t 0 ) ξ γ ( t 0 ) 不是主曲率向量,那么 γ 的外在形状不是二阶相切。

引理中条件1)下和条件2)中i)下的外在形状为二阶相切的轨道的外在测地曲率和外在复挠率无需再计算,但对于条件2)中ii)下的外在形状为二阶相切的轨道的外在测地曲率和外在复挠率虽然有公式可代入,但对于不同的非平坦复空间中的不同的实超曲面有不同的值和不同的关系,利用外在测地曲率和外在复挠率的关系找出对应实超曲面的特征是比较有意思的研究。下面具体计算复射影空间 C P n ( c ) 中B型实超曲面对应条件2)中ii)情形的外在测地曲率和外在复挠率。

定理 设 γ 是复射影空间 C P n ( c ) 中B型实超曲面上Sasaki磁场下二阶相切轨道,当 γ ˙ ( t 0 ) ρ γ ( t 0 ) ξ γ ( t 0 ) 是主曲率向量,并且 γ 满足 ρ γ ( t 0 ) ± 1 κ + ( δ λ i ) ρ γ ( t 0 ) = 0 ( i = 1 , 2 ) ,这时 γ 的外在测地曲率k和外在复挠率 τ 如下:

1) 当 δ = λ i ( i = 1 , 2 ) 时, k λ 1 ( t 0 ) = k λ 2 ( t 0 ) = 5 c 2 τ λ 1 ( t 0 ) = τ λ 2 ( t 0 ) = ( 3 4 ρ γ 2 ( t 0 ) ) ρ γ ( t 0 )

2) 当 δ λ i ( i = 1 , 2 ) 时,有

i) k λ 1 2 ( t 0 ) τ λ 1 2 ( t 0 ) = 4 ( 4 k λ 1 2 ( t 0 ) c u 2 ) [ 2 k λ 1 2 ( t 0 ) ( u 2 1 ) 2 c u 2 ( u 2 + 3 ) ] 2 c 2 u 4 ( 3 + u 2 ) ( 5 u 2 ) 3

ii) k λ 2 2 ( t 0 ) τ λ 2 2 ( t 0 ) = 4 u 2 ( 4 k λ 2 2 ( t 0 ) u 2 c ) [ 2 k λ 2 2 ( t 0 ) ( u 2 1 ) 2 c ( 3 u 2 + 1 ) ] 2 c 2 ( 3 u 2 + 1 ) ( 5 u 2 1 ) 3

其中 k λ i ( t 0 ) τ λ i ( t 0 ) 是对应于主曲率 λ i ( i = 1 , 2 ) 的测地曲率和复挠率。

证明 令 cot c 2 r = u ,则对于复射影空间 C P n ( c ) 中B型实超曲面对应与 ξ 垂直方向的主曲率 λ 1 = c 2 cot c 2 r = u c 2 λ 2 = c 2 tan c 2 r = c 2 u ,对应于 ξ 方向的主曲率 δ = c tan c r = 2 u c u 2 1

1) 如果 γ ˙ ( t 0 ) ρ γ ( t 0 ) ξ γ ( t 0 ) 的主曲率是 λ i ( i = 1 , 2 ) ,当 κ + ( δ λ i ) ρ γ ( t 0 ) = 0 ( i = 1 , 2 ) ,即 κ = ( λ i δ ) ρ γ ( t 0 ) ( i = 1 , 2 ) 时,考虑(2.1)式。

κ 2 2 κ λ 1 ρ γ ( t 0 ) = 0 ,即 δ = λ 1 时,有 u = 5 ,代入到(2.1)式,得到 k λ 1 ( t 0 ) = λ 1 = 5 c 2

κ 2 2 κ λ 2 ρ γ ( t 0 ) = 0 ,即 δ = λ 2 时,有 u = 5 5 ,代入到(2.1)式,得到 k λ 2 ( t 0 ) = λ 2 = 5 c 2

k λ 1 ( t 0 ) = k λ 2 ( t 0 ) = 5 c 2

下面计算复挠率,将 κ = 2 λ 1 ρ γ ( t 0 ) k λ 1 ( t 0 ) = λ 1 代入到(2.2)式,得到 τ λ 1 ( t 0 ) = ( 3 4 ρ γ 2 ( t 0 ) ) ρ γ ( t 0 ) ,将 κ = 2 λ 2 ρ γ ( t 0 ) k λ 2 = λ 2 代入到(2.2)式,得到 τ λ 2 ( t 0 ) = ( 3 + 4 ρ γ 2 ( t 0 ) ) ρ γ ( t 0 ) ,即 τ λ 1 ( t 0 ) = τ λ 2 ( t 0 ) = ( 3 4 ρ γ 2 ( t 0 ) ) ρ γ ( t 0 )

2) i) 当 κ 2 2 κ λ 1 ρ γ ( t 0 ) 0 ,即 δ λ 1 时,将 κ = ( λ 1 δ ) ρ γ ( t 0 ) 代入到(2.1)式,得到 k λ 1 2 ( t 0 ) = ( δ 2 λ 1 2 ) ρ γ 2 ( t 0 ) + λ 1 2 ,所以 ρ γ 2 ( t 0 ) = k λ 1 2 ( t 0 ) λ 1 2 δ 2 λ 1 2 ,把 λ 1 = u c 2 δ = 2 u c u 2 1 代入到 ρ γ 2 ( t 0 ) 中,得到 ρ γ 2 ( t 0 ) = ( 4 k λ 1 2 ( t 0 ) c u 2 ) ( u 2 1 ) 2 c u 2 ( 3 + u 2 ) ( 5 u 2 )

对(2.2)式两边平方,并把 κ = ( λ 1 δ ) ρ γ ( t 0 ) ρ γ 2 ( t 0 ) = ( 4 k λ 1 2 ( t 0 ) c u 2 ) ( u 2 1 ) 2 c u 2 ( 3 + u 2 ) ( 5 u 2 ) 代入得到:

k λ 1 2 ( t 0 ) τ λ 1 2 ( t 0 ) = ( κ ( 2 ρ γ 2 ( t 0 ) 1 ) λ 1 ρ γ ( t 0 ) ) 2 = ( λ 1 δ ) 2 ρ γ 2 ( t 0 ) ( 2 ρ γ 2 ( t 0 ) 1 ) 2 2 ( λ 1 δ ) λ 1 ρ γ 2 ( t 0 ) ( 2 ρ γ 2 ( t 0 ) 1 ) + λ 1 2 ρ γ 2 ( t 0 ) = ρ γ 2 ( t 0 ) [ ( λ 1 δ ) 2 ( 2 ρ γ 2 ( t 0 ) 1 ) 2 2 ( λ 1 δ ) λ 1 ( 2 ρ γ 2 ( t 0 ) 1 ) + λ 1 2 ] = ( 4 k λ 1 2 ( t 0 ) c u 2 ) ( u 2 1 ) 2 c u 2 ( 3 + u 2 ) ( 5 u 2 ) [ u c ( 3 + u 2 ) 2 ( 1 u 2 ) ( 2 ( 4 k λ 1 2 ( t 0 ) c u 2 ) ( u 2 1 ) 2 c u 2 ( 3 + u 2 ) ( 5 u 2 ) c u 2 ( 3 + u 2 ) ( 5 u 2 ) ) + u c 2 ] 2 = 4 ( 4 k λ 1 2 ( t 0 ) c u 2 ) [ 2 k λ 1 2 ( t 0 ) ( u 2 1 ) 2 c u 2 ( u 2 + 3 ) ] 2 c 2 u 4 ( 3 + u 2 ) ( 5 u 2 ) 3 .

ii) 如果 γ ˙ ( t 0 ) ρ γ ( t 0 ) ξ γ ( t 0 ) 的主曲率是 λ 2 = c 2 u ,当 κ + ( δ λ 2 ) ρ γ ( t 0 ) = 0 ,即 κ = ( λ 2 δ ) ρ γ ( t 0 ) 时,考虑(2.1)式。

κ 2 2 κ λ 2 ρ γ ( t 0 ) 0 ,即 δ λ 2 时,将 κ = ( λ 2 δ ) ρ γ ( t 0 ) 代入到(2.1)式,得到 k λ 2 2 ( t 0 ) = ( δ 2 λ 2 2 ) ρ γ 2 ( t 0 ) + λ 2 2 ,所以 ρ γ 2 ( t 0 ) = k λ 2 2 ( t 0 ) λ 2 2 δ 2 λ 2 2 ,把 λ 2 = c 2 u δ = 2 u c u 2 1 代入到 ρ γ 2 ( t 0 ) 中,得到 ρ γ 2 ( t 0 ) = ( 4 k λ 2 2 ( t 0 ) u 2 c ) ( u 2 1 ) 2 c ( 5 u 2 1 ) ( 3 u 2 + 1 )

对(2.2)式两边平方,并把 κ = ( λ 2 δ ) ρ γ ( t 0 ) ρ γ 2 ( t 0 ) = ( 4 k λ 2 2 ( t 0 ) u 2 c ) ( u 2 1 ) 2 c ( 5 u 2 1 ) ( 3 u 2 + 1 ) 代入得到:

k λ 2 2 ( t 0 ) τ λ 2 2 ( t 0 ) = ( κ ( 2 ρ γ 2 ( t 0 ) 1 ) λ 2 ρ γ ( t 0 ) ) 2 = ( λ 2 δ ) 2 ρ γ 2 ( t 0 ) ( 2 ρ γ 2 ( t 0 ) 1 ) 2 2 ( λ 2 δ ) λ 2 ρ γ 2 ( t 0 ) ( 2 ρ γ 2 ( t 0 ) 1 ) + λ 2 2 ρ γ 2 ( t 0 ) = ρ γ 2 ( t 0 ) [ ( λ 2 δ ) 2 ( 2 ρ γ 2 ( t 0 ) 1 ) 2 2 ( λ 2 δ ) λ 2 ( 2 ρ γ 2 ( t 0 ) 1 ) + λ 2 2 ] = ( 4 k λ 2 2 ( t 0 ) u 2 c ) ( u 2 1 ) 2 c ( 3 u 2 + 1 ) ( 5 u 2 1 ) [ ( c 2 u 2 u c ( 1 u 2 ) ) ( 2 ( 4 k λ 2 2 ( t 0 ) u 2 c ) ( u 2 1 ) 2 c ( 3 u 2 + 1 ) ( 5 u 2 1 ) c ( 3 u 2 + 1 ) ( 5 u 2 1 ) ) c 2 u ] 2 = 4 u 2 ( 4 k λ 2 2 ( t 0 ) u 2 c ) [ 2 k λ 2 2 ( t 0 ) ( u 2 1 ) 2 c ( 3 u 2 + 1 ) ] 2 c 2 ( 3 u 2 + 1 ) ( 5 u 2 1 ) 3 .

致谢

感谢2020年内蒙古自治区研究生科研创新项目等基金项目的资助,感谢阅读本文和对本文提出建议的人。

基金项目

2020年内蒙古自治区研究生科研创新项目(SZ2020141);内蒙古自治区高等学校青年科技英才支持计划(NJYT-19-A09);内蒙古自然科学基金(2018MS01011);国家自然科学基金(11661062)。

参考文献

[1] Sunada, T. (1993) Magnetic Flows on a Riemann Surface. Proceedings of KAIST Mathematics Workshop, 8, 93-108.
[2] Adachi, T. (1995) Kähler Magnetic Flows for a Manifold of Constant Holomorphic Sectional Curvature. Tokyo Journal of Mathematics, 18, 473-483.
https://doi.org/10.3836/tjm/1270043477
[3] Adachi, T. (2008) Trajectories on Geodesic Spheres in a Non-Flat Complex Space Form. Journal of Geometry, 90, 1-29.
https://doi.org/10.1007/s00022-008-1941-3
[4] Kimura, M. (1986) Real hypersurfaces and Complex Submanifolds in Complex Projective Space. Transactions of the American Mathematical Society, 296, 137-149.
https://doi.org/10.1090/S0002-9947-1986-0837803-2
[5] Bao, T. and Adachi, T. (2016) Characterizations of Some Homogeneous Hopf Real Hypersurfaces in a Nonflat Complex Space Form by Extrinsic Shapes of Trajectories. Differential Geometry and Its Applications, 48, 104-118.
https://doi.org/10.1016/j.difgeo.2016.06.007.
[6] Bao, T. and Adachi, T. (2017) Extrinsic Circular Trajectories on Geodesic Spheres in a Complex Projective Space. Osaka Journal of Mathematics, 54, 735-745.
[7] Bao, T. and Adachi, T. (2019) Extrinsic Shapes of Trajectories on Real Hypersurfaces of Type (B) in a Complex Hyperbolic Space. 6th International Colloquium on Differential Geometry and Its Related Fields, Veliko Tarnovo, Bulgaria, 2018, 183-202.
https://doi.org/10.1142/9789811206696_0012