通过单纯形细分实现等维化

我们使用不同的几何构造给出了Suslin等维化移动引理的另一种证明。这一新构造对描述该几何过程的多项式的次数提供了更好的控制。新的次数界可用于改进Hiroyasu Miyazaki与本文作者先前关于带模代数循环的结果：所讨论的同构现在对任意固定除子均成立，而无需在加厚上取极限。