众人果然纷纷露出惊讶的神情。

施密特有些得意地看向沈牧，眼神里的意思很明显了。

既然他和沈牧教授聊过这个课题，那他讲的肯定是对的，别人最好想得全面一些再来质疑他。

听到施密特的话，沈牧也十分的意外。

本来他只是想把问题提出来，没想到对方竟然把他本人搬了出来，还说自己被初步选中做了他的学生？

初步选中的话也不是不可能，但后面又说面试聊天，那肯定就是编造的了。

再说了，他可没选过这么大年纪的学生。

为了不让大家被误导，沈牧这回准备认真给台上这位讲讲正确的推理逻辑。

沉默了两秒，沈牧站起来，走向讲台旁边空着的一块侧方白板，从笔槽里拿起一支马克笔。

“如果方便的话，我可以花几分钟，说明一下为什么这个自然延拓无法保持定理c所要求的正性，以及在这种情况下，你的推广尝试可能遇到的本质障碍。”

施密特直接愣住，他没想到对方会直接上台。

“你请。”

他心里当然不情愿，脸上却是强行扯出一个宽容的笑。

沈牧上台之后，他更看清了沈牧的脸。

虽然人是够沉稳的，但近看感觉更加年轻，大概只有二十岁的样子。

这么小的年纪，怎么可能能够将这一部分论证清楚？他花了这么长时间研究，直到上台前一秒还险些卡在某一步的推理逻辑里面。

所以他并不相信，这样一个年轻人可以教他理清他课题中的逻辑漏洞。

在众人的注视下，沈牧走到白板前，面向听众。

他没有看讲义，因为一切都清晰地在脑子里展开。

他先快速写下了定理c中比较映射η的关键定义和所满足的正性条件，然后，在旁边开始勾勒报告人所使用的扩展序列的构造，精确点出其与原始范畴在对象性质上的关键差异，即扩展后的对象失去了某种权重纯净性。

而后沈牧用笔尖点了点差异处，“定理c的证明中，η的正性证明，关键步骤依赖于这个权重条件。它保证了在相应的霍奇分解中，某些调和形式分量消失，从而内积简化为正定形式。”

他迅速画了一个交换图，展示原始范畴中的映射如何保持这个分解性质。

“而在你的扩展序列中，对象不再具有纯净权重。这意味着，当你试图形式地将η延拓过去时，延拓后的映射作用于一个扩展对象时，必然会激活原来应该消失的那些调和分量，我们现在从正确的地方开始推理”

沈牧一边画图，一边讲解的时候，底下听课的众人明显有些兴奋了。

因为刚才听施密特讲解的时候，他们总觉得有哪里不对又说不上来，沈牧讲了这几句，感觉像是打通了任督二脉的感觉。

不过接下来，沈牧讲解的似乎有些高深，似乎大部分人有点听不懂了。

但很神奇的是，演讲台一旁的施密特却听懂了，至少是听懂了一部分。

“妙，实在是太妙了”

施密特喃喃。

沈牧继续将余下的步骤讲完。

“因此，可行的修正不是

“这里δ是一个由扩展序列的边界算子自然诱导的补偿项，它精确抵消了因失去权重纯净性而产生的新调和分量之间的有害交错。”

“这使得η在扩展范畴中满足一个弱化的、但仍足以控制几何不变量的正性条件”

“你的最终不等式依然成立，但证明必须基于这个修正后的算子，并重新估计相应的误差项。”

沈牧写完最后的结论，将笔放下的时候，台下有一瞬间鸦雀无声。

而只是几秒钟后，全场爆发出剧烈的掌声。

有几位听懂了的学者目光也不禁带上些兴奋。

第四排中间，坐着两位头发花白的印渡学者。

瓦拉丹微微倾身，用泰米尔语低声对纳拉西姆汉说：“很漂亮的修正，他没有纠缠于原证明的失效，而是直接看到了失效的根源，并提供了一个构造性的补救方案。这个映射η的构造，思想很清晰。”

纳拉西姆汉点头，目光仍停留在白板上：“更重要的是他的几何直觉。他一眼就看出问题出在权重纯净性的丢失，这是整个构造的几何核心。”

纳拉西姆的声音里带着毫不掩饰的赞赏，“这个年轻人思路之清晰，简直不像是在临场应对。他叫什么？”