想到。
于是他便上了各种数学或者是PDE相关的论坛搜索了一下,倒确实发现了已经有人开始对他那篇论文进行讨论,甚至讨论的热度还不低。
有些人是因为他的身份而被吸引过去看这篇论文的,有的人则是因为这篇论文的标题和摘要都写的牛逼哄哄,于是去看了,而随着这些人看完之后,就完全被论文中提到的方法给惊讶住了。
像是在mathoverflow上面,就有人对他的这篇论文进行着提问和讨论。
【如何理解Zhou最新发表在ar.iv上面的一篇论文《论流体哈密顿系统中的KK等价与谱几何对偶》中,通过同伦方法计算Kasparov积的过程?】
周淮点了进去,发现下面的讨论区已经盖起了高楼。
楼主是来自莫斯科大学的一名教授,用户名叫【Vladimir_I】,他在一楼给出了详细的提问:【我花了两天的时间,才勉强跟上了Zhou在这篇论文中构建的框架。将流体稳定性问题置于无限维哈密顿系统的KK理论之下,这是一个开创性的、大师级的想法。但我必须承认,在第7节,关于用同伦论证来代替直接代数计算Kasparov积的部分,我的理解遇到了巨大的障碍。作者声称,通过构造一个从A_an到A_geom的连续算子路径,可以证明它们的KK类是等价的。这个思路非常优美,但其中关于“指标抵消”的论证,作者只用了几行字就一笔带过,我完全无法想象这是如何实现的。有谁能提供更详细的解释吗?这简直像是魔法。】楼下就是一位来自加州大学洛杉矶分校的教授,也回复道:【我同样卡在了这里,这不仅仅是魔法,简直就是神迹。传统的同伦论证,在无限维且非形式的情况下,会遇到无穷无尽的分析难题,但Zhou似乎完全无视了这些困难。我怀疑这里可能存在一个未被说明的、极其深刻的隐藏引理。这篇论文的每一个字都值得我们用放大镜去研究。】
之后又是好几位来自名校的教授在下面发表了相同的感想,都是对这个部分理解感到了相当的困难。而除了这些教授们,倒是也有一些博士生在下面发言,倒不是说这个网站上面就没有硕士生或者是本科生了,实在是硕士生和本科生的水平,一般接触不到这样的话题。
就有一位来自普林斯顿大学的在读博士生发言:【有没有一种可能……我是说有没有这样一种可能……这篇论文的作者,根本不是人类?(手动狗头)我是一个研究流体力学的博士生,我导师看了这篇论文后,两天没跟我们说一句话,只是不停地在办公室里抽烟和踱步。今天早上他终于开口了,让我们把他之前布置的所有关于湍流转摒模型的课题全部暂停,他说,我们可能需要把之前的成果全部推倒重来了。】周淮继续往下看去,不由一笑。
看见自己的成果不断给数学界带来这种种影响,他多少也还是有点小高兴的。
不过随着看完了整个帖子,关于这个帖子的问题倒是也没有人给出准确的回答,虽然其中也有些人展开了讨论,不过讨论的情况嘛……跟周淮本身的想法都相差太远。
他想了想,随后索性决定还是亲自来回答吧。
于是他登陆上了自己的mathoverflow的账号,这个账号他也算是很早之前就已经申请过了,不过以前倒是从来都没有发言过。
随着光标在回答框中闪烁,他没有直接贴上繁复的公式,而是先打下了一段话:【非常感谢各位对我的论文的关注和讨论,特别是弗拉基米尔教授提出的这个问题,它确实是整个证明中的一个关键。关于用同伦论证来代替直接代数计算Kasparov积,那个“指标抵消”机制,确实不是魔法,它源于对我们所研究的算子微局部性质的精细分析。
为了避免论文过于冗长,我在论文中没有展开这部分的细节。其核心思想如下:
我们构造的同伦路径,本质上是一个参数化的算子族 D_t,其中t从0变到1。这条路径上可能会出现一些“坏点”,在这些点上,算子 D_t的核或者余核的维度会发生跳变,从而可能改变其指标。我们要证明的是,这些跳变所带来的指标变化,其总和为零。
关键在于,我们可以证明,这些“坏点”的出现,并不是任意的………
……这个证明,需要大量精细的微局部分析和对APS指标定理思想的推广应用。
希望这个解释能有所帮助。】
将他这位作者本人的想法全部说明之后,周淮便点击了“PostYourAnswer”。随后他便退出了这个问题,又看了一下其他人对于他这篇论文的讨论,之后便没再多管。
不过在他那个回答之下,没过多久便吸引来了更多网友们的惊叹。
【厚礼蟹特!居然是Zhou本人来回答了!原来Zhou也在使用这个网站啊!】
【Zhou!我的天,请允许我向你表示一下崇高的敬仰,你的这篇论文实在是写得太精彩了!就目前而言,这篇论文中出现的每一个方法都让我感到无比的震惊,实在想不到那些精彩的方法能够出现在同一篇论文中一一或许也是因为我看不懂