徐曉早就已經想到了這點,繼續冷靜的說道:
「師兄,我的想法是這樣的。先構造最小的正規⼦群Z2作⽤下不變的復形 X0。因為Z2是循環群,結構非常簡單,想要構造出完美復形並不困難。
「之後我們再處理商群D8/Z2≅ V4,也就是克萊因四元群的三個⼆階⾃同構作⽤,逐個對其扭曲,並逐層粘合……」
這一次,董易沒有再馬上反駁什麼,而是皺著眉頭,仔細的思考了起來。
從思路上來講,徐曉提出的這個方法無疑是有些不尋常的,在類似的問題上,基本找不到同樣的處理方法。
但從邏輯上來講,董易卻又覺得,這個方法的確是可以嘗試的。
這種分層構造的邏輯,與他最近的研究理念非常契合。
而在具體的執行思路上,董易也找不到什麼問題,所有的一切都是有足夠的理論作為支撐的。
思考了好一會兒,董易這才說道:
「其他的我覺得都沒有問題,就是有一個點我想提一下,逐層粘合的映射錐有可能會導致疊代發散,這樣的話,就沒法保證相容性了。」
董易所說的確實是一個客觀存在的問題,不過這個問題徐曉也並非沒有考慮到。
「師兄,我們可以利用一個同調代數工具,去控製群擴張的同調,這樣就可以約束每一層映射錐的同調收斂性了……」
一邊說著,徐曉將相關的具體譜序列寫在了白板上。
「隻要能夠保證E2頁的所有微分都是零,譜序列就會收斂到最終復形的同調,疊代就不會發散了。」
見徐曉連這個問題都已經想到,還準備好了相應的解決方法,董易也是有些無言以對了。
「徐曉,你到底是從哪了解到這麼多方法的啊?」
「嘿嘿,我的知識學得比較雜,各種論文我都會看一看,有些方法正好就能用上。」
「是嗎?看來我以後還得再多看一些論文了。」
嘴上雖這麼說,董易心裡卻明白,這其實並不是最關鍵的地方。
很多時候,研究者無法解決一個問題,缺的並不是知識儲備,而是靈活運用知識的能力。
就算讓他也看到同樣的論文,也未必能夠像徐曉那樣想到這種方法。
這種強大的數學直覺,才是決定一個人研究能力上限更關鍵的因素。
等兩人聊完這些,已經將近十二點了。
雖然他們都很想馬上開展接下來的工作,但畢竟這也不是能夠一蹴而就的事情,最終他們還是抑製住了有些興奮的情緒,回到床上強迫自己睡了過去。
第二天一早,兩人都早早醒來,各自泡了一桶方便麵,吃完之後便按照昨天晚上的計劃開始了工作。
雖然這隻是兩人的第一次合作,但彼此之間的默契都非常足,就仿佛是合作過多年的老搭檔一樣。
隻需要通過非常簡短的交流,他們就能夠馬上理解對方的意思。
「沒問題,Magma跑出來的同調結果跟我手動計算的完全一致。」
「好,逐層扭曲時,記得先扭a再扭c,否則可能會出撓元。」
請到𝐨𝐨𝐩.𝐭𝐰查看完整章節
「譜序列積分我算完了,你再驗證一下有沒有錯誤。」
花了一整天的時間,兩人便完成了框架的搭建和核心驗證的工作。
接下來,隻要再完成最終的收尾驗證,所有的問題就可以都得到解決了。
而這最終的收尾驗證工作也是比較繁瑣的,他們必須要逐條驗證Broue猜想要求的所有條件。
如果有其中的一條無法滿足,那他們之前所做的工作又將前功儘棄了。
休息了一個晚上之後,他們先列出了一張驗證清單,隨後逐條開始了驗證。
「復形所有項都是有限生成透射模,滿足。」
「復形自對偶性,滿足。」
「張量積誘導三角範疇的正合函子,滿足……」
隨著一項一項條件被成功的驗證,董易的手都因為過於的緊張和激動,變得有些顫抖了起來。
。分一了多就望希的業畢時按,步一了進又究研成完離距他表代就,證驗項一成完每為因
。了證驗有沒質性條一後最下剩隻,下之力努斷不的們他在,於終
」!足滿……性致緊下撲拓進p「
。上背椅在靠眼雙上閉,氣口一了出吐的重重易董,√個了打上質性條一後最這在
。下一息休的好好想隻,般一了走抽被都氣力的體身個整己自得覺而反,悅喜的大太到覺感有沒並他,刻此時此
。子樣個這成累他讓於至不也但,大很度強然雖作工的天兩這,來起說
。過鬆放的正真有沒從,經神的己自著繃緊直一易董,裡間時的年整一近將在,題課個這了為,憊疲的上麵層理心種一是的多更這
」。啊了束結於終……了束結「
。來上了湧的慢慢也感就成和感奮興的究研題課成完功成,氣力些一了有體身覺感才這易董,兒會一好了緩到直
。了的二數一數是上得算對絕也,值價術學的題課個這,中生士博的係學數大燕在放使即
。的大常非是也望希的格資校留到拿,業畢利順以可僅不易董,題問的大太有沒得寫文論的續後要隻
!了返復不去一要將此從,子日廢頹的經曾些那
。曉徐向看的慨感些有易董,後過奮興
」。題問個這決解能才,間時的長多花要需還我道知不也……忙幫的子孩個這有沒是要「
。的成完己自易董由是都,作工的分部大絕的中題課個這然雖
。住卡易董將直一會就怕恐,結死的鍵關最個這,現出時及能曉徐是不要可
。法方的樣同曉徐和出想夠能必未也,間時的年一畢延再他怕哪
。了謝感的己自達表曉徐向去何如該道知不至甚易董,中之動激
害厲最的過見我,才天學數個是真你……你謝謝……曉徐「