[논문 리뷰] The holomorphic Peter-Weyl theorem and the Blattner-Kostant-Sternberg pairing

Johannes Huebschmann|arXiv (Cornell University)|2006. 10. 20.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 컴팩트 리 군 $ K $ 의 복소화 $ K^c $ 상에서 제곱적분 가능한 헬름홀로픽 함수들의 힐버트 공간에 대해 힐베르트 공간에서의 헬름홀로픽 페터-웨일 정리( holomorphic Peter-Weyl theorem )를 증명한다. 이는 이중 불변 메트릭으로부터 유도된 켈러 구조를 사용한다. 이 공간이 유니터리하게 기약 $ (K \times K) $-표현들로 분해되며, 블라튼어-코스타ント-스터너버그 쌍대 맵이 $ L^2(K, dx) $ 로의 유니터리 동형사상임을 규명한다. 이 동형사상은 $ (4\pi t)^{-\dim(K)/4} $ 로 스케일링된다. 스펙트럼 분해는 페터-웨일 분해와 일치한다.

ABSTRACT

Abstract. Let K be a compact Lie group, endowed with a bi-invariant Riemannian metric. The complexification KC of K inherits a Kähler structure having twice the kinetic energy of the metric as its potential, and left and right translation turn the Hilbert space HL2 (KC,e −κ/tηε) of square-integrable holomorphic functions on KC relative to a suitable measure written as e−κ/tηε into a unitary (K ×K)-representation; here κ is the metric or equivalently, the Kähler potential, ε is the symplectic volume form, η is an additional term coming from the metaplectic correction, and t> 0 is a real parameter which, in the physical interpretation, amounts to Planck’s constant �. We establish the statement of the Peter-Weyl theorem for the Hilbert space HL2 (KC,e −κ/tηε) to the effect that HL2 (KC, e−κ/tηε) contains the vector space of representative functions on KC as a dense subspace. Consequences are a holomorphic Plancherel theorem and the existence of a uniquely determined unitary isomorphism between L2 (K, dx) (where dx refers to Haar measure on K) and the Hilbert space HL2 (KC,e −κ/tηε), and we prove that, furthermore, this isomorphism coincides with the Blattner-Kostant-Sternberg pairing map from L2 (K, dx) to HL2 (KC, e−κ/tηε), multiplied by (4πt) −dim(K)/4. We then show that the spectral decomposition of the energy operator on HL2 (KC, e−κ/tηε) associated with the metric on K coincides with the Peter-Weyl decomposition of this Hilbert space and hence yields the decomposition of HL2 (KC, e−κ/tηε) into irreducible isotypical (K ×K)-representations. A crucial tool is Kirillov’s character formula.

연구 동기 및 목표

• 힐베르트 공간 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 에서의 헬름홀로픽 페터-웨일 정리를 확립하여, $ K^c $ 상의 표현 함수들이 이 공간에 밀도를 이룬다는 것을 보이다.
• 클래식한 플랑커렐 이론을 헬름홀로픽 설정으로 확장하여 $ K^c $ 에서의 헬름홀로픽 플랑커렐 정리를 증명하다.
• 블라튼어-코스타ント-스터너버그 쌍대 맵이 $ L^2(K, dx) $ 와 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 사이의 유일한 유니터리 동형사상임을 규명하며, 정규화 인자 외에는 유일하다.
• 에너지 연산자의 스펙트럼 분해가 기약 $ (K \times K) $-표현들로의 페터-웨일 분해와 일치함을 보이다.
• 유니터리 동치성과 스펙트럼 분해를 확립하는 데 핵심 도구로 키릴로프의 특성 공식을 사용하다.

제안 방법

• 이중 불변 리만 메트릭 $ \kappa $ 를 켈러 포텐셜로 사용하여 컴팩트 리 군 $ K $ 의 복소화 $ K^c $ 에 켈러 구조를 구성하다.
• 측도를 $ e^{-\kappa/t} \eta \varepsilon $ 로 정의하며, 여기서 $ \varepsilon $ 는 심플렉틱 부피 형식이고, $ \eta $ 는 메타플레크틱 수정을 반영하며, $ t > 0 $ 는 플랑크 상수의 역할을 한다.
• $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 에서 제곱적분 가능한 헬름홀로픽 함수들의 공간에 왼쪽과 오른쪽 이동을 통한 유니터리한 $ (K \times K) $-작용을 도입하다.
• 키릴로프의 특성 공식을 적용하여 기약 $ (K \times K) $-표현의 특성과 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 상에서 에너지 연산자의 트레이스 사이의 관계를 규명하다.
• 헬름홀로픽 플랑커렐 정리를 사용하여, $ K $ 상의 $ L^2 $-노름이 블라튼어-코스타ント-스터너버그 맵을 통해 $ K^c $ 상의 $ \mathcal{H}^2 $-노름으로 대응됨을 보이다.
• 에너지 연산자의 스펙트럼 분해가 페터-웨일 분해와 일치함을 보이기 위해, 각 고유부분공간이 기약 $ (K \times K) $-표현에 대응됨을 증명하다.

실험 결과

연구 질문

• RQ1 힐베르트 공간 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 는 $ K^c $ 상의 표현 함수들의 공간을 조밀하게 포함하는가?
• RQ2 $ L^2(K, dx) $ 와 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 사이에 유니터리 동형사상이 존재하는가? 만약 존재한다면, 그것은 블라튼어-코스타ント-스터너버그 쌍대 맵으로 주어지는가?
• RQ3 에너지 연산자 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 상의 스펙트럼 분해가 기약 $ (K \times K) $-표현들로의 페터-웨일 분해와 일치하는가?
• RQ4 $ t $ 는 플랑크 상수로 해석되며, 이는 $ L^2(K, dx) $ 와 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 사이의 유니터리 동치성에 어떤 영향을 미치는가?
• RQ5 키릴로프의 특성 공식을 사용하여 $ L^2(K) $-공간과 $ K^c $ 상의 헬름홀로픽 $ \mathcal{H}^2 $-공간 간의 유니터리 동치성을 확립할 수 있는가?

주요 결과

• $ K^c $ 상의 표현 함수들의 공간은 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 에 조밀하게 포함되며, 이는 헬름홀로픽 페터-웨일 정리의 확립을 의미한다.
• $ K^c $ 에서는 헬름홀로픽 플랑커렐 정리가 성립하며, $ \mathcal{H}^2 $-노름이 $ K^c $ 상에서 $ L^2 $-노름으로 블라튼어-코스타ント-스터너버그 맵을 통해 대응된다.
• $ L^2(K, dx) $ 와 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 사이의 유니터리 동형사상은 정확히 블라튼어-코스타ント-스터너버그 쌍대 맵이며, $ (4\pi t)^{-\dim(K)/4} $ 로 스케일링된다.
• 에너지 연산자 $ \mathcal{H}^2(K^c, e^{-\kappa/t} \eta \varepsilon) $ 상의 스펙트럼 분해는 기약 $ (K \times K) $-표현들로의 페터-웨일 분해와 일치한다.
• 키릴로프의 특성 공식은 기약 $ (K \times K) $-표현들의 특성과 해당 고유부분공간에서 에너지 연산자의 트레이스가 일치함을 확인하는 데 핵심 도구가 된다.
• $ K^c $ 상의 켈러 구조는 이중 불변 메트릭 $ \kappa $ 로부터 유도되며, 이는 에너지 연산자가 $ K^c $ 상의 라플라스 연산자와 대응됨을 보장한다. 이 스펙트럼은 이산적이며, 각 고유값의 중복도는 기약 표현의 차원과 일치한다.