Saturday, February 14, 2015

可积性质是所有截面组成空间的性质,因而应该是丛的性质,也就是你的新丛的截面的性质

可积性质是所有截面组成空间的性质,因而应该是丛的性质,也就是你的新丛的截面的性质


一个想法


最近在写本科毕业论文,想推广Gauss映射。设M是R^m+1中的一个m维子流形,那么很
自然的可以定义M到球面S^n的Gauss映射,方法是对于M上的任一点p,把垂直于该点切空间的单位法向量的始端平移到原点,其末端就得成为单位球面上的一点,把它定义为p的
Gauss像。但如果M所在的欧氏空间的维数大于m+1,设为n,那么广义Gauss映射就把M映到Grassmann流形G(n,m),其中M上每一点的像是该点切空间平移至原点后的n维子空间。现在如果M是嵌入在一个一般的黎曼流形N里,那就没有一个固定的平移方法。我想
在N的每一点有一个Grassmannian,通过N本身的转移函数族诱导的G(n,m)到自身的变
换把这些Grassmannian“粘合”起来,就得到N上的一个纤维丛E,其纤维型是G(m,n)
,从而得到M到E的Gauss映射。N上的黎曼度量自然诱导出E上的一个联络,应该还可以
诱导出E本身的一个黎曼度量。
后来想到,N上的一个m维光滑分布实际就是E上的一个截影,那么这个分布是否完全可
积能否由相应截影的性质来判断,或者说只由E的“内蕴”的几何或拓扑性质来表述。
Frobenius定理的表述要用到张成分布的局部标架场,感觉不大爽,怎么样能够抛开具体
标架场来表述完全可积的条件呢?
后面就不知该怎么做了,或许这个想法没可行性,还请各位高人指教。


多睡觉,多看书


发表时间:2006-04-19, 10:09:42  作者资料
流形
发表文章数: 69
武功等级: 野球拳
     (第七重)
内力值: 133/133
Re: 一个想法


古典几何中的高斯映射好像是对曲面片作的,所以是局部的,当然对于嵌入在
欧式空间的子流形在每一点上都是可以做的。

好像你想做的是黎曼子流形的法丛这样一个东西。
它是黎曼子流形的一个向量丛,自然的具有黎曼度量和法联络。
可以参考一下子流形的几何学或许有帮助

-------------------------------------------------------------------------------------
::后来想到,N上的一个m维光滑分布实际就是E上的一个截影,那么这个分布是否完全可积能否由相应截影的性质来判断,或者说只由E的“内蕴”的几何或拓扑性质来表述。
Frobenius定理的表述要用到张成分布的局部标架场,感觉不大爽,怎么样能够抛开具体
标架场来表述完全可积的条件呢?
----------------------------------------------------------------------------------

可积性不是几何性质。也不是单纯的拓扑问题,
可以说是一种分析性质,是流形上的一种特殊结构。整体可积性与全空间拓扑有关。
他有好几种表述。局部可积性有矢量场表述和维份形式表述。
一个分布是完全可积的当且仅当是对合的。他的对偶表述用微分理想表示。
一个微分系统(外形式丛的一个理想)或余分布可积当且仅当该理想为微分理想


因为他们被那样的对待,所以他们也那样的对待你们


发表时间:2006-04-19, 20:48:44  作者资料
季候风
发表文章数: 291
武功等级: 太极剑法
     (第四重)
内力值: 370/370
Re: 一个想法


Grassmannian 有点太粗了,你相当于把原来的丛(分布)当作新丛的截面,把一个向量空间当成了一个点,损失了一些信息,比如向量场空间的李代数结构,在新的丛上就看不到。你可能要引进所有维数的 Grassmannian bundle, 然后定义序结构(包含)以及运算,比如交,直和。这样你的丛就捡回了一些丢失掉的信息。

可积性一般只在局部考虑,这跟解微分方程是一回事,大范围的解总是一件很麻烦的是,就是在欧氏空间,解的延拓也很复杂,何况是在流形上。实际上 Frobenius 定理的陈述并不依赖局部基底,它无非是说分布的所有光滑截面是一个李子代数,对偶的陈述就是说分布的湮灭理想是一个微分理想。在你的新丛上,这些截面(向量场和微分形式)都看不到,所以我很怀疑你能作些什么。


书山有路勤为径
学海无涯苦作舟


发表时间:2006-04-21, 00:28:02  作者资料
季候风
发表文章数: 291
武功等级: 太极剑法
     (第四重)
内力值: 370/370
Re: 一个想法


哦,刚才太武断。截面是看不到。不过可积性质是所有截面组成空间的性质,因而应该是丛的性质,也就是你的新丛的截面的性质。也许这里面有些东西,但是话说回来,对于可积分布问题,这种构造并没有本质上引进新的结构。

你构造的这个丛也许可以看作主丛的某种扩展,也许可以考虑一下能不能定义什么新的 “示性类”。这个丛的新结构还是要从纤维空间开始发掘,这些子空间之间可能存在什么样的关系?跟别的纤维结构可能存在什么样的关系?可惜它们不形成群,不能做表示。但是也许有什么群作用在Grassmannian 上?

最后,别信我,我是门外汉,小心走火入魔。还有就是要查文献,也许很多年以前就有人研究过这些问题了,Whitney 啊, Milnor 啊, 陈省身啊什么的。


书山有路勤为径
学海无涯苦作舟


发表时间:2006-04-21, 00:49:20  作者资料
turingfish
发表文章数: 7
武功等级: 野球拳
     (第一重)
内力值: 76/76
Re: 一个想法


谢谢楼上的指点!我也觉得可积性是一个局部性质,做一个全局上的Grassmannian bundle 似乎没什么必要。而且我都不知道怎么吧可积性用丛和截影的语言翻译出来,但就是觉得既然讨论的是分布本身的性质,应该能够脱离具体的局部标架场来表述。至于查文献,小弟实在没有任何经验,不知道该如何入手。印象当中有本老外写的Handbook of Differential Geometry,厚得吓人,好像还分卷的。


多睡觉,多看书


发表时间:2006-04-21, 23:47:46  作者资料
那一剑的寂寞
发表文章数: 148
武功等级: 罗汉拳
     (第六重)
内力值: 171/171
Re: 一个想法


个人认为,楼主的想法有点不太现实,而且宏观的吓人。如果做出来了,不妨在这里报告一下。我的本科论文里值得我一提的就是两个东西:1,推广了Frobenius的一个定理,2,用模论证明Fitting分解定理(真的干净),然后再用Fitting分解定理重建整个矩阵的Jordan分解理论。


发表时间:2006-05-03, 07:33:29  作者资料
季候风
发表文章数: 291
武功等级: 太极剑法
     (第四重)
内力值: 370/370
Re: 一个想法


至于查文献,小弟实在没有任何经验,不知道该如何入手。
~~~~~~~~~~~~~~~~

google


书山有路勤为径
学海无涯苦作舟


发表时间:2006-05-10, 16:56:11

No comments:

Post a Comment