[論文レビュー] Monoidal functor categories and graphic Fourier transforms

Brian J. Day|ArXiv.org|Dec 18, 2006

Algebraic structures and combinatorial models参考文献 12被引用数 7

ひとこと要約

この論文は、ファンクター圏における畳み込みを通じて、ケン拡張と$*$-自己対称モノイド圏を関連付ける圏論的枠組みを確立し、$[*]$-自己対称構造の下でフーリエ変換を一般化する。$[\mathcal{A}, \mathcal{V}]$における上部畳み込みと下部畳み込みを通じて「グラフィック」フーリエ変換を導入し、畳み込み積の変換が変換のテンソル積に対応することを示す。これは、$[*]$-自己対称構造の下で、古典的およびホップ代数的フーリエ理論を一般化する。

ABSTRACT

This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures.

研究の動機と目的

• [$*$-自己対称対称モノイド圏を通じて、フーリエ理論、量子代数、圏論を統一すること。
• ファンクター圏$[\mathcal{A}, \mathcal{V}]$における上部畳み込みと下部畳み込みを用いて「グラフィック」フーリエ変換を定義・分析すること。
• 畳み込み積の変換が変換のテンソル積に対応する条件を確立し、古典的フーリエ双対性を一般化すること。
• 豊密化圏論を用いてホップ代数的フーリエ変換を多対象ホップアダボイドへ拡張すること。
• ケン拡張と豊密ファンクター圏における双対性を用いて、変換の圏論的基盤を提供すること。

提案手法

• 豊密ファンクター圏$[\mathcal{A}, \mathcal{V}]$を定義するために、$[*]$-自己対称対称モノイド圏$\mathcal{V}$を基本圏として用いる。
• コインデックスを用いて上部畳み込みと下部畳み込みを導入する：$f \overline{*} g = \int^{ab} f(a) \otimes g(b) \otimes p(a,b,-)$ および $f \underline{*} g = (\int^{ab} f(a)^* \otimes g(b)^* \otimes p(a,b,-))^*$。
• ケン拡張を用いて、$[\mathcal{A}, \mathcal{V}]$内のファンクターに対する「フーリエ変換」を定義し、畳み込みの変換が変換のテンソル積に一致することを示す。
• 乗法的ファンクターの出発点として乗法的カーネルを定義し、例として結合スキームを挙げる。
• ジョイアル＝ヴァイナーの変換圏を導入し、簡単な条件下で元の圏と同値であることを示す。
• プロモノイド圏における反対関手$S$を用いて双対性と$S$-自己対称構造を定義し、$[*]$-自己対称畳み込みを可能にする。

実験結果

リサーチクエスチョン

• RQ1 ケン拡張と$[*]$-自己対称圏を用いた圏論的枠組みにおいて、フーリエ変換をどのように一般化できるか？
• RQ2 畳み込み積の変換が変換のテンソル積に一致するための条件は何か？
• RQ3 ファンクター圏$[\mathcal{A}, \mathcal{V}]$における$[*]$-自己対称構造が、古典的およびホップ代数的フーリエ変換をどのように一般化するか？
• RQ4 反対関手と$S$-自己対称プロモノイド圏は、畳み込み代数における双対性と逆元の存在をどのように支援するか？
• RQ5 有限$\mathcal{V}$-グラフは、変換構成におけるコイントロールとコロイミットの整合性を保証するためにどのように機能するか？

主な発見

• ファンクター圏$[\mathcal{A}, \mathcal{V}]$における上部畳み込み$f \overline{*} g$の変換は、$f$と$g$の変換のテンソル積と同型であり、古典的フーリエ変換の性質を一般化する。
• $S$-自己対称構造の下で、$[\mathcal{A}, \mathcal{V}]$における上部畳み込みは$[*]$-自己対称となり、双対性は$f^*(a) = f(Sa)^*$で定義される。
• ジョイアル＝ヴァイナーの変換圏はモノイド的であり、やや弱い条件下で元の圏$[\mathcal{A}, \mathcal{V}]$と同値であり、変換構造を保存する。
• 下部畳み込みは、$[*]$-双対性の下で上部畳み込みの双対として現れ、$f \underline{*} g \cong (f^* \overline{*} g^*)^*$が成り立つ。
• $\mathcal{V} = \mathbf{Set}$ または $\mathbf{Vect}_k$ の場合、有限$\mathcal{V}$-グラフによりコイントロール$\int^a T(a,a)$が、部分グラフ上の有限コイントロールのフィルター付きコロイミットとして計算可能である。
• $\mathcal{A}$ がその有限$\mathcal{V}$-部分グラフの有向和であるとき、自然な同型$\underset{\phi}{\mathrm{colim}} \int^x T_\phi(x,x) \cong \int^a T(a,a)$が成り立ち、極限とコロイミットの整合性が保証される。