问题
PG(3,q)（q 元三维射影空间）中的卵形（ovoid）是 q²+1 个点的集合，任何直线至多交其中 2 点。模范例：椭圆二次曲面（«有限椭球»）。卵形问题：哪些 q 的卵形都同构于椭圆二次曲面？推广到一般极空间（更高维、极型）的光滑谱：卵形的完全分类是有限几何的持续工程。已解决主干的是 Barlotti–Panella 定理（q 奇、PG(3)）；特征 2 的例外（超卵形、Suzuki–Tits 卵形）是剩余的深水区，与 23 号量子设计、36 号 MDS 猜想有结构性互锁。
主要概念
从卵形到平面切片
卵形 O 的研究入口是切平面：过点 P ∈ O 的平面若与 O 只交 P 一点则称切平面。核心引理（命题 1）：O 恰有 q²+1 个切平面、每点一个；其余平面交 O 于 q+1 点（在 q 奇时）。于是每个 «大» 平面切片是射影平面 PG(2,q) 中的 q+1 点无三共线集——卵形线（oval）。奇阶时 Segre 定理断言：PG(2,q)（q 奇）的每条卵形线都是圆锥曲线（二次曲线）。两步接力就把卵形钉到 «二次曲面» 上。
特征 2 的例外动物园
q 偶时卵形线可以有 q+2 点（超卵形 hyperoval，因 «芯» 点的加入），卵形不再被二次曲面垄断：Suzuki–Tits 卵形（对 q = 22e+1）是非二次曲面的显式卵形，其自同构群恰是 Suzuki 单群族——散在例外与群论在此交汇。分类因此在特征 2 处裂开：«卵形 = 椭圆二次曲面» 在 q 偶时既不真也无修补版判据。
主要命题与证明
命题 1（切平面计数，完整证明） PG(3,q) 中卵形 O（q 奇）的切平面恰有 q²+1 个；其余平面各交 O 于 q+1 点。
证明 分两步。第一步（切片二分，Barlotti 引理；梗概）：对 q 奇，卵形的任何平面切片要么是单点、要么是 q+1 点的卵形线。机制：固定 P ∈ O，过 P 的 q²+q+1 条线中，与 O 交于另一点的割线恰 q² 条（每个 Q ∈ O∖{P} 贡献一条），故过 P 的切线恰 q+1 条；切片 π ∩ O 是 π 中的弧（无三共线），q 奇时弧至多 q+1 点（弧界）；结合 «过切点的切线在切片内不再遇 O» 的逐线核对，排除中间大小的切片（完整细节见 Hirschfeld）。结论：切片大小只有 1 与 q+1 两档。第二步（计数，完整）：每个 P ∈ O 落在 q²+q+1 个平面上，故 Σπ |O∩π| = (q²+1)(q²+q+1)。设切平面（|交|=1）有 t 个，平面总数 F = q³+q²+q+1。由第一步：t·1 + (F−t)(q+1) = (q²+1)(q²+q+1)，解出 t = [F(q+1) − (q²+1)(q²+q+1)]/q = [(q⁴+2q³+2q²+2q+1) − (q⁴+q³+2q²+q+1)]/q = (q³+q)/q = q²+1。切平面数等于点数；若一个切平面含两个切点，该平面把 «两份单点贡献» 记在一份上，incidence 总和出现亏空——逐点核对排除，故每点恰有一个切平面。□
命题 2（Segre 定理，1955；陈述） q 奇时，PG(2,q) 中每条 q+1 点卵形线都是圆锥曲线。证明用 «五点定二次曲线 + 第六点验证»：五点定唯一二次曲线，第六点的归属由 «Pasch 构形» 的三次曲线交点计数（Bézout：三次曲线过已知九点 ⟹ 过第十点）强制。
说明 Bézout 步骤是 «代数几何进入有限几何» 的样板：有限域上三次曲线与二次曲线的交点数论证完全平行的复几何直觉。特征 2 处该论证失效（相切退化），这正是例外动物的入口。□
命题 3（Barlotti–Panella 定理，1960s；陈述） PG(3,q)、q 奇：每个卵形都是椭圆二次曲面。证明链 = 命题 1（切片）+ 命题 2（切片是二次曲线）+ «全体切片共享一个二次曲面» 的拼合（切片圆锥曲线由卵形点集中 «同过五点» 的唯一性粘合）。
说明 高维推广：PG(d,q) 中 «每线至多 2 点» 的蛋（cap）在 q 奇、d 偶型条件下的同类定理是 Panella 等的系列成果；特征 2 的完整分类仍未合龙。□
进展与文献
Segre《Ovals in a finite projective plane》(1955)；Barlotti 1955 与 Panella 1959 的分类定理；Suzuki–Tits 卵形与 Suzuki 群（Tits 1962）；Hirschfeld《Projective Geometries over Finite Fields》的系统整理。开放核心：特征 2 卵形的完全分类（超卵形谱、Suzuki–Tits 之外的未知族）；高维 cap 的光滑谱；卵形与 MDS 码（36 号）、SIC（23 号）的结构对应。