非交换张量三角几何中理想的伪Hochster对偶分类框架

《Advances in Mathematics》：Re-framing the classification of ideals in noncommutative tensor triangular geometry

　　

研究人员证明了单oidal三角范畴的非交换Balmer谱的"伪Hochster对偶"（pseudo-Hochster dual）分类其半素厚?-理想（semiprime thick ?-ideals）。这将Balmer关于根厚?-理想的分类推广至非交换张量三角几何。为实现此目标，研究人员利用了格（lattices）与帧（frames）的支撑数据（support data）概念，在此框架下分类通过Stone对偶（Stone duality）得出。研究人员还给出了非交换Balmer谱何时表现出与张量三角几何中相同行为的刻画，即当其为一个谱空间（spectral space）且准紧开集（quasi-compact opens）由支撑的补集给出时。最后，研究人员证明了刚性中心生成单oidal三角范畴（rigid centrally generated monoidal triangulated categories）满足该性质，并回答了Negron–Pevtsova关于通过上同调支撑（cohomological support）分类单边?-理想的问题。

**研究背景与问题**：在张量三角几何中，Balmer建立了本原小张量三角范畴K的Balmer谱Spc(K)与其根厚?-理想之间的序保持双射，该分类通过Thomason子集实现，且Spc(K)作为万有支撑数据是唯一的。然而，当张量积非交换时，Nakano–Vashaw–Yakimov建立了非交换张量三角几何，引入了非交换Balmer谱Spc(K)和完全素谱Spc^cp(K)，但厚?-理想的分类问题悬而未决。此前的研究在刚性、大范畴扩张、Noetherian性等假设下给出了部分回答，但Huang–Vashaw给出了一个反例，表明半素厚?-理想由Spc(K)的特化闭子集参数化，而该集合严格大于Thomason子集，使得分类图景变得模糊。Buan–Krause–Solberg和Koch–Pitsch提出了格论视角，指出在张量三角设定中，Balmer谱的Hochster对偶Spc(K)^∨通过Stone对偶对应于根厚?-理想的相干帧。本文进一步运用Stone对偶来解决非交换张量三角几何中的两个核心分类问题：(a)给定万有支撑(Spc(K), supp)，能否总是分类本原小单oidal三角范畴K的半素厚?-理想？(b)分类何时表现得如张量三角设定中那样，即Spc(K)为谱空间且准紧开集由支撑的补集给出，并存在半素厚?-理想与Thomason子集之间的序保持双射？

**主要研究内容与结论**：研究人员定义了半素厚?-理想格Ts(K)，并证明了Ts(K)与伪Hochster对偶Spc(K)^ν的开集格Ω(Spc(K)^ν)之间存在自然同构（定理A），其中Spc(K)^ν与Spc(K)作为集合相同，支撑supp(x)构成其拓扑的开基。这一结果协调了Huang–Vashaw的反例：其特化闭子集恰好是Spc(K)^ν的开子集。为回答第二个问题，研究人员引入了两个关键定义：主闭性（principally closed，即任意两个主半素厚?-理想的交仍为主半素厚?-理想）和紧检测（compact detection，即对任意x∈K存在s_x∈K使得对任意半素厚?-理想I，x∈I当且仅当x?s_x?x∈I）。研究人员证明了以下等价条件（定理B）：(a)K具有主闭性和紧检测；(b)主半素厚?-理想偏序集ts(K)是Ts(K)的紧元素构成的有界分配格；(c)非交换Balmer谱Spc(K)是谱空间且准紧开集由支撑的补集给出。在这些条件下，半素厚?-理想与Spc(K)的Thomason子集之间存在序保持双射（推论5.23），从而将Balmer分类定理推广到非交换设定。研究人员还证明了刚性中心生成单oidal三角范畴满足这些条件，并给出了通过上同调支撑分类有限群概形稳定模范畴的单边厚?-理想的结果（定理D），回答了Negron–Pevtsova的问题。

**关键技术方法**：研究人员主要运用了以下方法：(1)格论与帧理论，包括有界分配格、相干帧、紧元素等概念，建立了Ts(K)作为空间帧的结构；(2)Stone对偶，将空间帧与 sober 拓扑空间之间的反等价关系应用于非交换Balmer谱的分类问题；(3)Hochster对偶及其推广（伪Hochster对偶），用于联系Spc(K)与Spc(K)^ν的拓扑结构；(4)素提升引理（prime lifting lemma），用于证明Ts(K)中元素的紧性；(5)交叉积范畴的构造，用于研究群作用下的单oidal三角范畴及其谱的继承性质。样本队列来源方面，本文为纯理论研究，不涉及实验样本。

**研究结果**：

**Ts(K)是空间帧（定理4.11）**：通过证明Ts(K)中的交-素元素恰好对应于K的素厚?-理想（命题4.7），并结合Stone对偶，研究人员得出Ts(K)?Ω(Spc(K)^ν)，其中Spc(K)^ν为伪Hochster对偶。该结果将Balmer谱的分类问题转化为格论问题，并表明Spc(K)^ν是准紧的（命题4.13），从而排除了某些sober空间作为非交换Balmer谱伪对偶的可能性。

**主闭性与紧检测的等价刻画（定理5.19、推论5.22、推论5.23）**：研究人员证明了Ts(K)为相干帧且紧元素恰为主半素厚?-理想当且仅当K具有主闭性和紧检测。在此条件下，Spc(K)为谱空间，准紧开集由supp(x)^c给出，且半素厚?-理想与Thomason子集之间存在序保持双射。该结果统一并推广了此前所有已知的非交换Balmer分类情形，包括交换情形、完全素谱情形、Noetherian情形和厚生成元情形。

**中心生成蕴含主闭性（命题6.3）**：研究人员证明了若K满足弱中心生成假设且具有紧检测（如K为刚性），则每个主厚?-理想可由中心化生成集的对象生成，从而K具有主闭性。该结果为Negron–Pevtsova所研究的稳定模范畴提供了理论支撑。

**交叉积范畴的继承性质（命题6.6、命题6.7）**：研究人员证明了若K的所有G-素理想均为半素且K具有紧检测，则交叉积范畴K?G也具有紧检测；若进一步G为有限群且K具有主闭性，则K?G也具有主闭性。这表明有限群交叉积在良好条件下保持分类性质。

**Negron–Pevtsova问题的回答（推论6.11）**：研究人员证明了对于完美域上的有限群概形G，由上同调支撑诱导的映射M给出了Proj(Ext^•_Coh(G)(1,1))的特化闭子集与stab(Coh(G))的厚右?-理想之间的双射，从而肯定回答了Negron–Pevtsova的问题。该结果的证明利用了稳定模范畴与交叉积范畴的等价stab(Coh(G))?stab(Coh(G⁰))?π，以及Noetherian性将Thomason子集与特化闭子集等同。

**讨论与结论**：研究人员在讨论部分强调了支撑理论与Balmer分类结果可以通过Stone对偶重新框架化的核心思想，并给出了格论性质与支撑理论性质之间的对应表（表1），包括Ts(K)为相干帧对应Spc(K)^∨和Spc(K)为谱空间、Ts(K)为空间帧对应Spc(K)^ν为sober空间、I∈Ts(K)为紧元素对应supp(I)?Spc(K)^ν为准紧等。研究人员指出，非交换设定中Ts(K)未必是相干帧，这正是Huang–Vashaw反例的根源；而主闭性和紧检测精确刻画了相干性成立的情形。此外，研究人员将Barthel关于Cohen定理的张量三角版本推广到格论和非交换设定（推论5.27），并加强了Nakano–Vashaw–Yakimov关于通过分类支撑数据检测Balmer谱的定理（推论5.26），使其适用于非Noetherian谱。最后，研究人员指出单边厚?-理想的分类在一般情况下是不现实的，Negron–Pevtsova问题的肯定回答属于高度例外情形。研究结论部分（推论6.11）可翻译为：设G为完美域上的有限群概形，则由上同调支撑定义的比较映射M诱导了Proj(Ext^•_Coh(G)(1,1))的特化闭子集与stab(Coh(G))的厚右?-理想之间的双射。