米勒:lefshetz不动点定理?
程诺加重语气,对,就是lefshetz不动点定理!
设x是一个紧微分实流形,f:xx是一个微分映射,f的一个不动点是指一个点xinx使得fx对于x的一个不动点x,微分df_是切空间t_x的一个线性变换称一个不动点x是非退化的,如果1df是可逆的这个条件是说这个不动点具有‘重数1’!
程诺几乎是不假思索的说出这段话。
是这样啊,刚才我还真的一时没有反应过来!那边传来米勒恍然的声音。
伯恩教授也接着开口说道,我的切入点也和汤姆先生的观点差不多。利用同调群在拓扑中的基本性质,通过构建一个光滑代数射影簇,运用不动点集进行切入。
接着,伯恩教授又把他的想法给程诺三人讲了一下。
大同小异。
除了在一些具体的细节上有些分不清优劣的区别外,大体的内容是相同的。
米勒教授是主攻拓扑学的,虽然对几何内容的了解比不上其余三人,但他作为拓扑学领域小有名气的青年数学家,对拓扑学的同调群自然是了解颇深。
但即便是他,在经过程诺的解释后,也是对这个方案提不出任何瑕疵。
哈奇教授也没有异议。
伯恩当即拍板,既然如此,那就按照我和汤姆的这个来。至于那些不同的细节,到时候看谁的方案运算过程简单一些,采用谁的就行。
切入点敲定,剩下的事情就简单了。
虽然一些东西在没有真正运算出结果前是没法提出具体的处理措施的,但搭建一个只包含骨骼的框架并不需要如此精确的东西。
用了一上午的时间,在程诺连喝了三杯咖啡后,框架终于被搭建好,同时任务也分配完毕。
在米勒和伯恩几人眼中,程诺自然是被当做和他们同一等级的数学家,因此,分配任务时并没有占到任何便宜。
看着自己任务列表里那一个个事项,程诺活动活动手指。