Ekedahl--Oort 分层中的奇点可判定性

对于良好减小的奇素数 $p$ 意义下，椭圆类型 Shimura variety 的 Ekedahl--Oort 层的 Zariski 闭包在仰维一处的规则性以根数据上 Frobenius 作用的形式进行特征化。我们给出一种用于检测任意 Ekedahl--Oort 层仰维一处奇点的算法。当 Shimura datum 为 split type 时，我们将 Ekedahl--Oort 层的奇点与复数上 $G$-zip 栈关联。我们研究该栈上广义 Hasse 变量的存在性。