[論文レビュー] 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(F) が全射を意味するように、関手 F が検出する必要がある射の正確なクラスを同定すること。
• 関手 F が右随伴を持つ場合に、全射性の双対性に基づく基準を確立すること。
• テンソル三角幾何におけるコアリティおよびスペクトル全射性のテストのための一般枠組みを提供すること。
• 安定ホモトピー論における既知の結果（例：冪零性定理）を、より広範な圏的設定へと拡張すること。

提案手法

• テンソル三角スケルタ（Spc）を、テンソル三角圏を研究する幾何的道具として用いる。
• スペクトルの全射性に関して、コーン上で ⊗-冪零である射のクラスを、全射性の鍵となるクラスとして導入する。
• tt-幾何学における標準的技法「存在性トリック」を用いて、ターゲットスケルタ内の素点を構成する。
• 圏 K と L 間の随伴関係を活用し、スペクトル写像の像を F の右随伴のサポートに関連付ける。
• 射影公式および単位射（ξx）を含む完全三角形を用いて、冪零性条件を分析する。
• Spc(F) の全射性問題を、元の圏における単位射 ξx ⊗ s に関する条件の確認に還元する。

実験結果

リサーチクエスチョン

• RQ1 テンソル三角関手 F: K → L から誘導される写像 Spc(F): Spc(L) → Spc(K) が全射となるのはいつか？
• RQ2 Spc(F) が全射であるためには、F がどのクラスの射を検出する必要があるか？
• RQ3 Spc(F) がスペクトル的に全射であるならば、F はすべての射の ⊗-冪零性を検出するのか？
• RQ4 F が右随伴を持つ場合、Spc(F) の全射性にどのような影響を与えるか？
• RQ5 F の右随伴 U に対する 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 に対して対応する写像が全射であることと同値である（本稿の条件のもとで）。