[论文解读] Schanuel's conjecture and algebraic powers z^w and w^z with z and w transcendental

Diego Marques, Jonathan Sondow|arXiv (Cornell University)|Oct 29, 2010

History and Theory of Mathematics参考文献 8被引用 5

一句话总结

假设Schanuel猜想，本文证明：若 $ z $ 和 $ w $ 是非零非一的超越复数，且 $ z^w $ 与 $ w^z $ 均为代数数，则 $ z $ 与 $ w $ 必须均为超越数——即排除其中一个为代数数而另一个为超越数的可能性。关键结果包括对特定迭代幂如 $ \sqrt{2}^{\sqrt{2}^{\sqrt{2}}} $、$ i^{i^i} $ 和 $ i^{e^\pi} $ 的超越性证明，以及证明：当 $ \alpha \neq 0,1 $ 为代数数且 $ z $ 为无理数时，方程 $ \alpha^{\alpha^z} = z $ 的解 $ z $ 必须为超越数。

ABSTRACT

We give a brief history of transcendental number theory, including Schanuel's conjecture (S). Assuming (S), we prove that if z and w are complex numbers, not 0 or 1, with z^w and w^z algebraic, then z and w are either both rational or both transcendental. A corollary is that if (S) is true, then we can find four distinct transcendental positive real numbers x, y, s, t such that the three numbers x^y=/=y^x and s^t=t^s are all integers. Another application (possibly known) is that (S) implies the transcendence of the numbers sqrt(2)^sqrt(2)^sqrt(2), i^i^i, and i^e^pi. We also prove that if (S) holds and a^a^z=z, where a=/=0 is algebraic and z is irrational, then z is transcendental.

研究动机与目标

• 研究当 $ z $ 和 $ w $ 均为超越数时，复数幂 $ z^w $ 与 $ w^z $ 的算术性质。
• 在Schanuel猜想下，确定当 $ z $ 和 $ w $ 为超越数时，$ z^w $ 与 $ w^z $ 是否可能同时为代数数。
• 建立迭代指数表达式 $ \alpha^{\alpha^z} = z $ 导致 $ z $ 超越性的条件。
• 利用Schanuel猜想推广已知关于 $ e^\pi $、$ i^i $ 和 $ \sqrt{2}^{\sqrt{2}^{\sqrt{2}}} $ 等数的超越性结果。

提出的方法

• 假设Schanuel猜想（S）：若 $ \alpha_1, \dots, \alpha_n $ 在 $ \mathbb{Q} $ 上线性无关，则 $ \alpha_1, \dots, \alpha_n, e^{\alpha_1}, \dots, e^{\alpha_n} $ 中至少包含 $ n $ 个代数独立的数。
• 利用代数数与超越数之间的乘法独立性，推导对数及迭代对数的代数独立性。
• 应用对数变换 $ w = \log \alpha / \log z $，将 $ z^w $ 与 $ w^z $ 关联到对数表达式，分析其代数独立性。
• 使用域扩张在 $ \mathbb{Q} $ 上的超越次数（trdeg）来度量集合 $ \alpha, \beta, z, \log \alpha, \log \beta, \log z, \log \log \alpha, \log \log \beta, \log \log z $ 的代数独立性。
• 在假设 $ z^w $ 与 $ w^z $ 均为代数数的前提下，通过假设 $ z $ 为代数数而 $ w $ 为超越数，导出对数项代数独立性的矛盾。
• 利用恒等式 $ z^{-1} \log \beta = \log \log \alpha - \log \log z $ 揭示其与（S）下预期代数独立性之间的不一致。

实验结果

研究问题

• RQ1 若 $ z $ 与 $ w $ 为超越数，且 $ z^w $、$ w^z $ 为代数数，是否可能其中一个为代数数而另一个为超越数？
• RQ2 Schanuel猜想是否蕴含特定迭代指数常数如 $ \sqrt{2}^{\sqrt{2}^{\sqrt{2}}} $、$ i^{i^i} $ 与 $ i^{e^\pi} $ 的超越性？
• RQ3 方程 $ \alpha^{\alpha^z} = z $ 在 $ \alpha \neq 0,1 $ 为代数数且 $ z $ 为无理数时，是否可能有代数解 $ z $？
• RQ4 Schanuel猜想对涉及 $ z^w $ 与 $ w^z $ 的对数表达式的乘法独立性与代数独立性施加了何种约束？

主要发现

• 若 $ z $ 与 $ w $ 为超越数，且 $ z^w $、$ w^z $ 为代数数，则 $ z $ 与 $ w $ 必须均为超越数——在Schanuel猜想下，不存在代数数与超越数的混合配对。
• Schanuel猜想蕴含 $ \sqrt{2}^{\sqrt{2}^{\sqrt{2}}} $、$ i^{i^i} $ 与 $ i^{e^\pi} $ 的超越性，因为这些表达式在（S）下会导致代数独立性矛盾。
• 在Schanuel猜想下，存在超越的正实数 $ x, y, s \neq t $，使得 $ x^y \neq y^x $ 且 $ s^t = t^s $ 均为整数。
• 若 $ \alpha \neq 0 $ 为代数数，且 $ \alpha^{\alpha^z} = z $，$ z $ 为无理数，则在Schanuel猜想下 $ z $ 必为超越数。
• 证明依赖于证明集合 $ \{ \log \alpha, z \log \alpha, \alpha^z \log \alpha \} $ 在 $ \mathbb{Q} $ 上线性无关，从而在（S）下导致超越次数矛盾。
• 矛盾源于假设 $ z $ 为代数数而 $ \alpha^z $ 为超越数，导致超越次数至少为3，但域扩张次数至多为2，违反Schanuel猜想。