“等等，你跟他说什么？”赵晓也不笑了，羞恼的盯着唐静说道。
“你是他的粉丝啊，你不是那天还专门申请了个微博关注了一下他吗？”唐静理直气壮的说道。
“我解释多少遍了，那是因为我看群里聊的数学世纪大和解感觉很有趣，所以关注他的微博。如果有最新进展了能第一时间知道而已。这算什么粉丝？”赵晓无奈的说道。
“但你不觉得这是缘分么？这又不是数学中心那边，咱们突然想来这边吃个饭就碰上了？那个……晓啊，你该不会是因为我说你想加他微信，结果他扭头跑了，所以生气了吧？”唐静眨了眨眼，若有所思的问道。
“我没有！”赵晓斩钉截铁的答道。
唐静点了点头，说道：“果然如此，没事儿，刚刚大神也说了，你要是自己去要微信，他一定给。”
“呵……”
……
“设全局函数为 f:→C，其中为交换堆。”
“变换群G，其作用在全局函数上，定义为：gf(x)=f(g^1x)，对于所有 g∈G，x∈。”
“定义惠特克层 W，使其在代数群的作用下不变，即：W(x)=i∑aii(x)，中i是代数群作用下的特征层。”
“通过特征层的性质，可以引入以下映射：Φ:→W，使得：Φ(f)=g∈G∑gf。”
“利用范畴化收缩原理，即可证明：g∈G，gΦ(f)=Φ(f)。因此，Φ(f)是一个不变的函数，且可以被视为惠特克层的一个自同态。”
“由此可见：f可以通过惠特克层的自同态来描述。”
……
回到自己小屋的乔喻，飞快的打开LaTeX，写下以上内容后，直接保存然后发给了对面华清的李教授。
很简短的证明过程，但数学有时候就是这样。
没想到的时候千难万难，但灵感来的那一下，问题顺其自然的就解决了。
大概是最近他一直思考这个问题的缘故，刚刚陈师兄那通电话转述田导对对称性的描述，让他突然想到了一个几何直观的想法：将全局函数看作某种变换下的不变形式。
挂了陈师兄的电话之后，他的脑海中就完整的规划出如何将特征层理论和范畴化收缩原理相结合，通过构造一个变换群体来理解全局函数的性质，并且考虑在这个变换下惠特克层的变化，从而揭示它们之间关系的办法。
邮件发过去之后，再次将自己的证明过程检查了一遍之后，这才拿起了电话，直接拨给了对面的李教授。
虽然他写的很简略，但已经针对这个问题研究很久的李教授肯定能看懂他的思路。
很快电话接通。
乔喻开门见山的说道：“喂，李教授，我刚刚好像证明了全局函数可以通过惠特克层的自同态来描述，且这些自同态的结构与代数群的表示有直接的关系。刚刚发到你的邮箱里了，你要不现在看看我的想法对不对？”
“你完整证明了？”
“嗯，就是写的有点简略。”
“你等等，先别挂，我正好在电脑旁边，等我先看看。”
电话里传来一阵拖动键盘跟鼠标的杂声，乔喻干脆开了免提，将手机放到了桌上。
对面半晌没有反应，乔喻的思维也开始发散。
嗯，刚刚有个学姐找他要微信来着，这好像还是在燕北大学第一次遇到这种事情……
不对，他刚刚不应该跑的，就显得很没气势……
学姐该不会以为自己是被吓跑的吧？
说起来那个粉丝学姐好像还挺漂亮的，就是不知道聪不聪明……
不对数学才是最美的，乔曦第二，可可算第三吧……
“这个……证明，这个证明……你是怎么想到的？”
电话里再次传出的声音终于让乔喻发散的思维收拢了回来。
“这个，说来就有点话长了，得从我今天早上去听了一节关于真理的哲学课说起，嗯，李教授，你现在确定要听吗？”
“算了！我要先验证一下，留意微信，晚上八点左右做团队讨论的时候你在说吧。乔喻，你还真是个超级天才！”
感谢过客流往的舵主打赏鼓励！
感谢刘洋过海的打赏鼓励！
万字更新打卡第43天完成啦！
看，真男人说话就是这么算数！
等我休息几天，然后准备下一期的万更计划！！！
第129章 没办法，只能加倍努力了！
美国，剑桥市，阿雷斯顿社区。
这个社区离麻省理工跟哈佛大学都很近，环境安静，学校不错，还自带公园。
不过张馨文选择住在这里，更看重的是跟剑桥或者波士顿的其他中产居住区域比起来，这里的位置房价要更低一些，居住品质也不算差，算是性价比拉满。
而且社区里很多都是麻省理工跟哈佛的教职工，住着也放心。
没办法，在美国大学教授这个职业虽然有一定的社会地位，但并不算高收入群体，尤其是还不太出名的时候。
众所周知这片国土是真的把物以类聚，人以群分玩到了极致。
中产跟贫民社区混杂在一堆，知识跟罪恶往往只有一街之隔。甚至大家都已经对这些习以为常。
在这里任何城市，哪怕是华盛顿这样的首府又或者纽约这样的世界金融中心，某些区域同样会有更高的犯罪率跟社会问题。相对来说拥有麻省跟哈佛的剑桥市已经非常安全了。
尤其是夜晚，社区非常安静，甚至是静谧。
中产社区基本上晚上没有出行的习惯。街头也没有汽车的噪声，更没有来历不明的人在街区莫名的狂欢。如果哪家人肆无忌惮的发出噪音，大概率会喜提911上门拜访的套餐。
这样的凌晨时分，手机铃声往往会特别刺耳。
张馨文就是被这刺耳的铃声吵醒，刚睁开眼，便听到身边女人的抱怨。
“谁啊？这个时候还打电话？说了多少次了，晚上睡觉就把手机静音打开。”说完，身边的女人已经打开灯，气咻咻的爬了起来，抱着被子直接走出了房间。
张馨文只觉得一阵头疼。
人到中年，夫妻矛盾似乎一下也多了起来，数学教授也未能免俗。
睡觉之前刚吵了一架，好不容易才哄着睡了，一通电话又要让矛盾升级了。
无奈的摇了摇头，拿起手机，看到号码，就很生气。
如果是剑桥这边同事的号码也就算了，起码证明了人家还在熬夜。
但这是华夏的号码。
不知道尊重一下时差吗？剑桥EDT可是要比CST慢12个小时！
现在剑桥已经是凌晨十二点五十，李立行是疯了吧？
带着怨气接通了电话，不过他还没来得及说话，对面就抢着说了句：“张教授，快去看邮箱，乔喻证出来了！”
脑子有点懵，张馨文下意识的问了句：“乔喻？他证出什么了？”
“不是？还能是什么？当然是我们现在遇到的问题！不说了，我还要通知罗纳德！”
“嘟嘟嘟……”
手机听筒里的忙音，让张馨文愣了半晌。
不是……
就挂了？
他好像还打算骂两句这个扰人清梦，还破坏夫妻感情的家伙，他怎么就挂了？
等等……
乔喻把那个问题证明出来了？
大脑终于被完全激活，张馨文整个人突然一激灵，然后随便找了件衣服披上，快步来到他的小书房，打开了笔记本电脑。飞快的登陆了邮箱。
果然有一封李立行从华清发来的邮件，附件就一张很小的图片。
张馨文疑惑的点开，极限简洁的证明过程便强势钻进了他的脑海里。
仔细的看完之后，张馨文感觉有些很不真实。困扰了他们大半年的问题，那个乔喻解决起来只用了六行？
在心底感慨了不到两秒，张馨文就拿起了笔，然后从桌上顺手抽出一叠纸开始做起了推导。
比如第五行不变性的证明。
证明者在这里确保了全局函数在变换群作用下的平均值是一个特征层。
这一点非常重要，因为它证明了所构建的特征层W实际上捕捉到了全局函数的主要特征，而不是随群的变化而改变。证明的逻辑在于，通过变换群的平均作用，可以保证得到的结果仍然属于特征层。
但乔喻的表达是：利用范畴化收缩原理，即可证明：g∈G，gΦ(f)=Φ(f)。因此，Φ(f)是一个不变的函数，且可以被视为惠特克层的一个自同态。
这明显太过简洁了。
利用范畴化收缩原理，这句话说起来简单，证明起来可是个麻烦事。首先需要定义平均值：Φ(f)=1/Gg∈G∑gf，然后验证不变性：gΦ(f)=g｛1/Gg∈G∑gf｝……
时间就在张馨文奋笔疾书中过去，不知不觉中用于演算的稿纸已经写了整整三面，然后得出了跟乔喻的证明过程一样的答案。
“Yes！”张馨文忍不住激动的叫了一声，惹来屋外一阵犬吠，他这才惊觉已经是凌晨时，顿时吓得立刻闭紧了嘴巴。
还好屋里屋外除了狗叫了两声外，没有任何动静。
张馨文放下心，但情绪依然激动。
任何一个数学家，思考了半年多的东西，突然被解决都很难不兴奋。
兴奋之后又是一阵后怕。
还好袁老做主把乔喻拉进了他们的课题组……
否则的话，如果这家伙从另外的渠道打听到他们的课题，然后顺手给解决了怎么办？
现在这种情况起码还能说之前他们的研究是有价值的，起码帮乔喻梳理了对这个问题的脉络。
这个问题解决了，他也终于可以开始下一步的课题攻关了！
世界竟然如此美好。
……
马萨诸塞州剑桥市距离加利福尼亚州伯克利市大概三千公里的距离，这也是从东海岸到西海岸的距离。
对于许多天气预报只用一句话就能总结的小国家来说，大概无法理解为什么相距如此遥远，竟然还属于同一个国度是何种体验。
答案大概是不算美好，尤其是一个国家并不使用同一个时区的时候。
同属一个大家庭，却有着三个小时的时差，这让内部沟通都会变得很麻烦。尤其是对于大型公司跟需要经常交流联系的学者们而言更是如此。接到某个重要的会议通知，然后把时间弄混的事情经常发生。
就在张馨文感觉庆幸跟振奋的时候，伯克利市的罗纳德教授也已经完成了缺失步骤的补全工作。
跟张馨文不同的是，此时罗纳德是一边跟李立行视频，一边完成的完整证明过程。
虽然剑桥市已经是凌晨一点半，但伯克利市此时只有晚上十点半。
所以罗纳德能比张馨文更随意的表达此时的情绪。
“知道吗？李，当时你说团队里要加一个孩子的时候，我其实心里是想直接拒绝的。这会让学术研究变得不那么纯粹！如果不是那个乔找出了几何朗兰兹猜想证明漏洞的话，真的，我一定会拒绝的！