因果信标发出的光芒在类型空间里显得格外刺眼。
那个模糊的代数几何结构在光中旋转、展开,像是一朵由方程组成的花,每一片花瓣都是一个多项式,每一条脉络都是一个代数关系。
陈凡盯着那画面,心里头有点发毛。
之前那些学派好歹还先打个招呼,这个代数几何一来就是要“追溯数学根源”,听起来就像是要把他放在显微镜底下解剖,还得是数学显微镜。
“代数几何学派……它们很少主动介入这种争端。”
路径构造者的声音有些沉重,“它们研究的是数学中最根本的结构关系。如果它们认为某个存在‘数学上不健全’,那几乎就是最终判决。”
建构主义代表咔哒咔哒地说:“但它们通常只看重‘存在性’和‘结构性’。自由意志……在代数几何框架下,可能会被看作一个‘代数簇’——一组多项式的公共解集。问题是,描述自由意志的多项式方程存在吗?”
模糊数学代表飘动着:“如果存在,那么自由意志就是可代数化的。如果不存在……”
“如果不存在,”
直觉主义代表接话,声音里带着罕见的严肃,“那么自由意志就是数学上的‘幽灵’,没有坚实的数学根基。代数几何学派有权将其判定为‘非数学存在’,驱逐出数学宇宙。”
萧九跳起来:“喵!它们凭什么驱逐凡哥!本喵第一个不答应!”
冷轩的剑已经出鞘三分:“那就战。”
陈凡摇摇头:“先看看情况。代数几何和之前的学派不同,它们更像是……研究者,不是审判者。也许有对话的空间。”
话音刚落,类型空间开始变化。
不是某一部分变化,而是整个空间的结构在重新组织。
原本漂浮的类型气泡开始排列成整齐的阵列,彼此之间出现清晰的连接线。
路径构造者身体中的路径自动伸直、对齐,形成一个规范的网格。
就连空气中流动的数学概念,也都开始按某种秩序排列。
“这是……仿射空间的结构化。”
路径构造者惊讶地说,“代数几何学派还没真正到来,只是它们存在的‘场’在影响这里。”
紧接着,空间中浮现出一些“点”。
不是普通的点,而是“代数点”——每个点都附带着坐标信息,但这些坐标不是实数,而是某种代数扩张域中的元素。
有的点坐标是整数,有的是有理数,有的是代数数,还有的……是“未定元”,像是等待赋值的变量。
从这些点中,生长出“曲线”。
不是画出来的曲线,而是由多项式方程定义的曲线。
每条曲线都在空间中延伸,与其他曲线相交、相切、或者平行。
交点处产生新的点,新的点又生成新的曲线……
很快,整个类型空间变成了一个巨大的代数几何图景。
而在这图景中央,缓缓浮现出三个存在。
第一个存在看起来像是一个“概形”——那是代数几何中的核心概念,可以看作是一个几何空间与其上的函数环的组合。
它的身体由无数个“仿射开集”拼接而成,每个开集上都定义着不同的正则函数环。
第二个存在则是一个“层”——这是一种在空间每个开集上指定一个代数结构(比如阿贝尔群、环、模)的方法。
它的形态不断变化,像是一层覆盖在空间上的薄膜,但薄膜的每个局部都有复杂的代数结构。
第三个存在最抽象,它是一个“上同调群”——这是代数几何中研究空间整体性质的工具。
它看起来像是一组阿贝尔群的序列,每个群都由“闭链模去边缘链”得到,序列之间有同态连接。
这三个存在没有立刻说话,而是在“观察”陈凡。
不是用眼睛看,而是用代数几何的方法:它们在计算陈凡的“代数不变量”。
“检测对象:陈凡。”
概形存在首先开口,声音像是多项式在环中的运算,“开始计算算术亏格……”
层存在接话:“计算层上同调群H?、H1、H2……”
上同调群存在:“计算陈类、示性类、相交数……”
陈凡感觉自己的身体——或者说存在结构——正在被“扫描”。
不是扫描外表,而是扫描数学本质。他能感觉到,自己的不动点特性被表示成了某个代数方程的解集,自由意志的选择过程被建模成一组多项式方程的动力系统,甚至他和苏夜离的依赖关系也被表达为一个“依值层”……
这种感觉很诡异。就像你活得好好的,突然有人把你拆解成一堆数学符号,然后开始研究这些符号的性质。
“停一下。”陈凡终于忍不住开口,“你们在做什么?”
三个存在同时停下计算。
概形存在:“我们在计算你的代数几何不变量。通过这些不变量,可以判断你的数学本质是否健全。”
层存在:“初步计算显示,你的‘自由意志代数簇’不是光滑的,有奇点。这些奇点对应着你选择过程中的‘未定义时刻’。”
小主,这个章节后面还有哦,请点击下一页继续阅读,后面更精彩!
喜欢维度修真从蝼蚁到创世请大家收藏:(m.20xs.org)维度修真从蝼蚁到创世20小说网更新速度全网最快。