Commutative algebras in Grothendieck-Verdier categories, rigidity, and vertex operator algebras

技術要約：グロタンディーク・ヴェリエール圏における可換代数、剛性、および頂点演算子代数

問題提起
本論文は、頂点演算子代数（VOA）から派生する編入モノイダル圏において、剛性（双対対象の存在）を確立するという根本的な問題に取り組んでいる。剛性は、モジュラー・テンソル圏やトポロジカル不変量にとって基礎となるものであるが、興味深い多くのVOAの表現圏（特に非有理的、非半単純、または対数的なVOAに関連するもの）は、剛性を持つことが知られていない。既存の一般的な剛性の結果は、半単純性や（擬似ユニタリ性のような）圏的次元の非消滅といった強い仮定に依存することが多いが、これらは一般的な設定では検証が困難である。VOA $V$、その拡張 $A$、および関連するモジュール圏（$\mathcal{C}$, $\mathcal{C}_A$, および $\mathcal{C}^{\text{loc}}_A$）の間の剛性の関係は、KirillovとOstrikによる「剛な代数」（$\dim(A) \neq 0$ を要求する）の意味での代数 $A$ を必要としない、統一された圏論的枠組みを欠いている。

手法
著者らは、有限テンソル圏と、より一般的なグロタンディーク・ヴェリエール圏（より弱い双対構造を許容するもの）を橋渡しする、二段構えの圏論的アプローチを採用している。

1. 基底圏からのモジュール圏の剛性：
   基底となる編入モノイダル圏 $\mathcal{C}$ が有限テンソル圏であると仮定し、著者らは、$A$-モジュールの圏（$\mathcal{C}_A$）および局所的な$A$-モジュールの部分圏（$\mathcal{C}^{\text{loc}}_A$）が剛性を継承するための条件を調査している。

• 主要な転換： $A$ が非ゼロの次元を持つ「剛な」代数（あるいはエタール代数）であることを要求する代わりに、著者らはEtingofとOstrikによって導入された**完全な代数（exact algebras）**の概念を利用している。代数 $A$ が完全であるとは、$\mathcal{C}_A$ が $\mathcal{C}$ 上の完全なモジュール圏であることである。
• 基準： $A$ が編入有限テンソル圏における単純可換代数である場合、以下のいずれかの同値な条件を満たせば、$\mathcal{C}_A$ および $\mathcal{C}^{\text{loc}}_A$ の剛性が従うことを確立している（[EO21]より）：
  • $^*A \hookrightarrow A \otimes X$ （または $A^* \hookrightarrow X \otimes A$）という$A$-モジュールの埋め込みが存在する。
  • $A^* \otimes_A \, ^*A \neq 0$ である。
• 応用： これらの条件は、積分圏、フロベニウス代数、または $\text{Hom}_{\mathcal{C}}(A, 1) \neq 0$ の場合に成立することが示されている。

2. 局所モジュールからの基底圏の剛性（逆の構成）：
   著者らは逆の問題、すなわち、もし局所的なモジュールの圏 $\mathcal{C}^{\text{loc}}_A$ が剛であるならば、どのような条件下で基底圏 $\mathcal{C}$（および完全なモジュール圏 $\mathcal{C}_A$）は剛となるのか、という問題に取り組んでいる。

• 枠組み： 著者らは、$\mathcal{C}$ がグロタンディーク・ヴェリエール圏（単位対象 $1$ではない双対化対象$K$ を持つモノイダル圏）であると仮定している。この構造は剛性よりも弱いが、多くのVOAモジュール圏（例：[ALSW25]）において存在することが知られている。
• 誘導と双対性： 誘導による編入モノイダル関手 $I: \mathcal{C} \to \mathcal{Z}(\mathcal{C})^{\text{loc}}_{(A, \sigma)}$ （ここで $\mathcal{Z}$ はドリールドル・センター）を構成する。
• 剛性のための条件： もし $\mathcal{C}^{\text{loc}}_A$ が剛であり、かつ $\mathcal{C}_A$ のすべての単純対象が局所的であるならば、以下の条件の下で $\mathcal{C}$ は剛となる：
  • $\mathcal{C}$ に関する緩やかな非退化条件（誘導関手が完全忠実であることを保証するもの）。
  • 誘導関手が双対性と可換であること（具体的には、$F_A(DX) \cong F_A(X)^*$）。
  • 単位射 $\iota_A: 1 \to A$ が単射であること。

主要な貢献および結果

1. 拡張に関する剛性基準の一般化：
   本論文は、拡張 $A$ の圏的次元が非ゼロであることを要求する制約を取り除いている。拡張として完全な代数を用いることで、著者らは、$V$ が強有理的（strongly rational）なVOAであり、$A$ が単純な $\mathbb{Z}_{\geq 0}$-次数付き拡張であれば、$A$ もまた強有理的であることを証明している。これにより、擬似ユニタリ性を仮定することなく、最大限の一般性において長年の未解決問題を解決した。

2. 非有理的VOAのための剛性：
   著者らは、非半単純な設定における剛性の基準を提示している。具体的には、$V$ が剛な表現圏を持つ強有限（strongly finite）なVOAであり、$A$ が完全性の基準（例えば $A$ が自己共役であること）を満たす単純な拡張である場合、$\mathcal{C}_A$ は非退化な編入有限テンソル圏となる。さらに $A$ が $\mathbb{Z}$-次数付きであれば、その圏は（おそらく非半単純な）モジュラー・テンソル圏となる。

3. モジュール圏におけるグロタンディーク・ヴェリエール構造：
   本論文は、$\mathcal{C}$ がグロタンディーク・ヴェリエール圏であれば、$\mathcal{C}_A$ もまたグロタンディーク・ヴェリエール圏であることを証明している。さらに、$\mathcal{C}$ がリボン・グロタンディーク・ヴェリエール圏であり、$\theta^2_A = \text{id}_A$ であれば、局所モジュール圏 $\mathcal{C}^{\text{loc}}_A$ は編入グロタンディーク・ヴェリエール圏となる。これは、非剛なVOAの圏における双対性を研究するための構造的基礎を確立するものである。

4. 頂点代数的解釈：
   著者らは、これらの圏論的な結果を明示的に頂点代数の言語へと翻訳している。彼らは $\mathcal{C}^{\text{loc}}_A$ における双対化対象を余共役モジュール $A'$ と同定し、圏論的なグロタンディーク・ヴェリエール構造が余共役モジュールによって定義される頂点代数的構造と一致することを証明している。

意義および主張
本論文は、微分方程式（正則特異点方程式）のケースバイケースの解析や、半単純性や次元の非消滅といった制限的な仮定に依存することなく、頂点代数的編入モノイダル圏における剛性を証明するための、堅牢で一般的な枠組みを提供すると主張している。

• 未解決問題の解決： これらの結果は、任意の許容レベルにおける単純アフィンVOA $L_k(\mathfrak{sl}_2)$ の重みモジュールの圏の剛性を証明するために適用されている。これは、対数共形場理論の中心となる典型的な非半単純圏の例である。
• 対数カズダン・ルシュティグ対応の促進： 逆の結果（$\mathcal{C}^{\text{loc}}_A$ から $\mathcal{C}$ の剛性）は、非半単純なVOAモジュール圏と量子群／準ホップ代数の圏との間の同値性を証明することを目的としており、これを容易にする。著者らは、関連する関手の完全忠実性のための条件が従来想定されていたものよりも弱いことを指摘しており、これによりこれらの対応関係の確立がより実現可能になっている。
• 幅広い適用可能性： 本手法は、有理的VOAの拡張、トリプレット代数、アフィンVOAの許容レベル、さらには頂点演算子超代数の拡張を含む、幅広い例に適用できることが示されている。

要約すれば、本論文は、剛性が（完全性という）緩やかで検証可能な代数的条件の下で、VOAとその拡張の間で伝達可能な性質であることを確立しており、それによって、有理的および非有理的なVOAの表現圏の扱いを、グロタンディーク・ヴェリエール双対性の枠組みの中で統一している。