宋河坐在电脑前,自学电子教材。
宿舍门敲了两下推开,谢科夫站在门口。
“卡特琳娜回消息,说M可看作2n维黎曼流形,她打算改用陈-高斯-博内公式,再借用阿蒂亚-辛格指标定理,可以有效避免你说的大部分疑点。”
“回消息,不行!”宋河沉吟片刻,“如果是紧的可定向流形线性椭圆微分算子,你可以用阿蒂亚-辛格,但沙逊猜想不仅仅包含这种情况,其他情况该如何证明?”
谢科夫快速打字,比了个ok的手势,关门离开。
宋河继续盯着电脑。
刚学了没一会儿,谢科夫再次敲门。
“卡特琳娜回消息,设α是k维空间的n阶微分算子,去掉α的低阶项,将最高阶项求偏导的算子替换……”
谢科夫念了足足两分钟。
“错误!”宋河斩钉截铁,“局部坐标系定义的偏微商算子是什么?α余切丛上的函数又是什么?走这种证明路线,漏洞百出!”
谢科夫呆了呆,低头敲字,关门离开。
几分钟后,敲门声再次响起,谢科夫念了两分钟最新回复。
宋河继续驳斥,全盘否决卡特琳娜的思路。
敲门、否决、敲门、否决、敲门……
反反复复一小时,谢科夫传话二十多次,活活累成狗。
“不行了宋兄!我不能当翻译官了,我得去睡觉!”谢科夫虚脱,可怜兮兮蹲在门口,“但她一直催我跟你传话,说证明方向产生严重分歧,必须及时沟通。”
“她想找个能跨境用的社交软件,直接和你加好友沟通。各自用自己语言发消息,再用翻译软件,就把我这个苦力省掉了。”
宋河想了想,“微信?”
谢科夫比了个ok的手势,关门离开。
又学习十多分钟电子教材,手机震动,微信好友申请。
头像是托腮沉思的毛妹,白皙清纯,栗色长发,漂亮的有点夸张了!
宋河心说恐怕是借用什么明星模特的网图,饱受数学折磨的数学人,哪有如此水灵的?谢科夫这几天憔悴的像《伏尔加河上的纤夫》。
微信名是一串看不懂的俄文,复制到翻译软件,“奋勇解题卡特琳娜”,宋河把前四个字删掉,只留名字作为备注,通过好友。
瞬间,一串俄文发过来,他长按翻译。
“椭圆算子的关键特性在于它们可逆,紧流形上的椭圆算子,其核和余核都是有限维的,我的证明方向从此入手,难道不对吗???”
“不对。”宋河淡定回复,“并不是完全可逆,只是几乎可逆,你的证明过程恰好在几乎之外。”
十多分钟的辩论拉开序幕!
双方唇枪舌战,飙出十几页的微信消息!
宋河残酷无情,犹如一尊巨型守关BOSS,手执“漏洞百出”的大锤,不断将突围的卡特琳娜砸成肉饼,否决她的全部证明方向!
省去谢科夫传话后,沟通效率高多了。
但急促的唇枪舌战容易引发争吵,卡特琳娜怒了!
“胡扯!我的证明过程没漏洞!如果我的方向不行,为什么你不写一个可行的方向来看看?!!”卡特琳娜回复。
“我正忙着学其他知识,暂时没空写证明。不过我指出的错误是千真万确,你应该虚心接受。”宋河回复。