[논문 리뷰] The Fourier transform in quantum group theory

Alfons Van Daele|ArXiv.org|2006. 09. 18.

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

한 줄 요약

이 논문은 적분을 갖춘 승수 호프 대수의 프레임워크 내에서 푸리에 변환의 순수 대수적 공식화를 제안한다—아벨 군(원주와 p진수)에서의 고전적 푸리에 분석을 일반화한다. 푸리에 역변환, 플랑카렐의 정리, 커포지션을 점별 곱으로 변환하는 등의 핵심 성질을 수립하며, 군 유형의 투영원소의 푸리에 변환 역시 다시 군 유형의 투영원소임을 보이며, p진수의 경우에 대해 명시적인 계산을 통해 $\hat{h}_n = p^{-n} h_{-n}$을 도출한다.

ABSTRACT

The Fourier transform, known in classical analysis, and generalized in abstract harmonic analysis, can also be considered in the theory of locally compact quantum groups. In this note, I discuss some aspects of this more general Fourier transform. In order to avoid technical difficulties, typical for the analytical approach, I will restrict to the algebraic quantum groups. Roughly speaking, these are the locally compact quantum groups that can be treated with purely algebraic methods (in the framework of multiplier Hopf algebras). I will illustrate various notions and results using not only classical Fourier theory on the circle group $\Bbb T$, but also on the additive group $\Bbb Q_p$ of $p$-adic numbers. It should be observed however that these cases are still too simple to illustrate the full power of the more general theory.

연구 동기 및 목표

• 비아벨 양자군으로의 고전적 푸리에 변환의 대수적 방법을 통한 일반화를 위해.
• 분석적 기법 없이도 대수적 양자군에서 조화 분석의 프레임워크를 개발하기 위해.
• 특히 p진수의 덧셈군을 포함한 구체적 예시를 통해 이론을 설명하기 위해.
• 푸리에 변환을 통한 이산형과 컴팩트형 대수적 양자군 간의 쌍대성을 확립하기 위해.
• 군 유형의 투영원소와 그 푸리에 변환의 역할을 통해 새로운 양자군 예시를 구성하는 데에 기여하기 위해.

제안 방법

• 대수와 그 이중 간의 쌍대성에 기반해 적분을 갖춘 승수 호프 대수 위에서 푸리에 변환을 정의한다.
• 대수와 그 이중에 존재하는 왼쪽 및 오른쪽 불변 적분을 이용해 쌍대성 쌍을 통한 푸리에 변환을 정의한다.
• 군 유형의 투영원소에 푸리에 변환을 적용하며, 이는 완전히 분리된 군의 경우 컴팩트 열린 부분군에 대응한다.
• 구체적인 설정으로서 p진 정수 $\mathbb{Z}_p$ 와 그 부분군 $K_n = p^n\mathbb{Z}_p$ 를 사용해 특성 함수의 푸리에 변환을 계산한다.
• p진수 $\mathbb{Q}_p$ 에서의 하르 측도의 구조를 활용해 $h_n$—$K_n = p^n\mathbb{Z}_p$ 의 특성 함수—의 푸리에 변환에 대한 명시적 공식을 유도한다.
• 코승법과 적분을 포함한 필요한 대수적 항등식을 검증함으로써 군 유형의 투영원소의 푸리에 변환이 다시 군 유형의 투영원소임을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 푸리에 변환은 비아벨 양자군으로 어떻게 대수적 환경에서 일반화될 수 있는가?
• RQ2 푸리에 역변환, 플랑카렐 정리, 커포지션에서 점별 곱으로의 변환 등 대수적 푸리에 변환의 기본 성질은 무엇인가?
• RQ3 푸리에 변환은 군 유형의 투영원소에서 어떻게 행동하며, 이는 양자군의 구조에 어떤 함의를 갖는가?
• RQ4 이론은 $\mathbb{Q}_p$ 와 같이 국소적으로 컴act하고 완전히 분리된 군을 통해 구체적으로 설명될 수 있는가?
• RQ5 푸리에 변환과 이산형과 컴팩트형 대수적 양자군 간의 쌍대성 간의 관계는 무엇인가?

주요 결과

• 적분을 갖춘 승수 호프 대수 위에서의 푸리에 변환은 대수 위의 커포지션 곱을 이중 대수 위의 점별 곱으로 변환한다.
• 푸리에 역변환 공식이 성립하여, 원래 함수가 푸리에 변환으로부터 복원 가능하다.
• 플랑카렐의 정리가 확립되어, 함수의 $L^2$-노름과 그 푸리에 변환의 $L^2$-노름 간의 관계가 적분 구조를 통해 연결된다.
• 군 유형의 투영원소의 푸리에 변환은 다시 군 유형의 투영원소이므로 대수적 구조가 유지된다.
• $\mathbb{Q}_p$ 의 p진 군에 대해 $K_n = p^n\mathbb{Z}_p$ 의 특성 함수 $h_n$ 의 푸리에 변환은 명시적으로 $\hat{h}_n = p^{-n} h_{-n}$ 으로 계산되며, 여기서 $h_{-n}$ 은 $p^{-n}\mathbb{Z}_p$ 의 특성 함수이다.
• 이산형과 컴팩트형 대수적 양자군 간의 쌍대성은 푸리에 변환을 통해 확인되며, 이는 이산형 대수의 이중이 컴팩트형이고, 반대로 컴팩트형 대수의 이중이 이산형임을 의미한다.