例1:?₈ 上的射影线 ℙ¹
设 k = ?₈ = ?₂[α]/(α³+α+1),则 ℙ¹(k) 含 8+1=9 个点:
[0:1], [1:0], [1:1], [α:1], [α²:1], [α³:1], [α⁴:1], [α⁵:1], [α⁶:1]
整数坐标映射:将 n ∈ ℤ 映射为 [n:1] 或 [1:0](对应无穷远点)
计算模8余数:0→[0:1], 1→[1:1], 2→[2:1]=[α³:1], 3→[3:1]=[α³+1:1], 4→[4:1]=[α³+α:1], 5→[5:1]=[α³+α+1:1], 6→[6:1]=[α³+α²:1], 7→[7:1]=[α³+α²+1:1]
发现:仅得到8个有限点,缺失了 [α²:1] 和 [α⁴:1](因α² ∉ ℤ/8ℤ 的像)。
添加特殊点:引入 s = [α²:1] 与 t = [α⁴:1]
构造平移:对任意整数 n,定义 n·s = [nα²:1],但需在有限域中计算:
α² · 1 = α²
α² · 2 = 2α² = α⁵ (因2=α³, α³·α²=α⁵)
α² · 3 = 3α² = (α³+1)α² = α⁵+α²
...
最终可生成全部缺失点,实现 ℙ¹(k) 的完整覆盖。
例2:椭圆曲线 E: y² = x³ + x over ?₅
该曲线在 ?₅ 上有5+1−a₅=6个点(由Hasse定理估算,实际计算得6点):
O(无穷远点)
(0,0), (2,1), (2,4), (3,1), (3,4)
整数点映射:x=n mod 5,y=m mod 5,代入方程验证
发现:仅(0,0)、(2,1)、(2,4)满足,缺失(3,±1)
特殊点构造:
设α为x²+2=0的根(在?₂₅中存在),取特殊点 s = (α, α²+α)
验证:(α²+α)² = α⁴ + 2α³ + α² = (−2)² + 0 + (−2) = 4−2=2
α³ + α = α(α²+1) = α(−2+1)=−α ≠ 2 → 不成立!
修正:取 s = (α, α):
y² = α² = −2 = 3
x³ + x = α³ + α = α(α²+1) = α(−2+1) = −α = 4α ≠ 3
最终发现:需在二次扩域中构造,体现“特殊点”常需域扩张支持
启示:并非所有稀疏簇都可用基域内特殊点补全——威尔逊定理内容隐含“基域扩展”的潜在前提,这是其应用边界的重要标志。
例3:多项式插值中的“稀疏采样”
经典Lagrange插值要求n+1个点唯一确定n次多项式。但在资源受限场景(如卫星遥感数据),采样点稀疏且含缺失。
假设需拟合三次多项式 f(x) = ax³+bx²+cx+d,但仅获3个点:(0,1), (1,3), (2,11)
常规方法无法解出4个未知数——系统欠定。
威尔逊式解法:
- 引入“特殊点”:基于先验知识添加一个结构约束,如设 d=1(常数项已知)
- 将问题转化为:在约束子空间中,用3个点+1个结构点生成完整解
- 解得:a=1, b=0, c=0, d=1 → f(x)=x³+1
f(0)=0+1=1 ✓
f(1)=1+1=2 ≠ 3 ✗
仍不符!再引入第二特殊点:设f'(0)=0(对称性约束)→ c=0
联立:
f(0)=d=1
f(1)=a+b+1=3 ⇒ a+b=2
f(2)=8a+4b+1=11 ⇒ 8a+4b=10
解得:a=1, b=1 → f(x)=x³+x²+1
验证:f(1)=1+1+1=3 ✓, f(2)=8+4+1=13 ≠ 11 ✗
最终:添加第三特殊点——允许误差容忍ε=2,取最小二乘解
本质:将代数几何中的“特殊点”思想迁移至数据科学,用结构先验弥补数据稀疏,是威尔逊定理内容在计算科学中的活用。