[논문 리뷰] Monoidal functor categories and graphic Fourier transforms

Brian J. Day|ArXiv.org|2006. 12. 18.

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{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,-))^*$.
• 칸 확장을 적용하여 $[\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)$의 표준 동형이 성립하며, 이는 극한과 극한의 호환성을 보장한다.