有界次数自己写像のための正則化定理

Kを任意の特性の代数閉体とし、XをK上の不可約投影多様体とする。G(X)を有界次数の部分群とする。変換後にGのすべての要素がYの自動同型になるような、Xに双有理な不可約投影多様体Yが存在することを証明する。K=Cの場合、この結果はCan14の定理2.5に記載されており、その証明はHZ96のセクション5にさかのぼる。HZ96の証明は純粋に代数的ではない。HZ96の手法を引き継ぎ、任意の特性においてこの命題の純粋な代数的証明を行う。また、この結果の算術的動的において有用なコロラリーについても議論する。