APP下载

带tt*-结构的Frobenius流形上两个平坦亚纯联络形式同构的存在性*

2015-06-13叶轩明林洁珠

关键词:流形同构对角线

叶轩明, 林洁珠

(1. 中山大学数学与计算科学学院,广东 广州 510275;2. 广州大学数学与信息科学学院//数学与交叉学科广东普通高校重点实验室,广东 广州510006)



带tt*-结构的Frobenius流形上两个平坦亚纯联络形式同构的存在性*

叶轩明1, 林洁珠2

(1. 中山大学数学与计算科学学院,广东 广州 510275;2. 广州大学数学与信息科学学院//数学与交叉学科广东普通高校重点实验室,广东 广州510006)

Frobeniu流形;tt*-结构;CDV-结构;平坦亚纯联络;Poincare秩

我们将在本文中用另一种构造性方法给出任意半单的CDV-结构中这个形式同构的每一项展开的系数矩阵的表达式。

1 定义与结论

定义1[3-4]设M为m维复流形,M上的Frobenius流形结构是指这样多元组(M,g,∘,e,ε),其中g是M上的度量(非退化、双线性和对称的(2,0)-张量), ∘是全纯切丛TM上的交换结合乘法且光滑的依赖于底流形M。记▽为g的Levi-Civita联络,记ΘM为切丛TM局部自由OM-模层。所有这些元素需要满足下面条件:

(i)g的Levi-Civita联络▽是平坦的;

(ii)g(X∘Y,Z)=g(X,Y∘Z),∀X,Y,Z∈TM; (iii)ΘM的整体截面e是乘法∘的单位向量场,且e关于联络▽是平坦的;

(iv)令c(X,Y,Z):=g(X∘Y,Z),则c对称3-张量,则我们要求它诱导的4-张量(▽zc)(U,V,W)关于四个向量场U,V,W,Z都是对称的;

(v)ΘM的整体截面ε满足以下条件:

▽(▽ε)=0;

∃d∈,ε(g)=(2-d).g

在上面的定义中令Φ(X)Y:=-X∘Y,则

(1)

给出了拉回丛π*TM上的亚纯平坦联络,该联络就称为Frobenius流形的结构联络。

下面介绍变动Hodge结构(variationofHodgestructures)的推广结构,也即CV-结构。

定义2[3]设M是一复解析流形,设K是M上复光滑向量丛,h是K上Hermitian度量,记D=D′+D″为h的Chern联络,多元组(K→M,D,Φ,h,κ,U,Q)称为M上的一个CV-结构,如果(K→M,D,Φ,h,)是一个调和Higgs丛,且剩余其他元素满足:

(a)κ给出向量丛K→M一个实结构,且满足

κ2=Id;

D(κ)=0;

Φ+=κΦκ

其中Φ+是Φ关于h的共轭算子;

(b)h是向量丛K→M的Hermitian度量,且满足

h在κ定义的实子丛K:=ker(κ-Id)⊂K上取实值;

[Φ,U]=0

D′(U)-[Φ,Q]+Φ=0

D″(U)=0

D′(Q)=[Φ,κUκ]=0

κQκ+Q=0

h(Ua,b)=h(a,κUκb)

h(Qa,b)=h(a,Qb)

这里d∈是由关系式ε(g)=(2-d)·g给出。且满足下面六个等价关系式成立

De-e=0⟺Dee=0⟺

本文通过为脑出血病人提供康复护理干预,临床效果较好,有效的提高病人日常生活能力,主要原因是:护士在病人住院期间提供全方面的指导,在心理上,消除病人不良的心理状态,建立良好的心态去面对疾病,提高病人对治疗的信心,在体位上,为病人提供正确的休息姿势,提高病人的舒适度,有助于加快残余脑细胞恢复,增强机体自主神经功能恢复[4],更好的提高治疗效果,在饮食上,多食用高蛋白质的食物,增强患者的抵抗力及免疫力,在康复训练上,为病人提供跨步行走及坐位平衡训练方法,在锻炼的过程中,逐渐增加训练的难度,有助于增强肢体功能的灵活度,促进肢体功能的康复[2]。

(c)关系式g所包含的常数d是实数。

(2)

(3)

在文[9]中,作者注意两个形式同构的在奇点的Poincare秩都是2,因此利用了这类亚纯联络的分类证明了在整个M上存在形式同构,从而证明了定理1。

2 定理的证明

由文[9]引理2.10,只需证明形式同构在流形M上的某一点o上存在即可。我们用待定系数法来证明。

(4)

这里U,V,Q和U+分别记为映射U,V,Q和U+在框架si下所对应的矩阵,易证矩阵U=diag(u1,u2…,um),且对角线元素各不相同;而V,Q是对角线为零的矩阵。

(5)

这里每个Bn是m阶矩阵。把(5)式代入(4)式直接计算得到

(6)

这里每一个ci都是非零常数,adU:glm()→glm();adU(Bi):=UBi-BiU,glm()为所有复常值矩阵所成的线性空间。不妨假设B0=Em为m阶单位阵。由于矩阵U的为对角矩阵且对角线元素各不相同,因此有直和分解glm()=ker(adU)⊕Im(adU),这里记号ker(adU)是映射adU的核,Im(adU)是映射adU:glm()→glm()的像。所以对任意n,得到分解式

Bn:=D[Bn]+A[Bn]

(7)

其中对角矩阵D(Bn)为矩阵Bn的对角线元素所组成的矩阵,而A(Bn)为矩阵Bn对角线为零的矩阵。

(8)

我们对n进行递归来求出所有的矩阵Bk:

(i)当k=0,B0=diag(c1,c2,…,cm)=Em; (ii)当k=1,因为adU(B1)=VBO-B0Q=V-Q,注意到V-Q∈Im(adU),所以存在唯一的对角线为零的矩阵,记为A[B1]∈Im(adU),使得adU(A[B1])=V-Q。接下来确定矩阵B1的对角矩阵D(B1)。为了使得(6)式当成立n=0,必须有VB1-B1Q+B1-U+∈Im(adU)。把(7)式代入得

V·(D[B1]+A[B1])-(D[B1]+A[B1])·Q+

((D[B1]+A[B1]))-U+∈Im(adU)

即V·A[B1]-A[B1]·Q+D[B1]-U+∈Im(adU),因此

D[B1]=D[U+-V·A[B1]+A[B1]·Q]

(iii)假设当k≤n+1已经构造出Bk=D[Bk]+A[Bk],且

V·A[Bn+1]+A[Bn+1]·Q]

(9)

待证当k=n+2时,仍然存在唯一的Bn+2满足式。

先确定Bn+2的对角线为零的部分矩阵A[Bn+2]。类似的,由(9)式,我们得到

VBn+1-Bn+1Q+(n+1)Bn+1-BnU+∈Im(adU)

A[Bn+1]·Q]

(10)

接下来确定D[Bn+2]。

为了使得(6)式的等号右边VBn+2-Bn+2Q+(n+2)Bn+2-Bn+1U+∈Im(adU),则必须有

D[Bn+1U+-V·A[Bn+2]+A[Bn+2]·Q]

(11)

故(10)-(11)式确定了Bn+2=D[Bn+2]+A[Bn+2],且Bn+2的对角线元素的取值是使得

VBn+2-Bn+2Q+(n+2)Bn+2-Bn+1U+∈Im(adU)

成立。

[1]CECOTTIS,VAFAC.Topological—anti-topologicalfusion[J].NuclearPhysicsB, 1991, 367(2): 359-461.

[2]CECOTTIS,VAFAC.OnclassificationofN=2 supersymmetric theories [J]. Comm Math Phys, 1993, 158(3): 569-644.

[3] HERTLING C. Frobenius manifolds, their connections, and the construction for singularities [J]. J Reine Angew Math, 2003, 555: 77-161.

[4] SABBAH C. Universal unfolding of Laurent polynomials and tt* structures [J]//in From Hodge Theory to Integrability and TQFT: tt*-Geometry, Proc Symposia in Pure Math, Vol 78, American Math Society, Providence RI, 2008: 1-29.

[5] SABBAH C. D′eformations isomonodromiques et vari′et′es de Frobenius [M]. EDP Sciences, 2002.

[6] TAKAHASHI A. tt*- geometry of rank two [J]. Int Math Res Not, 2004, 22: 1099-1114.

[7] MANIN YURI I. Three constructions of Frobenius manifolds: a comparative study [J]. Asian J Math, 1999, 3: 179-220.

[8] LIN J Z. Some constraints on Frobenius manifolds with a tt*-structures [J]. Math Z, 2011, 267: 81-108.

[9] LIN J Z, SABBAH C. Flat meromorphic connections of Frobenius manifolds with tt*-structure [J]. Journal of Geometry and Physics, 2012, 62: 37-46.

An Constructional Proof for the Existence of the Formal Isomorphism Between Two Flat Meromorphic Connections on a Frobenius Manifold with a tt*-Structure

YEXuanming1,LINJiezhu2

(1. School of Mathematics and Computational Science, Sun Yat-sen University, Guangzhou 510275, China; 2. School of Mathematics and Information Science//Key Laboratory of Mathematics and Interdisciplinary Sciences of Guangdong Higher Education Institutes, Guangzhou University, Guangzhou 510006, China)

Frobenius manifolds; tt*-structures; CDV-structures; flat meromorphic connections; Poincare rank

2014-03-11

国家自然科学基金青年基金资助项目(11201491,11201090);博士点新教师类资助项目(20120171120009,20124410120001);高校基本科研业务费青年教师培育资助项目(34000-3161248)

叶轩明( 1977 年生) ,男;研究方向:微分几何;通讯作者:林洁珠;E-mail:ljzsailing@163.com

10.1347/j.cnki.acta.snus.2015.01.002

O

A

0529-6579(2015)01-0005-05

猜你喜欢

流形同构对角线
牵手函数同构 拨开解题迷雾
——以指数、对数函数同构问题为例
多重卷积流形上的梯度近Ricci孤立子
例谈函数中的同构思想
指对同构法巧妙处理导数题
同构式——解决ex、ln x混合型试题最高效的工具
局部对称伪黎曼流形中的伪脐类空子流形
对乘积开子流形的探讨
边、角、对角线与平行四边形的关系
看四边形对角线的“气质”
数学题