Faithful linear and relational representations of diagram categories and monoids

技術的概要：図式圏とモノイドの忠実な線形および関係的表現

問題定義
図式代数およびモノイド（分割代数、ブラウアー代数、テンペリー・リーブ代数など）は、統計力学、結び目理論、表現論において現れる数学および物理学における基本的な構造である。これらの構造は組合せ論的にはよく理解されているが、環や半環上の忠実な行列表現、特に線形表現は、歴史的に変換表現（集合への作用）に焦点を当てて研究されてきた。変換表現はしばしば高い次数（次元）をもたらす。例えば、分割モノイド $P_n$ の変換次数はベル数に関連している。

本研究で扱われる中心的な問題は、変換表現に比べて著しく効率的（低次元）な、図式圏およびモノイドの忠実な線形表現の構築である。さらに、著者らは、標準的な変換表現ではしばしば失われるこれらの対象の豊かな代数構造、具体的には対合（ダガー構造）およびテンソル積（モノイド構造）を保持する表現を追求する。

手法
著者らは、図式圏を半環上の行列の圏として表現するための統一的な枠組みを開発する。手法は以下の手順で進行する。

1. 写像の定義: 分割圏 $\mathcal{P}$ に対して、著者らは写像 $\phi: \mathcal{P} \to \mathcal{M}(K)$ を定義する。ここで $K$ は単位的半環である。分割 $a \in \mathcal{P}_{m,n}$ に対して、その像 $\hat{a}$ は $2^m \times 2^n$ のゼロ・ワン行列となる。行と列はそれぞれ $[m]$ と $[n]$ の部分集合によって添字付けられる。成分 $\hat{a}_{X,Y}$ は、集合 $X \cup Y'$ が分割 $a$ のブロックの和集合である場合に $1$となり、そうでない場合は$0$ となる。
2. 合成の解析: 核心的な技術的課題は、この写像が合成を保持する条件を決定することである。2 つの分割 $a$ と $b$ の積は「積グラフ」$\Pi(a,b)$ を含む。著者らは絡み集合（$X \cup Z'$ が $a$-ブロックの和集合であり、かつ $Z \cup Y'$ が $b$-ブロックの和集合となるような部分集合 $Z \subseteq [n]$）の概念を導入する。彼らは、与えられた対 $(X,Y)$ に対するそのような集合の数が、積グラフにおける「浮遊成分」（積グラフの中央行に完全に含まれる連結成分）の数 $\Phi(a,b)$ を用いて $2^{\Phi(a,b)}$ であることを証明する。
3. 半環の制約: 写像 $\phi$ が圏準同型となるのは、半環 $K$ が加法冪等（すなわち $1+1=1$）である場合に限られることが示される。そのような半環では、$2^{\Phi(a,b)}$ 個の $1$の和は$1$に縮退し、行列積$\hat{a}\hat{b}$が分割の積$ab$ を正しく反映することを保証する。
4. ねじれた圏への拡張: 著者らはこの構成をねじれた分割圏（$\mathcal{P}_\Phi$）および$d$-ねじれた圏（$\mathcal{P}_{\Phi,d}$）に適応させる。スカラー因子（2 のべき乗）を導入し、特定の特性（特性 0 または $2d+1$）を持つ環上で作業することで、ねじれパラメータを考慮した忠実な表現を構築する。
5. 部分圏の縮小: ブラウアー圏（$\mathcal{B}$）およびテンペリー・リーブ圏（$\mathcal{TL}$）については、著者らはブロックの大きさや平面性などの構造的性質を利用して行列次元を縮小する。彼らは、一般の分割の場合よりも厳密に小さい次元で忠実な表現を可能にする特定の添字集合（例えば、ブラウアーについては奇数基数の部分集合、テンペリー・リーブについては「偶数ギャップ」を持つ部分集合）を特定する。

主要な貢献と結果

• $\mathcal{P}$ の忠実な対合テンソル表現: 主要な結果（定理 3.11）は、任意の非自明な加法冪等半環 $K$ に対して、写像 $\phi$ が分割圏 $\mathcal{P}$ から行列圏 $\mathcal{M}(K)$ への忠実で対合的なテンソル圏表現であることを確立する。自己準同型モノイド $\mathcal{P}_n$ の像の次元は $2^n$ である。
• 次元の最小性: 著者らは（定理 3.14）、任意の単位的半環上の $\mathcal{P}$、$\mathcal{B}$、または $\mathcal{TL}$ の任意の忠実な対合テンソル表現において、$\mathcal{C}_n$ の像の次元は、ある整数 $d \ge 2$ に対して $d^n$ の形にならなければならないことを証明する。したがって、彼らの構成によって達成される $2^n$ という次元は、分割圏に対して最小である。
• ねじれた表現: 本論文は、特性 0 の半環上のねじれた分割圏 $\mathcal{P}_\Phi$（定理 4.1）および特性 $2d+1$ の環上の $d$-ねじれた圏 $\mathcal{P}_{\Phi,d}$（定理 4.3）に対する忠実な表現を提供する。これらの表現は、スカラー因子を通じて浮遊成分の数を符号化する。
• $\mathcal{B}$ および $\mathcal{TL}$ に対する縮小表現:
  • ブラウアー圏 $\mathcal{B}$ については、著者らは奇数次の部分圏 $\mathcal{B}_{odd}$ 上で次元 $2^{n-1}$ の忠実な表現を構築する（定理 5.2）。
  • テンペリー・リーブ圏 $\mathcal{TL}$ については、著者らは $\mathcal{TL}_n$ の像の次元が $n$ 番目のフィボナッチ数 $f_n$ となるような忠実な表現を構築する（定理 6.14）。これは、行列の添字を「偶数ギャップ」を持つ部分集合に制限することで達成される。
• 図式代数との関連: 本論文は、これらの圏表現と古典的な線形図式代数（例えば $P_n(K, \delta)$）との関係を調査する。線形分割圏 $P(K, 2)$ の表現は忠実ではない（例 7.2）が、テンペリー・リーブ代数 $TL(K, 2)$ への制限は忠実であることが示され（定理 7.4）、既知のブラウアー表現が特殊ケースとして回復される。

意義と主張
本論文は、冪等半環上の図式圏に対する最小の忠実な対合テンソル表現の構築を主要な貢献であると主張する。

• 効率性: これらの表現は変換表現よりも著しく効率的である。例えば、$P_n$ の変換次数はおよそ $B(n)$（ベル数）として成長するのに対し、ここでの行列次元は $2^n$ である。
• 構造の保持: 変換表現とは異なり、これらの行列表現は対合（行列転置として）およびテンソル構造（クロネッカー積として）を保持し、他のアプローチでは失われる代数情報を保持する。
• 組合せ論的洞察: この構成は、図式モノイドの代数構造と積グラフにおける「浮遊成分」の組合せ論との間の深い関連を明らかにする。浮遊成分の数は、ねじれた表現に必要なスカラー因子を直接決定する。
• 未解決の問題: 著者らは控えめに、テンソル保存表現に対しては次元が最小であるが、テンソル構造が要求されない場合により小さな忠実な表現が存在するかどうかは未解決の問題であると指摘する（質問 8.1 および 8.2）。また、大きな $n$ に対して任意の環上の特定のモノイドの実効次元を計算機上で決定することの難しさも強調している。

要約すると、本論文は、図式圏を研究するための厳密で統一的かつ最適（テンソル保存表現のクラス内において）な線形枠組みを提供し、組合せ論的図式理論と半環上の線形代数を架橋するものである。