Coding Theory 14: Ruled Surfaces Geometry

Coding theory / 14

Ruled surfaces geometry

Ruled surfaces are the higher-dimensional varieties where explicit code parameters become computable.

Let \(C\) be a smooth projective curve and \(E\) a rank-two vector bundle on \(C\). The projective bundle

\[X=\mathbb P(E)\]

is a ruled surface over \(C\), with projection \(\pi:X\to C\) and fibers isomorphic to \(\mathbb P^1\). A section corresponds to a quotient of \(E\) by a line bundle. After normalizing \(E\), one obtains an invariant \(e=-\deg(\det E)\) in the usual ruled-surface notation.

Example 1: product ruled surface

If \(E=\mathcal O_C\oplus\mathcal O_C\), then \(\mathbb P(E)\simeq C\times\mathbb P^1\). Fibers are copies of \(\mathbb P^1\) over points of \(C\), and sections look like copies of \(C\).

Example 2: Hirzebruch surfaces

For \(C=\mathbb P^1\) and \(E=\mathcal O\oplus\mathcal O(-e)\) with \(e\ge0\), the ruled surface is a Hirzebruch surface. Its divisor theory is generated by a section and a fiber, with intersection numbers encoding the twist.

Divisor classes and intersections

A standard basis of divisor classes consists of a section class \(C_0\) and a fiber class \(f\). The intersection products have the form

\[f^2=0,\qquad C_0\cdot f=1,\qquad C_0^2=-e.\]

A divisor is written numerically as \(aC_0+bf\). Intersections with \(f\) and \(C_0\) control positivity, ampleness, and code distance estimates.

Example 3: intersection with a fiber

If \(D=aC_0+bf\), then \(D\cdot f=a\). A section of \(\mathcal L(D)\) restricted to a fiber has degree \(a\). This is why ruled-surface distance estimates often contain the term \(q+1-a\).

Example 4: positivity depends on both directions

A divisor may be positive along fibers but fail positivity along the distinguished section. Ample and nef criteria on ruled surfaces check both numerical directions, not only the fiber degree.

Ample and nef criteria

Ruled-surface positivity ensures that the zero divisors and evaluation curves behave well enough for Hansen bounds. In the standard normalized decomposable case with \(e\ge0\), a divisor \(D\equiv aC_0+bf\) is nef exactly when \(a\ge0\) and \(b\ge ae\), and ample exactly when \(a>0\) and \(b>ae\). The more general criterion uses the positivity threshold \(\kappa\) from Chapter 6.2, and these inequalities become the parameter conditions in the ruled-surface theorems.