[论文解读] On isomorphisms of factorial domains and the Jacobian conjecture in any characteristic

Kossivi Adjamagbo|ArXiv.org|Aug 1, 2006

Advanced Differential Equations and Dynamical Systems参考文献 11被引用 4

一句话总结

本文建立了U.F.D.同构定理，通过素元/主素元以及无挠、平坦或弱单射态射刻画唯一分解整环（U.F.D.s）之间的同构关系。该定理被应用于在任意特征下重新表述雅可比猜想——提供了一组等价条件，即在雅可比行列式可逆且次数不被特征整除的态射下，素元或主素元的保持性。

ABSTRACT

The main theorem (2.2) consists in two characterizations of isomorphisms of factorial domains in terms of prime or primary rings elements, and unramified, flat or weakly injective affine schemes morphisms. In order to apply this theorem to the famous Jacobian Conjecture, we first introduce its different versions in any characteristic (3.1), and give two reformulations of some these versions in terms of domains of positive characteristic (3.8) and finite prime fields (3.9). Finally, we deduce from the main theorem an original reformulation of the any characteristic version of the Jacobian Conjecture in terms of prime or primary rings elements (3.11).

研究动机与目标

• 通过素元或主素元以及具有特定几何与代数性质的态射，建立唯一分解整环（U.F.D.s）之间同构关系的刻画。
• 将该刻画应用于雅可比猜想，利用模型论与代数几何技术，在正特征及有限域中重新表述该猜想。
• 在任意特征下，提供经典雅可比猜想的基于元素的新重述，聚焦于在态射下素元或主素元的保持性。
• 通过超积与模型论传递原理，弥合特征零与正特征下雅可比猜想表述之间的差距。
• 证明特征零下的雅可比猜想与在特定次数与可分性条件下其有限域类比等价。

提出的方法

• 建立U.F.D.同构定理（定理2.2），通过无挠、平坦或弱单射态射以及局部化上的次数条件，刻画U.F.D.s之间同构关系。
• 通过分析具有可逆雅可比行列式行列式的U.F.D.上多项式代数之间的态射，将主定理应用于雅可比猜想。
• 将[2]中关于U.F.D.上代数的第一同构定理作为刻画单生成扩张中同构关系的基础工具。
• 运用模型论技术，包括有限域超积的洛斯定理，将正特征中的命题传递至特征零。
• 应用贝祖定理的推广形式（阿布扬卡兰–富尔顿），在正特征设定下控制交点重数。
• 以素元或主素元保持性重新表述雅可比猜想：若一态射保持素元，且满足次数与可分性条件，则其为同构。

实验结果

研究问题

• RQ1 在何种条件下，U.F.D.s之间的态射是同构，其由素元或主素元的性质及态射类型刻画？
• RQ2 如何利用模型论传递，将特征零下的雅可比猜想重新表述为正特征或有限域中的形式？
• RQ3 在态射下素元或主素元的保持性与雅可比猜想的有效性之间存在何种精确关系？
• RQ4 域分式域扩张的次数条件——特别是不被特征整除的次数——与同构性及雅可比猜想有何关联？
• RQ5 经典雅可比猜想在任意特征下是否可等价地通过具有可逆雅可比行列式的态射下素元行为进行重述？

主要发现

• U.F.D.s之间的态射是同构当且仅当其为可分的、有限型的、在可逆元上弱单射的，且分式域扩张的次数不被特征整除。
• 等价地，若一态射为平坦的，将素元映射为素元，保持单位元，且其分式域扩张为有限、可分且次数不被特征整除，则其为同构。
• 经典雅可比猜想在特征零下等价于：对所有充分大的素数 $p$，该猜想在所有 $n,d$ 下对有限域 $\mathbb{F}_p$ 成立。
• 在任意特征下，雅可比猜想等价于：具有可逆雅可比行列式且次数不被 $p$ 整除的态射将素元映射为素元。
• 该猜想亦等价于：此类态射将素元映射为目标环中的主素元。
• 条件 $[B_*^{-1}B : φ(A_*)^{-1}φ(A)] \not\in p\mathbb{N}$ 在正特征下是素元保持性结论所必需的，论文通过反例予以证明。