這麼說真不是炫耀什麼，就是讓師兄知道他已經明白這些不著痕跡的馬屁。
“哦，你現在人在哪呢？”
“南園食堂。”
“吃個飯怎麼還跑那麼遠？”
“剛到哲學係蹭了節課，講真理的，教授講的挺精彩，就是聽了好像沒聽。哎……可能我不是學哲學的苗子吧？”
“你跑去哲學係聽什麼？他們能教啥有用的？還真理，玩哲學的下定義都飄忽的很，論證過程都可以直接唯心的，我跟你說，數學就是真理。對就是對，不對就是不對！非常明確。”
“哎，師兄，你不知道，最近做課題做的頭腦發脹，聽聽這些內容感覺挺有趣的，還能放鬆大腦。”
“彆聽那些亂七八糟的，真要說思想上的碰撞，數學的描述才是最美的。老板有次講座，講對稱性的時候說過一句話，在變化中尋找不變，在複雜中尋求簡潔。這種數學思想不比哲學那種玄而又玄的東西有趣的多？你可千萬彆被那些玄乎理論帶歪了。”
陳卓陽的話鑽入喬喻的耳中，像是激活了某個開關，讓喬喻下意識的問了句：“等等，師兄，你剛才說田導說了啥？變換那個……”
“嗯？在變化中尋找不變，怎麼了？”
“哦，沒什麼，剛沒聽清。我吃過飯就回去了，先掛了啊。”
“哎，也不急，我就是打電話問問你那個情況……哎……嗯，掛了？”
喬喻直接掛了電話，陳卓陽後麵那句話他根本沒聽到。
變化中尋找不變，複雜中尋求簡潔。
喬喻想到之前張教授似乎也跟他聊過差不多的內容，當然用詞並不一樣。
不過跟最近他一直冥思苦想的問題結合到一起，讓他似乎感覺有一道曙光照進了大腦。
交換堆的核心是可交換元素的集合，在一個交換堆中，不同元素的排列不影響整體的性質，這本身就構成了一種對稱性。那麼問題來了，交換堆中的某些全局函數也會展現出類似的不變性？
李教授那邊課題目前最大的難點之一就是，全局函數的計算通常涉及到多個變量和複雜的組合。之前他所做的所有嘗試，都要麵臨高昂的計算成本，然後進了死胡同。
如果能有效利用對稱性來提取不變的特征，或許可以將繁瑣的計算轉變為更加直觀的分析。
尤其是如果能把全局函數視為在某種變換群作用下的不變形式，那是不是可以通過這種視角來揭示全局函數和惠特克層之間的關係？
如果成功的話，那麼很明顯，從不變性的角度分析全局函數將使複雜的問題變得清晰起來。這種轉化如果可行，將不僅是理論上的突破，還能提供一個具體的計算方法。
想到了這些，喬喻大腦裡的思路立刻開始發散。
第一步自然是需要構建一個適當的變換群體，來分析全局函數在該群體作用下的表現。
大腦裡快速的構建各種可能的變換方式，如何通過變換群作用，把全局函數映射到一個新的空間，並利用空間來簡化計算跟分析……
……
“嘿，曉玥，你看那個家夥是不是一直盯著你看呢？曉玥。”
趙曉玥順著身邊閨蜜的目光看了眼，羞惱的說道：“彆鬨，人家那明明是在發呆。”
“對呀，被你的美貌震撼到了，所以發呆嘛。哈哈……”
趙曉玥沒好氣的瞪了眼身邊不著調的女人……
雖然她對自己的容貌是有自信的，從初中開始她就不乏追求者，高中時甚至有同學自行想辦法解鎖了上課用平板電腦的攝像頭，課間時偷偷拍了一段她的視頻，傳到了某小視頻軟件上。
視頻不但小火了一次，有三十多萬的點讚，還收獲了一堆諸如“完了，突然就想戀愛了”、“完全符合我對初戀情人所有幻想”之類的評論。
可趙曉玥還真不會覺得她已經漂亮到在食堂裡隨便一個男生就能看著她發呆的地步。
當然對美的欣賞是一件很主觀的事情。
但趙曉玥知道那個男生單純就是在發呆。
因為剛才她跟唐靜坐過來的時候，正好看了喬喻一眼，那時候喬喻正在正常吃飯，明顯是接了個電話後才變成現在這樣的。尤其是此時的喬喻，手上還拿著手機，微微皺著眉頭，眼神明顯放空沒有聚焦……
怎麼看都不像是在盯人，不過看到喬喻能一直保持這麼個姿勢，趙曉玥還覺得挺有趣的。
手不麻，脖子不酸嗎？
不對……
“等等，唐靜，你不覺得他有點眼熟啊？”
“不是吧？曉玥，還真郎有情妾有意？不過他看起來好像很小呦，比咱們都小，原來你喜歡這種類型的？不過說起來他長得也不錯啊，就是衣品差了點，穿得老氣橫秋的。”
“還鬨？跟你說真的呢？你仔細看看！”趙曉玥皺了皺眉頭說道。
“咦？要這麼說的話，好像的確有點眼熟。”
“衣服換成那套灰色的休閒運動服……”
“哦……數學院那個，那個，喬，喬，喬喻？”
“不是數學院，人家是燕北大學跟華清數學研究中心聯合培養。”
“哇喔，這位是真大神啊！你說咱們要是能跟大神交上朋友，高數、線性代數、概率統計這些科目是不是能隨便過了？”
趙曉玥跟唐靜都是燕北大學經濟學院經濟學係的學生。
其實也不止是經濟學院，對於絕大多數非數學跟物理學院的學生來說，隻要專業需要學跟數學和大物相關的課程，都是最讓人頭疼的。
哪怕隻是高數b跟大物b。
當然即便是高數c跟大物通識課，也能讓許多文科專業的學生頭大。
畢竟很多學生選擇文科，真就是怕了數學、物理那些東西。
否則網絡上不會把高數大物放一起調侃。
“隨便過？你想的美。不過你要是能加大神的微信，以後高數的難題倒是有人能請教了。”趙曉玥瞥了唐靜一眼，說道。
其實都不需要喬喻。
高數b的內容，大概隨便燕北大學數學院一個同學，都能輕鬆應對。
唯一的問題大概是大家各自有各自的交際圈，數學院的同學不會在頭上頂著數學兩個字。
但喬喻不同，多少是個名人，還能被認出來。
最重要的是慕強心理，人皆有之。
“要不我們坐過去跟他聊聊？”唐靜出了個主意。
“算了，還是不過去了，打攪彆人不好。”趙曉玥猶豫了一下，搖了搖頭。
唐靜眼珠一轉，說道：“那我一個人去了啊。”
說完，直接端著餐盤站了起來。
“啊？你真去？我覺得他可能在思考問題，還是彆去打攪了。”
“怕啥！我又對他沒企圖，交個朋友不行嗎？再說，我可以等他回過神來啊。”
說完，唐靜真就端著餐盤走向了喬喻的位置。
趙曉玥有些懵，不過她想了想，還是沒跟著閨蜜發瘋……
真打攪到大神思考就不好了。
……
對外界一無所知的喬喻剛剛在腦子裡完成了關聯全局函數與惠特克層的推演。
正感覺興奮的時候，突然發現對麵位置多了個學姐。
不過喬喻也沒放在心上，這種情況他經常碰到，畢竟食堂位置是公共的。
隨手放下手機，喬喻便打算趕緊把飯吃完，然後回去把剛剛的推理過程用數學的方式記錄下來。
讓他意外的時候，學姐竟然認出了他。
“你好，你是數學研究中心的喬喻吧？”
“你好，是的。你是？”喬喻點了點頭，爽朗的應了聲。
看吧，他果然還是能算個名人的，隨便在食堂吃個飯都能被認出來。
畢竟這邊可不是數學係的地盤。
“我是經濟學院學經濟的，我叫唐靜，大神，我們是一個寢室的姐妹，喏，就是坐那邊那個，叫趙曉玥是你的粉絲，還關注了你的微博呢。她不好意思過來跟你打招呼，所以能不能加個微信？方便我把你的微信推給她。”
喬喻眨了眨眼睛，扭頭越過唐靜，看了眼對麵那個正在斯斯文文吃東西的學姐。咦，真是美女，跟夏可可似乎有得一拚。
隨後喬喻收回目光，認真的說道：“唐靜學姐，我剛剛正在思考的問題是關於謝瓦萊定理二維推廣的。這裡麵用到了一個極為重要的技術，就是朗蘭茲對偶性。
簡單來說，通過這一工具就能在代數幾何跟表示論之間建立直接聯係。說實話，這是一個難度很大的工作。”
“額……大神，什麼意思啊？”唐靜問道。
喬喻一本正經的答道：“意思就是，人跟人之間的交往跟數學不一樣。如果需要建立聯係，可以不那麼複雜。比如你的姐妹可以直接來要我的微信。如果中間多了一個步驟，就會出現很多複雜的變量。
比如，也許你的姐妹就是你推出的擋箭牌，又比如，你們是在玩真心話大冒險，在拿我開涮，所以唐靜學姐，下次讓你的姐妹來要，或者承認你是我的粉絲……嗯，總之，下次一定！”
說完，喬喻飛快的扒了幾口飯，然後在對麵學姐恍惚的目光中，站起來轉身就跑。
當然不是怕了對麵的學姐，單純是他得趕緊回去把腦子裡的東西給記錄下來。
……
唐靜坐在那裡愣了半晌，這才端起餐盤回到了姐妹的旁邊。
趙曉玥忍著笑意問道：“說說，你是怎麼把大神直接給嚇跑的？”
唐靜悶悶的說道：“說數院是四大瘋人院之首果然沒錯。我就跟那個喬喻說你是他的粉絲，想要他的微信。結果他冒出了一堆亂七八糟的。什麼謝瓦萊二維推廣，什麼朗蘭茲對偶性的……”
“等等，你跟他說什麼？”趙曉玥也不笑了，羞惱的盯著唐靜說道。
“你是他的粉絲啊，你不是那天還專門申請了個微博關注了一下他嗎？”唐靜理直氣壯的說道。
“我解釋多少遍了，那是因為我看群裡聊的數學世紀大和解感覺很有趣，所以關注他的微博。如果有最新進展了能第一時間知道而已。這算什麼粉絲？”趙曉玥無奈的說道。
“但你不覺得這是緣分麼？這又不是數學中心那邊，咱們突然想來這邊吃個飯就碰上了？那個……曉玥啊，你該不會是因為我說你想加他微信，結果他扭頭跑了，所以生氣了吧？”唐靜眨了眨眼，若有所思的問道。
“我沒有！”趙曉玥斬釘截鐵的答道。
唐靜點了點頭，說道：“果然如此，沒事兒，剛剛大神也說了，你要是自己去要微信，他一定給。”
“嗬……”
……
“設全局函數為f:→c，其中為交換堆。”
“變換群g，其作用在全局函數上，定義為：gf(x)=f(g1x)，對於所有g∈g，x∈。”
“定義惠特克層，使其在代數群的作用下不變，即：(x)=i∑aii(x)，中i是代數群作用下的特征層。”
“通過特征層的性質，可以引入以下映射：Φ:→，使得：Φ(f)=g∈g∑gf。”
“利用範疇化收縮原理，即可證明：g∈g，gΦ(f)=Φ(f)。因此，Φ(f)是一個不變的函數，且可以被視為惠特克層的一個自同態。”
“由此可見：f可以通過惠特克層的自同態來描述。”
……
回到自己小屋的喬喻，飛快的打開atex，寫下以上內容後，直接保存然後發給了對麵華清的李教授。
很簡短的證明過程，但數學有時候就是這樣。
沒想到的時候千難萬難，但靈感來的那一下，問題順其自然的就解決了。
大概是最近他一直思考這個問題的緣故，剛剛陳師兄那通電話轉述田導對對稱性的描述，讓他突然想到了一個幾何直觀的想法：將全局函數看作某種變換下的不變形式。
掛了陳師兄的電話之後，他的腦海中就完整的規劃出如何將特征層理論和範疇化收縮原理相結合，通過構造一個變換群體來理解全局函數的性質，並且考慮在這個變換下惠特克層的變化，從而揭示它們之間關係的辦法。
郵件發過去之後，再次將自己的證明過程檢查了一遍之後，這才拿起了電話，直接撥給了對麵的李教授。
雖然他寫的很簡略，但已經針對這個問題研究很久的李教授肯定能看懂他的思路。
很快電話接通。
喬喻開門見山的說道：“喂，李教授，我剛剛好像證明了全局函數可以通過惠特克層的自同態來描述，且這些自同態的結構與代數群的表示有直接的關係。剛剛發到你的郵箱裡了，你要不現在看看我的想法對不對？”
“你完整證明了？”
“嗯，就是寫的有點簡略。”
“你等等，先彆掛，我正好在電腦旁邊，等我先看看。”
電話裡傳來一陣拖動鍵盤跟鼠標的雜聲，喬喻乾脆開了免提，將手機放到了桌上。
對麵半晌沒有反應，喬喻的思維也開始發散。
嗯，剛剛有個學姐找他要微信來著，這好像還是在燕北大學第一次遇到這種事情……
不對，他剛剛不應該跑的，就顯得很沒氣勢……
學姐該不會以為自己是被嚇跑的吧？
說起來那個粉絲學姐好像還挺漂亮的，就是不知道聰不聰明……
不對數學才是最美的，喬曦第二，可可算第三吧……
“這個……證明，這個證明……你是怎麼想到的？”
電話裡再次傳出的聲音終於讓喬喻發散的思維收攏了回來。
“這個，說來就有點話長了，得從我今天早上去聽了一節關於真理的哲學課說起，嗯，李教授，你現在確定要聽嗎？”
“算了！我要先驗證一下，留意微信，晚上八點左右做團隊討論的時候你在說吧。喬喻，你還真是個超級天才！”
感謝過客流往的舵主打賞鼓勵！
感謝劉洋過海的打賞鼓勵！
萬字更新打卡第43天完成啦！
看，真男人說話就是這麼算數！
等我休息幾天，然後準備下一期的萬更計劃！！！
(本章完)