[論文レビュー] How to categorify the ring of integers localized at two

Mikhail Khovanov, Tian Yin|arXiv (Cornell University)|Feb 24, 2017

Algebraic structures and combinatorial models参考文献 22被引用数 3

ひとこと要約

本稿は、図式的DG圏とレヴィットパス代数を用いて、三角的モノイダルカルーブィ閉圏を構成し、環 ℤ[1/2] のカテゴリフィケーションを達成する。自己双対的シフト同型 X ≅ X[-1] ⊕ 1 を実現することで、コンパクトな導来圏のグローバー代数は ℤ[1/2] に同型となり、2での局域化された整数のカテゴリフィケーション問題に対する解決策が得られる。

ABSTRACT

We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two.

研究の動機と目的

• 『[17, 問題2.3』で提示された、整数環を2で局域化した環 ℤ[1/2] のカテゴリフィケーションの未解決問題を解くこと。
• グローバー代数が ℤ[1/2] に同型となる、イデムポテンツ完全で三角的モノイダル圏を構成すること。
• 自己双対的シフト同型を用いて、有理数グローバー代数を達成する図式的カテゴリフィケーション技法を一般化すること。

提案手法

• 単位対象 1 と対象 X によって生成されるDGモノイダル圏 𝒞 を定義し、局所的関係を modulo として用いた平面的アーキュレート図式で射を記述する。
• シフトとイデムポテンツ構造を符号化する関係を満たす4つの生成射（z, z*, x_i, x_i*）を用いて、同型 X ≅ X[-1] ⊕ 1 を実装する。
• 導来圏 D(𝒞) を構成し、そのコンパクト対象のフル部分圏 D^c(𝒞) を抽出する。この圏は三角的かつカルーブィ閉である。
• 自己準同型のDG代数とK理論の計算を用いて、グローバー代数 K₀(D^c(𝒞)) を分析する。
• グローバー群における関係 2[X] = 1 が成り立つことを示すことにより、K₀(D^c(𝒞)) ≅ ℤ[1/2] という環同型を確立する。
• 自己双対的同型 X ≅ 1 ⊕ X^{n+1} と関連するレヴィットパス代数を用いて、ℤ[1/n] への一般化を予想する。

実験結果

リサーチクエスチョン

• RQ1 環 ℤ[1/2] は、イデムポテンツ完全で三角的モノイダル圏のグローバー代数としてカテゴリフィケーション可能か？
• RQ2 DG圏において、自己双対的シフト同型 X ≅ X[-1] ⊕ 1 をどのように図式的に実装することで、グローバー代数に 1/2 を実現できるか？
• RQ3 レヴィットパス代数およびそのK理論は、このようなカテゴリフィケーションの構成において果たす役割は何か？
• RQ4 この構成は、任意の n ≥ 2 に対して ℤ[1/n] のカテゴリフィケーションに一般化可能か？
• RQ5 レヴィット代数 L(m, 3m+1) 上の加群への、カテゴリフィケーションされた環のカテゴリカル作用は存在するか？その作用は、ℤ/(2m+1) 上における ℤ[1/2] の線形作用を上昇させるか？

主な発見

• コンパクトな導来圏 D^c(𝒞) のグローバー代数は ℤ[1/2] に同型であり、[X] は 1/2 に写像される。
• 圏内での同型 X ≅ X[-1] ⊕ 1 は、K₀ において関係 2[X] = 1 を誘導し、1/2 をグローバークラスとして実現する。
• 圏 𝒞 は、特定の関係を満たす生成射 z, z*, x_i, x_i* を用いた図式的DG圏として構成される。これらの関係は、シフトとイデムポテンツ構造を符号化する。
• 導来圏 D(𝒞) は、End(1 ⊕ X) 上にDG代数構造を持ち、微分は自明である。基底はイデムポテンツ分解を用いて構成される。
• K理論の計算により、K₀(D^c(𝒞)) ≅ ℤ[1/2] が示され、局所化された環のカテゴリフィケーションが確認される。
• 予想として、同型 X ≅ 1 ⊕ X^{n+1} を用いた ℤ[1/n] への一般化が提示され、対応するK理論同型 K₀(Ka(𝒞)) ≅ ℤ[1/n] が期待される。