对称三变量面上具有一条直线的单值性问题中的单调性

我们探讨了由对称多项式定义的三变量面上直线的枚举问题。我们证明，对称三变量面构成的模空间是复双曲线上的算术商，确定了由 Hodge 理论和相关覆盖几何产生的对称三变量面上直线单调性群的约束。这一点有趣地未能完全确定 Galois 群。利用等价线几何中的计算和同伦连续方法，我们证明该 Galois 群为 Klein 4 群。这意味着尽管一般三变量面不存在其直线的根式公式，但具有 $S_4$ 对称性的三变量面是有根式公式的；我们显式地给出了这些公式。这标志着一个全新的计算方向的开始：受有限对称群限制的经典枚举问题中的单调性研究。