点了一下上面的「正规函数」。
「因为最简单的情形已经告诉我，光知道霍奇类在哪里不够。」
「得有办法往代数那边抓。」
「莱夫谢茨（1，1）那里有。」
「高维里现在没有。」
奥莱尔安静几秒。
然後点头。
「够了。」
「没有答案就别编。」
陈拙把粉笔放下。
「我也不准备编。」
这时马祖尔终於开口。
他的声音并不高。
「我问一个更简单的。」
陈拙看过去。
马祖尔把论文翻到中间一页。
「这里这个常数。」
「还能更小吗？」
「能。」
「能小多少？」
「取决於前面多加多少处理。」
「如果我要求你把它压到现在的一半？」
「也能做。」
「那为什麽不做？」
陈拙想了一下。
「没必要。」
马祖尔抬眼。
「这是数学论文。」
」
没必要」不是一个很好的回答。」
「那换一个。」
陈拙重新走到黑板前。
在原来的构造旁边又画了两层。
「为了把这个常数再压得漂亮一点。」
「前面要多加这些。」
「结论确实会更尖。」
「但主结构不会因此增加任何新的东西。」
马祖尔看着。
「你觉得证明会变差？」
「会变笨。」
屋里安静了一秒。
爱德华坐在後面笑了。
马祖尔也笑了一下。
「这倒是一个比「没必要」更明确的判断。」
「如果审稿人坚持呢？」
「写进注释。」
「主证明呢？」
「不放。」
「为什麽？」
「主证明应该留下真正需要的东西。」
马祖尔看了陈拙一会儿。
然後把论文合上一点。
「好。」
最後又轮回阿瑟。
他看了一眼自己折角的第三节。
「波士顿那次，物理那边
…。。