一类三次曲面的分类

Classification of a Class of Cubic Surfaces

摘要: 本文考虑实参数$\lambda$ 的三次曲面族：$S_{\lambda }\subset P^4:\{\begin{array}{l}\lambda x^3+y^3+z^3+w^3+t^3=0\hfill \\ x+y+z+w+t=0\hfill \end{array}$ 。将超平面$x+y+z+w+t=0$ 视为$P^3$ 利用Jacobian秩判据证明其复化仅$\lambda =\frac{1}{16}$ ，$\lambda =\frac{1}{4}$ 时奇异。对于非奇异参数，利用方程关于$y,z,w,t$ 的置换对称性，显式构造光滑情形下的27条直线，其中三条固定，其余24条直线分为$q=0$ 和$q\ne 0$ 两个代数分支。对$q\ne 0$ 分支，将控制直线的回文四次方程经$u=q^2$ 化为二次方程，对$q=0$ 分支，通过二次方程的判别式判断直线的实性，并进一步利用复共轭直线对的相交关系区分仅含3条实直线的两种Schläfli类型。最终得到：当$\lambda >\frac{1}{4}$ 时，$S_{\lambda }\in F_1$ ，当$\frac{1}{16}<\lambda <\frac{1}{4}$ 时，$S_{\lambda }\in F_5$ ，当$\lambda <\frac{1}{16}$ 时，$S_{\lambda }\in F_4$ 。该方法避免了求解一般三次曲面直线提取中出现的27次消元多项式，给出了该对称曲面族Schläfli类型转变的直接代数证明，并明确描述了相应的直线配置。

Abstract: We study the one-parameter family of real cubic surfaces: $S_{\lambda }\subset P^4:\{\begin{array}{l}\lambda x^3+y^3+z^3+w^3+t^3=0\hfill \\ x+y+z+w+t=0\hfill \end{array}$ . Viewing the hyperplane $x+y+z+w+t=0$ as $P^3$ , we use the Jacobian rank criterion to show that the complexification of $S_{\lambda }$ is singular if and only if $\lambda =\frac{1}{16}$ or $\lambda =\frac{1}{4}$ . For every nonsingular parameter, the permutation symmetry in $y,z,w,t$ allows us to construct all 27 lines explicitly. Three of them are fixed real lines, while the remaining 24 lines split into two algebraic branches. For the $q\ne 0$ branch, a reciprocal quartic equation is reduced to a quadratic equation by setting $u=q^2$ ; the $q=0$ branch is governed by a second quadratic equation. Combining the reality of their roots with the incidence relations of complex-conjugate line pairs, we obtain: $\lambda >\frac{1}{4}$ , $S_{\lambda }\in F_1$ ; $\frac{1}{16}<\lambda <\frac{1}{4}$ , $S_{\lambda }\in F_5$ and $\lambda <\frac{1}{16}$ , $S_{\lambda }\in F_4$ . Thus, the Schläfli-type transitions of this symmetric family are obtained by a direct algebraic argument without solving the degree-27 elimination polynomial required in general methods. The corresponding configurations of the 27 lines are also described explicitly.