「但你不觉得这是缘分么？这又不是数学中心那边，咱们突然想来这边吃个饭就碰上了？那个...晓玥啊，你该不会是因为我说你想加他微信，结果他扭头跑了，所以生气了吧？」唐静眨了眨眼，若有所思的问道。

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

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

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

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

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

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

..

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

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

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

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

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

很快电话接通。

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

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

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

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