驯良代数栈真映射的算术赋值判别准则

概型的真映射的赋值判别准则在算术中有许多应用，例如将 $\mathbb{Q}_{p}$-点特化为 $\mathbb{F}_{p}$-点。对于代数栈，通常的真映射赋值判别准则不适合此类论证，因为它只给出定义在剩余域扩张上的特化点，例如一个 $\mathbb{Q}_{p}$-点会特化为某个 $n$ 的 $\mathbb{F}_{p^{n}}$-点。我们给出驯良栈真映射的一个新的赋值判别准则，解决了这一问题，并且非常适合算术应用。作为推论，我们证明了 Lang-Nishimura 定理对驯良栈成立。