搜旺小说

282 第282章 广义模曲线(第4页)

天才一秒记住【搜旺小说】地址:https://www.souwangzhi.com

而对于科学岛实验室的众人来说,今天,他们都是前者。

不过,时间终究还是不会等人,随着游乐园的闭园,所有游客都离开了之后,这一天也就结束了,所有人也都汇报已经返回了宿舍,或者是家中,报了平安。

一夜过去。

第二天,太阳照常升起。

萧易昨晚也是就睡在自己办公室中的休息室的,所以起来之后,洗漱完成,就能够在办公室开始进行研究。

从昨天的衣服口袋里面拿出了记事本,看起了上面留下的笔记,他的嘴角微微一笑。

“ok,今天就可以正式开始了!”

联系了王豪,让他从食堂给自己带一份早点过来,随后就坐在了办公桌前,拿出了草稿纸和笔,开始了这最关键的推导。

广义模曲线,那么先就得先回顾一下模曲线的定义。

【对于一个正整数n,定义模曲线x(n)为复上半平面h的模块空间(modu1ispanet)作用产生的等价关系。

这里,Γ(n)是模群sL(2,Z)的主同余子群,定义为……】

“接下来定义广义模曲线……”

【设n是一个正整数,f是一个n维的siege1模形式,即全纯函数f:h_n→net复对称矩阵τ=(τ_ij)的上半空间,其满足:对于所有的γ∈sp(2n,Z),有f((aτ+B)(cτ+d)^(-1))=det(cτ+d)^kf(τ),其中(aB;net,Z)中的元素,k是f的权;在h_n的每个尖点处,f满足一定的增长条件。

“于是,对于这样的f,就可以定义广义模曲线x_f^(n)为siege1上半空间h_n的模块空间,模掉由Γ^(n)(f)作用产生的等价关系。”

【这里,Γ^(n)(f)是siege1模群sp(2n,Z)的一个子群,它依赖于f,定义为:Γ^(n)(f)={γ∈sp(2n,Z)|f(γ(τ))=f(τ),对于所有τ∈h_n}】

“到这里,x_f^(n)就成功参数化了所有带有f所描述的模性质的n维阿贝尔簇。”

写到了这里,萧易微微一笑。

到这一步,他就算是将最关键的问题解决了。

这个得到拓展的新几何概念,虽然被命名为广义模曲线,但是俨然已经成为了一个全新的东西。

它更加体现出了现代数学中的一个重要思想,那就是通过引入新的数学结构,从而在更高的层次上理解事物的本质,现隐藏的联系。

“那么,接下来,也该回到扩展L-函数的本身了。”

萧易只是简单的一观察,就很容易能够注意到对于每个n维广义模曲线x_f^(n),都存在一类特殊的n维阿贝尔簇,它们的扩展L-函数与x_f^(n)的Zeta函数有密切的关系。

当然,仅仅只是观察到还不够,还需要给出证明。

但是既然已经到了这里,那么也就不存在太大的难度了。

花费了几张草稿纸,他最终给出了一个全新的定理:设e是一个n维阿贝尔簇,f是一个n维siege1模形式;如果e的模性质由f描述,那么e的扩展L-函数L(s,e,)等于广义模曲线x_f^(n)的Zeta函数ζ(x_f^(n),s)。

“如此,最麻烦的一步,也就成功完成了。”

那么,接下来要做的就是,向着最后的证明前进!

阿廷猜想,如今已经拦不住他了。

通过将每个扩展L-函数与一个广义模曲线联系起来,他可以使用广义模曲线的几何性质,如维数、Betti数、hodge结构等,来刻画扩展L-函数的特性。

最终,答案也终于放在了他的眼前。

半个月后。

……

(本章完)

本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!

如遇章节错误,请点击报错(无需登陆)

新书推荐

随身带个狩猎空间修仙暴徒女魔头只想攻略她师叔吞噬星空魔王追妻:纨绔妖神妃光明纪元离婚后前妻成了债主二道贩子的崛起全球高武:开局签到百倍奖励醉枕江山黄金遁谍影风云抗日之天降神兵洪荒混沌天尊半岛检察官寒门败家子爆笑宠妃:爷我等你休妻诸天最强模拟器恐怖女网红数风流人物大小姐她总是不求上进斗罗大陆V重生唐三都市最强天师神医毒妃腹黑宝宝亮剑:开局拿下鬼子据点