An Integrally Closed Reduced Ring with McCoy Localizations That Is Neither McCoy nor Locally a Domain

本文通过结合 Akiba 的 Nagata 型反例与一个非整环的局部 McCoy 环的直积，构造出了一个既非 McCoy 环也非局部整环的整闭约化环，从而肯定地解决了《交换环论中的开放问题》中的问题 9。

要点

这篇数学论文解决了一个困扰数学界已久的“谜题”。为了让你轻松理解，我们可以把这篇论文想象成一位建筑师在建造一座特殊的“数学大楼”。

1. 背景：什么是“麦考伊环”（McCoy Ring）？

在数学的“代数世界”里，有一种特殊的规则叫麦考伊性质（McCoy Property）。
你可以把它想象成大楼里的**“安全警报系统”**：

• 规则是：如果你在大楼里找到一组“捣乱分子”（数学上叫有限生成的理想，且它们都是零因子，即它们乘上某些东西会变成0），那么必须存在一个“保安”（非零的零化子），能把这组捣乱分子全部“制服”（乘积为0）。
• 麦考伊环：就是这座大楼的警报系统非常灵敏，只要有一群捣乱分子，就一定能找到对应的保安。
• 非麦考伊环：警报系统失灵了。有一群捣乱分子，却找不到任何保安能制服他们。

论文想解决的问题（问题 9）：
数学家们想知道，是否存在这样一座大楼：

1. 它整体上是坚固且整洁的（数学上叫“整闭且约化”）。
2. 如果你去检查大楼的每一个房间（局部化，即看每个最大理想对应的局部环），每个房间里的警报系统都是完美灵敏的（每个局部都是麦考伊环）。
3. 但是，整座大楼整体的警报系统却是失灵的（整体不是麦考伊环）。
4. 而且，这座大楼里有些房间甚至不是“单人间”（不是整环，即有些房间里有“捣乱分子”互相抵消）。

在 2026 年之前，没人能造出这样的大楼。这篇论文的作者马浩天（Haotian Ma）成功造出来了！

---

2. 建筑方案：如何“拼”出这座大楼？

作者没有从零开始造，而是用了**“乐高积木”**的方法。他找来了两块现成的积木，把它们拼在一起。

第一块积木：A 区（来自 Akiba 的杰作）

• 特点：这是一座非常坚固、整洁的大楼（整闭且约化）。
• 局部表现：如果你去检查 A 区的每一个房间，每个房间都是完美的“单人间”（整环），警报系统也完美。
• 致命弱点：虽然房间都完美，但 A 区里藏着一群特殊的捣乱分子（由 $u$ 和 $v$ 生成的理想）。这群人很狡猾，他们虽然能互相抵消，但找不到任何保安能制服他们（零化子为 0）。
• 结论：A 区整体不是麦考伊环。

第二块积木：B 区（作者新造的“本地化”积木）

• 特点：这是一座小楼，虽然里面也有捣乱分子（不是单人间），但它有一个超级灵敏的警报系统。
• 局部表现：B 区本身就是一个麦考伊环，而且它也是坚固整洁的。
• 作用：B 区就像一个“补丁”，用来掩盖 A 区在某些方面的不足，同时保留 A 区的“整体故障”。

---

3. 核心魔法：直接乘积（Direct Product）

作者把 A 区和 B 区直接并联在一起，组成了新大楼 $R = A \times B$。

这就好比把两个独立的社区合并成一个超级城市：

• 房间检查（局部性质）：

  • 如果你去检查 A 区那边的房间，你看到的还是 A 区原来的完美房间（整环）。
  • 如果你去检查 B 区那边的房间，你看到的是 B 区那个灵敏的麦考伊房间。
  • 结果：无论你在超级城市的哪个角落检查，警报系统都是完美的。所以，$R$ 的每一个局部都是麦考伊环。

• 整体检查（全局性质）：

  • 现在看整座超级城市。A 区里那群“找不到保安的捣乱分子”依然存在！
  • 虽然 B 区很完美，但它无法“救”A 区里的那群捣乱分子。因为 B 区的保安管不了 A 区的人。
  • 结果：整座大楼 $R$ 里，依然有一群捣乱分子找不到保安。所以，$R$ 整体不是麦考伊环。

• 关于“单人间”（整环）：

  • 因为 B 区本身就不是单人间（里面有捣乱分子），所以合并后的超级城市 $R$ 自然也不是单人间。
  • 结果：$R$ 不是局部整环（Locally a domain）。

---

4. 最终成果与意义

通过这种巧妙的“拼接”，马浩天证明了：

1. 存在性：确实存在这样一座“怪诞”的大楼。它局部完美，整体却有问题；局部是单人间，整体却不是。
2. 回答谜题：这直接回答了《交换环论中的开放问题》中的第 9 号问题，给出了肯定的答案（“是的，存在！”）。
3. 额外收获：作为副作用，这座大楼的“多项式扩展”（$R[X]$，可以想象成给大楼加了一层更复杂的结构）也是坚固整洁的。

总结比喻

想象你在玩一个**“找茬游戏”**：

• 你有一张巨大的地图（环 $R$）。
• 你拿着放大镜（局部化）去看地图上的每一个小格子，发现每个格子里的“坏人”都能被“警察”抓住（局部是麦考伊环）。
• 但是，当你把放大镜拿开，看整张地图时，你会发现有一群坏人躲在地图的某个角落，全城的警察都抓不到他们（整体不是麦考伊环）。
• 而且，这个地图里有些格子本身就是混乱的（不是整环）。

这篇论文就是画出了这样一张地图的精确图纸。它告诉我们：局部的好并不能保证整体的好，数学世界的结构比我们要想象的更加微妙和有趣。

技术摘要

这篇论文由浙江大学的马浩天（Haotian Ma）撰写，旨在解决交换环理论中的一个开放性问题。以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 背景知识：

  • McCoy 环：如果一个交换环 $R$ 的每一个有限生成零因子理想 $I \subseteq Z(R)$ 都有一个非零的零化子（即 $\text{Ann}(I) \neq 0$），则称 $R$ 为 McCoy 环。
  • 整闭性 (Integrally Closed)：Huckaba 指出，如果 $R$ 是约化环（reduced），且对于 $R$ 的每个极大理想 $M$，局部化 $R_M$ 都是整闭的 McCoy 环，那么多项式环 $R[X]$ 是整闭的。

• 核心问题 (Open Problem 9)：
  在《交换环理论中的开放问题》（Open Problems in Commutative Ring Theory）中，问题 9 询问：是否存在一个整闭的约化环 $R$，满足以下条件：

  1. 对于 $R$ 的每个极大理想 $M$，局部化 $R_M$ 都是整闭的 McCoy 环；
  2. $R$ 本身不是 McCoy 环；
  3. $R$ 不是局部整环（即存在某个极大理想 $M$，使得 $R_M$ 不是整环）。

  此前已知若 $R_M$ 是整闭整环，则 $R[X]$ 整闭；若 $R$ 是整闭约化 McCoy 环，则 $R[X]$ 整闭。该问题旨在探究上述两个充分条件之间的逻辑关系是否必须依赖“局部整环”或“全局 McCoy"性质。

2. 方法论 (Methodology)

作者通过构造一个具体的反例来回答上述问题。构造策略是将两个具有不同性质的环进行直积（Direct Product）：

1. 因子 A (Akiba 的 Nagata 型例子)：

   • 利用 Akiba 构造的一个整闭约化环 $A$。
   • 性质：$A$ 的每个局部化 $A_M$ 都是整闭整环（因此是 McCoy 环），但 $A$ 本身包含一个有限生成的零因子理想 $I_A$，其零化子为零（$\text{Ann}(I_A) = 0$）。因此，$A$ 不是 McCoy 环。
   • 构造细节：基于域 $k$ 上的多项式环 $k[X, Y]$，取不可约多项式的代表集，构造商环及其正规化，再通过直积和添加常数项构建 $A = R_{A,0}[u, v]$。

2. 因子 B (局部 McCoy 非整环)：

   • 构造一个局部环 $B$。
   • 性质：$B$ 是整闭的、McCoy 的，但不是整环。
   • 构造细节：令 $S_i = k[[t]]$ 为形式幂级数环，$m_i = t k[[t]]$。定义 $B = k + \bigoplus_{i \ge 1} m_i$（作为 $\prod S_i$ 的子环）。
   • 关键特征：$B$ 中的非零因子都是单位，因此 $B$ 是其全分式环，故整闭。任何有限生成的零因子理想都有非零零化子（通过选择支撑集之外的坐标构造零化子），故为 McCoy 环。但 $B$ 含有零因子，故非整环。

3. 最终构造：

   • 定义 $R = A \times B$。
   • 利用直积环的性质（极大理想的形式、局部化同构、零因子与零化子的行为）来验证 $R$ 是否满足所有条件。

3. 关键贡献与结果 (Key Contributions & Results)

论文证明了以下定理（Theorem 4）：

存在一个整闭约化环 $R$，满足：

1. 局部 McCoy 性：对于 $R$ 的任意极大理想 $\mathfrak{p}$，局部化 $R_{\mathfrak{p}}$ 都是整闭的 McCoy 环。
   • 若 $\mathfrak{p} = M \times B$（来自 $A$ 的极大理想），则 $R_{\mathfrak{p}} \cong A_M$，是整闭整环（故为 McCoy）。
   • 若 $\mathfrak{p} = A \times m_B$（来自 $B$ 的极大理想），则 $R_{\mathfrak{p}} \cong B$，是整闭 McCoy 环。
2. 全局非 McCoy 性：$R$ 本身不是 McCoy 环。
   • 构造理想 $J = I_A \times B$。由于 $I_A$ 是 $A$ 中零化子为零的有限生成零因子理想，直积性质保证了 $J$ 是 $R$ 中零化子为零的有限生成零因子理想。
3. 非局部整环：$R$ 不是局部整环。
   • 在极大理想 $\mathfrak{p}_0 = A \times m_B$ 处，$R_{\mathfrak{p}_0} \cong B$，而 $B$ 不是整环。

推论 (Corollary 5)：
存在一个整闭约化环 $R$，使得 $R[X]$ 是整闭的，但 $R$ 既不是 McCoy 环，也不是局部整环。这确认了 Huckaba 的推论条件（局部整闭 McCoy）是 $R[X]$ 整闭的充分条件，且该条件弱于“局部整环”或“全局 McCoy"。

4. 意义 (Significance)

1. 解决开放问题：该论文给出了《交换环理论中的开放问题》中问题 9 的肯定回答，填补了理论空白。
2. 厘清概念关系：
   • 证明了“局部整闭 McCoy"性质并不蕴含“全局 McCoy"性质。
   • 证明了“局部整闭 McCoy"性质并不蕴含“局部整环”性质。
   • 这表明 $R[X]$ 的整闭性可以通过比“局部整环”更弱的条件（即局部 McCoy）来保证，且这种保证不需要 $R$ 本身具有 McCoy 性质。
3. 构造技巧：论文展示了如何通过巧妙组合 Akiba 的经典反例（用于破坏全局 McCoy 性）和一个精心设计的局部环（用于破坏局部整环性但保持 McCoy 性），利用直积结构同时保留所需的局部性质并保留全局的“缺陷”。这种构造方法为未来研究交换环的局部与全局性质之间的关系提供了新的范式。

总结：马浩天通过构造 $R = A \times B$，成功展示了一个环可以在所有局部化中都表现良好（整闭且 McCoy），但在整体上既不满足 McCoy 条件也不是局部整环。这一结果深化了对多项式环整闭性条件的理解。