随着协会长再次上台,标志着中场休息结束。
原本轻松的氛围再次严肃起来。
“下面,有请秦衡先生继续上台。
接下来由b组进行质证。”
秦衡走向台前。
b组大佬起身发言。
“在论文3.7中构造的混合霍奇模的极化结构,依赖于对形变复形的谱序列退化假设,若考虑特征零域上具有非半单单极的局部系统。
请问该如何规避deligne-Lusztig型障碍?
并且由此延伸出的L2-估计式在非紧凯勒流形边界存在奇点时,所依赖的加权Sobolev不等式会出现各向异性衰减。
请证明您采用的截断函数族{x_e}在霍奇分解下的投影算子范数一致性。
还有移植到p-adic情形时。
您使用的hodge-tate比较定理是否隐含地依赖于Fontaine-messing周期环的某种刚性结构?
这与Grothendieck的标准猜想d是否存在深层矛盾?\"
后台的陈书雪听完这个质疑点后深吸了一口气。
好家伙,一个质疑点能扩展出四个需要额外证明的地方。
b组这帮老家伙是有备而来的。
这才第二关而已要不要这么狠。
想到这她不禁为秦衡捏了把汗。
其实数学论证质疑其实形式大同小异,打破紧密逻辑链条往往只需要攻其一点,就能以点带面攻破全局。
质疑的主要方法就是论文使用的某证明公式集合中某特殊值不满足证明,或者是未考虑使用条件的限定范围,又或者是证明过程中使用的定理前置条件不一致,极限值域未论证等等。
…………
劈头盖面的问题袭来并没有将秦衡问懵。
他沉思片刻后抬起头笑着说道:“一点引四个不同形式的问题,b组的各位前辈们还真是功力深厚。
今天算是大开眼界,必须要说上一句各位前辈教的好,晚辈今天学到了。”
秦衡这句话引的全场会心一笑。
尤其是b组那些大佬们更是脸上露出自得的笑容。
就像秦衡说的那样,不是谁都能从一点引出那么多形式的问题,没有深厚的数学功底根本不可能做得到,更何况他们还是集齐了两百多人的智慧。
对此b组代表也是适时回应道:“年轻人态度不错,我们的提问确实有些难度,不过这些都是论证所必须的。
往小了说我们全球数学家协会要为数学定理流传于世担负责任。
往大了说,我们所有承认的数学结果未来可能以任何形式出现在任何场合上。
超级计算机,载人航天器,深海探测仪,微观粒子研究等等,都切实的需要我们提供正确的理论以及数据支持。
这些绝对不能为我们的数学错误买单。
所以我并不是故意为难你,你只管慢慢想就是了,我可以保证我们组的人不会利用场外因素干扰你。
今天才大会开幕第一天而已,时间非常充足,就是七天时间全部用完也没事,其它质疑点大不了下次召开会议时再解决就是了,反正也不可能一次性论证成功的。”
b组代表的这些话让后面其它组尤其是第十以及第十一质疑点的组员们有些吃味。
虽然他们同样也不认为七日的数学家大会时间内秦衡能过关斩将走到自己面前。
但这话不能直接说出来好吧,显的他们一群人待在这里似乎可有可无,简直像个蹭会的一样。
对此秦衡只是轻声一笑。
虽然对方说话是好心,但他可没有将时间全部耗在这里的打算。
秦衡准备毕其功于一役,七天时间直接将论证完成。
毕竟他后面还有很多事情要做,像提前毕业和超导实验室建立之类的,尤其是室温超导体可是改变世界格局的东西宜早不宜迟,所以时间对于秦衡而言是非常宝贵的。
于是秦衡开始动手,再次将自动黑板拉过来。
这个举动引得台下b组成员们眼皮子直跳。
他们有些难以置信,难道这么短的时间里,秦衡居然有思路了?
果不其然,秦衡一边书写一边说明道。
“其实我要感谢b组的精妙质询,因为这四个问题恰好构成霍奇猜想的四面体障碍。\"
秦衡手中粉笔尖连续不断的在黑板上书写这,一个德利涅同调群模型就这样从他手中诞生,
\"请允许我用谱拓扑学重构证明框架,接下来我将一一证明。\"
“首先是关于形变复形谱序列退化假设的质疑。\"
秦衡手指指向他书写出来的对应模型上。
\"我们需要重新审视特征零域上的单值化障碍,当引入加权射影联络的挠化变形时,这里存在隐藏的SL(2,R)-结构...………\"
秦衡正解释说明着。
台下协会成员但非b组组员的日本东京大学的几何学家中村修二突然起身询问道:\"你这样运算会破坏局部值域的平坦性,关于这点你有没有考虑到?\"
秦衡还未开口回答。
b组代表撇看了一眼发言者后语气冷淡说道:“请发言人注意提问礼仪,未得到许可之前不要随意发言打断论证人进程,有问题可以留到自由提问环节集中讨论。
最关键的是现在主要是我们b组成员质疑环节,我们都还没开口你插的什么嘴,是不是显着你了?
下面我个人建议将非提问组员的麦克风关闭,以免干扰论证人的思路!”
“抱歉,我就是有些不解而已。”
中村修二涨红了脸解释道,眼中的不甘一闪而过,本打算出下风头的他没想到会被人这样对待。
最关键的是这位b组代表可是大佬中的大佬简称巨佬,同为协会成员彼此之间亦有差距,他还真的不敢还嘴。
秦衡抬起眼眸看了一眼这位亚洲面孔的生人,其英语口音其实已经暴露了所属国家,他轻笑后回答道:“这个问题的答案非常简单,或许这位仁兄再往深里想一想就能想明白。
我书写的公式左侧是经典bbdG分解,右侧是改良后的挠化层结构。
构造具有非阿贝尔hodge对应的monodromy修正项,因此本身就已实现了谱序列的刚性校准,绝对不会破坏局部值域的平坦性。
我已经说的这么清楚,所以这位仁兄你看明白了吗?\"
台下顿时哄笑成一团。
中村修二头都没敢抬,咬着后槽牙回答道:“明白了,明白了,请继续吧。”
秦衡自是不会在意这种人,在这种时候还要特意耍个小聪明彰显存在感,抖机灵可以但也要分场合时间,也不看看在坐的各位哪个智商会低。
有时候人的格局和周边环境是相互影响的。
就像某人评价小日子这个国家《知小礼而无大义》,放在此时也是恰如其分的。
略过这些小插曲,秦衡转向第二块黑板继续开始书写证明。
…………