Radical-Ideal Functors, a Support Bifibration, and Quantale Completion for Commutative Semirings

技术摘要：根理想函子、支撑双纤维化以及交换半环的量化完备化

问题陈述
交换半环支持多种通常不等价的理想学说（doctrines）：普通理想、减法（或 $k$-）理想以及强理想。每种学说都拥有独特的根理想（radical ideals）反射和素谱（prime spectra）。虽然这些对象可以分别进行构建，但其范畴关系——特别是它们在同态下的变化方式、其闭包学说如何自然比较，以及哪些泛性质构造代表了它们——尚未在一个统一的框架下得到充分组织。本文旨在解决系统化这些学说、比较它们的谱表示，并理解减法（$k$-）理想背景下理想完备化的单子性质的需求。

方法论
作者采用了基于相干 Stone 对偶、框架理论（frame theory）和量化（quantale）理论的范畴方法。该方法通过三个主要阶段进行：

1. 根理想的函子构造： 作者将根扩张定义为对于普通理想和 $k$-理想的收缩（contraction）的左伴随。这种伴随关系建立了从交换半环范畴（$CRig$）到相干框架范畴（$CohFrm$）的协变函子。这些函子被证明自然同构于相应素谱（$Spec$和$Speck$）的开集框架。
2. 通过核（Nuclei）进行自然比较： 从普通根理想到 $k$-根理想的过渡被形式化为一个自然核（一种保持有限交的闭包算子）。作者分析了该核的组分，证明它们是满射，并且在相干 Stone 对偶下对应于稠密子局部嵌入（dense sublocale embeddings）。这使得普通、$k$- 以及强素谱可以作为嵌套的自然谱函子进行精确比较。
3. 支撑理论与量化完备化： 本文利用支撑理论，通过通用的格值不变量来重构谱和根框架。作者构造了一个 Grothendieck 双纤维化（Grothendieck bifibration），其纤维是有限支撑的范畴。最后，对于完全理想化半环（complete idealic semirings），作者研究了 $k$-理想完备化作为自由量化构造的过程。他们计算了诱导单子，将其限制在框架对象上以与经典的理想格单子进行比较，并刻画了其 Eilenberg–Moore 代数。

核心贡献与结果

• 根理想函子与伴随关系： 本文确立了根扩张是普通根理想和 $k$-根理想收缩的左伴随。由此产生了相干框架值的函子 $RId$和$RId_k$，满足$RId(S) \cong \Omega(Spec(S))$且$RId_k(S) \cong \Omega(Speck(S))$。
• 自然核与谱嵌入： 比较映射 $j: RId \Rightarrow RId_k$ 被识别为一个自然核。在既定假设（还原且锥性的半环）下，该核的组分是满射，且诱导的谱映射对应于一个稠密子局部嵌入。普通、$k$- 和强素谱被组装成嵌套的自然谱函子，并伴随着其构造细分的闭嵌入。
• 支撑双纤维化： 作者将有限支撑理论全局化，证明了有限支撑范畴构成了一个 Grothendieck 双纤维化 $\pi: Supp_{tot} \to CRig$ 的纤维。规范的紧开支撑定义了一个双笛卡尔截面（bicartesian section）以及该投影的拟逆，有效地表明了总支撑范畴等价于半环的基础范畴。
• 量化完备化与单子识别： 对于完全理想化半环，$k$-理想构造实现了减法形式的理想量化完备化。计算了诱导单子 $T = U \circ Id_k$。
  • 其在框架对象子范畴上的限制与有界分配格上的经典理想格单子规范同构。
  • 该单子的 Eilenberg–Moore 范畴被证明等价于整积分交换量化（integral commutative quantales）的范畴。这刻画了整积分交换量化为满足乘法对任意并运算具有分配律的完全理想化半环。
• 应用与准则： 结构性结果提供了具体的准则：
  • 一个关于 $f$-环正锥的 Stone 谱准则（等价于 Stone 空间、布尔支撑格、冯·诺依曼正则性和根框架的零维性）。
  • 一个关于 $r$-半环的 $k$-素谱自然包含的稠密性准则。

意义与主张
本文声称其主要贡献不在于单个对象的构建（其中许多是经典的或改编自现有文献的），而在于连接它们的范畴结构。具体而言，作者断言，将根学说的自然比较、支撑双纤维化的构造，以及将 $k$-理想完备化单子与整积分交换量化之 Eilenberg–Moore 范畴进行识别结合在一起，在已发表的文献中并未以这种统一的形式出现。

这项工作为理解半环中不同的理想理论如何通过伴随和对偶联系起来提供了一个严密的框架。通过识别 $k$-理想完备化单子的 Eilenberg–Moore 代数，本文阐明了从完全理想化半环转向量化所需的精确代数条件（即对任意并运算的分配性）。其结果为局部化和层论（sheaf-theoretic）陈述提供了形式化的范畴推论，而 Stone 空间和稠密性准则则为特定类别的半环提供了具体的应用。