论实二次域的约化 Arakelov 除子

我们推广了约化 Arakelov 除子的概念，并为给定的数 $C \geq 1$ 定义了 $C$-约化除子。这些 $C$-约化除子具有与约化除子相似的显著性质。在本文中，我们描述了一种算法，用于在关于 $\log|\Delta_F|$ 的多项式时间内测试实二次域 $F$ 的 Arakelov 除子是否为 $C$-约化，其中 $\Delta_F$ 是 $F$ 的判别式。此外，我们给出了一个三次域的例子，说明我们的算法在该情况下不适用。