作为统一框架,它提供了一种描述不同数学领域共性的超级抽象语言。
许多重要的数学构造(如积、和、极限、余极限)都可以用范畴论的语言普遍定义。
而不同数学分支之间的深刻联系,如代数几何与数论、拓扑与逻辑等等,常常可以通过范畴论中的函子、自然变换、伴随函子等概念得到最清晰、最有力的表达。
朗兰兹纲领便是其中最出色的也是最接近的实现的理论,但解决它需要解决数个重大的难题。
如数域上的伽罗瓦表示与自守表示之间的精确对应关系,在有限域上的曲线(函数域)中建立类似整体域的对应关系,几何朗兰兹猜想的推广与深化等等。
这些难题在过去的十几年时间中已经由怀尔斯、舒尔茨、盖茨戈里等人解决了不少,而剩下的函子性猜想与几何朗兰兹纲领的严格数学化与高维伽罗瓦表示与自守形式的对应方向两大核心难题也已经由六人小组共同解决。
剩下的核心问题,便是找到一项数学工具,构建起数论、自守形式/表示论、以及代数几何这三个看似迥异的领域之间深刻的、预言性的对应关系了。
而对于这个开创性的难题,徐川目前也没有什么太好的研究思路。
他只能尝试性的通过将手中已有的理论与知识一点点的拼凑起来,看看能不能从中找到什么关键性的线索。
【本章阅读完毕,更多请搜索大众文学;http://www.thebookstoreinthegrove.com 阅读更多精彩小说】