不定四元欧氏空间中的拉格朗日H_脐子流形.doc

不定四元欧氏空间中的拉格朗日 H2脐子流形 张亮亮 (复旦大学 数学科学学院 ,上海 200433) k 摘 要 : 定义了不定四元欧氏空间 Q n 以及其中的不定拉格朗日H2脐子流形 ,并且给出了它们的完全分类定理 , 从而推广了陈邦彦 ,Oh 和 Kang 的结果. 关键词 : 拉格朗日 H2脐子流形 ; 复欧氏空间形式 ; 不定度量 ; 四元欧氏空间形式 中图分类号 : O 186 . 12 文献标识码 : A 黎曼流形的拉格朗日子流形在辛几何和现代数学物理研究中占有特殊的地位. 对于具有良好性质外 围空间中的拉格朗日子流形的研究一向是人们的兴趣所在. 其中我们最感兴趣的是外围空间为复空间形 式的情形. 对于复空间形式中拉格朗日子流形的研究已有了丰富的结论1 . 我们知道在欧氏空间中最简 单的超曲面是全测地的超曲面 ,其次是全脐超曲面. 在复空间形式中最简单的拉格朗日子流形也是全测地 的 ,其次也应该是全脐的拉格朗日子流形. 然而在文献2 中 ,证明了在 n ≥3 的复空间形式中 ,拉格朗日 全脐子流形与拉格朗日全测地子流形是等价的. 因此在空间形式中寻找除了拉格朗日全测地子流形以外 最简单的拉格朗日子流形成为了一个很自然的问题. 为此陈邦彦3 引入了H2脐子流形的概念 ,其第二基 本形式具有某种特殊的形式. 他不仅构造了一些拉格朗日H2脐子流形的具体例子 ,还给出了复欧氏空间中 拉格朗日H2脐子流形的完全分类. 此外 ,他还把结论推广到了不定复欧氏空间 Cn 中不定H2脐子流形 M n k k 的情况 ,并且通过伪球和伪双曲空间的复扩张子给出了其分类4 . Oh 和 Kang3 把正定情况下的结果推广 到了四元的情形 ,并对四元欧氏空间形式中的拉格朗日H2脐子流形给出了完全分类定理5 . 物理学家感 兴趣的往往是配有不定度量的伪黎曼流形 ,对于这种度量非正定的流形也有相应的联络 ,以及第二基本形 式和空间形式等概念 ,这种流形与通常的黎曼流形具有不同的几何性质. 在本文中 ,我们定义了不定四元欧氏空间形式以及不定四元扩张子 ,并且给出了在不定四元欧氏空间 中拉格朗日H2脐子流形的完全分类 ,从而推广了上述作者得到的结果. 1 准备知识 下面引入四元空间形式的概念. 设 Q n 是四元欧式空间 : Q n = { ( q1 , q2 , , qn ) qk 是四元数} , 单位四元数 i , j , k 的自然乘法诱导了 Q n ? R 4 n 上的 3 个标准复结构 I , J , K ,这 3 个复结构满足 IJ = - J I = K , J K = - KJ = I , KI = - I K = J ,  I2 = J 2 = K2 = - 1 . 赋予 Q n 上指标为 l 的不定度量 g ,使得 g (φX ,φY ) = g ( X , Y ) , φ = I , J , K , k 那么 ( g ,φ) ,φ = I , J , K 构成一个伪 Her mite 结构 ,易见 l = 4 k ,以后记此不定度量为 g n . 设 M 为一个不定指数为 k 的 n 维伪黎曼流形 , Q n 为配有不定度量 g n 的四元欧式空间 ,并且 ( 1) k k L ∶M n Q n k k 收稿日期 : 2006205211  是一个浸入. 设 X 为 T M k 上的一个切向量 , 那么 { X , I X , J X , KX } 为 M k 上的一个正交标架场. 记 Q ( X ) = Span{ X ,φX } . 对于 T M k 上的 2 个切向量 X , Y ,如果 Q ( X ) 正交于 Q ( Y ) , 则称 X , Y 张成的平 面 π( X , Y ) 为一个全实平面. Q ( X ) 中任何一个二维平面都称作一个四元平面. 如果 L 3 将 T M k 上的任 k 何一个二维平面映到 T Q n 上的一个全实平面 ,那么 L 称为拉格朗日浸入. T M k 中的切向量 X 称为类空 、类时或类光的 ,如果〈 X , X 〉 0 〈, X , X 〉 0 或〈 X , X 〉= 0 . 令 和 分别是 M n 和 Q n 上的 L evi2Civita 联络 ,那么高斯方程和 Weingarten 方程分别为 : k k Y = Y + h ( X , Y ) ,  Y = - AξX + D Xξ, ( 2) 其中 X , Y 是 T M k 上的切向量 ξ, 为 T ⊥M k