「我没有！」赵晓玥斩钉截铁的答道。

唐静点了点头，说道：「果然如此，没事儿，刚刚大神也说了，你要是自己去要微信，他一定给。」「呵」

「设全局函数为f：c→c，其中c为交换堆。」

「变换群g，其作用在全局函数上，定义为：g·f（x）=f（g—1·x），对于所有g∈g，x∈c。」

「定义惠特克层w，使其在代数群的作用下不变，即：w（x）=iaioi（x），中φi是代数群作用下的特征层。」通过特征层的性质，可以引入以下映射：中：c→w，使得：（=g2gf。”

利用范畴化收缩原理，即可证明：vg∈g，g中（f=中（f。因此，（是一个不变的函数，且可以被视为惠特克层的一个自同态。「由此可见：f可以通过惠特克层的自同态来描述。」

回到自己小屋的乔喻，飞快的打开tex，写下以上内容后，直接保存然后发给了对面华清的李教授。很简短的证明过程，但数学有时候就是这样。

没想到的时候千难万难，但灵感来的那一下，问题顺其自然的就解决了。

大概是最近他一直思考这个问题的缘故，刚刚陈师兄那通电话转述田导对对称性的描述，让他突然想到了一个几何直观的想法：将全局函数看作某种变换下的不变形式。

挂了陈师兄的电话之后，他的脑海中就完整的规划出如何将特征层理论和范畴化收缩原理相结合，通过构造一个变换群体来理解全局函数的性质，并且考虑在这个变换下惠特克层的变化，从而揭示它们之间关系的办法。

邮件发过去之后，再次将自己的证明过程检查了一遍之后，这才拿起了电话，直接拨给了对面的李教授。虽然他写的很简略，但已经针对这个问题研究很久的李教授肯定能看懂他的思路。

很快电话接通。

要不现在看看我的想法对不对？」「你完整证明了？」

「嗯，就是写的有点简略。」

「你等等，先别挂，我正好在电脑旁边，等我先看看。」

电话里传来一阵拖动键盘跟滑鼠的杂声，乔喻干脆开了免提，将手机放到了桌上。对面半晌没有反应，乔喻的思维也开始发散。

嗯，刚刚有个学姐找他要微信来著，这好像还是在燕北大学第一次遇到这种事情不对，他刚刚不应该跑的，就显得很没气势

学姐该不会以为自己是被吓跑的吧？

说起来那个粉丝学姐好像还挺漂亮的，就是不知道聪不聪明

不对数学才是最美的，乔曦第二，可可算第三吧「这个证明，这个证明你是怎么想到的？」

电话里再次传出的声音终于让乔喻发散的思维收拢了回来。

「这个，说来就有点话长了，得从我今天早上去听了一节关于真理的哲学课说起，嗯，李教授，你现在确定要听吗？」「算了！我要先验证一下，留意微信，晚上八点左右做团队讨论的时候你在说吧。乔喻，你还真是个超级天才！」

第127章 没办法，只能加倍努力了！

美国，剑桥市，阿雷斯顿社区。

这个社区离麻省理工跟哈佛大学都很近，环境安静，学校不错，还自带公园。

不过张馨文选择住在这里，更看重的是跟剑桥或者波士顿的其他中产居住区域比起来，这里的位置房价要更低一些，居住品质也不算差，算是性价比拉满。而且社区里很多都是麻省理工跟哈佛的教职工，住著也放心。

没办法，在美国大学教授这个职业虽然有一定的社会地位，但并不算高收入群体，尤其是还不太出名的时候。众所周知这片国土是真的把物以类聚，人以群分玩到了极致。

中产跟贫民社区混杂在一堆，知识跟罪恶往往只有一街之隔。甚至大家都已经对这些习以为常。

在这里任何城市，哪怕是华盛顿这样的首府又或者纽约这样的世界金融中心，某些区域同样会有更高的犯罪率跟社会问题。相对来说拥有麻省跟哈佛的剑桥市已经非常安全了。尤其是夜晚，社区非常安静，甚至是静谧。

中产社区基本上晚上没有出行的习惯。街头也没有汽车的噪声，更没有来历不明的人在街区莫名的狂欢。如果哪家人肆无忌惮的发出噪音，大概率会喜提911上门拜访的套餐。这样的凌晨时分，手机铃声往往会特别刺耳。

张馨文就是被这刺耳的铃声吵醒，刚睁开眼，便听到身边女人的抱怨。

「谁啊？这个时候还打电话？说了多少次了，晚上睡觉就把手机静音打开。」说完，身边的女人已经打开灯，气咻咻的爬了起来，抱著被子直接走出了房间。张馨文只觉得一阵头疼。

人到中年，夫妻矛盾似乎一下也多了起来，数学教授也未能免俗。

睡觉之前刚吵了一架，好不容易才哄著睡了，一通电话又要让矛盾升级了。无奈的摇了摇头，拿起手机，看到号码，就很生气。

如果是剑桥这边同事的号