Explain monotonicity of the invariant obstruction dimension along chains
Explain why the dimension of the O(D(L),q)-invariant subspace S⁵ᐟ²(ρ_L) is non-decreasing along every chain in the census and why it passes through the strata S^O = 0, S^O = 1, and S^O ≥ 2 in that order.
References
Why dim SO should behave this way we do not know.
— Petersson-Rigid Lattices in a Census of 100 Rank-Three Root Bases
(2609.02843 - Cho, 2 Sep 2026) in Section 3.2, “Chains”