math-skill 2.0.1 → 3.0.0

package/skills/symmetry-invariance/SKILL.md

@@ -1,137 +0,0 @@
----
-name: symmetry-invariance
-description: |
-  触发：群论分析、不变量计算、Galois 理论、Noether 定理、轨道分类、商空间推理、对称性破缺分析；或为算法设计等变性/守恒量/不变结构（如 SO(3)/SE(3) 等变网络、热带半环）时调用。
-  English: Trigger for group theory analysis, invariant computation, Galois theory, Noether's theorem, orbit classification, quotient space reasoning, symmetry breaking; or designing equivariance/conservation/invariant structures (e.g. SO(3)/SE(3) equivariant nets, tropical semiring) for algorithms.
----
-
-# ⚛️ 对称与不变性 / Symmetry & Invariance
-
-> "寻找事物在变换下保持不变的性质，揭示其内在规律。"
-> "Finding the properties that remain unchanged under transformations, revealing their underlying laws."
->
-> —— 群论、不变量理论、Noether 定理 / Group Theory, Invariant Theory, Noether's Theorem
->
-> Sophus Lie 想打造一把屠龙刀——解通微分方程。虽未屠尽所有的龙，但这把刀的锻造工艺（李群-李代数对应）流传了下来，后来用于线性化非线性问题、描述物理对称性、机器人状态估计。数学最迷人的地方：为特定问题发明的工具，在完全不同领域展现出远超初衷的价值。这正是「跨领域激活」的原型。
-
-## 核心原则 / Core Principle
-
-**在变化中寻找不变——这是理解复杂系统的捷径。对称性不是'好看'，而是系统深层结构的体现。每一个对称性都对应一个守恒量（Noether 定理），每一个不变量都是简化问题的钥匙。**
-
-> **数学形式化 / Mathematical Formalization**
->
-> 群 **G** 作用在集合 **X** 上：φ: G×X→X（φ(e,x)=x, φ(g,φ(h,x))=φ(gh,x)）。
->
-> **不变量** f: X→Y 使 f(g·x)=f(x) ∀g∈G。形式化：f 是 G-不变量 ⇔ f: X/G → Y 为商空间上的函数。不变量只区分轨道，不区分同轨道内元素。
->
-> **轨道** O(x)={g·x : g∈G}，等价关系 x~y ⇔ ∃g∈G, y=g·x，X/~ = X/G。**商空间** X/G 由所有轨道构成。分类的本质是在 X/G 上工作；找不变量即找在每条轨道取常值的函数。
->
-> **稳定子** Stab(x)={g∈G : g·x=x}，|O(x)|=|G|/|Stab(x)|——轨道越大对称越少。
->
-> 核心直觉：**不变量 = 轨道上的常值函数 = 商空间 X/G 上的函数**。完备不变量集将 X/G 嵌入更简单空间，实现完全分类。
->
-> 对称层次：几何对称（O(n)/E(n)，不变量距离面积）；代数对称（Galois 理论，判别式）；物理对称（Lie 群，能量/动量/角动量）；结构不变（同构/同伦等价）。
->
-> **Reynolds 算子**：有限群 G，R(f)=1/|G| Σ f(g·x)，R²=R，像正是所有不变量。**Burnside 引理**：|X/G|=1/|G| Σ |Fix(g)|。**Lie 代数生成元**：T_a·f=0 为微分方程，解之得不变量。**Noether 定理**：连续对称 → 守恒流 Jμ, ∂_μ Jμ=0。**Galois 理论**：方程可用根式求解 ⇔ Gal(f) 可解群。
->
-> 详细见 `original-texts.md`。
-
-## GPU 友好性 / GPU-Friendliness（横切检查）
-
-对称/不变结构能否上 GPU，取决于群操作的「张量化」程度——过 `../../references/gpu-friendly-math.md` 八维：
-
-- **群作用可张量化 → 友好**：若群作用是线性（矩阵乘），则等变层 = GEMM（如 SO(3) 等变用球谐/表示矩阵的批量 GEMM）。
-- **Reynolds 平均**：有限群平均 = 对 |G| 个变换结果求和，可批量并行（友好）；但 |G| 极大时不友好→用 Lie 代数连续近似。
-- **不变量作正则/约束**：作损失项时局部、廉价（友好）；作精确符号计算时不友好。
-- **热带半环**：min/+ 代数上的"对称"可落 GEMM-like 结构（友好，见 `../../references/gpu-friendly-math.md` 范例）。
-- **反模式**：把需要逐轨道符号判定的精确分类硬塞进训练——不可算。
-
-八维最低判定（正式术语）：**张量化**看群作用是否可批量作用于特征；**GEMM 可映射**看表示矩阵/球谐/投影是否落矩阵乘；**复杂度**看群阶、轨道数、积分/求积规模；**显存与 KV-Cache**看多副本/多轨道特征是否爆炸；**低精度稳定**看等变误差、规范选择、归一化是否稳健；**并行与通信**看群元素/空间点能否并行；**稀疏结构**看等变连接是否块结构化；**算子融合**看 group action、聚合、投影能否融合。
-
-> 配合 `../../references/books/micro-lie-theory.md`（SO(3)/SE(3) 等变）、`abstract-algebra.md`（群/半环）、`differential-geometry.md`（规范对称）。
-
-## 不适用场景 / When NOT to Use
-
-- **系统完全不对称且无规律**——无群作用可利用。
-- **需要精确数值解**——对称性给结构信息而非具体数值（告诉你"什么相等"不告诉你"等于多少"）。
-- **对称破缺是核心机制**（相变、自发破缺）——应转向分析破缺模式 G→H 而非找不变量。
-- **问题规模极小**——对称分析开销可能超过直接求解。
-- **群结构过于复杂**——|G| 极大时 X/G 不比 X 简单，不变量本身可能更复杂。
-
-## 何时使用 / When to Use
-
-- 面对复杂系统想找简化线索；需要分类/识别对象（利用轨道 X/G）。
-- 寻找回滚量或不变量（轨道上常值的函数）；减少变量/降维（商空间、基本域）。
-- 判断方程可解性（Galois）；计数对称构型（Burnside/Pólya）。
-- 从守恒律反推对称性（逆 Noether）。
-- **设计等变/不变网络或算子**（SO(3)/SE(3) 等变、热带半环路由、守恒正则）。
-
-## 方法流程 / Method
-
-### 第一步：识别可能的变换 / Identify Transformations
-列出系统可能经历的所有变换，组织为候选对称群，验证四条公理（封闭/结合/单位/逆）。空间变换→E(n)/O(n)/相似群；时间→R 或 Z₂；代数→S_n/GL(n)/SL(n)；逻辑→Z₂/Aut；规范→U(1)/SU(2)/SU(3)（Lie 群，配 Lie 代数）。不满足公理则识别实际结构（半群？广群？），不可盲目当群。陷阱：投影不可逆不是群；反射复合为旋转（封闭成立）。
-
-### 第二步：寻找不变量 / Find Invariants
-对 G 作用于 X，找 f(g·x)=f(x)。
-- **有限群**：Reynolds 算子 R(f)=1/|G| Σ f(g·x)（投影到不变量，R²=R）；Burnside 引理 |X/G|=1/|G| Σ |Fix(g)| 计轨道数；初等对称多项式 e_k 是 S_n 作用于 R^n 的完备不变量集。
-- **连续群（Lie 群）**：用 Lie 代数生成元 T_a·f=0 解不变量（每个生成元减一自由度）；Killing 向量场积分得不变坐标（如 SO(3)→r=√(x²+y²+z²)）。
-- **不动点分析**：Stab(x) 揭示局部对称程度。
-- 常见不变量：几何（长度/角度/欧拉示性数）、物理（能量/动量/角动量）、代数（判别式/迹/行列式/特征多项式系数）、组合（轨道数/等价类大小）。
-
-### 第三步：利用不变量简化 / Use Invariants to Simplify
-- **商空间推理**：在 X/G 上工作而非 X，|X| 对象→|X/G| 轨道（如 230 空间群→230 种 X/G）。
-- **基本域** D：每条轨道恰与 D 交于一点，只分析 D（O(2)→半平面；SO(3)→球面三角；SL(2,Z)→|z|≥1, |Re(z)|≤1/2）。
-- **变量缩减**：用不变量替代被约束变量（能量守恒减一动力学变量；角动量守恒→只关心径向；中心力场 L²=常数→一维径向方程）。
-
-### 第四步：利用对称性分类 / Classify via Symmetry
-**轨道-稳定子** |O(x)|=|G|/|Stab(x)|：稳定子越大对象越对称、轨道越小。同轨道对象共享所有 G-不变量值。关键问题：不变量是否完备？即 f(x)=f(y) ⇒ x,y 同轨道？不完备→不同轨道可有相同不变量值，需更多不变量或更精细群。完备例子：S_n→e₁..e_n；O(n)→r²=Σx_i²；SL(2,C)→判别式 Δ=b²-4ac。
-
-### 第五步：检查对称性破缺 / Check Symmetry Breaking
-- **自发破缺**：方程有对称 G，解只满足 H⊂G（真空选方向，G→H）。Goldstone 定理：连续 G→H 破缺产生 dim(G/H) 个无质量 Goldstone 模（铁磁 SO(3)→SO(2) 得 2 模；超流 U(1)→{e} 得 1 模）。
-- **显式破缺**：方程本身不满足 G（外力/质量项，如夸克质量破手征对称 SU(2)_L×SU(2)_R→SU(2)_V）。
-- **分析要点**：识别 G→H，算 Goldstone 模数 dim(G/H)，破缺后有效理论仍需 H-不变。
-
-### 第六步：代数对称分析 / Algebraic Symmetry (Galois)
-Gal(f) 为根的置换群。**方程可用根式求解 ⇔ Gal(f) 可解群**（子群链 G=G₀⊃...⊃G_k={e}，每步为循环商群）。可解直觉：每步商群对应一次根式提取；不可解群意味"不可绕过的复杂性"。≥5 次一般方程 Gal(f)=S_5 不可解（A_5 最小非可解单群）；4 次 S_4 可解；圆可分→循环群可解。范式：**问题结构→置换群→群可解性→问题可解性**。
-
-### 第七步：物理对称分析 / Physical Symmetry (Noether)
-**Noether 定理**：作用量 S=∫L dt 在 G 下不变 ⇒ 守恒流 Jμ, ∂_μ Jμ=0。对应：时间平移→能量；空间平移→动量；旋转→角动量；规范 U(1)→电荷。量子：对称 G→Hilbert 空间酉表示→不可约表示分类能级→Wigner-Eckat→选择规则。层次：经典（Lagrangian 对称→Noether→简化方程）→量子（选择规则/简并/Wigner-Eckart）→场论（规范对称→粒子分类→标准模型 SU(3)×SU(2)×U(1)）。
-
-## 常见错误 / Common Errors
-
-| 错误 / Error | 数学批评 / Critique | 正确做法 / Correct Approach |
-|-------------|-------------------|---------------------------|
-| 忽视隐藏对称性 | 表面不对称但深层有对称，遗漏致不必要复杂化 | 尝试不同表示（坐标/基底变换）找深层对称 |
-| 混淆近似与精确对称 | 近似对称"守恒"仅近似，误差随时间积累 | 区分精确/近似不变量，标注近似程度 |
-| 对称性论证过度 | 不是所有问题都有对称，强行引入得错误结论 | 确认对称确实存在再使用，验证群公理 |
-| 忽视对称破缺 | 破缺可能才是关键机制 | 同时关注对称与破缺，分析 G→H |
-| 未验证群性质 | 候选变换集未必满足封闭/逆 | 逐一验证四公理，不满足则识别实际结构 |
-| 混淆轨道不变量与一般不变量 | f 在 O(x) 常值 ≠ f 在 X 常值（后者平凡无信息） | 明确是 G-不变（每轨道常值） |
-| 混淆离散与连续对称 | 离散群无 Reynolds 平均（|G| 或无穷）；连续群需 Lie 代数 | 离散用 Burnside 计数；连续用 Lie 代数+Noether |
-| 等变结构不可算 | 把需逐轨道符号判定的精确分类塞进 GPU 训练 | 群作用张量化、用线性表示落 GEMM，过八维门 |
-
-## 操作规程 / Operating Procedure
-
-当本 skill 被触发时，输出必须包含：
-
-1. **变换清单**：`[变换N]: [描述] [类型]`，组织为候选群，标注验证了哪些公理（封闭✓/✗…）
-2. **不变量发现**：`[在群G下]: [不变量Y] 保持不变`；有限群写 Reynolds 形式；用 Burnside 计轨道数
-3. **简化策略**：`[利用不变量Y]: [如何简化]`；标注是否在 X/G 或基本域 D 上工作，估计维度缩减
-4. **对称分类**：`[对象x]: |O(x)|=, |Stab(x)|=`，轨道分类结果，评估不变量完备性
-5. **对称破缺检查**：`[对称性Z]: [存在/破缺]，方式[自发/显式]`；连续破缺标注 Goldstone 模数 dim(G/H) 与有效群 H
-6. **代数/物理对称**：方程求解标 Gal(f) 及可解性；物理系统标 Noether 对应 `[对称群G]: [守恒律]`
-7. **结论**：发现哪些不变量、实现多少维度缩减、分类结果
-8. **[GPU 可行性]**（若用于算法/等变设计）— 群作用能否张量化落 GEMM，过八维门，标注友好/可改造/不友好
-
-**输出不得只给分析而无结论。**
-
-## 与其他 skill 的关系 / Relations to Other Skills
-
-- **变换思想**：对称性就是变换下的不变性——一体两面。
-- **抽象化思想**：不变量是最高层次的抽象——独立于具体表示。
-- **建模思想**：物理模型常以对称性原理为指导。
-- **公理化思想**：群论公理是对称性的数学基础。
-- **拓扑思想**：拓扑不变量（欧拉示性数、同伦群）是连续变换下的不变量。
-- **算法思想**：群算法利用对称加速（如 FFT 利用循环群结构）。
-- **离散/组合思想**：Pólya 计数是 Burnside 引理的加权推广。
-- **现代数学激活**：`../../references/books/micro-lie-theory.md`（SO(3)/SE(3) 等变、李群优化）、`abstract-algebra.md`（群/半环）、`differential-geometry.md`（规范对称/纤维丛）。

package/skills/symmetry-invariance/original-texts.md

@@ -1,221 +0,0 @@
-# 数学出处与经典文献 / Mathematical Sources and Classic Texts
-
-## 群论 / Group Theory (Galois, 1830s)
-
-**Évariste Galois**（1811-1832）在 20 岁死于决斗前夜，开创了群论：
-
-> "一个方程是否能用根式求解，取决于其根的置换群的结构。"
-> "Whether an equation can be solved by radicals depends on the structure of the permutation group of its roots."
-
-**群的定义**：一个集合 G 配备二元运算 ·，满足：
-1. **封闭性**：∀a,b ∈ G, a·b ∈ G
-2. **结合律**：∀a,b,c ∈ G, (a·b)·c = a·(b·c)
-3. **单位元**：∃e ∈ G, ∀a ∈ G, e·a = a·e = a
-4. **逆元**：∀a ∈ G, ∃a⁻¹ ∈ G, a·a⁻¹ = a⁻¹·a = e
-
-**群是对称性的数学语言。**
-
-## 伽罗瓦理论基本定理 / Fundamental Theorem of Galois Theory
-
-伽罗瓦理论的核心是以下深刻对应：
-
-> 给定域扩张 L/K，若 L 是 K 的伽罗瓦扩张，则伽罗瓦群 Gal(L/K) 的子群与 L/K 的中间域之间存在一一对应（反序保持）。
-> Given a Galois extension L/K, there is an order-reversing bijection between subgroups of Gal(L/K) and intermediate fields between K and L.
-
-这揭示了 **代数结构（群）与域结构（域扩张）的深层对偶性**：
-- 子群 H ↔ 固定域 L^H
-- 正规子群 ↔ 伽罗瓦子扩张
-- 子群的指数 ↔ 中间域的次数
-
-**历史意义**：这一对应将 "方程可解性" 转化为 "群的可解性"——可解群对应根式可解方程，从而彻底解决了五次及以上方程不可根式求解的问题。
-
-## Klein 爱尔兰根纲领 / Klein's Erlangen Program (1872)
-
-> "一种几何学就是研究一个变换群作用下的不变量。"
-> "A geometry is the study of invariants under the action of a transformation group."
-
-Klein 提出用群论来统一各种几何学：
-- 欧几里得几何 = 等距变换下的不变量
-- 仿射几何 = 仿射变换下的不变量
-- 射影几何 = 射影变换下的不变量
-
-**深远影响**：爱尔兰根纲领不仅统一了当时的几何学，更预示了 20 世纪数学中 "结构决定几何" 的核心思想——从拓扑到微分几何，均可纳入 "群+不变量" 的框架。
-
-## Lie 群与 Lie 代数 / Lie Groups and Lie Algebras (1870s)
-
-**Sophus Lie**（1842-1899）将 Galois 的有限群思想推广到连续变换群：
-
-> "连续对称性应由无穷小生成元来刻画——Lie 代数是 Lie 群的局部线性化。"
-> "Continuous symmetries are captured by infinitesimal generators; the Lie algebra is the local linearization of the Lie group."
-
-关键概念：
-- **Lie 群**：既是群又是光滑流形的结构（如 SO(n)、SU(n)、GL(n,R)）
-- **Lie 代数**：Lie 群在单位元处的切空间，配备 Lie 括号 [X,Y]
-- **指数映射** exp: g → G，从无穷小生成元恢复全局对称性
-
-**分类里程碑**：半单 Lie 代数的 Cartan 分类（1894）给出四种无限族 A_n, B_n, C_n, D_n 和五个例外代数 G₂, F₄, E₆, E₇, E₈——这是连续对称性世界中的 "元素周期表"。
-
-**物理意义**：粒子物理中的规范群 SU(3)×SU(2)×U(1) 正是 Lie 群理论的直接应用。
-
-## Noether 定理 / Noether's Theorem (1915)
-
-> Emmy Noether（1882-1935）：每一个连续对称性都对应一个守恒量。
-> Every continuous symmetry corresponds to a conserved quantity.
-
-| 对称性 / Symmetry | 守恒量 / Conserved Quantity |
-|-------------------|---------------------------|
-| 时间平移不变性 | 能量守恒 |
-| 空间平移不变性 | 动量守恒 |
-| 旋转不变性 | 角动量守恒 |
-| 规范不变性 | 电荷守恒 |
-
-**意义**：这是物理学中最深刻的定理之一——它揭示了自然界的对称性与守恒律之间的深层联系。Noether 在 1915 年为 Hilbert 解决广义相对论中的能量守恒问题而证明此定理，其影响远超最初的动机。
-
-## 表示论 / Representation Theory (Frobenius, Schur, 1896-1905)
-
-> "要理解一个群，最好的方式是看它如何作用于向量空间。"
-> "To understand a group, the best way is to see how it acts on vector spaces."
-
-**Georg Frobenius**（1849-1917）在 1896 年发明了群的特征标理论，**Issai Schur**（1875-1941）进一步发展了不可约表示的分类：
-
-- **群表示**：同态 ρ: G → GL(V)，将抽象群元素映射为线性变换
-- **特征标** χ(g) = Tr(ρ(g))，是表示的 "指纹"——不同不可约表示有不同特征标
-- **不可约表示**：不能进一步分解的表示，是表示论的基本构件
-
-**核心定理**：
-- Maschke 定理：有限群的表示在适当条件下完全可分解为不可约表示之和
-- Schur 引理：不可约表示之间的同态极为简单（零或同构）
-- 特征标正交关系：不同不可约表示的特征标彼此正交——这给出了分类的算术约束
-
-**应用遍及数学与物理**：从有限群的分类到量子力学中的角动量理论，表示论是将抽象对称性转化为可计算量的桥梁。
-
-## 有限单群分类 / Classification of Finite Simple Groups (1980s-2004)
-
-> "有限单群的分类是数学史上最庞大的定理——其证明跨越数十年、数百篇论文、数百位数学家。"
-> "The classification of finite simple groups is the most enormous theorem in mathematical history—its proof spans decades, hundreds of papers, and hundreds of mathematicians."
-
-**有限单群**是群论的 "原子"——不可分解为更小的正规子群的群。分类定理断言：
-
-**所有有限单群属于以下类别**：
-1. **循环群** Z_p（p 为素数）——最简单的单群
-2. **交错群** A_n（n ≥ 5）——置换群的核心
-3. **Lie 型群**（16 个无限族）——包括 Chevalley 群、扭曲群等
-4. **26 个散在单群**——最大的是 **Monster 群** M，阶 ≈ 8×10⁵³
-
-**ATLAS of Finite Groups**（1985）是这一分类的标准参考书，记录了所有单群的结构数据。
-
-**Monster 群的奇迹**：Monster 与模形式之间的惊人联系（McKay 的 "月光猜想"、Borcherds 的证明，1998）揭示了有限群与数论的深层联系——Borcherds 因此获 Fields 奖。
-
-## Burnside 引理 / Burnside's Lemma
-
-> 一个有限群 G 作用在集合 X 上，轨道数 = (1/|G|) Σ|X^g|，其中 X^g 是在变换 g 下不变的元素集合。
-
-**应用**：计数问题中利用对称性简化——不需要逐个计数，只需计算平均固定点数。此结果虽以 Burnside 命名，实则由 Cauchy（1845）和 Frobenius（1887）更早发现——数学命名的惯例并不总是公正的。
-
-## Coxeter 群 / Coxeter Groups (1934)
-
-**H.S.M. Coxeter**（1907-2003）系统研究了由反射生成的离散对称群：
-
-> "Coxeter 群是由反射生成的群，其生成关系仅涉及阶数——这是离散几何对称性的终极分类框架。"
-> "Coxeter groups are generated by reflections, with relations specified only by orders—the ultimate classification framework for discrete geometric symmetry."
-
-关键结构：
-- **Coxeter 图**：每个节点代表一个反射生成元，边标注阶数 m_ij
-- **有限 Coxeter 群分类**：与半单 Lie 代数的 Cartan 分类平行——A_n, B_n, D_n, H₃, H₄, I₂(n) 等
-- **正多面体与正多胞体**的对称群均为 Coxeter 群
-
-**H₄** 群（阶 14400）是 4 维 120 -cell / 600-cell 的对称群，是有限 Coxeter 群中最精妙的例子之一。
-
-**影响**：Coxeter 群理论统一了正多面体理论、晶体学、Lie 理论中的 Weyl 群，以及组合学中的 Bruhat 分解。
-
-## 晶体学群与 230 空间群 / Crystallographic Groups and 230 Space Groups
-
-> "晶体对称性的数学分类——230 个空间群穷尽了三维晶体所有可能的对称类型。"
-> "The mathematical classification of crystal symmetry—the 230 space groups exhaust all possible symmetry types for three-dimensional crystals."
-
-**历史**：
-- **32 个晶体点群**：由 Schoenflies（1891）和 Fedorov（1890）独立分类
-- **230 个空间群**：含平移对称（螺旋轴、滑移面）的完整分类，由 Fedorov 和 Schoenflies 完成
-- **二维情形**：17 个壁纸群（wallpaper groups），分类更为简洁
-
-**数学意义**：这是 "用群论分类自然结构" 的经典范例——晶体学直接验证了爱尔兰根纲领的精神。国际晶体学表（International Tables for Crystallography）是这一分类的标准参考。
-
-**四维及以上**：高维晶体学群的数量急剧增长（4 维有 4783 个空间群），展示了维数增加后对称结构的爆炸性复杂化。
-
-## 自发对称性破缺 / Spontaneous Symmetry Breaking (Goldstone 1961; Higgs 1964)
-
-> "当系统的基态不继承其定律的对称性时，对称性被自发打破——这是物理学中对称性最戏剧性的表现。"
-> "When the ground state of a system does not inherit the symmetry of its laws, the symmetry is spontaneously broken—the most dramatic manifestation of symmetry in physics."
-
-**Goldstone 定理**（1961）：连续对称性的自发破缺必然产生无质量的激发态（Goldstone 玻色子）。
-
-**Higgs 机制**（1964）：当规范对称性被自发破缺时，Goldstone 玻色子被 "吃掉"，转化为规范场的质量——这正是粒子物理 Standard Model 中 W/Z 粒子获得质量的机制。2012 年 LHC 发现 Higgs 粒子，确认了这一理论。
-
-**数学结构**：设群 G 作用于势能 V(φ)，若 G 对称但极小值点 φ₀ 仅被 G 的子群 H 保持，则对称性从 G 破缺到 H，产生 dim(G/H) 个 Goldstone 模。
-
-**哲学意义**：自然定律是对称的，但自然界可以不对称——对称性不保证对称的现实，只保证对称的可能性。
-
-## 规范对称性 / Gauge Symmetry (Yang-Mills, 1954)
-
-> "规范对称性是局域的——对称变换可以在时空的每个点独立选取。这要求引入规范场来维持一致性。"
-> "Gauge symmetry is local—the symmetry transformation can be chosen independently at each spacetime point. This demands the introduction of gauge fields to maintain consistency."
-
-**Yang-Mills 理论**（1954）：杨振宁与 Mills 将电磁规范原理（U(1)）推广到非阿贝尔群（SU(2)），开创了非阿贝尔规范场论。
-
-**Standard Model 的规范群**：SU(3)_C × SU(2)_L × U(1)_Y
-- SU(3)：色对称性 → 强相互作用（QCD）
-- SU(2)×U(1)：电弱对称性 → 经 Higgs 破缺后给出电磁 U(1)
-
-**Yang-Mills 存性与质量间隙**：Clay 数学研究所的七大千禧问题之一——证明 Yang-Mills 理论的质量间隙至今未解决，是数学物理最深层的开放问题之一。
-
-## 宇称不守恒 / Parity Violation (Wu Experiment, 1957)
-
-> "物理定律可能在镜像世界中不成立——这打破了自然界最基本的直觉对称性。"
-> "Physical laws may not hold in the mirror world—this shatters the most intuitive symmetry of nature."
-
-**历史**：李政道与杨振宁（1956）提出弱相互作用可能不守恒宇称；**吴健雄**（Chien-Shiung Wu）在 1957 年用 Co-60 β 衰变实验确认了这一预言。
-
-**意义**：在此之前，物理学家普遍相信宇称守恒（左右对称）是自然的基本原理。Wu 实验证明弱相互作用区分左右——这是对称性并非普遍有效的第一个实验证据，深刻改变了物理学家的世界观。
-
-**后续**：宇称破缺导致引入 CP 对称性；1964 年 Cronin-Fitch 实验发现 CP 也破缺，进一步缩小了自然界的对称性。
-
-## CPT 对称性 / CPT Symmetry in Particle Physics
-
-> "CPT 定理断言：任何 Lorentz 不变的局部量子场论必须在 C（电荷共轭）、P（宇称）、T（时间反演）的联合变换下不变。"
-> "The CPT theorem asserts: any Lorentz-invariant local quantum field theory must be invariant under the combined C (charge conjugation), P (parity), and T (time reversal) transformation."
-
-**CPT 的分量**：
-- **C**（电荷共轭）：粒子 ↔ 反粒子
-- **P**（宇称）：空间反演（镜像）
-- **T**（时间反演）：时间流向逆转
-
-单独的 C、P、T 均可被打破（弱相互作用破 P 和 C，K 介子衰变破 CP），但 **CPT 联合必须守恒**——这是量子场论最坚固的对称性壁垒。若 CPT 被实验打破，将意味着量子场论的基础架构需要重建。
-
-## Weyl 的对称性哲学 / Weyl's Symmetry (1952)
-
-**Hermann Weyl**（1885-1955）在晚年著作 *Symmetry*（1952）中给出了对称性的哲学沉思：
-
-> "对称性，无论广义还是狭义，都是一种理念，人类自古以来就试图借此理解和创造秩序、美与完美。"
-> "Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order, beauty, and perfection."
-
-Weyl 从艺术（装饰纹样、建筑）、自然（晶体、花朵）、数学（群论）和物理（相对论、量子力学）四个维度展开讨论。此书将数学的严谨与哲学的深邃融为一体，是 "数学人文传统" 的典范之作。
-
-## 不变量的力量 / The Power of Invariants
-
-> "在变化中找到不变的东西，这是理解世界的捷径。"
-> "Finding what does not change amid change is the shortcut to understanding the world."
-
-经典案例：
-- **Euler 示性数**：无论怎样连续变形多面体，V - E + F = 2 不变
-- **拓扑亏格**：甜甜圈和咖啡杯有相同的拓扑结构（一个洞）
-- **图灵机停机问题的不可判定性**：无论算法如何改进，某些问题本质上不可计算
-
-## 对称性与日常生活 / Symmetry and Everyday Life
-
-- **时间对称**：如果每天的安排有对称性（如早起-工作-休息的循环），生活会更高效
-- **信息对称**：博弈中信息对称是公平的前提，信息不对称是策略的来源
-- **结构对称**：组织结构中的对称性（如对称的汇报关系）通常意味着稳定
-
----
-
-**总结 / Summary**：对称性与不变量是数学与物理的核心主线。从 Galois 的有限群到 Lie 的连续群，从 Klein 的几何纲领到 Noether 的守恒定律，从表示论的抽象结构到粒子物理的规范对称——群论提供了统一的语法，不变量提供了语义。这条主线贯穿纯数学与应用科学，是人类理解世界秩序的最强有力的工具之一。

package/skills/topological-thinking/SKILL.md

@@ -1,126 +0,0 @@
----
-name: topological-thinking
-description: |
-  触发：拓扑数据分析（TDA）、持续同调、同调/基本群计算、单纯复形与滤流构造；或为算法设计需要连通性/鲁棒性/上同调一致性判据（如 Čech 上同调作幻觉正则、sheaf 注意力）时调用。
-  English: Trigger for topological data analysis (TDA), persistent homology, homology/fundamental group computation, simplicial complexes & filtrations; or designing connectivity/robustness/cohomology-consistency criteria (e.g. Čech cohomology as hallucination regularizer, sheaf attention) for algorithms.
----
-
-# 🌀 拓扑思想 / Topological Thinking
-
-> "可以拉伸弯曲但不能撕裂——真正重要的性质在连续变形中不变。"
-> "You can stretch and bend but never tear — truly important properties survive continuous deformation."
->
-> —— 拓扑学、同调理论、拓扑数据分析 / Topology, Homology, Topological Data Analysis
-
-## 核心原则 / Core Principle
-
-拓扑学研究连续变形下保持不变的性质。甜甜圈与咖啡杯拓扑等价——都有一个洞。核心洞察：当精确距离不重要时，拓扑捕获本质结构——连通性、洞、维数。在本技能包语境里，拓扑思想直接支撑「胞腔层扩散注意力」与「Čech 上同调正则」（见 activator 范例）。
-
-> **数学形式化 / Mathematical Formalization**
->
-> **同胚**：连续双射且逆连续 h: X→Y，拓扑等价标准。**同伦**：变形过程本身连续，比同胚更粗。**微分同胚**：光滑双射且逆光滑，微分拓扑标准。
->
-> **欧拉示性数** χ=V−E+F：凸多面体 χ=2，环面 χ=0，配合可定向性是曲面完全拓扑不变量。
->
-> **基本群** π₁(X)：基点环路模同伦变形；π₁(S¹)=Z（绕圈数），π₁(S²)=0（所有环路可收缩），π₁(环面)=Z×Z。
->
-> **同调群** H_n(X)：n 维"洞"计数：H₀=连通分量，H₁=1 维洞（环路），H₂=2 维空洞。**Betti 数** β_n=rank H_n：β₀=连通分量数，β₁=1 维洞数，β₂=2 维空洞数。
->
-> **单纯复形**：由单纯形（点/线段/三角形）组合的拓扑空间模型。**滤流**：从小到大改邻域半径，每半径下构建单纯复形。**持续同调**：沿滤流算同调群，长条=真实拓扑特征，短条=噪声。
->
-> **上同调** Hⁿ(X)：同调的对偶（函子化、有环结构），Čech 上同调用于从局部数据检测全局一致性障碍——H¹≠0 即局部片段无法拼成全局相容对象（这正是"幻觉"的代数判据）。
->
-> 详细见 `original-texts.md`。
-
-## GPU 友好性 / GPU-Friendliness（横切检查）
-
-拓扑结构能否上 GPU，取决于「局部性」与「张量化」——过 `../../references/gpu-friendly-math.md` 八维：
-
-- **局部拓扑量 → 友好**：每条边/每块的局部同调或限制映射是小运算，可批量并行、落小 GEMM。
-- **Čech 上同调正则**：作为局部一致性损失，廉价、可融合（友好）——这是 Tropical Sheaf Attention 的关键。
-- **持续同调（TDA）**：构造单纯复形与边界矩阵约简常含不规则稀疏/串行归约——典型"美但不可算"→ 改造为近似/采样/分布式。
-- **全局精确同调计算**：符号计算，不可训练，不友好。
-- **反模式**：把需要全局拓扑精确判定的结构塞进前向——不可算。
-
-八维最低判定（正式术语）：**张量化**看拓扑量是否可局部批量；**GEMM 可映射**看限制映射、边界算子、局部拉普拉斯是否落矩阵乘；**复杂度**看持续同调/边界矩阵约简是否超线性；**显存与 KV-Cache**看单纯复形、边界矩阵、覆盖交叠是否可压缩；**低精度稳定**看小奇异值、排序、阈值是否稳健；**并行与通信**看覆盖块/局部复形是否独立；**稀疏结构**看复形/图是否结构化稀疏；**算子融合**看局部一致性 loss 是否可融合。
-
-> 配合 `../../references/books/algebraic-geometry-rising-sea.md`（层/Čech 上同调→注意力与幻觉正则）、`smooth-manifolds.md`、`differential-geometry.md`。
-
-## 不适用场景 / When NOT to Use
-
-- **需要精确测量**——拓扑只关心定性结构（连通、有洞），不给距离/角度。
-- **度量性质是核心**——拓扑等价空间可有完全不同度量行为。
-- **纯离散结构无连续性**——拓扑以连续性为基础。
-- **需要精确数值决策**（取决于"多少"而非"是否连通"）——拓扑视角过粗。
-
-## 何时使用 / When to Use
-
-- 需要定性分类（不在乎"多大""多远"，只在乎"是否连通""有多少洞"）；形状比大小重要。
-- 需要鲁棒性分析（不变量保证性质在连续扰动下不消失）。
-- 数据有标准统计无法捕获的形状（聚类、空洞、环状结构）。
-- 需要变形下存活的不变量（拓扑绝缘体、拓扑纠错）。
-- **为注意力/表示设计全局一致性判据**（Čech 上同调作幻觉正则、sheaf 扩散）。
-
-## 方法流程 / Method
-
-### 第一步：识别连续性要求
-明确等价标准：同胚/同伦/微分同胚。确定什么可变（距离、角度、大小）什么必须固定（洞数、连通性、维数）。核心区分：可变（表面/度量）vs 不变（结构/拓扑）。
-
-### 第二步：寻找拓扑不变量
-- **欧拉示性数** χ=V−E+F（配合可定向性是曲面完全不变量）。
-- **连通性**（path-connectedness）：连通分量数=rank H₀；**紧致性**（Heine-Borel：Rⁿ 中紧致⇔有界+闭）。
-- **基本群** π₁(X)；**同调群** H_n（H₀=分量, H₁=1 维洞, H₂=2 维空洞）；**Betti 数** β_n=rank H_n。
-- **上同调** Hⁿ（同调的对偶，函子化，Čech 上同调检测全局一致性障碍）。
-
-### 第三步：用不变量分类
-同 χ→同类型曲面；同 π₁→同同伦类型；紧致曲面由可定向性+χ 完全分类。分类靠不变量，不看表面看结构。
-
-### 第四步：构造拓扑模型
-- **数据**：对点云构建滤流，计算每半径下单纯复形及同调，提取持续同调（条形码/持续图，长条=真实特征，短条=噪声）。
-- **网络**：连通分量（可达性）、环路（冗余路径）、聚类系数；网络拓扑决定信息传播与鲁棒性。
-- **系统**：相空间吸引子拓扑——不动点（点）、极限环（S¹）、混沌吸引子（分形）。
-- **算法**：用层/Čech 上同调把"局部片段能否拼成全局相容对象"变成可计算的代数障碍。
-
-### 第五步：验证拓扑等价
-尝试构造显式同胚/同伦等价；检查不变量匹配。不变量不同→拓扑不同（可靠否定）；全部匹配→可能等价（不变量可能不完备，不能确定）。
-
-### 第六步：拓扑推理与应用
-- "π₁(X)≠0 → 存在不可收缩环路 → 系统有不可达状态"
-- "X 连通 → 存在路径 → 转移总可能"
-- "β₁=3 → 数据有 3 个显著环状结构"
-- "H¹≠0 → 局部片段无法全局相容 → 幻觉/不一致信号"
-
-## 常见错误 / Common Errors
-
-| 错误 / Error | 数学批评 / Critique | 正确做法 / Correct Approach |
-|-------------|-------------------|---------------------------|
-| 混淆拓扑等价与几何相似 | 拓扑等价只要求同胚，不要求度量相近 | 区分"拓扑相同"与"几何相似" |
-| 忽略维数差异 | R¹ 与 R² 不同胚（维数不变性，Brouwer） | 维数 invariance 是强制检查项 |
-| 混淆连通与道路连通 | 连通≠道路连通（拓扑学家正弦曲线）；道路连通⇒连通，反之不成立 | 明确标注用哪种连通性 |
-| 过度依赖单一不变量 | 仅 χ 无法区分所有空间（χ=0 的空间多种） | 用不变量组合；不完备时标注不确定性 |
-| 忽略局部与全局拓扑差异 | 局部连通不保证全局连通；局部同胚≠全局同胚 | 分别检查局部与全局不变量 |
-| 混淆同调与同伦 | H₁(X) 是 π₁(X) 的 Abel 化；同调是同伦的粗化 | 标注用 π₁（同伦）还是 H₁（同调） |
-| 全局精确同调塞进训练 | 持续同调/符号同调含不规则稀疏与串行归约，不可算 | 用局部上同调损失/近似/采样，过 GPU 八维门 |
-
-## 操作规程 / Operating Procedure
-
-输出必须包含：
-
-1. **连续性要求**：`[同胚/同伦/微分同胚]，可变: [距离/角度/大小]，不变: [洞数/连通性/维数]`
-2. **不变量**：`χ= π₁= β_n=, H₀= H₁= H₂=，紧致性=[是/否]`
-3. **分类**：`[可定向/不可定向], χ= → [曲面类型]；π₁= → [同伦类型]`
-4. **拓扑模型**：`[单纯复形/滤流/网络图/相空间/层-Čech]，构造方法: [描述]`
-5. **等价验证**：`[不变量是否全匹配/有不同]，结论: [等价/不同/不确定]`
-6. **推理**：`因为[拓扑性质] → [结论]`
-7. **[GPU 可行性]**（若用于算法设计）— 拓扑量是否局部、可批量/落 GEMM，过八维门；全局精确同调则改造为近似
-
-**输出不得只给分析而无结论。**
-
-## 与其他 skill 的关系 / Relations to Other Skills
-
-- **对称与不变性**：拓扑不变量是连续变换下的不变量——共享"寻找不变量"逻辑，但拓扑关注连续变形而非群作用。
-- **抽象化思想**：拓扑是空间结构的抽象——去掉度量只留开集与连续性。
-- **变换思想**：连续变形是特殊变换；同胚/同伦都是变换。
-- **建模思想**：TDA 是数据建模——用持续同调为点云建拓扑模型，发现统计遗漏的形状。
-- **概率与统计**：TDA 补充统计的形状分析——统计关注均值方差（量），TDA 关注连通空洞（质），互补。
-- **现代数学激活**：`../../references/books/algebraic-geometry-rising-sea.md`（层/Čech 上同调→sheaf 注意力与幻觉正则）、`smooth-manifolds.md`、`differential-geometry.md`。