[논문 리뷰] Crossed products by Hecke pairs I: *-algebraic theory

Rui Palma|arXiv (Cornell University)|2012. 12. 23.

Advanced Operator Algebra Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 G/Γ가 군이 아닐 때 군의 교차곱을 일반화하는 Hecke 쌍 (G,Γ)에 대한 ∗-대수적 프레임워크를 제안한다. 궤도 군oids 위의 Fell 번들의 구조를 이용해 ∗-대수적 교차곱을 구성하고, Hecke 대수의 전표현과 함께 공변 표현 이론을 수립함으로써, Γ ⊴ G일 경우 고전적 교차곱을 복원하며, 기존의 C∗-결과를 ∗-대수 수준으로 확장한다.

ABSTRACT

We develop a theory of crossed products by "actions" of Hecke pairs $(G, Γ)$, motivated by applications in non-abelian $C^*$-duality. Our approach gives back the usual crossed product construction whenever $G / Γ$ is a group and retains many of the aspects of crossed products by groups. In this first of two articles we lay the $^*$-algebraic foundations of these crossed products by Hecke pairs and we explore their representation theory.

연구 동기 및 목표

• G/Γ가 군이 아닐 때도 일반화된 고전적 교차곱을 정의할 수 있는 Hecke 쌍 (G,Γ)에 대한 ∗-대수적 이론을 개발하는 것.
• Γ가 G에 정규일 경우 기존의 교차곱이 복원되도록 보장하는 것.
• Hecke 대수의 전표현과 호환되는 표준 기저와 공변 표현을 정의하는 것.
• C∗-완비화와 비아벨 C∗-대칭성 응용을 위한 기초를 마련하는 것.
• Hecke 쌍 설정에서 군 교차곱의 표현 이론을 Hecke 대수의 전표현을 사용해 확장하는 것.

제안 방법

• G-작용에 의해 생성된 이산 군oids X의 궤도 공간 X/Γ가 군oids가 되는 조건을 만족시키는 조건 하에서 X/Γ 위에 Fell 번들을 구성한다.
• X/Γ 위의 궤도에 대한 복합과 호환을 이용해 $ C_c(\mathcal{A}/\Gamma) \times^{\text{alg}}_{\alpha} G/\Gamma $ 형태의 ∗-대수적 교차곱을 정의한다.
• π가 $ C_c(\mathcal{A}/\Gamma) $의 ∗-표현이고, μ가 Hecke 대수 $ \mathcal{H}(G,\Gamma) $의 유일한 전∗-표현인 쌍 (π, μ)를 통해 공변 전∗-표현을 도입한다.
• 비퇴화된 교차곱의 ∗-표현과 공변 전∗-표현 사이에 일대일 대응 관계를 수립한다.
• 궤도 분해와 군oids 작용을 이용해 교차곱 내의 곱 연산에 대한 명시적 공식을 유도하고, 군 지표 계산을 통해 계수 항등식을 증명한다.
• Hecke 대수 $ \mathcal{H}(G,\Gamma) $가 교차곱의 이중대수에 자연스럽게 통합되며, 이는 군의 경우를 일반화한다.

실험 결과

연구 질문

• RQ1 G/Γ가 군이 아닐 때도 Hecke 쌍 (G,Γ)에 대해 의미 있는 교차곱을 정의할 수 있는가? 이는 고전적 군 교차곱을 일반화하는가?
• RQ2 G/Γ가 군의 구조를 갖지 않는 상황에서 공변 표현은 어떻게 특징지을 수 있는가?
• RQ3 Hecke 대수 $ \mathcal{H}(G,\Gamma) $는 교차곱의 표현 이론에서 어떤 역할을 하는가?
• RQ4 교차곱의 표준 기저 원소들이 복합에 어떻게 작용하며, 그들의 구조를 지배하는 항등식은 무엇인가?
• RQ5 Γ가 G에 정규일 경우, 이 구성이 고전적 교차곱을 복원하는 조건은 무엇인가?

주요 결과

• 교차곱 $ C_c(\mathcal{A}/\Gamma) \times^{\text{alg}}_{\alpha} G/\Gamma $는 고전적 군 교차곱에서의 $ a*g $와 유사한 표준 기저 원소를 갖는다.
• Hecke 대수 $ \mathcal{H}(G,\Gamma) $는 교차곱의 이중대수에 자연스럽게 통합되며, 고전적 경우의 군 대수의 역할을 한다.
• 비퇴화된 교차곱의 ∗-표현과 형식 (π, μ)의 공변 전∗-표현 사이에 일대일 대응 관계가 존재한다. 여기서 μ는 $ \mathcal{H}(G,\Gamma) $의 전∗-표현이다.
• 곱 $ \Gamma g\Gamma * [a]_{x\Gamma} * \Gamma s\Gamma $는 궤도 분해를 통해 명시적으로 계산되며, 계수 항등식 $ \frac{\#\mathcal{O}_{u,v} \Delta(g) N_{u^{-1},v}^{y}}{L(u^{-1}v)} = 1 $을 만족하여 일관성을 확보한다.
• G-작용이 자유일 경우, 공변 조건은 $ \pi(\alpha_{u^{-1}}(a))_{xu\Gamma} $, $ \mu(\Gamma u^{-1}v\Gamma) $, 그리고 $ \widetilde{\pi}(1_{\mathbf{s}(x)v\Gamma}) $를 포함하는 구체적인 공식으로 줄어들며, 이는 표현 조건과 동치임을 증명한다.
• Γ가 G에 정규일 경우 구성은 고전적 교차곱을 복원하며, 특히 가환 C∗-대수의 경우 Laca-Larsen-Neshveyev의 C∗-구성과 일致한다.