這個他還真看過，之前和陸奇討論的時候他還專門去翻了。
哈茨霍恩的《代數幾何》第二章專門講的就是概形，德利涅那篇經典論文的引言他也硬啃過兩遍。
他在腦子裡飛快地組織了一下語言，開口道：
“概形可以構造模空間的粗模空間，但當模問題本身帶有非平凡的自同構群時，粗模空間會丟失軌形資訊，而代數疊透過把群作用直接編碼進範疇結構裡，保留了這些資訊，所以能處理細模空間問題。”
說完他在心裡給自己擦了把汗。
還行，第一問穩住了。
肖宿點了點頭。
“如果一個Deligne-ord疊的穩定化子群在閉子疊上不平凡，它的粗模空間沿著這個閉子疊的奇異性，如何透過Keel-ri定理的剛性化步驟被消解掉？”
陳林腦子裡的弦“啪”一下斷了。
不是，等一下。
剛才不還在問代數疊比概形多解決了什麼嗎？
怎麼第二問直接就跳到Keel-ri剛性化了？
中間呢？
中間不應該有個過渡嗎？
比如問問疊上擬凝聚層的上同調，或者問問穩定化子群的定義，好歹讓人有個緩衝啊！
Keel-ri定理他確實在文獻裡掃到過，知道是處理疊的粗模空間存在性的核心工具，但是具體怎麼消解閉子疊上的奇異性，那個定理的證明過程太繁複了，不僅涉及疊的平展區域性結構、穩定化子群的有限性條件，還有一套叫做“剛性化”的操作，他根本沒看懂啊。
陳林咬了咬牙：“Keel-ri定理保證了……在一定條件下，疊的粗模空間存在，剛性化步驟透過商掉穩定化子群的作用來消除區域性的疊結構，但是具體沿著閉子疊怎麼消解奇異性，我……我沒讀到那裡。”
肖宿表情平靜，沒說對也沒說錯，又問出了第三個問題。
“Deligne-ord疊的平展上同調與它的粗模空間的奇異上同調之間，在穩定化子群非平凡的纖維上，差別由什麼控制？”
陳林徹底沉默了。
他是真不知道。
他只記得在某篇論文的腳註裡見過有人提了一句，說這兩套上同調理論在穩定化子群非平凡的纖維上會有分歧，分歧的大小和穩定化子群的上同調有關。但是具體怎麼描述這個分歧，用什麼工具來刻畫，他根本不明白，他甚至不能確定這個問題的答案是不是藏在Keel-ri剛性化步驟的某個推論裡。
他低下頭，不敢看肖宿的眼睛。
肖宿看著陳林那副樣子，又看了看陸奇，忍不住蹙了蹙眉。
他之前以為兩人把書單上的內容都消化得差不多了，才會給他們出那兩個課題。
現在看來，情況和他判斷的不太一樣。
陸奇的基礎還算紮實，缺的是經驗，但陳林的問題就大了，他甚至都沒看明白。
“那你們現在卡在哪裡？有什麼問題，今天一併問了吧。”
。本記筆的己自了出拿忙連，題問答解們他給的心耐有麼這還，人罵不僅不宿肖到想沒，亮一前眼時同林陳和奇陸
”？整調麼怎要需？嗎用接直能還上?Z在案方類分倫同的來原我，?Z變數整從類分的陷缺線，了變構結群倫同，後之)3(OS到廣推2S從間空量參序相列向軸雙，師老“
”？礙障的外額些一出多驟步化定穩讓會不會，群構同自些那的來出多上疊數代？思意個一是不是化定穩的上群數代通普和程過的化定穩個這，化定穩的分積道軌上疊理要需到提裡文論看我，式公跡的上疊數代在式形守自於關，師老“
”？啊關有荷撲拓和隻是還，關有度長的環陷缺和是率速減衰個這？減衰麼怎會下限極溫零在項涉干的間之點鞍同不，後之解分點鞍現發，時分積徑路的幅振穿隧推在我，師老“
”……師老“
”。我找來再了完看，看看書把續繼去回：道說的長心重語，人兩看了看，下擱筆把宿肖，題問個一後最完答回等
。去出了退的溜麻能只，宿肖應回以可話麼什到想沒都天半了轉子腦可，麼什些說想，看了看相互奇陸和林陳，了怪奇太是在實紀年的宿肖上搭氣語那
