Quantum Mechanics on Lie Groups: I. Noncommutative Fourier Transforms

기술 요약: 리 군 위의 양자 역학 I: 비가환 푸리에 변환

문제 정의
본 논문은 구성 공간이 리 군(Lie group, 현재 연구에서는 유한 차원을 가정하지만 무한 차원일 수도 있음)인 경우의 양자 역학을 위한 일반적인 프레임워크를 구축하려는 근본적인 과제를 다룬다. 리-푸아송(Lie-Poisson) 또는 오일러-아르놀트(Euler-Arnold) 방정식에 의해 고전 역학은 이러한 공간 위에서 잘 기술되지만, 이들의 양자화는 미묘한 문제로 남는다. 주요 장애물은 "위치 공간"(리 군 매니폴드 $G$)에서 "운동량 공간"으로의 전이이다. $\mathbb{R}^n$에서의 표준적인 경우와 달리, 리 군에 대응하는 운동량 공간은 군 구조로 인해 비가환적이다.

두 가지 경쟁하는 운동량 공간의 정의가 존재한다:

1. 이산적/표현론적 정의: 피터-바일(Peter-Weyl) 정리에 기초하며, 여기서 운동량 공간은 기약 표현(irreducible representations)의 집합이다(콤팩트 군의 경우 이산적임). 이는 푸리에 급수에는 자연스럽지만, 연속적인 위상 공간을 필요로 하는 위그너 함수(Wigner functions)나 경로 적분에는 부적합하다.
2. 연속적/기하학적 정의: 리 대수의 쌍대 공간인 $\mathfrak{g}^*$이다. 이는 연속적인 위상 공간 $T^*G \cong G \times \mathfrak{g}^*$를 제공하여 세미클래식 극한(semiclassical limits)과 경로 적분에 필수적이지만, 비가환 운동량으로 인한 푸리에 변환 정의를 복잡하게 만든다.

본 논문은 두 번째 접근 방식에 초점을 맞추어, 스퀘어 적분 가능한 파동 함수 $L^2(G)$를 $\mathfrak{g}^*$ 상의 파동 함수로 매핑하는 유니타리하고 가역적인 푸리에 변환을 구축하는 것을 목표로 하며, 비가환 운동량과 콤팩트 부분군으로부터 발생하는 위상적 복잡성을 엄밀하게 다룬다.

방법론
저자들은 다음 단계들을 통해 프레임워크를 구축한다:

1. 연산자 대수 구축: 위상 공간 $T^*G$의 심플렉틱 구조로부터 시작하여, 운동량이 가환하지 않은 푸아송 괄식 $\{p_i, p_j\} = -c_{ij}^k p_k$을 정의한다. 이들은 좌표와 운동량을 연산자로 격상시켜 이 대수를 양자화하며, 이때 운동량 곱에 대해 **대칭 순서 규칙(symmetric ordering prescription)**을 채택한다. 이 선택은 지수 연산자가 지수 연산자로 직접 매핑되도록 보장하며, 베이커-캠벨-하우스도르프(BCH) 관계 $e^{-i\langle \hat{p}, X \rangle} e^{-i\langle \hat{p}, Y \rangle} = e^{-i\langle \hat{p}, B(X,Y) \rangle}$를 만족시킨다.

2. 콤팩트 부분군 및 몫(Quotient) 처리: 콤팩트 부분군을 가진 군의 경우 지수 사상(exponential map)이 단사(injective)가 아니라는 점이 결정적인 기술적 난관이다. 즉, 리 대수의 원소 중 항등원으로 지수되는 집합 $I = \{X \in \mathfrak{g} \mid \exp(X) = e\}$는 자명하지 않다.

   • 저자들은 "큰" 위치 표현을 $L^2(\mathfrak{g})$ 상에, 그리고 스타 곱(특히 Gutt 스타 곱)이 장착된 비가환 힐베르트 공간 $L^2_\star(\mathfrak{g}^*)$ 상의 "큰" 운동량 표현을 정의한다.
   • 이들은 물리적 힐베르트 공간 $L^2(G)$가 $I$의 작용에 대해 불변인 함수들의 부분 공간에 해당함을 식별한다. 이들은 $I$에 대한 불변성을 강제하기 위해 투영 연산자 $\hat{P}_I$를 도입하며, $\mathbb{R}$ 상의 푸리에 변환과 $S^1$ 상의 푸리에 급수 사이의 관계와 유사하게 발생하는 무한한 정규화 인자($|I| \to \infty$) 문제를 신중하게 다룬다.

3. 비가환 푸리에 변환: 이들은 "큰" 위치 표현과 운동량 표현 사이의 유니타리 인터티너(intertwiner) $\mathcal{F}$를 정의한다. 이 변환의 커널은 표준 평면파 $E(X, p) = e^{-i\langle p, X \rangle}$이지만, 적분 측도에는 하르 측도(Haar measure)의 야코비안 $J(X)$가 포함된다.

   • 이 변환은 $L^2(\mathfrak{g})$를 $L^2_\star(\mathfrak{g}^*)$로 매핑한다.
   • $I$-불변 부분 공간으로 투영함으로써, 비가환 푸리에 계수( $L^2(G)$를 $L^2_\star(\mathfrak{g}^*)$의 부분 공간으로 매핑)와 푸리에 급수(역사상)를 도출한다.

4. 스타 곱과 합성곱: 운동량 공간에서의 함수 곱은 스타 곱에 의해 지배된다. 저자들은 위치 공간에서의 합성곱이 운동량 공간에서의 스타 곱으로 매핑되고 그 역도 성립함을 보여줌으로써, 비가환 합성곱 정리에 대응하는 결과를 확립한다.

주요 기여 및 결과

• 힐베르트 공간의 등거리 사상(Isometry): 본 논문은 비가환 푸리에 계수와 급수가 스퀘어 적분 가능한 함수들의 힐베르트 공간 $L^2(G)$와 $I$-불변, 스타-스퀘어 적분 가능한 함수들의 공간 $\hat{P}_I \cdot L^2_\star(\mathfrak{g}^*)$ 사이의 등거리 사상을 제공함을 증명한다. 이는 비가환 군에 대한 스칼라 곱의 정의 가능성에 관한 기존의 모호함을 해결한다.
• 비가환 푸아송 합 공식(Poisson Summation Formula): 저자들은 임의의 콤팩트 리 군에 대한 일반화된 푸아송 합 공식을 도출한다. 이 공식은 리 대수의 항등 로그(logarithms of the identity)의 이산 격도 상의 함수 합을, 푸리에 변환과 특정 야코비안으로부터 유도된 미분 연산자를 포함하는 쌍대 공간 상의 적분과 연결한다.
  • $G=U(1)$의 경우, 표준 푸아송 합 공식을 회복한다.
  • $G=SU(2)$의 경우, 비가환적 성질을 반영하여$\mathbb{R}^3$ 상의 아핀 평면에 대한 적분을 포함하는 새로운 공식을 도출한다.
• 키릴로프 캐릭터 공식(Kirillov Character Formula): 이 형식론은 기약 표현의 캐릭터(character)에 적용된다. 저자들은 캐릭터의 비가환 푸리에 변환이 그에 대응하는 공액 궤도(coadjoint orbit) 상에 국소화됨을 보여준다. 구체적으로 $SU(2)$의 경우, 스핀$\lambda$를 가진 캐릭터의 변환은$\mathfrak{su}(2)^*$상의 반지름$2\lambda + 1$인 구(sphere) 위에 지지된다.
• Duflo 순서화: 섹션 6에서 저자들은 Duflo 맵을 이용한 대안적 양자화를 탐구한다. 이들은 대칭 순서화가 캐릭터의 "흐릿한(blurred)" 국소화를 초래하는 반면(여러 궤도에 걸친 적분), Duflo 순서화는 단일 공액 궤도 상에 엄격히 국소화된 푸리에 계수를 생성하여 키릴로프 캐릭터 공식을 직접 재현함을 보여준다. 또한, Duflo 순서화된 변환은 클래스 함수(class functions)에 대한 Parseval-Plancherel 항등식으로 자연스럽게 이어진다.

의의 및 주장
본 논문은 위그너 함수와 군 매니폴드 상의 경로 적분을 계산하기 위한 필요한 "예비적" 프레임워크를 제공한다고 주장한다. 저자들은 자신들의 구성이 루프 양자 중력(예: [23–25])의 기존 접근 방식과 다음과 같이 다르다는 점을 강조한다:

1. 푸리에 변환과 독립적으로 운동량 공간 파동 함수를 먼저 정의한 후, 변환이 등거리 사상임을 증명한다. (기존 방식은 공간을 변환의 상(image)으로 정의함)
2. 몫(quotient)을 통해 발생하는 문제를 투영 연산자를 사용하여 신중하게 처리함으로써, 잘못 정의된 동치류에 의존하지 않고 스칼라 곱과 연산자 작용이 잘 정의되도록 한다.
3. 비가벨 푸아송 합 공식을 엄밀하게 유도하며, 이는 $G$의 위상(특히 혼합 프로파게이터 $\langle p_f | e^{-iHt} | g_i \rangle$ 계산)을 다루기 위한 핵심 도구로 식별된다.

이 연구는 수학적 기초를 제공하여, 표현론적 접근(피터-바일)과 기하학적 접근(위상 공간 경로 적분) 사이의 간극을 메우고자 한다. 저자들은 이 결과들이 무한 차원 리-프레셰(Lie-Fréchet) 군으로 일반화될 것으로 기대한다고 명시하였으나, 현재 텍스트에서 이를 엄밀하게 증명하지는 않았다.