当唐林天拿着报纸兴冲冲地跑到计算中心想要找他的时候,只得到了“常教授闭门谢客,正集中精力解决关键问题”的回答——
在常浩南带着栗亚波从上沪参加完取证庆祝仪式回来之后,就一头钻进机房。
一连半个多月,除了偶尔出来吃个饭以外,连睡觉都是在里面解决的。
因为,之前一直通过超算寻找的里奇流截断方式,出结果了。
佩雷尔曼成功给出了两项可以直接通往典范领域假设和长时间存在假设的引理。
即,设m是三维紧致单连通的流形,容易知道它是可定向的,而任意给定m上的度量,通过缩放(sg)都是是正规的,再以这个正规度量为初始值,就必定可得得到手术化的里奇流。
接下来,只要证明解可以在有限时间内消失,即可由m的单连通推导出m微分同胚于s^3。
也就是整个证明过程中的【定理1】。
庞加莱猜想——任何一个单连通的,闭的三维流形一定同胚于一个三维球面。
而“解可以在有限时间内消失”这件事,正是常浩南需要超算帮他找到的结果。
内容未完,下一页继续阅读