志村簇的范畴性

我们为志村簇提出了一种模型论结构，并给出了获得范畴性的充分必要条件。我们证明这些条件与数论中源于志村簇点上附加的伽罗瓦表示的重要猜想直接相关。最后，我们证明现有文献已足以证明 $\mathcal{A}_{2}$ 和 $\mathcal{A}_{3}$ 的范畴性。