切敲定，剩下的事情就简单了。

伯恩当即拍板，“既然如此，那就照我和汤姆的这个来。至于那些不同的细节，到时候看谁的方案运算过程简单一些，采用谁的就行。”

接着，伯恩教授又把他的想法给程诺三人讲了一下。

伯恩教授也接着开说，“我的切也和汤姆先生的观差不多。利用同调群在拓扑中的基本质，通过构建一个光代数影簇，运用不动集行切。”

但即便是他，在经过程诺的解释后，也是对这个方案提不任何瑕疵。

米勒教授是主攻拓扑学的，虽然对几何内容的了解比不上其余三人，但他作为拓扑学领域小有名气的青年数学家，对拓扑学的同调群自然是了解颇。

“啊，我？”程诺愣了一下，他刚才以为是米勒要先说呢？搞半天是想让他说。

“设x是一个微分实形，f:x→x是一个微分映，f的一个不动是指一个x\inx使得fx=x.对于x的一个不动x，微分df_{x}是切空间t_{x}x的一个线变换.称一个不动x是非退化的，如果1-dfx是可逆的.这个条件是说这个不动有‘重数1’！”

哈奇教授也没有异议。

除了在一些的细节上有些分不清优劣的区别外，大的内容是相同的。

程诺几乎是不假思索的说这段话。

“是这样啊，刚才我还真的一时没有反应过来！”那边传来米勒恍然的声音。

“那怎么计算影簇上的不动集的数量呢？”程诺还未说完，米勒教授就忍不住问。

米勒教授打破这尴尬的气氛，“汤姆，要不你说几句吧？”

“……设x是fq上的d维光影簇，约定é=x-fq，在影簇x上，我们可以定义fx，f^2x，f^3x，……影簇x上fq^n集xfq^n恰好是自同态f^nx：x→x的不动集！”

米勒：“lefschetz不动定理？”

“我们都知，同调是拓扑空间范畴上的一个正变函，也就是说他不改变箭的方向。同时满足包括exma在内的一系列公理。在一个链复形上拥有降次运算，比如说边界运算：dn:-1。行两次的边界运算后，便会得到0：dn-1*dn:-2=0.”

大同小异。

在米勒和伯恩几人中，程诺自然是被当和他们同一等级的数学家，因此，分任务时并没有占到任何便宜。

程诺加重语气，“对，就是lefschetz不动定理！”

虽然一些东西在没有真正运算结果前是没法提的理措施的，但搭建一个只包骨骼的框架并不需要如此确的东西。

用了一上午的时间，在程诺连喝了三杯咖啡后，框架终于被搭建好，同时任务也分完毕。

结束了他的絮絮叨叨。

程诺笑了笑，缓缓开说：“lefschetz不动定理！”

他脑海中理了理思路，“那我就说一下我的观吧。”

气氛再次陷沉默。

看着自己任务列表里那一个个事项，程诺活动活动手指。