北京飞纽约的航线在地图上向北弓起，看着绕远，实际最短——球面上没有欧氏直线，但有大圆。更本质的定义不是"最短"，而是"自己不拐弯"；这要先回答：曲面上两地的方向怎么比较？答案叫平行移动——让向量沿曲线滑动，每步只做曲面允许的最小调整。
种子就在这里：把一支箭从北极沿经线搬到赤道，沿赤道走 90°，再沿另一条经线搬回——每步都"没转"，回来却转了 90°。局部毫无异常，闭合才暴露，这个转角就是曲率。
$x^k(t)$ 是路径在某套坐标下的分量，点表示对参数求导。$\ddot{x}^k$ 是"坐标纸上看到的加速度"；$\Gamma^k_{ij}$ 是克里斯托费尔符号，由度量 $g_{ij}$ 的一阶导数算出，记录"坐标网格自己在弯"这部分假象。方程说：扣掉坐标造成的假加速度后，真加速度为零——这正是"不拐弯"。
它把"直"从"最短"里解放出来：最短是全局的，要把所有路径比一遍；最直只看脚下一步——两个定义却给出同一族曲线。而爱因斯坦的转译更震撼：引力不是力，是时空的测地线。苹果一直在走最直的路，只是时空被地球弯了；牛顿需要神秘的超距作用，几何只需承认空间可以弯。
GPS 每天必须做约 38 微秒的相对论时钟修正，否则定位每天漂移十公里。机器学习里，自然梯度是 Fisher 度量下的最速下降，走参数流形的测地方向而非欧氏方向；正交约束与低秩矩阵上的优化也靠测地线完成"沿流形迈一步"。
曲面上每点都有一个高斯曲率 $K$：球面为正，马鞍面为负，平面与圆柱面为零。它是纯局部量，随手捏一下就变。
现在把整张曲面的曲率全部加起来。直觉上总和该取决于你把它捏成什么样，但答案是：总和永远不变，只取决于有几个洞。球是 $4\pi$，捏成花生、捏成任意疙瘩仍是 $4\pi$；轮胎面恒为 $0$。你按下去多出的负曲率，别处必然鼓出等量的正补偿——曲率能在曲面上流动，总量却守拓扑的恒。
$K$ 是高斯曲率，对曲面 $M$ 积分；$k_g$ 是测地曲率，衡量边界"偏离测地线多少"，闭曲面无边界时这项消失；$\chi(M)=2-2g$ 是欧拉示性数，$g$ 为洞数。左边连续可微、随手一捏就变，右边是整数。上图的球面三角形是最小版本：三条边是测地线（$k_g=0$），只剩三个拐角贡献，公式退化成"内角和 $-\pi$ = 面积 × 曲率"。
这是"局部→全局"最纯粹的一座桥：左边是分析，右边是拓扑，一堆可任意变化的量加起来，居然被一个整数锁死。整数无法连续变化，所以你连续捏曲面时，总曲率根本没有机会漂移。Atiyah–Singer 指标定理把它推广为"任何椭圆算子的解空间维数差都等于一个拓扑量"——20 世纪最深的数学成果源头就在这里。
计算机图形学中，三角网格顶点的角亏损（$2\pi$ 减去周围内角和）就是离散高斯曲率，总和必须等于 $2\pi\chi$，直接用作网格重建与参数化的校验；又因 $K$ 是内蕴不变量，任何地图投影必然失真。
物理上它变成计数定理：球面上切向量场的拓扑缺陷总指数必须等于 $\chi=2$——这就是毛球定理，也意味着地球表面永远至少有一个风速为零的点；足球恰好需要 12 个五边形，同样是这本账。
纸带两端直接粘上得到圆柱面；一端翻 180° 再粘，得到莫比乌斯带。两者零件完全相同——底下都是一个圆，每点上竖着一条线段，只看得见周围一小块的观察者都会说"我这里就是块普通长方形"。差别只藏在粘法里。
纤维丛就是把这句话形式化：底空间、纤维、总空间，要求局部像乘积，整体允许扭。还差一件事：不同点上的纤维之间，怎么知道"这个方向"和"那个方向"是同一个？这需要额外规定，叫联络；沿闭路搬一圈后没回到原样的那个偏差，就是曲率。
$E$ 是总空间，$B$ 是底空间，投影 $\pi$ 把每根纤维压回它所在的底点，$\pi^{-1}(b)$ 都同构于同一个 $F$。条件是：$B$ 上每点都有邻域 $U$，使 $E$ 在 $U$ 上看起来是乘积——这叫局部平凡化。相邻两块重叠处，两种"看法"之间差一个变换，这些转移函数取值于某个群，装配信息全在其中。
它给出了"整体扭曲"的精确度量：局部观察者查不出任何异常，唯有绕一圈才发现世界不是它以为的样子——这种只能靠闭合回路探测的性质叫和乐（holonomy）。最漂亮的实例是 Hopf 纤维化：三维球面可被一族圆完美填满，每个圆压下去成为普通球面上的一点，而任意两圆都恰好互扣成环、谁也不与谁相交。
三维旋转群 $SO(3)$ 被三维球面二重覆盖，这正是四元数存在的理由：旋转空间本身是扭的，用三个欧拉角做坐标必然在某处退化——这就是万向节死锁；四元数在覆盖空间上工作，插值全程平滑，每个游戏引擎与机器人姿态库都在用这条几何事实。
量子力学的 Berry 相位是丛的和乐：参数缓慢绕一圈回到原处，波函数多出一个纯几何相位，只与包住的曲率有关——这是量子霍尔电导精确量子化的根源。几何深度学习则把等变网络重述为丛上的卷积。
电子波函数有一个相位，而相位的零点是人为约定。规范原理提出一个大得多的要求：允许每一点独立选择自己的约定，物理仍然不变。麻烦立刻来了：求导要比较相邻两点的值，可两点用了不同约定——正是概念 3 里"纤维怎么对齐"的问题。唯一的补救是引入一个场，专门记录"从这点到那点该如何换算"，这个补偿场就是电磁势。
逻辑于是反了过来：不是先有电磁力再发现它有对称性，而是坚持局部对称性，力被逼着出现。力的强度则是沿闭路对齐一圈后的失配——曲率。电磁场是相位丛的曲率，引力是时空的曲率。
在规范变换 $\psi \to e^{i\theta(x)}\psi$ 下，普通导数会多出一项 $i(\partial_\mu\theta)\psi$。引入 $A_\mu$ 并令它同时按 $A_\mu \to A_\mu + \tfrac{1}{e}\partial_\mu\theta$ 变换，多余项恰好抵消——$D_\mu$ 是"考虑了对齐规则之后"的导数，数学上正是联络。$F_{\mu\nu}$ 度量两个方向的对齐次序能否交换，交换不了的部分就是场强，数学上正是曲率。把 $U(1)$ 换成非交换的 $SU(2)$、$SU(3)$，同一套构造给出弱力与强力。
Day 18 的 Noether 定理说：全局对称性给出守恒律。规范原理更进一步：局部对称性给出相互作用本身——对称性从"结果的约束"升级为"存在的理由"。而最令人不安的美在于：物理学家半个世纪摸索出的这套形式，与数学家在纯几何动机下发展的纤维丛理论完全同构。1975 年杨振宁与陈省身对照两边的词典，发现每个物理概念都对应一个早已存在的几何概念。
Aharonov–Bohm 效应是最干净的实验判决：电子束绕过一根屏蔽良好的螺线管，所经区域磁场严格为零，干涉条纹却随管内磁通移动——局部什么都没发生，绕一圈的和乐却真实可测。格点规范场论把联络离散成连边上的矩阵、用蒙特卡罗在 GPU 上采样，是当前从第一性原理计算质子质量的唯一途径；规范等变卷积则把"权重共享"从平移推广到流形上的局部对称性，已用于球面数据与分子性质预测。