[论文解读] Monoidal functor categories and graphic Fourier transforms

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

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

一句话总结

本文建立了一个范畴框架，将 Kan 扩张与 $*$-自伴张量范畴联系起来，通过函子范畴中的卷积来推广傅里叶变换。通过在 $[\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}]$ 中，利用上卷积与下卷积定义并分析‘图形’傅里叶变换。
• 建立变换的卷积积对应于变换张量积的条件，推广经典傅里叶对偶性。
• 通过丰富范畴论将霍普夫代数傅里叶变换推广至多对象霍普夫胚。
• 为基于 Kan 扩张与丰富函子范畴对偶性的变换提供范畴基础。

提出的方法

• 使用 $*$-自伴对称张量范畴 $\mathcal{V}$ 作为基范畴，定义丰富函子范畴 $[\mathcal{A}, \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,-))^*$。
• 应用 Kan 扩张在 $[\mathcal{A}, \mathcal{V}]$ 中的函子上定义‘傅里叶变换’，使得卷积的变换等于变换的张量积。
• 将乘法核定义为乘法函子的来源，示例包括关联方案。
• 引入 J oyal-Wiener 变换范畴，证明在简单条件下其与原范畴等价。
• 在预单体范畴上使用反极函子 $S$ 定义对偶性与 $S$-自伴结构，从而实现 $*$-自伴卷积。

实验结果

研究问题

• RQ1 如何通过 Kan 扩张与 $*$-自伴范畴在范畴设定下推广傅里叶变换？
• 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)^*$ 定义。
• 在温和条件下，Joyal-Wiener 变换范畴是张量范畴，且与原范畴 $[\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)$，确保极限与余极限的相容性。