24小时热门版块排行榜    

查看: 308  |  回复: 0

Akang950710

捐助贵宾 (初入文坛)

[交流] 分圆范数三值定理与射影对偶显式分类定理

作者:阿康
日期:2026年10月14日
分圆范数三值定理与射影对偶显式分类定理
第一部分:分圆范数三值定理
设定:令 ω = e2πi/n,δ = ω − ω−1,K = &ℚ(ω) 为 n 次分
圆域。定义
N(δ) = ∏(k,n)=1 (ωk  − ω−k )
定理一(分圆范数三值定理)
对 n ≥ 3:
N(δ) = p (n = pa  或 n = 2pa , p 奇素数, a ≥ 1)
N(δ) = 4 (n = 2a , a ≥ 2)
N(δ) = 1 (其他情形)
证明
首先分解:
ω k  − ω−k  = ω−k (ω2k  − 1)
因此
N(δ) = A · B其中
A = ∏(k,n)=1 ω−k , B = ∏(k,n)=1 (ω2k  − 1)
计算 A:当 n > 2 时,∑(k,n)=1 k = nφ(n)/2,所以
A = ω−nφ(n)/2 = e−πi φ(n) = 1
(因 φ(n) 为偶数。)
计算 B:
情形 1:n 为奇数。此时 gcd(2,n) = 1,映射 k ↦ 2k 是
(&ℤ/nℤ ×  上的置换,故
B = ∏(k,n)=1 (ωk  − 1) = Φn (1)
而
Φn (1) = p (n = pa ), 1 (其他)
情形 2:n = 2m,m 为奇数。此时 ω2  = e2πi/m =
ζm。gcd(k,2m) = 1 的 k 是奇数且 gcd(k,m) = 1。映射 k ↦ k
mod m 是从这些 k 到 (&ℤ/mℤ ×  的双射,故
B = ∏(r,m)=1 (ζm r  − 1) = Φm (1)
所以 N(δ) = Φm (1) = p(若 m = pa),否则为 1。
情形 3:n = 4t。此时 ω2  = e2πi/(2t) = ζ2t。gcd(k,4t) =
1 的 k 是奇数且 gcd(k,t) = 1。映射 k ↦ k mod 2t 是 2 对 1
的,故
B = ∏(r,2t)=1 (ζ2t r  − 1)2  = Φ2t(1)2
而 Φ2t(1) = 2 当且仅当 2t = 2a(即 n = 2a+1),否则
Φ2t(1) = 1。
所以□
N(δ) = 4 (n = 2a , a ≥ 2), 1 (其他)
合并即得定理结论。
第二部分:射影对偶显式分类定理
设定:内接正 n 边形顶点为 ωk(k = 0, 1, ..., n−1),外切
正 n 边形顶点为
wk  = 2ωk+1 / (1 + ω)
定理二(射影对偶显式分类定理)
满足条件的射影变换恰好为
T(z) = [2ωm / (1 + ω)] · z
或
T(z) = [2ωm / (1 + ω)] · (1/z)
其中 m = 0, 1, ..., n−1。共 2n 个。
证明
设 T 把内接顶点映到外切顶点:
T(ωk ) = wσ(k) = 2ωσ(k)+1 / (1 + ω)
射影变换保持交比,故 σ 必须是圆上的 Möbius 置换。
对于正 n 边形,可能的置换只有
σ(k) = k + m 或 σ(k) = m − k
保向情形 σ(k) = k + m:T(ωk ) = 2ωk+m+1 / (1 + ω) = [2ωm+1 / (1 + ω)] ·
ω k
所以
T(z) = [2ωm+1 / (1 + ω)] · z
反向情形 σ(k) = m − k:
T(ωk ) = 2ωm-k+1 / (1 + ω) = [2ωm+1 / (1 + ω)] ·
ω−k
所以
T(z) = [2ωm+1 / (1 + ω)] · (1/z)
□
第三部分:正割缩放定理
定理三(正割缩放定理)
对上述所有射影变换:
|T'|2  = sec2 (π/n)
证明
保向情形 T(z) = cz,c = 2ωm/(1+ω):
|T'|2  = |c|2  = 4 / |1 + ω|2
反向情形 T(z) = c/z:
|T'|2  = |−c/z2 | 2  = |c|2  / |z|4在单位圆上 |z| = 1,所以 |T'|2  = |c|2。
而
|1 + ω|2  = (1 + ω)(1 + ω−1 ) = 2 + 2cos(2π/n) =
4cos2 (π/n)
所以
|T'|2  = 4 / [4cos2 (π/n)] = sec2 (π/n)
□
第四部分:对偶统一性定理
定理四(对偶统一性定理)
所有 2n 个射影变换给出同一个对偶公式:
S外  = S内  · sec2 (π/n)
证明
面积缩放因子均为 sec2 (π/n),故
S外 = |T'|2  · S内 = S内 · sec2 (π/n)
□
总结
本文建立了两个核心新发现:
1. 分圆范数三值定理:分圆域中判别元 δ = ω − ω−1  的范
数 N(δ) 仅取三个可能值(p、4、1),由 n 的素因数分解结构完
全决定。2. 射影对偶显式分类定理:内接正 n 边形到外切正 n 边形
的射影变换被完全分类——恰好 2n 个,分为保向(旋转型)和
反向(反射型)两类,且所有变换给出统一的面积缩放因子
sec2 (π/n)。
核心工具:分圆域 &ℚ(ω)、伽罗瓦群 (&ℤ/nℤ ×、射影变
换、交比不变性
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 Akang950710 的主题更新
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
信息提示
请填处理意见