第126章 乔喻，你还真是个超级天才！
第126章 乔喻，你还真是个超级天才！ (第2/2页)「你怎么了陈师兄？」
「你，你受邀去参加世界代数几何大会，还要在大会上做三十分钟报告？」好一会，电话另一头的陈卓阳好不容易才把这句话说通顺了。
「啊？不是吧？陈师兄，这个事儿早定下来了，你可是咱们数研中心的百晓生啊，怎么才知道？」半晌对面才憋出了一句：「没人跟我说过，你也没说过，我怎么会知道？」
乔喻答道：「那个...我这不是想著陈师兄你下个月就离校了，就不想给你添堵了。不是，谁那么多嘴啊....」「刚刚周教授把你的护照送到田导这边，我正好碰到了，周教授顺嘴提了句这个事。」
乔喻觉得陈师兄是懂怎么不著痕迹的拍人马屁的，比如通过刚才激动到语无伦次的方式，以及现在似乎有些委屈的语气，都能让他收获许多情绪上的满足感。
于是乔喻便顺著陈师兄话说了句：「这样啊，师兄，代数几何大会而已，又不是世界数学家大会，你不用太激动了。下次如果我能受邀在世界数学家大会上做六十分钟报告，你在替我高兴也来得及。」
这么说真不是炫耀什么，就是让师兄知道他已经明白这些不著痕迹的马屁。「哦，你现在人在哪呢？」
「南园食堂。」
「吃个饭怎么还跑那么远？」
「刚到哲学系蹭了节课，讲真理的，教授讲的挺精彩，就是听了好像没听。哎....可能我不是学哲学的苗子吧？」
「你跑去哲学系听什么？他们能教啥有用的？还真理，玩哲学的下定义都飘忽的很，论证过程都可以直接唯心的，我跟你说，数学就是真理。对就是对，不对就是不对！非常明确。「
「哎，师兄，你不知道，最近做课题做的头脑发胀，听听这些内容感觉挺有趣的，还能放松大脑。」
「别听那些乱七八糟的，真要说思想上的碰撞，数学的描述才是最美的。老板有次讲座，讲对称性的时候说过一句话，在变化中寻找不变，在复杂中寻求简洁。这种数学思想不比哲学那种玄而又玄的东西有趣的多？你可千万别被那些玄乎理论带歪了。」
陈卓阳的话钻入乔喻的耳中，像是激活了某个开关，让乔喻下意识的问了句：「等等，师兄，你刚才说田导说了啥？变换那个...」「嗯？在变化中寻找不变，怎么了？」
「哦，没什么，刚没听清。我吃过饭就回去了，先挂了啊。」
「哎，也不急，我就是打电话问问你那个情况..哎..嗯，挂了？」乔喻直接挂了电话，陈卓阳后面那句话他根本没听到。
变化中寻找不变，复杂中寻求简洁。
乔喻想到之前张教授似乎也跟他聊过差不多的内容，当然用词并不一样。
不过跟最近他一直冥思苦想的问题结合到一起，让他似乎感觉有一道曙光照进了大脑。
交换堆的核心是可交换元素的集合，在一个交换堆中，不同元素的排列不影响整体的性质，这本身就构成了一种对称性。那么问题来了，交换堆中的某些全局函数也会展现出类似的不变性？
李教授那边课题目前最大的难点之一就是，全局函数的计算通常涉及到多个变量和复杂的组合。之前他所做的所有尝试，都要面临高昂的计算成本，然后进了死胡同。如果能有效利用对称性来提取不变的特征，或许可以将繁琐的计算转变为更加直观的分析。
尤其是如果能把全局函数视为在某种变换群作用下的不变形式，那是不是可以通过这种视角来揭示全局函数和惠特克层之间的关系？
如果成功的话，那么很明显，从不变性的角度分析全局函数将使复杂的问题变得清晰起来。这种转化如果可行，将不仅是理论上的突破，还能提供一个具体的计算方法。想到了这些，乔喻大脑里的思路立刻开始发散。
第一步自然是需要构建一个适当的变换群体，来分析全局函数在该群体作用下的表现。
大脑里快速的构建各种可能的变换方式，如何通过变换群作用，把全局函数映射到一个新的空间，并利用空间来简化计算跟分析..
「嘿，晓玥，你看那个家伙是不是一直盯著你看呢？晓玥。」
赵晓玥顺著身边闺蜜的目光看了眼，羞恼的说道：「别闹，人家那明明是在发呆。」「对呀，被你的美貌震撼到了，所以发呆嘛。哈哈..」
赵晓玥没好气的瞪了眼身边不著调的女人..
虽然她对自己的容貌是有自信的，从初中开始她就不乏追求者，高中时甚至有同学自行想办法解锁了上课用平板电脑的摄像头，课间时偷偷拍了一段她的视频，传到了某小视频软体上。
视频不但小火了一次，有三十多万的点赞，还收获了一堆诸如「完了，突然就想恋爱了」、「完全符合我对初恋情人所有幻想」之类的评论。可赵晓玥还真不会觉得她已经漂亮到在食堂里随便一个男生就能看著她发呆的地步。
当然对美的欣赏是一件很主观的事情。但赵晓玥知道那个男生单纯就是在发呆。
因为刚才她跟唐静坐过来的时候，正好看了乔喻一眼，那时候乔喻正在正常吃饭，明显是接了个电话后才变成现在这样的。尤其是此时的乔喻，手上还拿著手机，微微皱著眉头，眼神明显放空没有聚焦..
怎么看都不像是在盯人，不过看到乔喻能一直保持这么个姿势，赵晓玥还觉得挺有趣的。手不麻，脖子不酸吗？
不对..
「等等，唐静，你不觉得他有点眼熟啊？」
「不是吧？晓玥，还真郎有情妾有意？不过他看起来好像很小呦，比咱们都小，原来你喜欢这种类型的？不过说起来他长得也不错啊，就是衣品差了点，穿得老气横秋的。」「还闹？跟你说真的呢？你仔细看看！」赵晓玥皱了皱眉头说道。
「咦？要这么说的话，好像的确有点眼熟。」「衣服换成那套灰色的休闲运动服...」
「哦………………数学院那个，那个，乔，乔，乔喻？」
「不是数学院，人家是燕北大学跟华清数学研究中心联合培养。」
「哇喔，这位是真大神啊！你说咱们要是能跟大神交上朋友，高数、线性代数、概率统计这些科目是不是能随便过了？」赵晓玥跟唐静都是燕北大学经济学院经济学系的学生。
其实也不止是经济学院，对于绝大多数非数学跟物理学院的学生来说，只要专业需要学跟数学和大物相关的课程，都是最让人头疼的。哪怕只是高数B跟大物B。
当然即便是高数C跟大物通识课，也能让许多文科专业的学生头大。毕竟很多学生选择文科，真就是怕了数学、物理那些东西。
否则网络上不会把高数大物放一起调侃。
「随便过？你想的美。不过你要是能加大神的微信，以后高数的难题倒是有人能请教了。」赵晓玥瞥了唐静一眼，说道。
其实都不需要乔喻。
高数B的内容，大概随便燕北大学数学院一个同学，都能轻松应对。
唯一的问题大概是大家各自有各自的交际圈，数学院的同学不会在头上顶著数学两个字。但乔喻不同，多少是个名人，还能被认出来。
最重要的是慕强心理，人皆有之。
要不我们坐过去跟他聊聊？”唐静出了个主意
「算了，还是不过去了，打搅别人不好。」赵晓玥犹豫了一下，摇了摇头。唐静眼珠一转，说道：「那我一个人去了啊。」
说完，直接端著餐盘站了起来。
「啊？你真去？我觉得他可能在思考问题，还是别去打搅了。」
「怕啥！我又对他没企图，交个朋友不行吗？再说，我可以等他回过神来啊。」说完，唐静真就端著餐盘走向了乔喻的位置。
赵晓玥有些懵，不过她想了想，还是没跟著闺蜜发疯..真打搅到大神思考就不好了。
对外界一无所知的乔喻刚刚在脑子里完成了关联全局函数与惠特克层的推演。正感觉兴奋的时候，突然发现对面位置多了个学姐。
不过乔喻也没放在心上，这种情况他经常碰到，毕竟食堂位置是公共的。
随手放下手机，乔喻便打算赶紧把饭吃完，然后回去把刚刚的推理过程用数学的方式记录下来。让他意外的时候，学姐竟然认出了他。
「你好，你是数学研究中心的乔喻吧？」
「你好，是的。你是？」乔喻点了点头，爽朗的应了声。
看吧，他果然还是能算个名人的，随便在食堂吃个饭都能被认出来。毕竟这边可不是数学系的地盘。
「我是经济学院学经济的，我叫唐静，大神，我们是一个寝室的姐妹，喏，就是坐那边那个，叫赵晓玥是你的粉丝，还关注了你的微博呢。她不好意思过来跟你打招呼，所以能不能加个微信？方便我把你的微信推给她。」
乔喻眨了眨眼睛，扭头越过唐静，看了眼对面那个正在斯斯文文吃东西的学姐。咦，真是美女，跟夏可可似乎有得一拼。
随后乔喻收回目光，认真的说道：「唐静学姐，我刚刚正在思考的问题是关于谢瓦莱定理二维推广的。这里面用到了一个极为重要的技术，就是朗兰兹对偶性。简单来说，通过这一工具就能在代数几何跟表示论之间建立直接联系。说实话，这是一个难度很大的工作。」
「额..大神，什么意思啊？」唐静问道。
乔喻一本正经的答道：「意思就是，人跟人之间的交往跟数学不一样。如果需要建立联系，可以不那么复杂。比如你的姐妹可以直接来要我的微信。如果中间多了一个步骤，就会出现很多复杂的变量。
比如，也许你的姐妹就是你推出的挡箭牌，又比如，你们是在玩真心话大冒险，在拿我开涮，所以唐静学姐，下次让你的姐妹来要，或者承认你是我的粉丝...嗯，总之，下次一定！」
说完，乔喻飞快的扒了几口饭，然后在对面学姐恍惚的目光中，站起来转身就跑。当然不是怕了对面的学姐，单纯是他得赶紧回去把脑子里的东西给记录下来。
..
唐静坐在那里愣了半晌，这才端起餐盘回到了姐妹的旁边。
赵晓玥忍著笑意问道：「说说，你是怎么把大神直接给吓跑的？」
唐静闷闷的说道：「说数院是四大疯人院之首果然没错。我就跟那个乔喻说你是他的粉丝，想要他的微信。结果他冒出了一堆乱七八糟的。什么谢瓦莱二维推广，什么朗兰兹对偶性的..*
「等等，你跟他说什么？」赵晓玥也不笑了，羞恼的盯著唐静说道。
「你是他的粉丝啊，你不是那天还专门申请了个微博关注了一下他吗？」唐静理直气壮的说道。
「我解释多少遍了，那是因为我看群里聊的数学世纪大和解感觉很有趣，所以关注他的微博。如果有最新进展了能第一时间知道而已。这算什么粉丝？」赵晓玥无奈的说道。
「但你不觉得这是缘分么？这又不是数学中心那边，咱们突然想来这边吃个饭就碰上了？那个...晓玥啊，你该不会是因为我说你想加他微信，结果他扭头跑了，所以生气了吧？」唐静眨了眨眼，若有所思的问道。
「我没有！」赵晓玥斩钉截铁的答道。
唐静点了点头，说道：「果然如此，没事儿，刚刚大神也说了，你要是自己去要微信，他一定给。」「呵.」
「设全局函数为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，写下以上内容后，直接保存然后发给了对面华清的李教授。很简短的证明过程，但数学有时候就是这样。
没想到的时候千难万难，但灵感来的那一下，问题顺其自然的就解决了。
大概是最近他一直思考这个问题的缘故，刚刚陈师兄那通电话转述田导对对称性的描述，让他突然想到了一个几何直观的想法：将全局函数看作某种变换下的不变形式。
挂了陈师兄的电话之后，他的脑海中就完整的规划出如何将特征层理论和范畴化收缩原理相结合，通过构造一个变换群体来理解全局函数的性质，并且考虑在这个变换下惠特克层的变化，从而揭示它们之间关系的办法。
邮件发过去之后，再次将自己的证明过程检查了一遍之后，这才拿起了电话，直接拨给了对面的李教授。虽然他写的很简略，但已经针对这个问题研究很久的李教授肯定能看懂他的思路。
很快电话接通。
要不现在看看我的想法对不对？」「你完整证明了？」
「嗯，就是写的有点简略。」
「你等等，先别挂，我正好在电脑旁边，等我先看看。」
电话里传来一阵拖动键盘跟滑鼠的杂声，乔喻干脆开了免提，将手机放到了桌上。对面半晌没有反应，乔喻的思维也开始发散。
嗯，刚刚有个学姐找他要微信来著，这好像还是在燕北大学第一次遇到这种事情..不对，他刚刚不应该跑的，就显得很没气势..
学姐该不会以为自己是被吓跑的吧？
说起来那个粉丝学姐好像还挺漂亮的，就是不知道聪不聪明..
不对数学才是最美的，乔曦第二，可可算第三吧..「这个..证明，这个证明.你是怎么想到的？」
电话里再次传出的声音终于让乔喻发散的思维收拢了回来。
「这个，说来就有点话长了，得从我今天早上去听了一节关于真理的哲学课说起，嗯，李教授，你现在确定要听吗？」「算了！我要先验证一下，留意微信，晚上八点左右做团队讨论的时候你在说吧。乔喻，你还真是个超级天才！」