7.2.3 模空间Ag 7.2.3 模空间 $ \mathcal{A}g $:从抽象构想到可计算实现的技术实践指南 你有没有想过——当数学家写下“所有 $ g $ 维极化阿贝尔簇的模空间 $ \mathcal{A}g $”时,那不是一个悬浮在范畴论高空的符号云团;它是一块可被参数化、可被坐标化、可被计算机枚举、可被代数几何软件验证、甚至可在有限域上显式构造的技术实体? 这不是哲学思辨,而是当代算术几何与计算代数几何交汇处的真实战场。