学科. 综合微分几何 [综合微分几何]

SimplicialCat

综合微分几何是综合数学的微分几何的分支.

综合微分几何的模型一般是一个包含光滑流形和一些微分几何关心的无穷小对象的意象, 即其语言可理解为该意象的内语言.

综合微分几何讲稿

todo: 重写

综合微分几何使用无穷小的空间, 以无坐标的方式, 将 “微分” 的过程变成纯粹的代数.

综合微分几何的公理始于环化意象 $(\mathcal E,R)$. 无穷小空间引入了 $k$-阶相邻 $(k=0,1,2,\cdots)$ 的概念, 这个关系在所有映射下不变.

开集的概念

我们在 $R$ 上公理化地定义开集, 其中最重要的是要求可逆元的集合 $R^*$ 是开集.

具体地, 我们假定在 $\mathcal E$ 的所有态射中 (先天) 给定了一类态射, 称作 “开含入” (open inclusions), 满足拉回之下的稳定性 (stability under pullback), 且 $R$ 的可逆元集合到 $R$ 的含入是开含入.

开集的概念有多种不同的选择. 内蕴 (intrinsic) 地定义开集是有可能的, 例如下面讲的形式开; 但形式开的概念会使得 $R$ 不连通. 还有另外一种内蕴的开集的概念, 不会让 $R$ 不连通, 但更复杂.

有了开集, 就可以谈论局部的概念. 流形是局部微分同胚于向量空间的空间, 即存在一族空间 $\{U_i: i\in I\}$ 与开含入 $U_i\to M$, $U_i\to R^n$, 且所有 $U_i\to M$ 合在一起是满的.

注意, 流形的概念不仅依赖于 “开集” 的概念, 还依赖于 “族” 的概念. 这里指标集 $I$ 是一个外蕴 (external) 的集合, 而不是 $\mathcal E$ 中的空间.

我们假设开集都是 “形式开” 的. 称子集 $M\subset R^n$ 形式开 (formally open) 是指, 若 $a\in M$, $x$ 无穷小, 则 $a+x\in M$. 在综合微分几何中 “开” 的概念常常需要替换为形式开.

微积分

在综合微分几何中, 微分的技术建立在 KL 公理之上. KL 公理大致是说无穷小空间出发的映射都是多项式.

反向链接

百科. “D-几何” [D-几何]

SimplicialCat

综合微分几何的一种, 其关注点在 de Rham 空间. de Rham 空间上的拟凝聚层即为 D-模.

百科. Kock–Lawvere 公理 [KL公理]

定义

在综合微分几何中, 记 $D$ 为一阶无穷小线段, $R$ 为直线.

关于 $D$ 的 Kock–Lawvere 公理陈述如下.

公理. 对任意函数 $f\colon D\to R$, 存在唯一的 $a,b\in R$, 使得对任意 $d\in D$, $$ f(d) = a + d \cdot b. $$

非数学. 单纯百科: 献予过去与未来之诗 [story]

SimplicialCat

2025-11-20

2023 年 1 月 28 日，我在电脑上名为数学百科的文件夹中创建了一个 markdown 文档，标题为 Atiyah–Singer 指标定理。从此我开始了一个宏大的计划：将我学到的所有数学概念，一条一条地，以百科网站的形式记录在一个文件夹中。

这个文件夹记录了我的数学兴趣的转变。

2023 年 2 月 22 日，综合微分几何词条创建。
2023 年 8 月 14 日，我写下了 $\mathbb A_\infty$-空间。
2023 年 12 月 29 日，我开始记录平展景。
2024 年 7 月 18 日，$\infty$-意象成为了百科词条。

与从前的自己对话的感觉是奇妙的。读到 “他” 用过于朴素的语言写下的观点，而今天的我掌握更深刻的道理时，我会莞尔一笑，纠正他笨拙的表达。在他留下的问号处，我想告诉他不用怕，因为我们终将明白。

由于 markdown 可以方便地插入文档之间的链接，整个文件夹被概念之间的关联织成了一张大网。这是我最初选择 markdown 的原因。它让我在写作中可以随时引用三年来我写下的任何一个概念，让我在不经意间发现过去的努力没有白费。以可溯源的方式留下自己努力的痕迹，才好给过去的自己一个交代。

我没有料到有一天它会变成真的网站。

2025 年 10 月 2 日，我发现了网站生成工具 kodama，在工具作者 kokic 的帮助下用它将我的笔记发布在了 Github 个人主页。现在在 Bing 搜索 “单纯百科” 就能找到它。

从此我的工作重心更加转向了这个网站，无论是听课做的笔记，还是为讨论班准备的讲稿，甚至网上冲浪学到的随机数学知识，我都会优先将其关键内容写在这里。其中的原因除了对自己的承诺，又加入了社群的责任感。

当前的互联网并不缺少数学资料，但比较缺少两样东西：一是中文的数学资料，二是直白讲出 “内行人” 心中的秘密观念的资料。我想做的正是这两类资料的交集。做数学的风险和变数很多，没有人知道我能否坚持下去。但通过这个网站，至少我能给这个社群留下一些东西。它至少会和 Github 一样持久地留存在世界上。

Meta. 学科 [subject]

SimplicialCat

偏分析的数学:

偏综合的数学:

数学基础:

非数学. 综合数学是抽象代数的范畴化 [synthetic]

SimplicialCat

2026-02-13

碎碎念. 这篇文章是关于数学的, 但实在太难说它本身是数学, 姑且贴上个 “非数学” 的标签, 以免受人诟病——即便身负数学严格性的重担的人, 当然也是有资格写 “非数学” 散文的. 我写这篇文章的主要目的是为综合数学 “正名”. 但它并未被 “打倒” (实则是并未被关注), 故谈不上真正的正名; 它只是在我个人的经历中, 在登上大雅之堂的途中受到了一点阻碍, 并且消磨了我对它的热情; 而随着阅历更加丰富, 我在对几篇笔记的偶然反刍之下, 对它产生了新的见解, 不得不记录下来, 好给过去与未来的自己一个交代. 但我写这篇文章的理由未必是读者读这篇文章的理由; 站在读者的立场, 这些事情就不必赘述了.

我打算不以综合数学的玄而又玄的讨论来开启这篇文章, 而是谈论些众所周知的事情. ——我们来谈论抽象代数的起源. 我们的目的不是复原历史的脉络, 而是从现代人的视角来反思抽象代数这个学科存在的理由, 然后对这个理由作一种合理的演绎 (如文章的题目所示, 这种演绎叫做范畴化), 来得到综合数学这门学科存在的理由, 这便是我想要记录的新的见解.

所谓代数最初即是在数的运算中, 用符号来代替数的做法. 它最初仅仅是一个从特殊到一般的过程——我们发现 $$ (3+5)^2 = 3^2 + 2\cdot 3\cdot 5 + 5^2, $$ $$ (4+6)^2 = 4^2 + 2\cdot 4\cdot 6 + 6^2, $$ 于是我们用符号代替一些具体的元素, 写成如下形状的公式, $$ (a+b)^2 = a^2 + 2ab + b^2, $$ 来表达对任何数普遍成立的规律.

然而随着数学的成熟, 一个细微的观念转变发生了——它是如此细微, 以至于学习现代数学多年的读者们可能都忘了这是一场变革: 用来表示 “一般元素” 的符号 $a,b$, 可以不再表示任何一个具体的元素, 而是变成了完全抽象的, 但仍旧遵循同样规律的东西. 我们开始操作带有这些抽象符号 $a,b$ 的等式, 而不在乎符号之下的内涵, 或者说真正的内涵已经不在那里了: 我们从对具体元素的研究转向了对规律本身的研究.

于是, “代数” 的概念产生了. 一个代数是一些元素的集合, 元素之间可作加法, 乘法等运算, 满足交换律, 结合律, 分配律等性质. 如果仅研究这些运算的规律, 而不依赖于参与运算的元素具体的构造, 那么我们作出的论证就适用于任何一个代数. (若读者有微分几何的相关经验: 这就像是微分几何中若不使用坐标进行计算, 那么计算的结果就适用于任何坐标.) 放弃对一个锚定的具体事物的追求, 反而换来了特殊化到所有具体事物的机会.

学习现代数学多年的读者们, 可能难以体会 “代数” 这样的概念对一个仅学过实数的运算的人有多么陌生. 困难并不在于人的智力不能理解代数的定义, 而在于他们长久以来的信念的动摇: 原来我所认识的这个数的系统不是唯一存在的, 唯一合理的数的系统; 事实恰恰相反, 这种系统要多少就有多少. 例如在一个代数中, 我们可以随心所欲地加入一个满足指定的代数方程的元素. 回想历史上人们对虚数 $i$ 的引入曾产生多么大的抵触: 在实数中加入一个满足 $i^2 = -1$ 的元素, 而这个方程在实数中没有任何道理. 人们不是不能对这个方程进行运算, 而是不能接受自古以来熟悉的系统, 实数的代数 $\mathbb{R}$, 被外来者污染, 以至于失去它不可撼动的地位.

当然, 现在的人们早已不再对各式各样的代数产生恐慌. 复代数几何的基础 $\mathbb{C}$, $p$-进几何的基础 $\mathbb{Z}_p$, 已经是每一个数学家如数家珍的代数对象. 人们研究的代数中的运算也不断丰富, Lie 代数, Poisson 代数, Hopf 代数, … 这些结构在各自的领域中发光发热.

总结从研究实数的运算到研究抽象代数发生的观念转变:

一个代数是一个带有结构的集合, “实数” 不过是那个特殊的代数 $\mathbb{R}$ 的元素;
通过四则运算, 我们不仅是在研究实数的规律, 而且可以研究任何代数中的规律, 不依赖于这些集合中元素的具体形式.

现在提升一个范畴层级, 看看集合范畴 $\mathsf{Set}$ 的性质. 它不是一个赤裸的范畴, 正如 $\mathbb{R}$ 不是一个赤裸的集合. 它的对象 (也就是集合) 之间有加法 $+$ 和乘法 $\times$ 的运算: $A+B$ 是两个集合的无交并, 其元素为 $l(a)$ 或 $r(b)$; $A\times B$ 是两个集合的积, 其元素为 $(a,b)$. 加法和乘法都有交换律, 结合律: $A+B\simeq B+A$, $(A+B)+C\simeq A+(B+C)$ 等等. 乘法对加法有分配律: $A\times (B+C) \simeq A\times B + A\times C$. 由此可得 $$ (A+B)^2 \simeq A^2 + 2 \times A\times B + B^2. $$ 很多时候我们对于集合的操作表面上是在操作集合的元素, 实际上是在操作范畴论结构. 例如, 对于映射 $f\colon A\to B$ 以及 $b\in B$, 取出 $A$ 中满足 $f(a) = b$ 的元素 $a$ 构成的集合 $S = \{a\in A\mid f(a) = b\}$, 实际上是在做范畴论中名为拉回的操作: $$ \begin{array} {ccc} S & \to & 1\\ \downarrow & & \downarrow\\ A & \underset{f}{\to} & B. \end{array} $$ 由此可见, 只要一个范畴中具有拉回, 那么 $\{a\in A\mid f(a) = b\}$ 这样的表达式就有意义, 而不需要对象 $A$ 真的是由一个一个的元素组成.

任意量词 $\forall$ 和存在量词 $\exists$ 也不是只在集合范畴中有意义. 它们分别是依值积, 依值和的特例, 而这两者分别是拉回操作 $\mathcal{C}_{/Y} \to \mathcal{C}_{/X}$ 的左右伴随. (更一般地, 每种类型论都有与之相应的范畴论结构. 见三位一体.)

经过如此多的铺垫, 如果我现在告诉读者, 我们自古以来熟悉的这个集合范畴, 并不是唯一存在的, 唯一合理的 “集合的范畴”, 我们使用的数学语言描述的不一定是集合, 而可能是任何适当结构的范畴的对象, 不知读者是否还会像只熟悉实数的古人见到虚数那样感到恐慌.

更关键的是, 就像在抽象代数中我们不需要关心集合中的元素的具体构造一样, 在综合数学中我们不需要关心范畴中的对象的具体构造, 这便是综合数学的核心观念; 这种观念无非是抽象代数的核心观念的一次范畴化.

将集合范畴 $\mathsf{Set}$ 的性质抽象出来, 得到一种允许通常数学语言在其中获得语义的范畴的概念, 这就是意象.

在以意象理论为主要表现方式的综合数学中,

一个意象是一个带有结构的范畴, “集合” 不过是那个最基本的意象 $\mathsf{Set}$ 的对象;
通过一阶逻辑, 我们不仅是在研究集合的规律, 而且可以研究任何意象中的规律, 不依赖于这些范畴中对象的具体形式.

我们认为的 “带结构的集合”, 不过是最基本的意象 $\mathsf{Set}$ 中的结构; 而同样的结构发生在任何一个意象中.

换言之, 随着范畴层级的提升, 我们发现自己从那个 “思想开放” 的 “现代人”, 变成了 “抱残守缺” 的 “古人”.

综合数学的一个出现较早的分支是综合微分几何. 它的理论是这样建立的: 首先规定存在一个对象, 称为直线 $R$; 它具有 $0,1$, 加法和乘法, 构成一个代数. 定义一阶无穷小线段 $D$ 是 $R$ 中平方为零的元素的 “集合” $$ D = \{x\in R \mid x^2 = 0\}. $$ 一条重要的公理是: 对任意函数 $f\colon D\to R$, 存在唯一的 $a,b\in R$ 满足对任意 $d\in D$, 有 $f(d) = ad+b$. 对任意 “集合” $M$, 定义其切向量为映射 $v\colon D \to M$; 定义 $M$ 的切丛为 $M^D \to M,v\mapsto v(0)$. 微分几何最重要的概念就这样产生了.

如果认为上述理论谈论的是普通的集合范畴, 就会发现它简直是天方夜谭. 实直线上平方为零的元素只有 $0$, 又怎能表达切向量这样的概念呢? 感兴趣的读者可以进一步阅读综合微分几何讲稿. 结论是, 我们应当认为综合微分几何谈论的是一种满足特定条件的意象中的对象. 综合数学的每一个分支, 都可视为对所讨论的意象作某种约束. 任何一个满足约束的意象都可以作为这个学科的模型, 而这个学科所产生的定理在所有模型中同样成立.

我将目前的类比总结成一个表格.

范畴层级	0	1
对象	实数	集合
语言	四则运算	一阶语言
全体对象	实数的全体 $\mathbb{R}$	集合的全体 $\mathsf{Set}$
抽象概念	代数 = 带结构的集合	意象 = 带结构的范畴¹
约束	代数方程	公理

其实一个范畴构成一个意象这件事是性质而非结构. 不过这里的结构与 “积幺半结构” 中的结构是同一种用法.

表格有没有可能向右延申? 有没有可能, 范畴的 $2$-范畴 $\mathsf{Cat}$ 不是唯一合理的 “范畴的范畴”, 而是所有的范畴论语言都可以在一个 “$2$-意象” 中解读? 这种语言该如何设计? 我不知道.

百科. 一阶无穷小线段 [一阶无穷小线段]

SimplicialCat

定义

在综合微分几何中, 一阶无穷小线段是直线 $R$ 上平方为零的元素的集合: $$ D = \{x\in R \mid x^2 = 0\}. $$

百科. 射流 [射流]

SimplicialCat

观念

定义

综合微分几何

在综合微分几何中, 对 $x\in M$, 定义 $k$-单子 (monad) $\mathfrak{M}_k(x)$ 为与 $x$ $k$-阶相邻的点的集合. 对任意空间 $P$, 映射 $\mathfrak M_k(x)\to P$ 称为 $x$ 处 “$M\to P$ 映射的” 一个射流 (jet). 我们可定义 $k$-射流函子 $$ J^k \colon \mathcal E/M\to \mathcal E/M. $$ 其中 $M$ 为流形.

性质

无穷小单形与射流的伴随

我们定义无穷小 $k$-无穷小圆盘丛函子 $I_k$. 首先令 $M_k=\{(x,y)\in M\times M: x\sim_k y\}$ 为对角线的 $k$-阶邻域 (参见相邻). 对 $\gamma\colon N\to M$, 如下图定义 $I_k N \to M$: $$ \begin{array} {ccccc} I_k N & \to & M_k & \to & M\\ \downarrow && \downarrow {\small\text{proj}_1}\hspace{-2em}\\ N & \underset{\gamma}{\to} & M \end{array} $$

命题. 函子 $I_k\colon \mathcal E/M\to\mathcal E/M$ 是 $J^k$ 的左伴随, 即对任意 $\gamma\colon N\to M$ 与 $\pi\colon L\to M$, $$ \operatorname{Hom}(I_k(N),L)\simeq \operatorname{Hom}(N,J^k L). $$ 直观上, 在 $x\in M$ 处, 二者都是对每个 $z\in N|_x$ 与 $y\in \mathfrak{M}_k(x)$ 指定 $L|_y$ 的一个点.

百科. “无穷小圆盘丛” [无穷小圆盘丛]

SimplicialCat

nLab 页面

在综合微分几何中,

百科. 无穷小对象 (综合微分几何) [无穷小空间]

定义

在综合微分几何中, 最基本的无穷小空间是直线 $R$ 上的一阶无穷小线段 $D\subset R$, $$ D = \{x\in R : x^2=0\}. $$ 一般地, $R^n$ 中的一阶无穷小对象 $D(n)\subset R^n$ 定义为 $$ D(n)=\{(x_1,\cdots,x_n)\in R^n : \forall i\forall j, x_ix_j = 0\}. $$ 有包含关系 $D(n)\subset D^n$.

定义 $k$-阶无穷小对象 $$ D_k(n) = \{(x_1,\cdots,x_n)\in R^n: \forall i_1 \cdots \forall i_{k+1},x_{i_1}\cdots x_{i_{k+1}}=0 \}. $$ 则有 $\{0\} \subset D(n)\subset D_2(n)\subset D_3(n)\subset\cdots$. 定义 $$ D_\infty(n)=\bigcup_k D_k(n). $$

对于 $R$-模 $V$, 定义 $$ D_k(V)=\{x\in V: x^{\otimes (k+1)}=0\in V^{\otimes (k+1)}\}. $$

不过有一个细节没有想清楚: 对于 $R$-模 $W$ 以及 $x\in W$, 假设对任意 $R$-模同态 $f\colon W\to R$ 有 $f(x)=0$, 是否可以推出 $x=0$.

性质

$D_k(n)$ 在数乘下封闭: 对 $x\in D_k(n), \lambda\in R$ 有 $\lambda x\in D_k(n)$.

$D_k(n)$ 在加法下一般不封闭, 但有 $D_k(n) + D_\ell(n)\subset D_{k+\ell}(n)$. 因此, $D_{\infty}(n)$ 在加法下封闭.

百科. “环化意象” [环化意象]

SimplicialCat

定义

nLab 页面

设 $\mathcal E$ 为意象, 其中有内蕴交换环对象 $R$, 则称 $(\mathcal E,R)$ 为环化意象.

若 $\mathcal{E}$ 为景 $\mathcal C$ 上的层意象, 则 $R$ 为 $\mathcal C$ 上的环层 (结构层).

例

一个环化空间 $(X,\mathcal O_X)$ 诱导了环化意象 $(\operatorname{Sh}(X),\mathcal O_X)$.

综合微分几何

在综合微分几何中, $\mathcal E$ 的对象称作 “空间” 或 “集合”, $R$ 称作 “数轴”. “环” 指的就是 “环对象”, “映射” 指的就是 “光滑映射”. $R$ 类似于实数轴 $\mathbb{R}$, 但不是一个域, 因为我们需要考虑幂零元. 简单起见我们设 $R$ 是特征 $0$ 的, 且 $1+1+\cdots + 1$ 可逆, 即 $R$ 包含 $\mathbb{Q}$. (但代数几何中人们会认真对待正特征的情形.) 有时我们需要 $R$ 是局部环: 若一些数的和可逆, 则其中至少有一个数可逆.

$R$-模 $V$ 称作有限维向量空间, 是指存在线性同构 $V\to R^n$. 其中 “存在” 一词应在层的语义 (sheaf semantics) 下理解, 即 $V$ 局部同构于 $R^n$.

百科. 直线 (综合微分几何) [直线(SDG)]

观念

在综合微分几何中, 直线是一个环, 满足许多公理, 如

Kock–Lawvere 公理;

百科. “相邻” [相邻]

SimplicialCat

在综合微分几何中, 对给定的流形 $M$ 与非负整数 $k$, 其上的点有 $k$-阶相邻的关系. 几何学的许多概念可用相邻关系表述, 而不需要分析学.

定义

$R^n$ 中的两点 $x$, $y$ 称为 $k$-阶相邻 (记作 $x\sim_k y$) 是指 $x-y$ 属于无穷小空间 $D_k(n)$.

对角线的 k-阶邻域

流形 $M$ 上的 $k$-阶相邻关系给出了 “对角线的 $k$-阶邻域” $$ M_{(k)} := \{(x,y)\in M\times M : x\sim_k y\}. $$ ($M_{(k)}$ 本身不是流形.)

若 $M=V$ 为 $R$ 上的 $n$ 维向量空间, 则有典范同构 $$ M_{(k)}\overset{\simeq}{\to} M\times D_{k}(V),\ (x,y)\mapsto (x,y-x). $$

k-单子与射流

对 $x\in M$, 定义 $k$-单子 (monad) $\mathfrak{M}_k(x)$ 为与 $x$ $k$-阶相邻的点的集合.

对任意空间 $P$, 映射 $\mathfrak M_k(x)\to P$ 称为 $x$ 处 “$M\to P$ 映射的” 一个射流 (jet). 我们可定义射流函子 $$ J^k \colon \mathcal E/M\to \mathcal E/M. $$

无穷小单形

此处我们所指的相邻都是一阶相邻.

无穷小 $k$-单形是指 $k+1$ 个两两相邻的点. $M$ 上无穷小 $k$ 单形的空间 $$ M_{<k>}:=\{(x_0,\cdots,x_k)\in M^{k+1}: \forall i,j,x_i\sim x_j\} $$ 可视为 $M$ 上的纤维丛, 投影映射由第一个分量给出. $M_{<k>}$ 是微分形式的基本研究对象.

$M_{<1>}$ 恰为 “对角线的 $1$ 阶邻域” $M_{(1)}$.