第461章 秤（1/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

陈拙站在旁边，看了一会儿。

“这个问题，我后来想了挺久。”

他。

没有马上拿起粉笔。

台下也没人催。

前面那块黑板上，抓手两个字已经把问题往前推了一步。

看见不够。

得抓。

可现在真正麻烦的地方也跟着露了出来。

抓出来，又怎么样？

陈拙抬手，点了一下右侧。

代数循环。

“最后不是我觉得像就行。”

“也不是我抓出来一个东西，告诉大家它就是。”

他停了一下。

“得这边自己认。”

完，他把“抓手”圈了一下。

又从旁边画出一条箭头。

抓手→？→代数循环

那个问号，留在中间。

陈拙看着它。

“所以后来我发现，光想着怎么抓，还是差一点。”

“抓手解决的是，怎么把东西从里面拿出来。”

“可拿出来以后，还得有办法检查。”

有人开始低头记。

陈拙重新拿起粉笔。

“我那时候又把以前看过的一些东西翻了一遍。”

他在黑板一角写下几个词。

正规函数。

中间雅可比簇。

代数循环。

又写了两三个名字，没展开。

他转身，点了一下右侧。

陈拙没有从那些旧理论里逐条讲。

而是重新回到了上一章左边那条已经走通的路。

霍奇类。

向下。

线丛。

再向下。

除子。

“这个答案我们已经知道。”

他。

“那就比较方便。”

陶哲轩抬了一下眉。

陈拙继续：

“因为不知道怎么检查一个未知的东西时。”

粉笔敲了敲除子。

“可以先拿一个已经知道答案的试试。”

前排有人笑了。

这个办法听起来实在不像什么优雅的代数几何思想。

更像实验室里拿一个标准砝码先试仪器。

陈拙显然也不觉得有什么问题。

“如果连已知的都认不出来。”

“那后面的也没必要用了。”

他完，开始拆左边这条已经走通的路。

不是重新证明莱夫谢茨（1，1）定理。

而是把其中几层东西一点点分开。

表示怎么换。

局部怎么变。

线丛怎么接。

哪些东西随着写法变化会变。

哪些东西最后仍然留下。

陈拙写得不快。

但台下越来越多人看懂了他在干什么。

他不是在找新定理。

是在给自己未来要用的某种东西。

校准。

过了一会儿，陈拙停下。

“后来我觉得，这个东西其实可以换个叫法。”

他在抓手旁边空出一点位置。

写下一个字。

秤。

报告厅里立刻有笑声。

陈拙回头。

“我当时就是这么写的。”

笑声没停。

“这个也比接口好记。”

这回陶哲轩彻底笑了。

陈拙也笑了一下。

“当然，不是真的称重量。”

“意思差不多。”

他用粉笔点了点左边那条已知路线。

“先拿一个知道重量的东西。”

“放上去。”

“看看它认不认。”

一句话。

整个秤的思路突然变得非常直观。

陈拙重新走了一遍左边。

第一次。

结果下。

对。

他换一种表示。

再来。

仍然对。

换一次局部写法。

核心结果没有跟着乱跑。

“这里没问题。”

陈拙。

又拿另一个已经明确知道代数身份的简单情形放上去。

重新走。

还是能认。

“也没问题。”

他没有表现出什么兴奋。

因为这只是校秤。

已知重量五公斤的东西放上去，秤显示五公斤。

应该的。

真正麻烦的是未知的。

陈拙停下来。

“所以那时候我对这个秤有几个很朴素的要求。”

他完，想了想。

“也不算要求。”

“就是不能骗人。”

他开始用动作而不是列条目解释。

换一种网格。

秤上的核心结果不能跟着乱跑。

换一种表示。

不能因为写法变了，原来的代数信息就消失。

已知的代数循环放上去。

必须认得出来。

至于一个只是看起来很像的东西。

陈拙抬头。

“不能因为长得像，就给它过。”

这一句让几个人轻轻点头。

“所以我当时真正想找的，不是一个数。”

“也不是某个固定大。”

“而是一层不容易伪造的东西。”

粉笔在秤

“如果它真属于代数这一边。”

“换几种办法以后，总得留下点这边自己认的东西。”

这就够了。

本章未完，点击下一页继续阅读。