本文選題：科學(xué)中國人 + 科學(xué)中國人官方網(wǎng)站　

本刊記者　嚴(yán)永紅

　　
　　
　　法國哲學(xué)家笛卡兒曾說，數(shù)學(xué)是知識(shí)的工具，亦是其它知識(shí)工具的泉源。所有研究順序和度量的科學(xué)均與數(shù)學(xué)有關(guān)。在陳小伍看來，數(shù)學(xué)雖然是個(gè)十分抽象的學(xué)科，跟實(shí)驗(yàn)學(xué)科有很大差別，沒有高科技設(shè)備儀器的輔助，做研究僅憑自己的頭腦思考問題，但卻并不枯燥，“若能發(fā)現(xiàn)不同知識(shí)間的聯(lián)系，那更是再興奮不過的事情了！”話語間的他面帶笑容。
　　從踏足代數(shù)學(xué)領(lǐng)域至今，陳小伍不僅證明了Gorenstein投射模的Auslander型定理：有限維Gorenstein代數(shù)僅具有有限多個(gè)不可分解Gorenstein投射模當(dāng)且僅當(dāng)其任意Gorenstein投射模均分解成有限維模的直和。他還得到了Frobenius范疇的Gabriel-Quillen型嵌入定理：任一Frobenius范疇均正合等價(jià)于某個(gè)范疇上的Gorenstein投射模范疇的容許子范疇。這些學(xué)術(shù)創(chuàng)新點(diǎn)無疑使陳小伍成為國內(nèi)代數(shù)學(xué)界冉冉升起的一顆新星。
　　
選擇“代數(shù)表示論”這塊年輕的土地
　　
　　代數(shù)的奇點(diǎn)范疇，同Serre對(duì)偶問題和三角范疇的中心成為當(dāng)前最熱門的研究課題，它們與代數(shù)的同調(diào)理論，Auslader-Reiten理論以及數(shù)學(xué)物理中的D-膜理論都有深刻的聯(lián)系。在此領(lǐng)域，陳小伍最大的成就莫過于發(fā)現(xiàn)了根方零代數(shù)的奇點(diǎn)范疇與Leavitt路代數(shù)的表示理論之間的聯(lián)系，具體構(gòu)造了Leavitt路代數(shù)的不可約表示。
　　若為成功歸因，除了陳小伍極具悟性，還與興趣相關(guān)。對(duì)數(shù)學(xué)的熱愛貫穿于他求學(xué)、研究的全部歷程中，這是促使他成功的真正源動(dòng)力。最初對(duì)數(shù)學(xué)的好奇源自于他上學(xué)時(shí)便顯露出的超出同齡人的計(jì)算能力，而且逐漸激發(fā)出強(qiáng)烈的熱愛，并貫穿于他嗣后的人生道路。
　　1998年，那年陳小伍17歲，經(jīng)歷高考的拼搏，他以優(yōu)異的成績考入了中國科學(xué)技術(shù)大學(xué)數(shù)學(xué)系，攻讀基礎(chǔ)數(shù)學(xué)。4年青蔥歲月，陳小伍廣泛學(xué)習(xí)了各類課程，習(xí)得了不少專業(yè)知識(shí)。然而，他更鐘情于代數(shù)，也更為擅長。畢業(yè)之際，他便師從知名代數(shù)學(xué)家章璞教授專注代數(shù)研究。
　　陳小伍的研究領(lǐng)域?yàn)椤按鷶?shù)表示論”，一個(gè)較年輕的學(xué)科分支，起源于上世紀(jì)六七十年代。我國的起步還要稍晚些，是被稱為國內(nèi)代數(shù)表示論奠基人的劉紹學(xué)在蘇聯(lián)莫斯科大學(xué)學(xué)成歸來的同時(shí)把國外的教授請到國內(nèi)授課，中國學(xué)生也被輸送到德國學(xué)習(xí)，隨著一批批學(xué)子回國才慢慢建立起我國的代數(shù)表示論學(xué)科。2008～2010年，陳小伍也獲得德國洪堡基金會(huì)資助，在Paderborn大學(xué)做博士后研究，合作導(dǎo)師為著名代數(shù)學(xué)家Henning Krause教授。
　　“代數(shù)表示論”旨在將代數(shù)結(jié)構(gòu)中的元素“表示”成向量空間上的線性變換，藉以研究代數(shù)的性質(zhì)。它主要關(guān)注代數(shù)的表示組合性質(zhì)以及同調(diào)性質(zhì)。陳小伍的關(guān)注點(diǎn)則更多傾向于后者。具體來說，他研究了代數(shù)的奇點(diǎn)范疇。
　　在“代數(shù)表示論”這塊年輕的土地上，陳小伍無疑是個(gè)開拓者。既然選擇，他只有孤注一擲。其代價(jià)是注定要付出更多的艱辛、揮灑更多的汗水。興趣使然，陳小伍沉浸在這片未墾之地辛勤勞作卻也甘之如飴。盡管孤獨(dú)，但心中有夢，他等待著深埋下的種子開出美麗的果實(shí)。
　　
代數(shù)的奇點(diǎn)范疇
　　
　　上世紀(jì)70年代，偉大的數(shù)學(xué)家A. Grothendieck引入了代數(shù)簇上的完備復(fù)形，其反映了代數(shù)簇的光滑性——代數(shù)簇是光滑的當(dāng)且僅當(dāng)其上的凝聚層均是完備的。這一想法被之后的數(shù)學(xué)家不斷發(fā)展。具體來說，代數(shù)的奇點(diǎn)范疇是由代數(shù)學(xué)家R.O. Buchweitz在1987年引入的，他指出奇點(diǎn)范疇與經(jīng)典的奇點(diǎn)理論以及Gorenstein同調(diào)代數(shù)之間的緊密聯(lián)系。奇點(diǎn)范疇反映了代數(shù)的同調(diào)奇異性以及穩(wěn)定同調(diào)性質(zhì)，它為整體維數(shù)無限的代數(shù)提供了新的不變量。同時(shí)，ICM 邀請報(bào)告人J. Rickard和B. Keller以及挪威皇家科學(xué)院院士D. Happel等人也做了相關(guān)研究。
　　對(duì)于仿射代數(shù)簇，其坐標(biāo)環(huán)的奇點(diǎn)范疇反映了代數(shù)簇的奇異性�；谕陚鋸�(fù)形的概念，代數(shù)幾何學(xué)家D. Orlov于2003年引入了（非仿射）代數(shù)簇的奇點(diǎn)范疇，并將之應(yīng)用到數(shù)學(xué)物理中的同調(diào)鏡像猜想；他還研究了分次奇點(diǎn)范疇，并將之應(yīng)用到非交換射影幾何。
　　“近幾年的研究表明，奇點(diǎn)范疇與加權(quán)射影直線、非交換射影幾何以及非交換奇點(diǎn)解消等前沿課題均有著密切的聯(lián)系�！标愋∥橹赋�。
　　現(xiàn)有奇點(diǎn)范疇的結(jié)果主要集中在 Gorenstein代數(shù)上，對(duì)于非Gorenstein代數(shù)的奇點(diǎn)范疇人們知之甚少。根方零代數(shù)是一類重要的非Gorenstein代數(shù)�；贙eller-Vossieck的基本定理，陳小伍證明了根方零代數(shù)的奇點(diǎn)范疇三角等價(jià)于某個(gè)Von Neumann正則環(huán)的有限生成投射模范疇。利用箭圖的無限長度道路，他構(gòu)造了Leavitt路代數(shù)的不可約表示；并證明這是由branching系統(tǒng)所能得到的所有不可約表示。相應(yīng)的表示被國際知名代數(shù)學(xué)家稱為“陳（單）�！�。
　　隨后，陳小伍對(duì)根方零代數(shù)奇點(diǎn)范疇的緊致完備化范疇進(jìn)行了研究，利用代數(shù)的分次泛局部化理論以及Koszul對(duì)偶理論，證明了該完備化范疇三角等價(jià)于Leavitt路代數(shù)的導(dǎo)出范疇，也三角等價(jià)于某個(gè)平凡擴(kuò)張代數(shù)的Gorenstein投射模穩(wěn)定范疇。于是，他建立了根方零代數(shù)的奇點(diǎn)范疇與Leavitt路代數(shù)這類無限維代數(shù)之間的聯(lián)系。該聯(lián)系揭示了非Gorenstein代數(shù)奇點(diǎn)范疇的高度復(fù)雜性。相關(guān)論文發(fā)表在綜合性數(shù)學(xué)雜志Doc.Math.（2011），IMRN(2015)和Forum Math.（2015）。
　　陳小伍證明了根方零代數(shù)上存在非平凡的Gorenstein投射模當(dāng)且僅當(dāng)該代數(shù)為自內(nèi)射代數(shù)。該結(jié)論揭示了一個(gè)新現(xiàn)象，即某些代數(shù)上的Gorenstein投射�？偸瞧椒驳�。利用代數(shù)retraction以及奇點(diǎn)等價(jià)，他和合作者完全刻畫了Nakayama代數(shù)的奇點(diǎn)范疇，并完全分類了低維Nakayama代數(shù)上的不可分解Gorenstein投射模。
　　加權(quán)射影直線是代數(shù)表示論中一類自然出現(xiàn)的非交換曲線，由德國著名代數(shù)學(xué)家H. Lenzing提出，它導(dǎo)出等價(jià)于C.M. Ringel意義下的典范代數(shù)�；贒. Orlov的三分律定理以及H. Lenzing等人的近期工作，可看出加權(quán)射影直線向量叢范疇與Frobenius范疇、分次奇點(diǎn)范疇、分次Gorenstein投射模范疇等均密切相關(guān)。正合范疇的Gabriel-Quillen型嵌入定理是同調(diào)代數(shù)中的基本定理。陳小伍證明了Frobenius范疇的Gabriel-Quillen型嵌入定理：任一Frobenius范疇均正合等價(jià)于某個(gè)范疇上的Gorenstein投射模范疇的容許子范疇。
　　緊接著，他又研究了Frobenius范疇的商范疇，并將之應(yīng)用到加權(quán)射影直線的向量叢范疇，同時(shí)還研究了 Frobenius范疇的單態(tài)射范疇以及其上的傾斜對(duì)象，顯式地得到向量叢穩(wěn)定范疇的recollement。相關(guān)論文發(fā)表在綜合性數(shù)學(xué)雜志MRL（2011），Math. Z.（2012）和Bull. London Math. Soc.（2012）。這些論文啟發(fā)了國內(nèi)外學(xué)者的相關(guān)后續(xù)工作。
　　
沿著數(shù)學(xué)大家的路徑前行
　　
　　基礎(chǔ)夯實(shí)，便可厚積薄發(fā)。在前期探索的基礎(chǔ)上，陳小伍繼續(xù)做進(jìn)一步研究，于是他順利申請到國家自然基金項(xiàng)目“代數(shù)表示論與同調(diào)代數(shù)”。在新項(xiàng)目中，他將開展對(duì)以下研究：利用群等變范疇，研究tubular型加權(quán)射影直線的向量叢穩(wěn)定范疇和分次奇點(diǎn)范疇。
　　有限群等變范疇是由菲爾茨獎(jiǎng)得主P. Deligne引入，之后兩次被ICM邀請報(bào)告人I. Reiten等應(yīng)用到代數(shù)表示論�；诜茽柎莫�(jiǎng)得主V. Drinfeld等人的工作，群等變范疇在張量范疇的分類中扮演著重要的角色；基于H. Lenzing等人的工作，加權(quán)射影直線的凝聚層范疇與某種群等變范疇是等價(jià)的。陳小伍主要關(guān)注tubular型的加權(quán)射影直線。這類非交換曲線導(dǎo)出等價(jià)于C.M. Ringel意義下的tubular代數(shù)。事實(shí)上，H. Lenzing等人的工作預(yù)示著這類加權(quán)射影直線的凝聚層范疇等價(jià)于橢圓曲線上的某種群等變凝聚層范疇。陳小伍則與同行合作研究了相關(guān)群等變范疇以及相應(yīng)的分次代數(shù)，并給出范疇等價(jià)函子。相關(guān)論文發(fā)表在IMRN(2015)。
　　正如H. Lenzing在文中指出的，相關(guān)工作將挪威皇家科學(xué)院院士C.M. Ringel關(guān)于tubular代數(shù)的工作與菲爾茨獎(jiǎng)得主M. Atiyah關(guān)于橢圓曲線的經(jīng)典工作聯(lián)系起來。據(jù)陳小伍介紹，項(xiàng)目將采取理論探索與研討相結(jié)合的研究方式�！拔覀償M研究加權(quán)射影直線上向量叢范疇的同調(diào)性質(zhì)，這與我們前期工作緊密相關(guān)”，他擬利用群等變范疇的理論研究不可分解向量叢的分類問題以及傾斜對(duì)象的分類問題，并擬研究齊次坐標(biāo)環(huán)上的分次Gorenstein投射模的分類問題，同時(shí)研究分次奇點(diǎn)范疇的同調(diào)性質(zhì)。
　　牛頓曾說過，如果說我比別人看得更遠(yuǎn)些，那是因?yàn)槲艺驹诹司奕说募绨蛏�。的確，科學(xué)的金字塔就是這樣一代一代壘起來的。陳小伍游走在代數(shù)的神秘世界中，，沿著數(shù)學(xué)大家的路徑前行，一步一個(gè)腳印地將數(shù)學(xué)的歷史長軸又向前再推進(jìn)了一步。老一輩終將退居幕后，新一代時(shí)刻緊隨而上，傳承的力量在無形中迸發(fā)，散落出的星星之火照亮整個(gè)數(shù)學(xué)王國。
　　
堅(jiān)持與著迷
　　
　　流連在數(shù)學(xué)王國樂而忘返，數(shù)學(xué)慢慢成為了陳小伍的理想國。而這片理想國的邊界早已躍出了學(xué)校的課堂，早已掙脫他速算能力超越同齡人的沾沾自喜，他目極八荒地馳騁在這數(shù)學(xué)王國里，推敲、琢磨每一道題，翻看、咀嚼每一頁書……如饑似渴地閱讀、演算。這里，不做實(shí)驗(yàn)，沒有數(shù)據(jù)分析，陪伴他們的就只有一篇篇經(jīng)典論文。
　　哲人曰：“孤獨(dú)不是一種狀態(tài)，而是一種選擇�！标愋∥榫褪沁@少數(shù)選擇孤獨(dú)的人。他選擇孤獨(dú)，并不是他憤世嫉俗，也不是在象牙塔里自我感動(dòng)，只因?yàn)樗敢獠⑶抑辉敢庠谒伎己屠硇缘钠脚_(tái)上和永恒無限的上蒼對(duì)話。
　　博士后出站后，陳小伍有幸赴德國Paderborn大學(xué)訪學(xué)。那段時(shí)間，他最大的感受是國外做學(xué)問的純粹，所謂的“純粹”就是與報(bào)酬沒有絲毫關(guān)系。報(bào)告講座幾乎周周都有，沒有大張旗鼓的歡迎儀式，來訪教授往往都是在講臺(tái)上酣暢淋漓交流一番后，喝過一杯咖啡就離開了。
　　星辰不光綻放自身光芒，更因能其照亮前路而彌足珍貴。如今在中國科學(xué)技術(shù)大學(xué)特任教授、博士生導(dǎo)師的陳小伍是一名執(zhí)教者。他把這一身份擺在與科研者同樣重要的地位。他提到，自己很愿意作為數(shù)學(xué)愛好者的啟蒙者、導(dǎo)師、引路人，當(dāng)然這些都需要在實(shí)踐中慢慢摸索經(jīng)驗(yàn)。不論是研究還是教學(xué)，陳小伍都非�？粗嘏c同行交流的機(jī)會(huì)，因?yàn)榻涣鞫ぐl(fā)靈感，因?yàn)榕鲎脖虐l(fā)創(chuàng)新。但是，交流需要平臺(tái)。目前由于各種政策的限制，想要?jiǎng)?chuàng)建一個(gè)國內(nèi)外同行見面交流的機(jī)會(huì)，無疑還有些困難�？蒲姓咝枰枷牖ネǖ穆窂�，所以包括陳小伍在內(nèi)的數(shù)學(xué)科研者們都在急切呼吁國家能提供相關(guān)機(jī)會(huì)。
　　數(shù)學(xué)家常常被人們稱為天才，因?yàn)樗麄兡茏龀Ｈ怂患暗奶嵋纱鸹�。但陳小伍�?jīng)常對(duì)自己的博士生們說，“聰明沒用，重要的是堅(jiān)持，年復(fù)一年地看一篇文章，年復(fù)一年地想一個(gè)問題”。也許正如努瓦列斯所表達(dá)的“數(shù)學(xué)家本質(zhì)上是個(gè)著迷者，不迷就沒有數(shù)學(xué)”。陳小伍正是抱著這份對(duì)數(shù)學(xué)的執(zhí)著和熱愛，在數(shù)學(xué)的星空留下串串閃光。
　　
　　
專家簡介：
　　陳小伍，中國科學(xué)技術(shù)大學(xué)特任教授、博士生導(dǎo)師。2012年入選教育部新世紀(jì)優(yōu)秀人才支持計(jì)劃，2014年入選中科院卓越青年科學(xué)家項(xiàng)目，并獲得意大利國際理論物理中心ICTP的Junior Associate訪問資助，2015年獲得國家自然科學(xué)基金的優(yōu)秀青年基金項(xiàng)目。目前的研究領(lǐng)域?yàn)?strong>代數(shù)學(xué)，研究課題為三角范疇及其應(yīng)用。
　　已在國內(nèi)外權(quán)威期刊Adv. Math.，IMRN，Doc. Math.，Math. Z.以及 J. Algebra 等上發(fā)表30多篇論文，其中6篇論文被列入相應(yīng)雜志當(dāng)期Top 25 Hottest論文。2010年在意大利國際理論物理中ICTP舉辦的表示理論高級(jí)研討班以及在會(huì)議上做大會(huì)邀請報(bào)告，多次受邀參加德國Oberwolfach以及加拿大Banff舉辦的學(xué)術(shù)會(huì)議并做學(xué)術(shù)報(bào)告，任德國Gruyter Open出版社SCI雜志Open Math. 編委，受邀成為第十四屆全國代數(shù)學(xué)學(xué)術(shù)會(huì)議組織委員會(huì)成員。