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

&esp;&esp;切敲定，剩的事就简单了。

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

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

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

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

&esp;&esp;“……设 x 是 fq上的 d 维光影簇，约定é=x-fq，在影簇x上，我们可以定义fx，f2x，f3x，……影簇x上fqn集x(fqn)恰好是自同态fnx：x→x的不动集！”

&esp;&esp;气氛再次陷沉默。

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

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

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

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

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

&esp;&esp;米勒：“lefschetz不动定理？”

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

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

本章已阅读完毕(请击一章继续阅读!)

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

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

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

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

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

&esp;&esp;哈奇教授也没有异议。

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

题的整框架搭起来吧。”伯恩教授终于结束了他的絮絮叨叨。

&esp;&esp;大同小异。

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

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