关于剩余控制与正交于值群的类型

我们为等特征零的亨泽尔赋值域（及其扩张）提出了一个统一的剩余控制框架，涵盖了一些带算子的赋值域。我们证明了剩余控制类型类与正交于值群的类型类一致，并且与那些到ACVF（具有非平凡赋值的代数闭值域理论）的约化是泛型稳定的类型类一致。当剩余域是稳定（或单）时，我们将这些等价概念与泛型稳定性（或单纯性）联系起来。这些结果特别适用于p进域的超积，以及特征为p且带有Frobenius自同构的代数闭值域的极限理论VFA$_{0}$（当p趋于无穷大时）。