[论文解读] On the surjectivity of the map of spectra associated to a tensor-triangulated functor

Paul Balmer|arXiv (Cornell University)|Jun 10, 2017

Algebraic structures and combinatorial models参考文献 19被引用 19

一句话总结

本文精确定義了由張量三角函子導出的張量三角譜之間的映射在何種情況下是滿射。證明顯示，譜上的滿射性等價於函子對其錐上已為冪零的態射檢測冪零性。主要貢獻在於提出一種基於對偶理論的準則，將譜的滿射性與冪零性檢測聯繫起來，並應用於穩定同倫理論、代數幾何與表示理論。

ABSTRACT

We prove a few results about the map $Spc(F)$ induced on tensor-triangular spectra by a tensor-triangulated functor $F$. First, $F$ is conservative if and only if $Spc(F)$ is surjective on closed points. Second, if $F$ detects tensor-nilpotence of morphisms then $Spc(F)$ is surjective on the whole spectrum. In fact, surjectivity of $Spc(F)$ is equivalent to $F$ detecting the nilpotence of some class of morphisms, namely those morphisms which are nilpotent on their cone.

研究动机与目标

• 精確描述由張量三角函子 F: K → L 導出的譜映射 Spc(F): Spc(L) → Spc(K) 何時為滿射。
• 識別出何種態射類別的 ⊗-冪零性檢測可確保譜映射的滿射性。
• 當函子容許右伴隨時，建立基於對偶的滿射性準則。
• 提供一個測試張量三角幾何中保守性與譜滿射性的通用框架。
• 將穩定同倫理論中已知結果（例如冪零定理）推廣至更廣泛的范畴設定。

提出的方法

• 使用張量三角譜（Spc）作為幾何工具來研究張量三角範疇。
• 引入在錐上為 ⊗-冪零的態射類別，作為譜滿射性的關鍵類別。
• 應用「存在性技巧」（tt-幾何中的標準技術）在目標譜中構造素數。
• 利用範疇 K 與 L 間的伴隨關係，將譜映射的像與函子 F 的右伴隨的支撐聯繫起來。
• 使用投影公式與涉及單位態射（ξx）的正合三角形來分析冪零條件。
• 將滿射性問題簡化為在源範疇中檢查單位態射 ξx ⊗ s 上的一個條件。

实验结果

研究问题

• RQ1 何時由張量三角函子 F: K → L 導出的映射 Spc(F): Spc(L) → Spc(K) 是滿射？
• RQ2 函子 F 必須檢測哪一類態射，才能確保 Spc(F) 是滿射？
• RQ3 Spc(F) 的譜滿射性是否意味著 F 檢測所有態射的 ⊗-冪零性？
• RQ4 F 容許右伴隨時，如何影響 Spc(F) 的滿射性？
• RQ5 能否利用右伴隨 U(1) 的支撐來計算 Spc(F) 在 Spc(K) 中的像？

主要发现

• 映射 Spc(F): Spc(L) → Spc(K) 是滿射，當且僅當函子 F 檢測在錐上已為 ⊗-冪零的態射的 ⊗-冪零性。
• 若 F 是保守的，則 Spc(F) 在 Spc(K) 的閉點上是滿射，且此條件等價於 F 檢測對象的 ⊗-冪零性。
• 當 F 容許右伴隨 U 時，Spc(F) 的像是 Spc(K) 中 U(1) 的支撐，即 im(Spc(F)) = supp(U(1))。
• Spc(F) 的滿射性意味著 Spc(K) 中每一個素理想都可作為 Spc(L) 中某個素理想的原像，這推廣了穩定同倫理論中的經典結果。
• 在 K ⊂ L 為剛性張量三角子範疇的情況下，Spc(K) 中的每一個素理想都是 Spc(L) 中某個素理想與 K 的交集。
• 在本文條件下，若 K 是一個細胞子範疇，則對應的比較映射 ρ• 是滿射，當且僅當在周圍範疇 L 中的對應映射也是滿射。