霍普夫不变量的元素不存在问题的一个短而简单的证明……”
苏小西眼角跳了跳,咬牙切齿的看着林陌:
“好像还真是挺简单的哈……”
心中一惊问候了林陌无数次,这他喵的哪里简单了?
林陌说了半天,她一句话都没听懂。
丘云曦表示赞同的点了点头,而后苦笑道:
“问题就出在这里,定义上来说拓扑k-理论就是上同调理论中的理论。
可是现在我却很迷糊,为什么它就是上同调理论呢?”
林陌作沉思状。
心道一句幸好在下升级【数学】学科到lv.的时候,获得了不少拓扑学的知识储备。
否则现在他肯定跟苏小西一样只能懵逼。
不过现在嘛,轻轻松松搞定好吧?
“从《oivioopyhory》角度来看。
代数k理论就是一个上同调理论。
从拓扑空间的同伦论来看,如同拓扑k理论就是一个上同调理论一般。
也就是说,k-理论是由pcru给出的,pcru在某种意义上是上同调理论的同义词。
更具体来说,代数k-理论函子在《oivioopycagory》里是可表函子,并且表示这些函子的(oivic)空间组成(oivic)pcru……”
丘云曦听了点了点头,《oivioopyhory》这个她也参考过,可是这个解释并都不公平。
事实上就算没有
本章未完,点击下一页继续阅读《oivioopy》的新理论,也可以描述广义的代数k-理论了。
林陌笑着说道:
“举一个例子。
aiyah-hirzbruch谱序列。
最初是a-h在研究拓扑k-理论的时引入的,其中构造方式是考虑pcru的poikovfilraio。
如果我们相信代数k-理论是拓扑k的某种「正确」的类比。
那是否存在一个联系代数k-理论和概形上的某种上同调的谱序列。
最好也是由某种对应的filraio给出的呢?
最终你这个问题的解答就是基于vovoky对oivicpcru的licfilraio……”
丘云曦似懂非懂的点了点头。
示意林陌继续,从包里拿出了笔记本。
她有预感,接下来林陌说的,将是她研究瓶颈的突破契机。
林陌笑着看着丘云曦道:
“拓扑k-理论的一大动机是分类向量丛。
考虑拓扑空间x上的有限维复向量丛的同构类,配备向量丛直和hiy运算后成为一个交换么半群(ooi),它的grohickk群记作k(x)……
……
这样,我们可以反过来定x的拓扑k-理论为kop(x)=[x,k],因此拓扑k理论就是一个上同调理论。
此外,kop就是最初的k群,并且高阶拓扑k-理论也有意义了。
通过新语法的类比,我们很容易就能理解拓扑k-理论是一种上同调理论!”
丘云曦脸上逐渐露出一种山重水复疑无路,柳暗花明又一村的神色。
激动的看着林陌:
“林陌,谢谢你。
经过你的帮忙,我已经理解了。
我现在超有信心拿下月份的阿贝尔奖!”
林陌哈哈笑道:
“我可不会白吃丘小姐你这顿饭。”
……
这边手上拿着勺子的苏小西看着讨论拓扑学的林陌与丘云曦。
她是个假的研究生吧?
为什么林陌和丘云曦的话题,她一句话都听不懂?
林陌这家伙,真的本科还没毕业吗……
【ps:祝各位读者大大们新年快乐,阖家欢乐!】
(月4日到月日)
请收藏:https://m.xz20.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)