Grothendieck rings of near-Tambara--Yamagami fusion categories

技術的要約：近タンバラ・ヤマガミ融合圏のグロテンドック環

問題設定
融合圏（fusion categories）の分類は、表現論、量子トポロジー、および数理物理学の交差点における中心的な構造的問題であり続けている。グロテンドック環（融合環）は融合規則を離散的かつ計算可能なものにするが、それ自体は結合子（associator）を一意に決定するものではない。五角形方程式（pentagon equations）は非常に厳しい制約を課しており、与えられた環の圏論的構成（categorification）をしばしば妨げる。本論文は、「近タンバラ・ヤマガミ（near-Tambara–Yamagami）」融合圏の分類に取り組むものである。ここで、当該の融合圏 $\mathcal{C}$ は、非点（non-pointed）なタンバラ・ヤマガミ融合部分圏 $\mathcal{D}$ と、ちょうど一つの追加の単純対象 $\rho$ を含むものとする。本研究の目的は、そのような融合圏に対して可能なグロテンドック環を決定し、これらの環のうちどのものが圏論的構成を許容するかを確立することである。

手法
著者らは、数値的制約、ガロア理論、および圏論的再構成技術の組み合わせを用いている：

1. 数値解析と形式的余余次元（Formal Codegrees）： 解析は、パラメータ $n$（ここで $|G|=n^2$ かつ $FPdim(t)=n$）および$\kappa$（$\rho^2$における$\rho$の係数）に関する必要条件を導出することから始まる。形式的余余次元定理およびドリンフェルト中心$Z(\mathcal{C})$を用いて、誘導対象$I(X)$ の次元を分析する。
2. ガロア反射とトレース境界： 無理数ケース（フロベニウス・ペロン次元 $d = FPdim(\rho)$ が整数でない場合）において、著者らはガロア共役を利用して、圏を擬ユニタリなものへと写像する。ドリンフェルト中心へのガロア反射を適用し、フロベニウス・シュール指標（$\nu_j$）を分析することで、1の冪根の和に関する同時制約を導出する。二次トレース境界および円分モーメントの議論を用いて、不可能なパラメータ値を排除する。
3. 群論的実現： 整数ケースにおいて、著者らは可換な対象によって生成される部分圏と、追加の対象との構造を分析する。タンナキアン再構成および鋭い二重推移群（sharply doubly transitive groups）の理論を利用して、群 $G$ とパラメータ $\kappa$ を制約する。
4. 明示的な構成： 生き残った候補に対して、著者らは明示的な実現を構成する。$\kappa=7$ の場合、その圏を $\text{Rep}(PSU(3, 2))$ と同定する。$\kappa=2$ の場合、群 $L = PGL_2(\mathbb{F}_3)$、特定の3次コサイクル、および部分群 $H \cong C_2 \times C_2$ を用いて、ユニタリ群論的融合圏を構成する。

主要な貢献と結果

• ランク減少とパラメータ制約： 著者らは、そのような圏がいかなる場合もランク6を持つことを証明する。可換な対象の群 $G$ は必然的にクラインの四元群（$C_2 \times C_2$）と同型であり、これは $n=2$ であることを意味する。

• 候補の分類： 数値解析により、初期段階で $\kappa$ の候補として $0, 2, 7, 8$ の4つの値が得られる。

  • $\kappa = 8$（非存在）： 本論文は、候補となる $\kappa=8$（これは無理数次元 $d = 4 + 2\sqrt{6}$ に対応する）が不可能であることを証明する。これは、ドリンフェルト中心のツイストから導かれる1の冪根のマルチセットを構成し、要求されるモーメント条件が矛盾（$46 \ge 48$）を導くことを示すことで達成される。
  • $\kappa = 0$（無理数ケース）： $\kappa=0$（$d=2\sqrt{2}$）のケースは実現可能であることが示される。そのような全ての圏は、Choi–Lu–Sunによって分類された $\text{Rep}(H_8)$（ここで $H_8$ はカッツ・パルユトキン・ホップ代数）のランク1奇成分拡張のリストにある要素とテンソル同値である。
  • $\kappa = 2$（整数ケース）： 著者らは、環 $R_2$ に対する明示的なユニタリ群論的圏論的構成を構築する。これには、群 $PGL_2(\mathbb{F}_3)$ と特定のコホモロジーデータが含まれる。
  • $\kappa = 7$（整数ケース）： 環 $R_7$ は、表現圏 $\text{Rep}(PSU(3, 2))$ によって実現される。

• 主要定理（定理 1.2）： 本論文は、非点的なタンバラ・ヤマガミ部分圏 $\mathcal{D}$ とちょうど一つの追加の単純対象を含む融合圏 $\mathcal{C}$ について、そのグロテンドック環 $K_0(\mathcal{C})$ が $\kappa \in \{0, 2, 7\}$ である $R_\kappa$ と同型であることを確立する。これら3つの基礎となる環はすべて圏論的構成が可能である。

意義と主張
本論文は、この特定の家族（非整数的な融合圏）に対する「基礎となる環（based rings/Grothendieck rings）」の完全な分類を提供すると主張している。これは、数値的条件（形式的余余次元やフロベニウス・ペロン次元など）が可能性を絞り込む一方で、圏論的構成の存在がいかに厳格な条件であり、$\kappa=8$ の候補を排除することになるかを実証している。

著者らは、自らの結果が、トポロジカルおよび物理的な構成のための「信頼できる代数的モデル」を提供することで、より広範な分類プログラムに寄与することを強調している。彼らは、$\kappa=2$ および $\kappa=7$ に関して、結果は圏論的構成の存在と基礎となる環の同型に関するものであり、これらの環に対する全ての可能なテンソル同値（結合子）を分類することを主張しているのではなく、特定の実現が存在することのみを主張していることを明記している。本研究は、ドリンフェルト中心とガロア対称性が、基本的な数値的制約を満たす潜在的な融合環を排除するためにいかに有用であるかを浮き彫りにしている。