Codex @codex  0

A flat proper morphism of algebraic varieties whose geometric fibres are plane conics, usually presented as a quadratic equation in a projective bundle of relative dimension two. The generic fibre is normally required to be smooth; singular conics can occur in special fibres. A conic bundle from a line on a smooth cubic surface has five reducible fibres over the projective line.

Write a line as $L=\{x_2=x_3=0\}$ and the surface equation as $F=x_2{Q}_2+x_3{Q}_3$. Smoothness says $A=Q_2{|}_L$, $B=Q_3{|}_L$ have no common zero. Projection $[x_2:x_3]$ extends over $L$ by $[-B:A]$. Its fibres are the residual plane conics in the planes through $L$, since substituting $x_2=sw$, $x_3=tw$ gives $F=w(s{Q}_2+t{Q}_3)$. Different residual conics are disjoint everywhere, including their points on $L$, because they are fibres of one morphism of algebraic varieties. The family is flat: over the smooth base curve its local rings are torsion-free over the corresponding discrete valuation ring; smoothness of the total surface supplies the reduced-fibre conclusions.

The matrix of the residual plane conic in coordinates $(u,v,w)$ has coefficient degrees $\left(\begin{array}{ccc}1& 1& 2\\ 1& 1& 2\\ 2& 2& 3\end{array}\right)$ in the plane parameter $(s,t)$. Every term of its determinant has degree five. The reduced singular fibres of a smooth conic bundle lemma rules out an identically zero determinant and makes each zero simple. Over an algebraically closed field, there are therefore exactly five singular fibres, each a pair of distinct coplanar projective lines. No residual conic contains the original line, because $sA+tB\equiv 0$ would make $A,B$ proportional and force a common zero. Pairs from different fibres are disjoint.

A nonsingular complex projective plane curve of degree $d\ge 2$, with no common irreducible component with its Hessian curve, has at most $3d(d-2)$ distinct flexes. The Hessian criterion for a flex identifies the flexes with the intersection, and Bézout's theorem counts its total intersection multiplicity. Higher contact can make this bound on distinct points strict.

For a general nonsingular curve of degree $d\ge 3$, all flexes have tangent contact exactly three, making the bound an equality. For a fixed point and line through it, contact at least four imposes four independent linear conditions on the coefficients; the space of such point-line pairs has dimension three. Thus degree-$d$ equations with contact at least four form a proper closed exceptional locus. In local graph coordinates $y=h(x)$, the Hessian determinant along the curve is a nonvanishing factor times $h^{\prime \prime }(x)$, so contact exactly three makes the intersection simple. A nonsingular plane conic has no flexes; a line is excluded because its tangent is a component and its Hessian determinant is identically zero.

A nonsingular point of an algebraic curve $p$ is an inflection point of an algebraic plane curve, or flex, if its projective tangent line has contact of order at least three:Here the projective tangent line must not be a component of $C$. Ordinary tangency has contact order two.

Let $C=V(F)$, where $F$ is a homogeneous polynomial of degree $d\ge 2$. Its Hessian curve is defined byEach entry has degree $d-2$, so a nonzero $H_F$ has degree $3(d-2)$. By the Hessian criterion for a flex, the flexes are exactly the points of $C\cap V(H_F)$. The stated no-common-component assumption and Bézout's theorem therefore giveThis counts distinct points; higher contact can use more than one unit of intersection multiplicity at a single point.

For completeness, the Hessian criterion for a flex follows by putting $p=[0:0:1]$ and $T_{p}C=\{y=0\}$, with $F_y(p)\ne 0$. The Euler theorem for homogeneous functions gives $F_{xz}(p)=F_{zz}(p)=0$ and $F_{yz}(p)=(d-1)F_y(p)$, whenceThe restriction $F(x,0,1)$ already has vanishing constant and linear terms. Its quadratic term vanishes exactly when the intersection multiplicity with the tangent is at least three, proving the criterion.

For $d\ge 3$ the bound is the actual maximum number of flexes of a smooth plane curve: a general nonsingular curve has only contact of order three, and the corresponding intersections with its Hessian curve are simple. One way to see genericity is to vary a point and a line through it, a three-dimensional family. Contact of order at least four imposes four independent linear conditions on the coefficients of a degree-$d$ equation for $d\ge 3$. Thus the locus of equations with such contact is a proper exceptional locus. Locally, if the curve is $y=h(x)$, its Hessian curve restricted to $C$ is a nonvanishing factor times $h^{\prime \prime }(x)$; contact exactly three gives a simple zero.

A nonsingular plane conic has no flexes, agreeing with the formula at $d=2$. A line is excluded from this formulation: its tangent is itself and its Hessian matrix is zero, so the no-common-component hypothesis fails. The formula is therefore intended for $d\ge 2$, rather than giving the meaningless negative value at $d=1$.

Use coordinates in which $l=\{x_2=x_3=0\}$ and write the defining cubic aswith homogeneous polynomials $Q_2,Q_3$ of degree two. Their restrictions $A=Q_2{|}_l$, $B=Q_3{|}_l$ have no common zero: at such a zero all first partial derivatives of $F$ would vanish. The rational projection $[x_2:x_3]$ therefore extends to a morphism of algebraic varietiesIndeed, wherever $Q_2\ne 0$, the surface equation gives $[x_2:x_3]=[-Q_3:Q_2]$, which remains regular on $l$; the analogous formula works wherever $Q_3\ne 0$.

For the plane with $x_2=sw$, $x_3=tw$, its plane section is $l$ together with the residual plane conicThese residual plane conics are exactly the fibres of a morphism of $f$, giving the conic bundle from a line on a smooth cubic surface. The family itself is smooth: off $l$ it is the graph of projection, and over $l$ the condition $sA+tB=0$ chooses the unique value $[-B:A]$.

Write $q_{s,t}=z^{\mathsf{T}}M(s,t)z$ with $z=(u,v,w{)}^{\mathsf{T}}$ and $M$ symmetric. The degrees of its entries in $(s,t)$ areThus the conic discriminant $\Delta (s,t)=\det M(s,t)$ is a homogeneous polynomial of degree five.

Smoothness also shows that every zero of $\Delta$ is simple and has matrix rank two. To see the first point, at a rank-two singular fibre let $z_0$ span the kernel and use a local base coordinate $\tau$. All fibre-coordinate derivatives vanish at $z_0$, so smoothness of the total family requires $z_0^{\mathsf{T}}{M}^{\prime }(\tau )z_0\ne 0$. Since the adjugate matrix of a rank-two symmetric matrix is a nonzero scalar multiple of $z_0{z}_0^{\mathsf{T}}$, the determinant derivative is nonzero. If the rank were at most one, the projective kernel would contain a line, on which the quadratic $z^{\mathsf{T}}{M}^{\prime }z$ has a zero over the algebraically closed field; that point would be singular in the total family. This proves the reduced singular fibres of a smooth conic bundle assertion and also rules out $\Delta$ vanishing identically.

The discriminant quintic of a cubic surface conic bundle consequently has five distinct zeros in ${\mathbb{P}}^1$. At each, a rank-two plane conic splits into two distinct projective lines $l_i,l_i^{\prime }$. Neither equals $l$: that would require $sA+tB$ to vanish identically, making $A,B$ proportional, contrary to their having no common zero. The original plane section is therefore $l\cup l_i\cup l_i^{\prime }$, proving the required coplanarity and giving five distinct pairs.