手机浏览器扫描二维码访问
【定理73:设f是一个n维siel模形式,x_f(n)是相应的广义模曲线。
那么存在一个自然的galois表示:p_f:gal(q?q)→gl_n(z_?),使得对于任意素数p,frobeni元frob_p在p_f下的特征多项式等于x_f(n)在p处的zeta函数ζ(x_f(n),t)……】
萧易的办公室中,他正在草稿纸上面写下关于阿廷猜想证明的最后几步。
“嗯,这个定理就成功建立了广义模曲线的几何性质与galois表示的算术性质之间的联系。”
“有了这个结果,我总算是可以将阿廷猜想转化为关于galois表示的一个问题了。”
“那么,这个galois表示下的阿廷猜想就是……”
【定理74:设e是一个椭圆曲线,l(s,e)是它的hasse-weill-函数。
那么以下两个条件等价:(1)l(s,e)是整个复平面上的全纯函数,并满足一个函数方程;(2)存在一个模形式f,使得e的galois表示p_e与p_f同构。
】
萧易的嘴角微微一翘,就仿佛一切尽在他的掌握之中。
到了这一步,他就成功地将阿廷猜想转化为了另外一种形式下的问题。
绝大多数的猜想证明,也基本上都不外如是。
数学家们所需要证明的最终形式,往往都和原来的问题陈述大相径庭,但是,通过对各种数学关系之间的抽丝剥茧,就能够在这个最终形式和猜想本身的描述之间,划上代表了等价关系的符号。
至于问题原来本身的描述,更多也都是为了方便人们的理解。
就比如其他的各种问题,像是冰雹猜想这样,它的描述看起来十分的简单,但是最终证明出来的形式,就并不是本身的那样,而是一个相当复杂的式子。
包括像是安德鲁·怀尔斯所证明的费马大定理,最终的形式也是截然不同的。
因此,随着萧易现在将阿廷猜想进行了转变之后,他只需要证明每个椭圆曲线的galois表示都来自一个模形式就行了。
“那么,定理75,对于任意的椭圆曲线e,存在一个广义模曲线x和一个闭嵌入i:e→x,使得i诱导了galois表示之间的同构:p_e?p_x°i_。”
这个定理75,就是他最后一个需要完成证明的问题了。
同样的,在这里也并没有对他造成任何困难,仅仅只是略微思索了一下,然后,他就彻底完成了自己的结果。
“那么,由定理73,我们知道p_x来自一个siel模形式f,即p_x?p_f。”
“结合这两个结果,我们就有:p_e?p_x°i_?p_f°i_。”
“这表明p_e也来自一个模形式,即f的“拉回“。”
科技控梵小凡一朝身穿六零身为一个黑户寸步难移不说,穿衣要票吃饭要票手不能提肩不能抗,没吃没喝,饿的心发慌。幸好意外激发她研制的随身淘宝系统开局啥没有,装备全靠我动手。爹不疼娘不爱,重生的妹妹还在暗处虎视眈眈,艰辛哟幸好捡回来一个团子是大佬科技兴国,一步一步走出新时代。...
...
小农民混花都!会符篆!会咒语!会医术!会一切!透视咒!隐身咒!定身咒!穿墙咒!撒豆成兵!纸人术!...
李茂业去到科技发达的泰坦星待了六年,回到地球才发现自己只离开六天。他还带着科技研发系统回来,有了这个系统无需知道原理就能搞出黑科技,大杀四方,把其他科技公司全干趴下!...
林江今天要结婚了。但是新娘长什么样子他都不知道他站在酒店门口,犹豫着要不要进去赴婚约,最后心一横,决定遵照爷爷遗命,以报顾家老头救命之恩。...
我是个单亲家庭,第一次见到我爸这个漂亮女秘书的时候,我却并不喜欢她。我感觉她就是奔着做我后妈,抢走我爸来的,以至于我对她做错了一件事,后来我才发现我的感觉是错的,她走了,我一直惦记着她,在三年之后,一次偶然的机会我遇见了她,但是她变了,变的似乎让我觉得很陌生,是我的伤害,让她如此不再相信男人了?我是否能让她重回我的身边?能否再变成以前我爱的那个她?...