[论文解读] Whitehead modules over large principal ideal domains

Paul C. Eklof, Saharon Shelah|ArXiv.org|Nov 27, 2000

Rings, Modules, and Algebras参考文献 5被引用 12

一句话总结

本文在 ZFC 中证明了存在大小为 $\aleph_2$ 和 $2^{\aleph_1}$ 的瘦小主理想整环（p.i.d.s），其上存在非自由的怀特海德模——即满足 $\mathrm{Ext}^1_R(M,R) = 0$ 的模 $M$——从而表明对于大尺寸主理想整环，怀特海德问题在 ZFC 下是不可判定的。关键结果是，对于某些大尺寸主理想整环，怀特海德模未必是自由的，这与 $\aleph_1$ 情形下 V=L 蕴含自由性的结论形成对比。

ABSTRACT

We consider the Whitehead problem for principal ideal domains of large size. It is proved, in ZFC, that some p.i.d.'s of size >= aleph_{2} have non-free Whitehead modules even though they are not complete discrete valuation rings.

研究动机与目标

• 研究主理想整环上怀特海德问题——即每个主理想整环上的怀特海德模是否都是自由模——对于大小大于 $\aleph_1$ 的主理想整环。
• 确定怀特海德问题在 ZFC 下的不可判定性是否在更大的主理想整环中仍然成立，特别是针对非完备离散赋值环的主理想整环。
• 构造特定的主理想整环，其大小为 $\aleph_2$ 和 $2^{\aleph_1}$，使得其上的怀特海德模可能是非自由的，尽管这些整环是瘦小的。
• 通过超限构造和扩张技术，将已知的 $\aleph_1$-生成模结果推广到更大的基数。

提出的方法

• 通过超限归纳法构造一个大小为 $2^{\aleph_1}$ 的局部瘦小主理想整环 $R$，确保对所有 $\aleph_1$-自由且 $\aleph_1$-生成的模 $F/K$，有 $\mathrm{Ext}^1_R(F/K, R) = 0$。
• 使用提升论证：给定一个 $R$-同态 $\phi: K \to R$，将其延拓至 $R^+ \otimes_R K \to R^+$，其中 $R^+$ 是一个更大的主理想整环，满足 $|R^+| = |R| + \aleph_1$，并保持扩展性质。
• 将环 $R^*$ 定义为以 $\mathbb{Q}$ 上的多项式环为基，对某些集合索引的不定元进行局部化，确保该环保持为主理想整环，并满足所需的扩展条件。
• 在所有满足 $\leq \aleph_2$ 的序数上进行递归构造，确保在每一步中，所有 $\aleph_1$-自由且 $\aleph_1$-生成的模的扩展性质均被保持。
• 利用 $\aleph_1$-自由且 $\aleph_1$-生成的模满足庞特里亚金准则的事实，因此 $\mathrm{Ext}^1$ 消失意味着具有怀特海德性质。
• 将构造推广至任意不可数基数 $\kappa \geq \aleph_1$，得到大小为 $\kappa$ 的主理想整环，使得 $\kappa$-生成的怀特海德模为自由模当且仅当其为自由模。

实验结果

研究问题

• RQ1 当主理想整环的基数大于 $\aleph_1$ 时，主理想整环上的怀特海德问题是否仍与 ZFC 无关？
• RQ2 在大小为 $\aleph_2$ 或 $2^{\aleph_1}$ 的瘦小主理想整环上，是否存在非自由的怀特海德模？
• RQ3 是否存在一个大小为 $\aleph_2$ 的主理想整环，使得其上所有 $\aleph_1$-生成的怀特海德模都是自由的，即使该环不是完备离散赋值环？
• RQ4 能否将非自由怀特海德模的构造推广至任意不可数大小 $\kappa \geq \aleph_1$ 的主理想整环？
• RQ5 在何种条件下，$\kappa$-生成怀特海德模的自由性等价于模本身是自由的？

主要发现

• 存在一个大小为 $2^{\aleph_1}$ 的瘦小主理想整环 $R$，使得每个 $\aleph_1$-自由且 $\aleph_1$-生成的 $R$-模都是怀特海德模，从而表明在 $R$ 上存在非自由的怀特海德模。
• 存在一个大小为 $\aleph_2$ 的主理想整环 $R$，使得一个 $\aleph_1$-生成的 $R$-模是怀特海德模当且仅当它是自由模，表明在更大尺寸下可以强制实现自由性条件。
• 对任意 $\kappa \geq \aleph_1$，存在一个大小为 $\kappa$ 的局部主理想整环 $R$，使得所有大小不超过 $\kappa$ 的 $R$-模中，若为怀特海德模，则必为自由模。
• 在 ZFC 中，即使环不是完备离散赋值环，也存在大小 $\geq \aleph_2$ 的主理想整环，其上存在非自由的怀特海德模。
• 该构造表明，大主理想整环上怀特海德模的行为与 $\aleph_1$ 情形有根本性不同，因为在 $\aleph_1$ 情形下，V=L 蕴含所有怀特海德模均为自由模。
• 结果表明，对于大小 $\geq \aleph_2$ 的主理想整环，怀特海德问题不能仅由 ZFC 确定，即使在假设 GCH 的前提下亦然。