。”
“定义惠特克层 w，使其在代数群的作用下不变，即：w(x)=i∑aii(x)，中i是代数群作用下的特征层。”
“通过特征层的性质，可以引入以下映射：Φ:→w，使得：Φ(f)=g∈g∑gf。”
“利用范畴化收缩原理，即可证明：g∈g，gΦ(f)=Φ(f)。因此，Φ(f)是一个不变的函数，且可以被视为惠特克层的一个自同态。”
“由此可见：f可以通过惠特克层的自同态来描述。”
……
回到自己小屋的乔喻，飞快的打开latex，写下以上内容后，直接保存然后发给了对面华清的李教授。
很简短的证明过程，但数学有时候就是这样。
没想到的时候千难万难，但灵感来的那一下，问题顺其自然的就解决了。
大概是最近他一直思考这个问题的缘故，刚刚陈师兄那通电话转述田导对对称性的描述，让他突然想到了一个几何直观的想法：将全局函数看作某种变换下的不变形式。
挂了陈师兄的电话之后，他的脑海中就完整的规划出如何将特征层理论和范畴化收缩原理相结合，通过构造一个变换群体来理解全局函数的性质，并且考虑在这个变换下惠特克层的变化，从而揭示它们之间关系的办法。
邮件发过去之后，再次将自己的证明过程检查了一遍之后，这才拿起了电话，直接拨给了对面的李教授。
虽然他写的很简略，但已经针对这个问题研究很久的李教授肯定能看懂他的思路。
很快电话接通。
乔喻开门见山的说道：“喂，李教授，我刚刚好像证明了全局函数可以通过惠特克层的自同态来描述，且这些自同态的结构与代数群的表示有直接的关系。刚刚发到你的邮箱里了，你要不现在看看我的想法对不对？”
“你完整证明了？”
“嗯，就是写的有点简略。”
“你等等，先别挂，我正好在电脑旁边，等我先看看。”
电话里传来一阵拖动键盘跟鼠标的杂声，乔喻干脆开了免提，将手机放到了桌上。
对面半晌没有反应，乔喻的思维也开始发散。
嗯，刚刚有个学姐找他要微信来着，这好像还是在燕北大学第一次遇到这种事情……
不对，他刚刚不应该跑的，就显得很没气势……
学姐该不会以为自己是被吓跑的吧？