弱 del Pezzo 曲面由 $2$-倾斜丛的存在性刻画

倾斜丛为代数几何与表示论之间提供了基本桥梁。对于光滑真 $d$ 维簇上的倾斜丛，其自同态代数的整体维数至少为 $d$，而最有意义的情形是达到此下界。这样的倾斜丛称为 $d$-倾斜丛，它适用于导出McKay对应和高阶Auslander-Reiten理论的框架。本文的第一个主要结果表明，此类丛的存在迫使该簇为弱Fano：更精确地说，如果一个光滑真 $d$ 维簇允许一个 $d$-倾斜丛，那么它的反典范丛是半丰沛且大的。因此，$d$-倾斜丛的自同态代数是 $d$-表示驯顺的，从而该几何自然产生了扩展Dynkin箭图的高维类比。其次，我们在二维情形证明了逆命题：代数闭域上的每个弱 del Pezzo 曲面都允许一个 $2$-倾斜丛。综合这些结果，我们肯定地回答了Daniel Chan针对簇情形提出的猜想：光滑射影曲面允许一个 $2$-倾斜丛当且仅当它是弱 del Pezzo 曲面。作为一个应用，我们构造了Du Val del Pezzo 曲面的反典范锥的非交换互反解消（NCCR）。该NCCR是通过相应弱 del Pezzo 曲面上 $2$-倾斜丛的自同态代数的 $3$-Calabi-Yau 完备化得到的。这将对光滑 del Pezzo 曲面的已知构造推广到了Du Val情形，并通过高阶Auslander-Reiten理论将Du Val del Pezzo 锥置于导出McKay对应的框架内。