流形上的涂鸦

从闵氏时空的Killing方程出发，严格推导出庞加莱群 $ISO(1,3)$ 的10个生成元与完整代数结构。在求Casimir算符时，引入余伴随轨道与辛叶层的几何图像，通过洛伦兹协变性与平移不变性的双重约束，用霍奇对偶构造Pauli-Lubanski矢量 $W^\mu = \frac{1}{2}\epsilon^{\mu\nu\rho\sigma}P_\nu M_{\rho\sigma}$，得到两个Casimir算符 $M^2$ 与 $W^2$。亮点在于无质量情形：小群退化为欧几里得群 $E(2)$，物理上取其平凡表示后 $W^\mu = h \cdot P^\mu$，螺旋度自然浮现，为无质量粒子（光子、引力子）的表示论描述画上句号。

从伽利略群的半直积结构出发，推导出薛定谔方程与海森堡方程作为群表示的自然结果。关键转折在于：能量无下界的矛盾迫使引入全局U(1)对称性，通过群的中心扩张（2-cocycle）修正对易关系 $[K_i,P_j]=\delta_{ij}M$，使能量谱恢复稳定。随后利用泊松张量与Schur补系统求解出三个Casimir算符 $(M, U, S^2)$，完成不可约表示分类，并由此自然导出位置算符、动量表象及自由粒子薛定谔方程——整个单粒子量子力学框架从群论中一气呵成。

从散射问题出发，疏通了从拉氏量到可观测散射截面的计算管线，这是量子场论的核心机器。

梳理了抽象代数需要的范畴论基础。本章的目标是理解范畴论的逻辑主线和核心定义，不需要搞懂每一个例子。李文威的例子覆盖代数、拓扑、几何等大量领域，第一遍读不懂是正常的。先把"机器"搞清楚，后面学到具体的代数和几何时再回来对照，例子会自然活过来。

从李代数对易关系出发，通过构造Casimir算符 $J^2$ 作为不可约表示的"全局标签"，再借助对角化伴随算符自然导出升降算符 $J_\pm$，最终利用有限维表示中最高权与最低权的约束，证明SU(2)的全部有限维不可约表示由半整数 $j$ 唯一分类，$J^2=j(j+1)I$。亮点在于升降算符的引入完全来自纯代数动机（根空间分解），而非物理直觉。

本章是全书的地基——为后续的范畴论和代数结构提供集合论层面的合法性保障。与具体的群、环、模理论关系不大，第一遍可以快速通过，但以下概念需要真正理解。

作为强大的谱方法偏微分方程求解器，Kadath的社区实在太小，中文社区几乎没有，所有这里提供一个官网的个人汉化，仅供参考

（施工中）总目标是“追根溯源”地梳理起量子力学的知识。这一章有关希尔伯特空间的初步内容

因为周三就要期中考了所以现在决定来通过写复习笔记（虽然好像更像是预习笔记QAQ）的方式来复习！