[논문 리뷰] Knapp-Stein type intertwining operators for symmetric pairs

Jan Möllers, Bent Ørsted외 1명|arXiv (Cornell University)|2013. 09. 16.

Advanced Algebra and Geometry참고 문헌 26인용 수 4

한 줄 요약

이 논문은 재수정된 군의 대칭 쌍 (G,H)에 대해 Knapp–Stein 형식의 상호연결 연산자를 구성하며, G와 H의 구면 주요 연속표현 사이를 연결하는 명시적인 적분 커널을 정의한다. 주요 결과는 이러한 연산자의 일반적 유일성—즉, H-상호연결 연산자 공간의 최대 차원이 1임을 보여주는 것—를 증명한다. 특히, 랭크-1의 경우와 쌍 (GL(4n,ℝ), GL(2n,ℂ))에 대해 성립한다.

ABSTRACT

For a symmetric pair $(G,H)$ of reductive groups we construct a family of intertwining operators between spherical principal series representations of $G$ and $H$ that are induced from parabolic subgroups satisfying certain compatibility conditions. The operators are given explicitly in terms of their integral kernels and we prove convergence of the integrals for an open set of parameters and meromorphic continuation. We further discuss uniqueness of intertwining operators, and for the rank one cases $$ (G,H)=(SU(1,n;\mathbb{F}),S(U(1,m;\mathbb{F}) imes U(n-m;\mathbb{F}))), \qquad \mathbb{F}=\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O}, $$ and for the pair $$ (G,H)=(GL(4n,\mathbb{R}),GL(2n,\mathbb{C})) $$ we show that for a certain choice of maximal parabolic subgroups our operators generically span the space of intertwiners.

연구 동기 및 목표

• 대칭 쌍 (G,H)에 대해 G와 H의 구면 주요 연속표현 사이의 상호연결 연산자를 명시적으로 구성함으로써 고전적인 Knapp–Stein 연산자를 일반화한다.
• Kobayashi의 대칭 깨짐 연산자 프로그램에서 문제 1을 해결하기 위해, 명시적이고 적분 커널 기반의 구성 방법을 제공한다.
• 유도된 표현 사이의 H-상호연결 연산자 공간을 분류하고, 그 치수의 최대가 1이 되는 조건을 규명한다.
• 기존의 불변 삼중형식과 Juhl 형식의 연산자 결과를 명시적인 적분 연산자를 통해 대칭 쌍으로 확장한다.
• 매개수 ν와 ν′에 대해 적분 커널의 메로모르픽 연장과 수렴 조건을 확립한다.

제안 방법

• Harish-Chandra c-함수와 상호연결 자료를 포함하는 명시적인 적분 커널을 통해 정의된 특이 적분 연산자로서 상호연결 연산자를 구성한다.
• G의 포물형 부분군 P와 H의 포물형 부분군 P_H 사이의 호환 조건을 도입하여, H에 대한 제한하에 상호연결構조가 유지되도록 보장한다.
• 이중 플래그 다양체 이론과 궤도 분해를 활용하여 동차 공간 (G×H)/Δ(H)의 기하학을 분석하고, 수렴 조건을 도출한다.
• 레비 부분군의 유리형 표현과 부분군 S′ 및 S′′ 위의 특성 분석을 포함한 표현 이론적 기법을 적용하여 매개수 조건을 유도한다.
• 정리 3.15를 활용하여, 비영인 상호연결 연산자의 존재성을 레비 부분군 표현에서 특정 특성의 영함수화 조건과 연결한다.
• 궤도 O의 정규공간 V의 임의의 기저에서의 불가약 성분의 가중치를 분석함으로써 매개수 ν와 ν′에 대한 필요 조건을 유도한다.

실험 결과

연구 질문

• RQ1 G와 H의 구면 주요 연속표현 사이의 Knapp–Stein 형식 상호연결 연산자의 적분 커널이 수렴하는 매개수 ν와 ν′는 무엇인가?
• RQ2 I^G(ν)와 I^H(ν′) 사이의 H-상호연결 연산자 공간이 최대 차원 1이 되는 조건은 무엇인가?
• RQ3 제안된 적분 연산자가 특정 대칭 쌍에 대해 전체 대칭 깨짐 연산자 공간을 일반적으로 생성할 수 있는가?
• RQ4 적분 커널은 G×H의 텐서곱 표현에서 H-불변 분포 벡터와 어떻게 관련이 있는가?
• RQ5 비영인 H-상호연결 연산자가 존재하기 위한 정확한 매개수 조건(ν와 ν′로 표현)은 무엇인가?

주요 결과

• 상호연결 연산자의 적분 커널은 매개수 ν와 ν′의 열린 영역에서 수렴하며, 전체 복소 매개수 공간으로의 메로모르픽 연장이 가능하다.
• 𝔽 = ℝ, ℂ, ℍ, 𝕆 인 경우, (G,H) = (SU(1,n;𝔽), S(U(1,m;𝔽)×U(n−m;𝔽))) 대칭 쌍에서, 랭크-1의 경우 연산자가 일반적으로 상호연결 연산자 공간을 생성한다.
• 쌍 (G,H) = (GL(4n,ℝ), GL(2n,ℂ))에 대해, I^G(ν) → I^H(−ν′)′ 사이의 연속 H-상호연결 연산자 공간은 2ν₁+ν′₁, 2ν₁−ν′₁ ∉ (n+2ℤ) 이고 ν′₁ ∉ ℤ 일 때 최대 차원 1이다.
• 이 연산자가 일반적으로 유일함을 증명: Hom_H(π_ν|_H, τ_ν′) = ℂ·A(α,β) 이며, 여기서 α = −(ν′+ρ_H) 이고 β = (ν−ρ + ν′+ρ_H)/2 이다.
• 레비 부분군 S′ 위의 특성 β는 |det_C A₁|^{2ν₁−ν′₁−3n} |det_C A₂|^{−ν′₁−n} |det_C A₃|^{−2ν₁−ν′₁+n} 로 주어지며, 이는 매개수에 대한 필요 적분 조건을 유도한다.
• 정규공간 V와 그의 대칭곱 S^r(V_C)의 분석을 통해 d₁과 d₃는 짝수여야 하며, 이는 비영인 상호연결 연산자가 존재하기 위해 2ν₁−ν′₁ ∈ n+2ℤ, −ν′₁ ∈ ℤ, −2ν₁−ν′₁ ∈ n+2ℤ 라는 조건을 유도한다.