箭图模空间上行列式线丛的射影性与有效全局生成

我们给出半稳定箭图表示的模空间之存在性与性质的模论处理，避免借助几何不变论的方法。利用 Alper--Halpern-Leistner--Heinloth 的存在性判据，我们证明对许多稳定性函数，半稳定表示栈容许一个充分模空间，并证明该模空间在半单表示模空间上是恰当的。我们构造一个自然的行列式线丛，它下降到模空间上的一个半丰沛线丛，并给出全局生成的新的有效界。对于无环箭图，我们证明该线丛是丰沛的，从而给出模空间为射影的现代证明。