(接上一瞬间)
我们在之前的瞬间里不是说本届菲尔兹奖得主许埈珥到了美国后,由于自己用代数几何的奇点理论解决了一个组合学的猜想,而受邀转学密歇根大学么。
王博潼说这位英文名为六月的博士生在密歇根大学的博士资格考试里考得一塌糊涂[笑哭],
需要系主任的特别准许才得以继续读博[捂脸哭]。
王博潼和他一起演算时,通常先把简单情况快速算好,当到了核心步骤,再由六月来算
(总是用最基本往往也是最复杂的方法,不走捷径)。
两人合作最久的一个问题是(也有其他合作者):
证明一个猜想对一般的拟阵成立。
首先,这对三维及以下是显然的。
四维的拟阵才是问题的真正开始。
王博潼说自己总是想用数学归纳法,
通过先假定对维数小于等于 n 的拟阵成立,
再试着证明对 n+1 维也成立。
(这样,就像一个自动运行的计算机程序一样,所有维数的拟阵情形也就都被一个接着一个地自动证明了)
但六月坚持只研究四维的拟阵(即使在已经找到一个四维的证明后,他还是觉得理解得不够好)。
几个月后,当两人正式用数学归纳法寻求一个完整证明时,六月对四维拟阵的观察几次都帮上了忙,给出了证明中的一些核心步骤。
(下一瞬间继续)
评论: