For curves in $\mathbb{P}^3$, we have $r - 1 = 2$, so $d - 1 = 2m + \varepsilon$ with $\varepsilon \in \{0, 1\}$.

Even degree $d = 2m + 1$ (so $\varepsilon = 0$): $\pi(d, 3) = m(m-1)$.

Odd degree $d = 2m + 2$ (so $\varepsilon = 1$): $\pi(d, 3) = m(m-1) + m = m^2$.

Explicitly:

• $d = 3$: $m = 1$, $\varepsilon = 0$, $\pi = 0$. A degree-3 space curve has genus 0.
• $d = 4$: $m = 1$, $\varepsilon = 1$, $\pi = 1$. Maximum genus is 1.
• $d = 5$: $m = 2$, $\varepsilon = 0$, $\pi = 2$. Maximum genus is 2.
• $d = 6$: $m = 2$, $\varepsilon = 1$, $\pi = 4$. Maximum genus is 4.
• $d = 7$: $m = 3$, $\varepsilon = 0$, $\pi = 6$. Maximum genus is 6.
• $d = 8$: $m = 3$, $\varepsilon = 1$, $\pi = 9$. Maximum genus is 9.
• $d = 9$: $m = 4$, $\varepsilon = 0$, $\pi = 12$. Maximum genus is 12.
• $d = 10$: $m = 4$, $\varepsilon = 1$, $\pi = 16$. Maximum genus is 16.

Compare with the plane curve bound: a smooth plane curve of degree $d$ has genus $(d-1)(d-2)/2$, which for $d = 6$ gives $g = 10$. A space curve of degree 6 can only achieve $g \leq 4$, much less. Embedding a curve in higher-dimensional space imposes stronger genus constraints.

For $r = 4$, we divide $d - 1$ by $3$:

• $d = 4$: $m = 1$, $\varepsilon = 0$, $\pi = 0$.
• $d = 5$: $m = 1$, $\varepsilon = 1$, $\pi = 1$.
• $d = 6$: $m = 1$, $\varepsilon = 2$, $\pi = 2$.
• $d = 7$: $m = 2$, $\varepsilon = 0$, $\pi = 3$.
• $d = 8$: $m = 2$, $\varepsilon = 1$, $\pi = 4$.
• $d = 9$: $m = 2$, $\varepsilon = 2$, $\pi = 6$.
• $d = 10$: $m = 3$, $\varepsilon = 0$, $\pi = 9$.

Notice the pattern: as $r$ increases, the bound decreases. A curve of degree 7 in $\mathbb{P}^3$ can have genus up to 6, but in $\mathbb{P}^4$ only up to 3.

• $r = 2$: The conic $\nu_2(\mathbb{P}^1) \subseteq \mathbb{P}^2$, parametrized by $[s^2 : st : t^2]$. This is a smooth conic, isomorphic to $\mathbb{P}^1$.
• $r = 3$: The twisted cubic $\nu_3(\mathbb{P}^1) \subseteq \mathbb{P}^3$, parametrized by $[s^3 : s^2t : st^2 : t^3]$. It is the intersection of three quadrics (but only two are needed set-theoretically).
• $r = 4$: The rational normal quartic $\nu_4(\mathbb{P}^1) \subseteq \mathbb{P}^4$. It lies on $\binom{5}{2} - 4 = 6$ linearly independent quadrics.

In each case, $g = 0$ and Castelnuovo gives $\pi(r, r) = 0$: a non-degenerate curve of degree $r$ in $\mathbb{P}^r$ must be rational. This is sharp: rational normal curves achieve it.

A rational normal scroll $S \subseteq \mathbb{P}^r$ is a surface of degree $r - 1$ (the minimal degree for a non-degenerate surface in $\mathbb{P}^r$, by the Del Pezzo--Bertini classification). It is a ruled surface $S = S(a, b)$ with $a + b = r - 1$, $a \geq b \geq 0$.

A Castelnuovo curve $C$ of type $(m, m\varepsilon + \varepsilon')$ on such a scroll achieves the bound. For example, in $\mathbb{P}^3$:

• The scroll $S(1,1) = \mathbb{P}^1 \times \mathbb{P}^1 \subseteq \mathbb{P}^3$ is a smooth quadric surface.
• A curve of bidegree $(a, b)$ on $S(1,1)$ has degree $d = a + b$ and genus $g = (a-1)(b-1)$.
• Setting $a = b = m$ gives $d = 2m$, $g = (m-1)^2$. With $d - 1 = 2m - 1 = 2(m-1) + 1$, we get $\pi(2m, 3) = (m-1)(m-2) + (m-1) = (m-1)^2$. The bound is achieved.

Let $Q \cong \mathbb{P}^1 \times \mathbb{P}^1 \subseteq \mathbb{P}^3$ be a smooth quadric surface. A curve of bidegree $(a, b)$ on $Q$ has:

• Degree $d = a + b$
• Genus $g = (a-1)(b-1)$

The Castelnuovo bound for $d$ and $r = 3$ is $\pi(d, 3)$, and the genus of a curve of bidegree $(a, b)$ is maximized (for fixed $d = a + b$) when $a$ and $b$ are as close as possible.

Verifying Castelnuovo for small cases:

• Bidegree $(2, 2)$: $d = 4$, $g = 1$. Castelnuovo gives $\pi(4, 3) = 1$. Achieved!
• Bidegree $(3, 2)$: $d = 5$, $g = 2$. Castelnuovo gives $\pi(5, 3) = 2$. Achieved!
• Bidegree $(3, 3)$: $d = 6$, $g = 4$. Castelnuovo gives $\pi(6, 3) = 4$. Achieved!
• Bidegree $(4, 3)$: $d = 7$, $g = 6$. Castelnuovo gives $\pi(7, 3) = 6$. Achieved!
• Bidegree $(4, 4)$: $d = 8$, $g = 9$. Castelnuovo gives $\pi(8, 3) = 9$. Achieved!

All Castelnuovo curves in $\mathbb{P}^3$ can be realized as curves of balanced bidegree on a smooth quadric.

Not every space curve lies on a quadric. For example, a general canonical curve of genus $4$ has degree $6$ in $\mathbb{P}^3$ (via the canonical embedding) and lies on a unique quadric. But a general curve of degree $6$ and genus $3$ in $\mathbb{P}^3$ does not lie on any quadric -- and since $g = 3 < 4 = \pi(6, 3)$, it does not achieve the Castelnuovo bound.

In fact, the curves achieving the bound in $\mathbb{P}^3$ all lie on a quadric, confirming Theorem 4.9.

A rational curve ($g = 0$) satisfies $0 \leq \pi(d, r)$ for all valid $d, r$, so rational curves exist in any degree $d \geq r$. Explicitly:

• Degree $r$: The rational normal curve $\nu_r(\mathbb{P}^1) \subseteq \mathbb{P}^r$. This is the unique non-degenerate rational curve of minimal degree.
• Degree $r + 1$: Project a rational normal curve from a point not on it: $\nu_{r+1}(\mathbb{P}^1) \subseteq \mathbb{P}^{r+1} \dashrightarrow \mathbb{P}^r$.
• Any degree $d$: The map $[s:t] \mapsto [f_0(s,t) : \cdots : f_r(s,t)]$ for general homogeneous polynomials $f_i$ of degree $d$ gives a non-degenerate rational curve of degree $d$ in $\mathbb{P}^r$.

The Castelnuovo bound is not interesting for $g = 0$; the interesting question becomes the minimal degree needed for non-degeneracy (answer: $d = r$).

An elliptic curve $E$ ($g = 1$) can be embedded non-degenerately in $\mathbb{P}^r$ if and only if there exists a line bundle of degree $d \geq r + 1$ (very ampleness requires $d \geq 3$) with $\ell(D) \geq r + 1$. By Riemann--Roch, $\ell(D) = d$ for $d \geq 1$ on an elliptic curve.

• $\mathbb{P}^2$, $d = 3$: $\ell(3P) = 3$. Embeds as a smooth plane cubic. Castelnuovo gives $\pi(3, 2) = 1$. Achieved!
• $\mathbb{P}^3$, $d = 4$: $\ell(4P) = 4$. Embeds as the complete intersection of two quadrics. Castelnuovo gives $\pi(4, 3) = 1$. Achieved!
• $\mathbb{P}^4$, $d = 5$: $\ell(5P) = 5$. Embeds as a curve of degree 5 in $\mathbb{P}^4$, contained in 5 quadrics. Castelnuovo gives $\pi(5, 4) = 1$. Achieved!
• $\mathbb{P}^{d-1}$, general $d$: $\ell(dP) = d$. For all $d \geq 3$, the embedding of $E$ in $\mathbb{P}^{d-1}$ of degree $d$ achieves $\pi(d, d-1) = 1$. Elliptic normal curves are always Castelnuovo curves.

For non-degenerate curves in $\mathbb{P}^3$:

Degree 3 ($\pi = 0$): The twisted cubic. It is the unique non-degenerate curve of degree 3 in $\mathbb{P}^3$ (up to projective equivalence). Rational, genus 0. Lies on a unique quadric.

Degree 4 ($\pi = 1$): Maximum genus 1. Castelnuovo curves are elliptic quartics, which are complete intersections of two quadrics (type $(2,2)$ on a smooth quadric). Rational quartics ($g = 0$) also exist.

Degree 5 ($\pi = 2$): Maximum genus 2. A genus-2 curve of degree 5 lies on a quadric surface as a curve of bidegree $(3, 2)$. Genus 0 and 1 also occur.

Degree 6 ($\pi = 4$): Maximum genus 4. A Castelnuovo sextic is of bidegree $(3, 3)$ on a smooth quadric. Genus 3 curves of degree 6 also exist -- these are canonical curves (the canonical embedding of a non-hyperelliptic genus-3 curve is a plane quartic, but a genus-4 curve is a $(2,3)$-complete intersection in $\mathbb{P}^3$... wait, the canonical curve of genus 4 has degree 6 in $\mathbb{P}^3$ and lies on a quadric and a cubic). Specifically, a general genus-4 curve embeds canonically in $\mathbb{P}^3$ as a degree-6 curve of type $(2,3)$: the intersection of a quadric and a cubic.

A non-hyperelliptic curve of genus $4$ has $\deg K = 6$ and $\ell(K) = 4$, so the canonical embedding gives $\phi_K : C \hookrightarrow \mathbb{P}^3$ as a degree-6 space curve. The Castelnuovo bound gives $\pi(6, 3) = 4$, and the canonical genus-4 curve achieves this bound.

The canonical ideal is generated by one quadric and one cubic: $C = Q \cap S$ where $Q$ is a quadric surface and $S$ is a cubic surface. On the smooth quadric $Q \cong \mathbb{P}^1 \times \mathbb{P}^1$, the curve $C$ has bidegree $(3, 3)$, confirming genus $(3-1)(3-1) = 4$.

For $r = 4$:

Degree 4 ($\pi = 0$): The rational normal quartic, $g = 0$. It is the unique non-degenerate curve of degree 4 in $\mathbb{P}^4$.

Degree 5 ($\pi = 1$): The elliptic normal quintic achieves the bound. It is contained in $\binom{5}{2} - 5 = 5$ linearly independent quadrics. The ideal is generated by these 5 quadrics (a Pfaffian ideal).

Degree 6 ($\pi = 2$): A genus-2 curve of degree 6 in $\mathbb{P}^4$ achieves the bound. Since every genus-2 curve is hyperelliptic, the map to $\mathbb{P}^4$ comes from a linear series $g^4_6$.

Degree 7 ($\pi = 3$): Maximum genus 3. Castelnuovo curves of degree 7 in $\mathbb{P}^4$ lie on a rational normal scroll $S(2,1) \subseteq \mathbb{P}^4$ (a cubic surface scroll).

Degree 10 ($\pi = 9$): A Castelnuovo curve of degree 10 and genus 9 in $\mathbb{P}^4$. These curves lie on a Del Pezzo surface (or a rational normal scroll) of degree 3.

Curves on no quadric ($k = 3$): A non-degenerate space curve of degree $d$ not lying on any quadric satisfies $g \leq d^2/6 + O(d)$. For $d = 6$: $g \leq 1$ (since $m = 2$, $\varepsilon' = 0$, giving $g \leq 1 \cdot 3 = 3$). Compare with the Castelnuovo bound $\pi(6, 3) = 4$, which is achieved by curves on a quadric.

Curves on no surface of degree $< 4$ ($k = 4$): For degree $d = 8$, $m = 2$, $\varepsilon' = 0$: $g \leq 4$. Compare with $\pi(8, 3) = 9$ for general space curves. Not lying on a low-degree surface severely restricts the genus.

The Halphen bound can be seen as a family of bounds interpolating between Castelnuovo's bound and the trivial bound.

In $\mathbb{P}^3$, Castelnuovo curves are completely classified:

Even degree $d = 2m$: The curve is a complete intersection of the quadric $Q$ with a surface of degree $m$, i.e., bidegree $(m, m)$ on $Q \cong \mathbb{P}^1 \times \mathbb{P}^1$. Genus: $(m-1)^2$.

Odd degree $d = 2m + 1$: The curve is of bidegree $(m+1, m)$ on the quadric $Q$. Genus: $m(m-1)$.

In both cases, the curve lies on a unique quadric surface, and the Castelnuovo bound is sharp.

The twisted cubic $C \subseteq \mathbb{P}^3$ has $d = 3$, $g = 0$. The Castelnuovo bound gives: $d - 1 = 2 = 1 \cdot 2 + 0$, so $m = 1$, $\varepsilon = 0$, and $\pi(3, 3) = 0$. Since $g = 0 = \pi$, the twisted cubic is a Castelnuovo curve.

This makes sense: the twisted cubic is a rational normal curve $\nu_3(\mathbb{P}^1)$, which is the unique non-degenerate degree-3 curve in $\mathbb{P}^3$, and it lies on a quadric (in fact, on the unique quadric $Q$ containing it).

The complete intersection $C = Q_1 \cap Q_2$ of two quadrics in $\mathbb{P}^3$ is a smooth curve of degree $d = 4$ and genus $g = 1$ (by adjunction: $K_C = (K_{\mathbb{P}^3} + Q_1 + Q_2)|_C = (-4 + 2 + 2)H|_C = 0$, so $g = 1$).

Castelnuovo gives $\pi(4, 3) = 1$. This curve achieves the bound, confirming it is an extremal (Castelnuovo) curve. On the quadric $Q_1 \cong \mathbb{P}^1 \times \mathbb{P}^1$, the curve $C$ has bidegree $(2, 2)$, with genus $(2-1)(2-1) = 1$.

A curve of bidegree $(3, 2)$ on the smooth quadric $Q \subseteq \mathbb{P}^3$ has degree $d = 5$ and genus $g = (3-1)(2-1) = 2$.

Castelnuovo: $d - 1 = 4 = 2 \cdot 2 + 0$, so $m = 2$, $\varepsilon = 0$, and $\pi(5, 3) = 1 \cdot 2 = 2$.

The bound is sharp: $g = 2 = \pi(5, 3)$. This is a Castelnuovo curve. Note that a genus-2 curve is hyperelliptic, and the $g^1_2$ is given by projection from a line on the quadric.

A smooth curve $C$ of degree 8 and genus 5 in $\mathbb{P}^3$. The Castelnuovo bound gives $\pi(8, 3) = 9$, so $g = 5 \leq 9$: the bound is not achieved. The curve is far from extremal.

Such a curve might arise as a complete intersection: $C = S_2 \cap S_4$ (quadric and quartic) gives $d = 8$ and $g = 1 + \frac{8}{2}(2 + 4 - 4) = 1 + 8 = 9$ by the adjunction formula $2g - 2 = d(d_1 + d_2 - 4)$, which gives $g = 9$. So actually a $(2, 4)$-complete intersection has $g = 9 = \pi(8, 3)$, achieving the Castelnuovo bound.

For $g = 5$: such a curve is not a complete intersection and does not lie on a quadric. By Halphen's bound with $k = 3$: $8 = 3 \cdot 2 + 2$, giving $g \leq 1 \cdot 3 + 2 \cdot 2 = 7$. So $g = 5 \leq 7$ is consistent with a degree-8 curve on no quadric but on a cubic surface.