[논문 리뷰] Fourier transform on locally compact quantum groups

Byung-Jay Kahng|ArXiv.org|2007. 08. 22.

Advanced Operator Algebra Research참고 문헌 11인용 수 11

한 줄 요약

이 논문은 힐베르트 공간의 동형으로 인해 '숨겨진' 것으로 간주되는 비아벨적이고 비자명한 이중성의 국소적으로 컴act한 양자군에서, 하르 무게와 승수 호프 대수 프레임워크를 사용하여 일반화된 푸리에 변환과 그 역을 도입한다. 이는 고전적 조화 분석을 확장한다. 논문은 푸리에 역변환 정리, 플랑카렐 정리, 커플렉션 곱의 양자 동치를 확립하며, 하르 무게와 푸리에 변환을 통한 이중 쌍대성의 새로운 특성화를 제공한다.

ABSTRACT

The notion of Fourier transform is among the more important tools in analysis, which has been generalized in abstract harmonic analysis to the level of abelian locally compact groups. The aim of this paper is to further generalize the Fourier transform: Motivated by some recent works by Van Daele in the multiplier Hopf algebra framework, and by using the Haar weights, we define here the (generalized) Fourier transform and the inverse Fourier transform, at the level of locally compact quantum groups. We will then consider the analogues of the Fourier inversion theorem, Plancherel theorem, and the convolution product. Along the way, we also obtain an alternative description of the dual pairing map between a quantum group and its dual.

연구 동기 및 목표

• 국소적으로 컴팩트한 양자군의 맥락에서 고전적 푸리에 변환을 일반화하기 위해, 이중성이 비자명하고 힐베르트 공간의 동형으로 인해 변환이 '숨겨져' 있는 상황을 다루는 것.
• 기존 프레임워크의 한계를 극복하기 위해, 연산자 대수 수준에서 실용적인 푸리에 변환과 그 역의 정의를 내리는 것.
• 기본 결과의 양자 동치를 확립하기 위해: 푸리에 역변환, 플랑카렐 정리, 커플렉션 곱.
• 푸리에 변환과 하르 무게를 활용하여 양자군과 그 이중체 간의 이중 쌍대성에 대한 대안적이고 단순화된 묘사를 제공하는 것.

제안 방법

• 정상적, 반유한, 충실한 (n.s.f.) 무게와 승수 유니터리 연산자를 기반으로 한 국소적으로 컴팩트한 양자군의 바나흐 대수 프레임워크를 사용한다.
• 양자군의 원소와 그 이중체에 대한 하르 무게의 작용을 통해 일반화된 푸리에 변환을 정의한다.
• 일반화된 본트리아진 이중성을 적용하여 양자군과 그 이중체를 연결하고, 이중체의 자기이중성 보장.
• 역 푸리에 변환을 유도하고, 정방향 변환과의 병합이 항등원을 생성함을 증명함으로써 양자 푸리에 역변환 정리를 확립한다.
• 푸리에 변환을 사용하여 양자군과 그 이중체의 조밀한 부분대수 간의 이중 쌍대성을 하르 무게와 내적을 통해 표현한다.
• 푸리에 변환에서 유도된 커플렉션 곱 공식을 적용하여, 아벨 경우에 고전적 커플렉션과의 일致성을 보여준다.

실험 결과

연구 질문

• RQ1 국소적으로 컴팩트한 양자군에서, 군과 그 이중체 간의 힐베르트 공간 동형으로 인해 푸리에 변환이 어떻게 의미 있게 정의될 수 있는가?
• RQ2 국소적으로 컴팩트한 양자군의 맥락에서 고전적 푸리에 역변환 및 플랑카렐 정리의 양자 동치는 무엇으로 확립될 수 있는가?
• RQ3 양자군과 그 이중체 간의 이중 쌍대성은 푸리에 변환과 하르 무게를 통해 재표현될 수 있는가?
• RQ4 이 일반화된 프레임워크에서 양자군의 커플렉션 곱은 푸리에 변환과 어떻게 관련이 있는가?
• RQ5 승수 유니터리와 쌍대 사상이 이 맥락에서 푸리에 변환을 정의하는 데 어떤 역할을 하는가?

주요 결과

• 일반화된 푸리에 변환은 양자 푸리에 역변환 정리를 만족한다: 정방향 변환 후에 역변환을 적용하면 원래의 원소가 복원된다.
• 플랑카렐 정리는 다음과 같은 형태로 성립한다: 함수 $a$의 $L^2$-노름은 그 푸리에 변환의 $L^2$-노름과 같다. 즉, $\|a\|_2^2 = \hat{\varphi}(\mathcal{F}(\pi_a)^*\mathcal{F}(\pi_a))$.
• 두 함수 $a, c \in C_c(G)$의 커플렉션 곱은 $(a \ast c)(y) = \int a(x)c(x^{-1}y)\,dx$로 주어지며, 고전 공식과 일致한다.
• 이중 공간의 연산자 $L_b, L_d$에 대해 커플렉션 곱은 $(b \ast d)(x) = b(x)d(x)$를 만족하여, 이중도메인에서의 점별 곱셈을 반영한다.
• 연산자 $\pi_a$와 $L_b$ 간의 이중 쌍대성는 $\langle L_b \mid \pi_a \rangle = \int a(x)b(x)\,dx$로 특성화되며, 이는 푸리에 변환과 하르 무게를 통한 새로운 단순화된 표현을 제공한다.
• 연산자 $L_b$의 역 푸리에 변환은 $\pi_b$로 식별되며, 이는 푸리에 변환이 $C_c(G)$의 함수들에 대해 자명하게 작용함을 보여주며, 이는 표준 양자군 프레임워크에서 푸리에 변환이 '숨겨져' 있는 이유를 설명한다.