尚埃尔猜想 · 公开问题 37

问题

指数映射把加法群 ℂ 压到乘法群 ℂ*，而 «代数性» 不被它尊重。尚埃尔猜想（1966）精确地量化这一现象：指数映射的 «代数复杂度预算» 不能被压缩——把 n 个数与其指数值放进同一个域，超越次数至少是 n（除非数本身有 ℚ-线性关系可省）。形式化：令 λ = ℚ-维数 span_ℚ{z₁,…,z_n}，则域 ℚ(z_i, e^z_i) 的超越次数 ≥ λ。原形式（λ = n 的情形）蕴含一切。

主要概念

超越次数

域扩张 L/ℚ 的超越次数 trdeg 是 L 中代数无关复数组的最大基数——«L 里有多少个自由变元»。ℚ(e, π) 的超越次数是 1 还是 2，正是问题 38 的全部内容；尚埃尔猜想直接压住它。

线性代数引擎（六指数定理）

已证的是 «带一格冗余» 的版本：对 m×n 的指数表 e^a_ib_j（a_i 线性无关、b_j 线性无关），六个指数中至多一个 «代数缺口» 可被容忍——3×2 或 2×3 的表必含超越元素（六指数定理）；4×1 的表（四指数）不可判定（四指数猜想）。证明只需线性代数与一个行列式估计——它是 n=2 情形的 «半步»，也是整个纲领中唯一能完整证明的非平凡骨架。

主要命题与证明

命题 1（完整证明）　n = 1 情形即林德曼定理：若 α ≠ 0 代数，则 e^α 超越。

证明骨架　设 e^α = β 代数，导出矛盾。埃尔米特–林德曼的构造：取 α 的极小多项式与 β 的极小多项式，构造辅助多项式 A(x, y)（在 (e^a_iα, e^b_jβ) 网格上取整数值），考虑行列式 Δ = det(e^a_ib_j)。上界：Δ 的绝对值随阶数增长得 «太慢»（利用 e^−|x| 衰减压制插值余项）；下界：Δ 是非零代数整数，其模 ≥ 1（若非零）且其共轭受代数性控制。两个估计在阶数足够大时不兼容。□

命题 2（六指数定理，完整证明骨架）　设 a₁,a₂ 与 b₁,b₂,b₃ 各自 ℚ-线性无关，则六个数 e^a_ib_j 中至少一个超越。

证明骨架　反设六个都代数。考虑 2×2 行列式函数 Δ(z) = det(e^a_iz 对 b_j 的插值组合)：更精确地，设 F(z) = Σ_j c_je^b_jz 为在 z = a₁, a₂ 处带高阶零点的指数多项式，其系数选自 «使 F(a_i) 的高阶导数值代数» 的整数格点。插值行列式给出上界 |F^(k)(a_i)| < e^−εN²（利用 e^{a_i(b_j−b_j')} 的代数性做格点消去），而格点论证给出下界 ≥ e^−ε'N² 非零整数。取 ε < ε′ 矛盾。整条论证只用：①指数函数的微分方程 y′ = by；②代数整数的模下界；③指数衰减的插值估计。□

命题 3（尚埃尔的三件套推论，完整推导）　尚埃尔猜想蕴含：①四指数猜想（取 λ = 2 的精确形式）；②e 与 π 的代数无关性——不能直接给出，但蕴含 e 与 e^e 代数无关（见命题 4）；③格尔丰德–施耐德定理的 «对数» 加强：代数 α≠0,1 与代数 β≠0 使 α^β 代数的唯一可能是 β 有理——即格尔丰德–施耐德是尚埃尔的定理（取 z₁ = 1, z₂ = β log α 并计算 λ）。

推导（推论③）　设 α, β 代数、α ≠ 0,1、β 非有理。取 z₁ = log α、z₂ = β log α。若 α^β = e^z₂ 代数，则 ℚ(z₁, z₂, e^z₁, e^z₂) = ℚ(log α, β log α, α, α^β) 是代数扩张的代数域——超越次数 0。但 z₁ ≠ 0（α≠1）且若 z₁, z₂ ℚ-线性无关（即 β ∉ ℚ），尚埃尔给出超越次数 ≥ 2，矛盾。故 α^β 超越——这正是格尔丰德–施耐德定理的结论，在尚埃尔下成为一行推论。□

命题 4（完整推导）　尚埃尔蕴含 e^e 超越，且更强：e 与 e^e 代数无关。

证明　取 n = 2、z₁ = 1、z₂ = e。两数 ℚ-线性无关（否则 e 有理，与埃尔米特定理矛盾）。尚埃尔给出 trdeg ℚ(1, e, e¹, e^e) ≥ 2，即 trdeg ℚ(e, e^e) ≥ 2。而该域由两个生成元生成，超越次数 ≤ 2，故恰为 2——e 与 e^e 代数无关。特别地 e^e 超越（目前未证）。□

进展与文献

尚埃尔 1966 年原 conjecture 见其全集讲义；六指数定理归于 Siegel（1949 讲义）与 Waldschmidt 的系统整理（《Nombres transcendants》）；Ax 的函数域版本（1971）完全证明——又一个 «类比世界已解决» 的例子，提示猜想为真但整数版本的技术完全缺失。Waldschmidt 的综述〈Schanuel and transcence〉给出已知推论地图：尚埃尔 ⇒ 四指数 ⇒（部分）格尔丰德–施耐德的变体；尚埃尔 + 标准猜想还蕴含 «Schanuel 的前推» 到椭圆曲线的指数映射（«椭圆尚埃尔»）。现状一句话：n = 1 是定理，n ≥ 2 连 «半步»（六指数）之外都寸步未进。