[논문 리뷰] Ring structures for holomorphic discrete series and Rankin-Cohen brackets

Gerrit van Dijk, Michael Pevzner|ArXiv.org|2005. 12. 05.

Advanced Algebra and Geometry참고 문헌 22인용 수 17

한 줄 요약

이 논문은 케일리 유형의 인과 대칭 공간의 정칙 이산 계열 표현에 대해 랭킨-코헨 브라켓과 상호작용 연산자를 연결시켜 새로운 링 구조를 수립한다. 일반화된 랭킨-코헨 브라켓은 재생 핵과 클렙슈-갈단 계수로부터 유도된 $G$--equivariant 사상과 공변 양자화 및 표현 이론을 통해 고차원 랭크 설정으로부터 자연스럽게 유도됨을 보여주며, 고전적 $SL(2,\mathbb{R})$ 사례를 고차원 랭크로 일반화한다.

ABSTRACT

In the present note we discuss two different ring structures on the set of holomorphic discrete series of a causal symmetric space of Cayley type $G/H$ and we suggest a new interpretation of Rankin-Cohen brackets in terms of intertwining operators arising in the decomposition of tensor products of holomorphic discrete series representations.

연구 동기 및 목표

• 정칙 이산 계열 표현을 통해 표현 이론적 접근법과 해석적 접근법을 랭킨-코헨 브라켓에 통합한다.
• 고전적 랭킨-코헨 브라켓을 $SL(2,\mathbb{R})$를 초월해 케일리 유형의 파라헤르미트 대칭 공간으로 일반화한다.
• 기호의 $\sharp_s$ 곱을 통해 정칙 이산 계열에 비가환 링 구조를 수립한다.
• 텐서곱 분해에서 상호작용 연산자의 역할을 명확히 한다.

제안 방법

• 대칭 공간 $G/H = SL(2,\mathbb{R})/SO(1,1)$에서의 공변 기호 해석학을 사용하여 기호의 $\sharp_s$ 곱을 정의한다.
• 재생 핵과 미분형식 $\omega(z;w_1,w_2)$를 사용하여 $G$-equivariant 사상 $I_{\underline{\bf m}}$를 구성함으로써 이중미분 연산자와 연관시킨다.
• 스펙트럼 매개변수 $\nu > 1 + d(r-1)$를 가진 튜브 유형의 헤르미트 대칭 공간에서의 정칙 이산 계열 이론을 적용한다.
• 클렙슈-갈단 계수와 포카머 기호를 통해 $\pi_{\nu_1} \otimes \pi_{\nu_2}$ 분해에서 일반화된 랭킨-코헨 브라켓의 명시적 공식을 유도한다.
• 재생 핵의 $\#_s$ 곱을 사용하여 $L^2(G/H)_{\rm hol}$ 위에 링 구조를 정의한다.
• 대칭 공간의 복소화에서의 해석적 계속성을 통해 컴act 및 비컴 pact 실현 간의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 랭킨-코헨 브라켓은 정칙 이산 계열 표현의 텐서곱 분해에서 상호작용 연산자로 어떻게 해석될 수 있는가?
• RQ2 SL(2,\mathbb{R})에서의 고전적 랭킨-코헨 브라켓 구성은 고차원 랭크의 파라헤르미트 대칭 공간으로 일반화될 수 있는가?
• RQ3 $\sharp_s$ 곱이 정칙 이산 계열의 공간에 비가환 링 구조를 어떻게 도입하는가?
• RQ4 정칙 이산 계열의 링 구조는 탄카나-크라인 dualit에 의해 호프 대칭과 관련이 있는가?
• RQ5 이 링 구조는 플라그 다양체에서 닫힌 $H$-오빗과 관련된 층의 컵 곱으로 해석될 수 있는가?

주요 결과

• 재생 핵의 $\#_s$ 곱을 통한 $L^2(G/H)_{\rm hol}$ 위의 $\sharp_s$ 곱은 재생 핵의 $\#_s$ 곱을 통해 정칙 이산 계열 표현에 비가환 링 구조를 유도한다.
• 일반화된 랭킨-코헨 브라켓은 $G$-equivariant 사상 $I_{\underline{\bf m}}$의 성분으로 나타나며, $f$와 $g$의 가중 미분의 합으로 명시적으로 주어진다.
• 이중미분 연산자 $B_{\underline{\bf m},\nu_1,\nu_2}(f,g)$는 포카머 기호와 대칭 다항식 $P_{\underline{\bf m}}$를 통해 표현되며, 계수는 $c_{\underline{\bf m},s}$를 포함한다.
• G = SU(1,1)일 때 공식은 고전적 랭킨-코헨 브라켓으로 축소되어 $SL(2,\mathbb{R})$ 사례와 일致함을 확인한다.
• 컴 pact 및 비컴 pact 실현 간의 해석적 계속성에 의해 이론이 불변이며, 공변 미분 연산자의 동형성에 기인한다.
• 이 링 구조는 $\pi_{\nu_1} \otimes \pi_{\nu_2}$의 표현 이론적 분해가 기약 성분 $\pi_{\nu_1+\nu_2,\underline{\bf m}}$로 이루어짐과 호환된다.