霍普夫不变量的元素不存在问题的一个短而简单的证明……”
苏小西眼角跳了跳，咬牙切齿的看着林陌：
“好像还真是挺简单的哈……”
心中一惊问候了林陌无数次，这他喵的哪里简单了？
林陌说了半天，她一句话都没听懂。
丘云曦表示赞同的点了点头，而后苦笑道：
“问题就出在这里，定义上来说拓扑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.youshu88.com
（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）