Hodge 模空间中 Simpson 分层的闭包关系如何表现？

Simpson 嵌套性条件究竟要求什么

Simpson 在 Hodge 族上的缩放作用把一个对象送到极限的 Hodge 丛系统，缩放不动点的连通分支把 Dolbeault 与 de Rham 模空间分成若干分层。Simpson 猜想每个分层的闭包都是若干完整分层的并，并且两种闭包序一致。第一条断言就是嵌套性条件：若两个分层相交，则其中一个的闭包包含另一个。

论文区分了两个容易被混为一谈的问题。知道特化时可能出现哪些极限类型，并不能确定某个被允许分层中哪些点落在闭包里。因此作者把数值序当作闭包关系的必要条件，而不是对闭包本身的描述。

Heinloth 权在跨分支时严格增大

对次数为零、箭头把指标降低一的 Hodge 丛系统 E = ⊕ Ep，按论文的归一化，Heinloth 权为 δ(E) = Σ p·deg(Ep)。论文证明该权在每个连通分支 Pα 上为常数，取值 δα；并证明对任意秩 n≥1，分层 S⋆α 的闭包含于 S⋆α 与所有权满足 δβ > δα 的分层 S⋆β 的并之中，其中 ⋆ 取 {Hod, Dol, dR}。

这给出固定分支标签上的一个偏序：当 β = α 或 δβ > δα 时记 β ⪯δ α。该闭包界细化了由上半连续性得到的数值界，排除了同权不同分支之间的特化。作者强调，仅凭数值可比性既不能确定会碰到哪些被允许的分层，也不能确定某个交是否包含整个目标分层。

为何该权是 Griffiths 滤过的最大值

证明把 Heinloth 权刻画为 Griffiths 横截滤过的加权次数的最大值，且等号恰好对 Simpson 滤过成立。一般的 Simpson 滤过可通过适当的旗 Quot 概形延拓，对其特殊步骤取饱和即可比较两个权。若两个权相等，则饱和长度以及后续失稳修改的贡献都为零，于是分次对象仍落在同一连通固定分支中。

这些修改发生在一个辅助的 Rees 族中，其精神接近 Langer 用 Langton 半稳定约化对 Simpson 程序的解释，而原来的族保持不动。最大值性质针对的是加权次数而非滤过多边形；作者指出，它并不能把 Simpson 分解等同于通常的 Shatz 分层，因为二者在秩三时已经不同。

稳定全链细化了数值条件

对稳定全链，其分次片是线丛 L1,…,Ln，箭头 Li → Li+1 ⊗ KX 非零。论文定义前缀次数 sk = deg(L1 ⊕ … ⊕ Lk)，其中 1 ≤ k < n。这些正是相应完整旗的非零真步骤的次数，向量 s = (s1,…,sn−1) 标记对应的连通固定分支。次数为零的全链稳定，等价于每个真前缀次数为正。

稳定全链分支由满足 Cs ≤ 2h1 的标签 s ∈ Zn−1>0 参数化，其中 C 是 An−1 型 Cartan 矩阵，h = g−1，对应分支同构于 Pics1(X) × ∏ Symdi(s)(X)。标签满足 1 ≤ sk ≤ hk(n−k)。对这些标签，论文证明 S⋆s ⊆ ⋃t≥s S⋆t，其中 t ≥ s 表示逐坐标比较，并且 dim S⋆s − dim S⋆t = (t1 − s1) + (tn−1 − sn−1)。

维数差为零催生反例

对全链而言，真前缀次数为正使得特化旗的饱和本身已是 Simpson 滤过，因此实际特化满足 t − s = ℓ ≥ 0，其中 ℓ 是饱和长度向量。维数公式随即表明，只有两个端点项 t1 − s1 与 tn−1 − sn−1 影响维数。

若 t ≠ s 但 t1 = s1 且 tn−1 = sn−1，则权增大而维数不变。两个不同的同维不可约分层不可能在闭包中互相包含，因此任何这样的特化都违反 Simpson 嵌套性猜想中的闭包条件。这正是作者利用的机制。

任意秩 n≥4 都存在反例

论文对每个 g ≥ 2 与 n ≥ 4 构造了完整不动点的不同连通分支 Ps 与 Pt，二者都完全由稳定全链组成，使得交 S⋆s ∩ S⋆t 非空且是 S⋆t 的真子集，其中 ⋆ 取 {Hod, Dol, dR}。因此 Simpson 嵌套性猜想在任意秩 n ≥ 4 时对 Dolbeault 与 de Rham 模空间都不成立，同一闭包条件在 Hodge 模空间中也失效。

在秩四时，作者选取箭头除子次数向量 (0,2,0) 与 (1,0,1)，其标签只在第二个坐标处不同。Dolbeault 相交来自一条缩放等变的射影直线，Hodge 相交则由同一条 Dolbeault 曲线得到。对平坦丛，当入射与出射箭头除子有一个简单公共点时，把横截旗的一个非饱和步骤光滑化，就得到具有指定一般与特殊 Simpson 型的实际族。在这些例子中 Heinloth 权满足 δt = δs + 1，与严格的数值闭包条件一致。

数值序记录方向而非包含关系

这些反例表明，Heinloth 权的严格增大记录了特化的方向，却不迫使整个目标分层落入源闭包。该数值条件是必要的而非充分的：它约束了可能被碰到的分层，但不决定某个被允许分层中哪些点属于闭包。

作者还借助该权的最大值性质，从 Θ 分层的角度讨论 Simpson 滤过。在 δ = 0 的轨迹上，即底向量丛半稳定的轨迹上，HN 射线是唯一使 Q 最小的有理射线，与 ε 和基点 x0 无关。数值序是 (δ, −m) 的字典序，把中心的粗固定分支分开则细化了 Simpson 分解。在严格半稳定的中心处，即使粗点固定，扩张数据也能改变最优滤过：当 g ≥ 3 时，存在一族秩三半稳定 Higgs 丛，其中心成员 E0 可裂，全部代表同一个权为一的粗固定点，且 m(E0) = 1/2，而对 u ≠ 0 有 m(Eu) = 2/3。

结论适用到哪里，又止于哪里

闭包定理对亏格 g ≥ 2 的光滑复射影曲线上整个 Hodge 族在任意秩 n ≥ 1 都成立，而反例要求 n ≥ 4。细化的前缀次数比较是针对稳定全链陈述的，此时所有分次片都是线丛；对更高秩的分次片，块前缀次数为正并不能控制分次片内部的不变子丛，因此同样的稳定性论证不再充分。

作者指出，与 Θ 分层的关系以及分层交的形变理论将在后续更新中得到更完整的处理，所以本文对 Θ 分层的讨论是作为非正式讨论呈现的，而非最终定论。对读者而言最关键的一点是数值序与实际闭包之间的分离：Heinloth 权的严格增大是特化的可靠必要条件，但嵌套性条件在任意秩 n ≥ 4 时都失效，因此任何把数值可比性等同于完整分层包含关系的论证，都得不到本文证据的支持。

本文引用的文献