第一千一百六十三章 徐川:这不是很正常的事情吗?(2 / 3)

公理化框架基础上。”

“而且当我们还在研究其中的一条思路是否可行的时候,你就已经给出了判断,甚至还给出了不同的方案。”

“我很好奇,你到底是怎么做到这一点的。”

佩雷尔曼的话音落下,房间中的其他人也同步看了过来。

事实上对这一点感到困惑的并不仅仅是佩雷尔曼,无论是舒尔茨还是陶哲轩,甚至是法尔廷斯和德利涅对此都感到有些不解。

的确,这个人研究问题的方式和方法,有点太奇怪了。

人群中,徐川微微愣了一下,下意识的开口问道:“这不是很正常的事情吗?”

舒尔茨:“????”

陶哲轩:“.....”

佩雷尔曼:“......”

就连法尔廷斯嘴角都忍不住抽动了一下。

人言否?

“咳~”有些不明所以的咳了一下,徐川补充解释道:“很多时候,研究一个问题的时候并不需要精准的判断出这条思路是否可行,也并不一定需要通过详细的计算来排除可行性。”

“在我看来,当觉得这个方向可能走不通的时候,我就会暂时先将其放到一边,重新换个角度去思考。”

“至于你说的解决思路直接从代数拓扑工具,如奇异同调、上同调理论这些方向跳转到了剩余类环和公理化框架基础上,我倒是觉得这应该没什么奇怪的地方吧。”

“毕竟你说的这些方向,我都思考过。”

听到这话,实验室中顿时沉默了下来。

就连法尔廷斯都忍不住盯着他看了又看,一度想剖开这个人的大脑看看里面是不是装了一台量子计算机。

终于,沉默了好一会的舒尔茨回过神来,干咳了一声,结束了这个让他们都头皮发麻的话题,开口道。

“我们还是继续来研究数学大统一吧。”

说着,他从房间的角落中拖出来了一面干净的黑板,从笔篓中拾起了一支粉笔。

“对代数函数??(??,??)=??2??2?1,其所对应的黎曼面为Σ={(??,??)|??2??2=1}”

“k=q(ζp)?···?kn=q(ζpn1)···?k∞=q(ζp∞)......其中kn/k的伽罗瓦群gn就是循环群z/pnz:对任意a∈z/pnz,σa(ζpn)=ζpan.”

“莱夫谢茨标准猜想已经被你们解决了,那么通向数学大统一的另一部分是朗兰兹猜想中有关于几何朗兰兹纲领的严格数学化与高维伽罗瓦表示与自守形式的对应难题。”

“而前者我们已经在法尔廷斯教授的研究思路上取得了不小的进展,解决这个难题应该只是时间的问题了。”

“不过高维伽罗瓦表示与自守形式目前我们只推进到了利用shiura簇等模空间的上同调群构造伽罗瓦表示,并证明其自守性的阶段性成果。”

“而如何将一个n维的伽罗瓦表示可能对应到gl(n)的自守表示,以及通过模性定理与提升对满足几何性、正则条件的伽罗瓦表示,构造对应的自守形式我们仍然没有多大的进展。”

说到这,舒尔茨停顿了下来,看向徐川,饶有兴趣的开口询问道:“对于剩下的这部分,你有什么想法吗?”

值得一提的是,这里的黑板可以说是无限提供的,几乎所有讨论过程中使用过的黑板都被南大保留了下来。

毕竟这些都是未来珍贵的文物!

看着黑板上的算式,徐川笑着调侃道:“如果我没记错的话,这好像是你们的研究工作来着。”

闻言,舒尔茨干咳了一下,道:“这不是看你们已经解决了莱夫谢茨标准猜想么,用你那堪比量子计算机的大脑,替我们思索一下就好了,说不定我们能够更快的解决这个难题。”

盯着黑板上的算式思考了一会儿,徐川眼眸中带着若有所思的开口道:“局部的朗兰兹对应可以用来构造局部朗兰兹l因子l(s,πv),从而定义l函数。”

“而利用l群的概念,朗兰兹的函子性猜想可以看做两个可简约线性代数群,或许可以通过伽罗瓦扩域的手段,来使得ln函数的基变换可以由某个l函数在s=1点的解析性质来描述?”

略微停顿了一下,他看向舒尔茨,开口道:“如果对任意,syπ的函子性能够建立,那么gl2的广义拉马努詹猜想就得以证明,而塞尔伯格特征值猜想预见或许也能够通过这条道路展开研究。”

“当然,如何解决这中间可能遇到的问题比如对超越凸性界的非平凡上界称作次凸性界进行推导,亦或者是gl4l函数的次凸性界结果如何限定,短时间内我恐怕想不到什么解决的方法。”

能够在如此短的时间内给出一条看起来似乎可行的研究方向,这已经是他的极限了。

思索着,徐川摇了摇头,补充道:“这条路是否可行,我只能说我也不确定,毕竟这只是我纯粹靠数学直