四次域计数函数的次级项

我们证明，满足任意有限组局部条件的四次域集合的平滑计数函数可以写成 $X,X^{5/6}\log X,X^{5/6}$ 的线性组合，其误差项为 $O(X^{13/16+o(1)})$。对于某些局部条件集合，即那些截取四次域的“$S_4$-族”的局部条件，我们显式确定了次级项的主常数。此外，我们将这些常数用与四次域族相关的次级质量公式表达出来。