[논문 리뷰] Rieffel deformation and twisted crossed products

Ingrid Beltiţă, M. Mantoiu|arXiv (Cornell University)|2012. 08. 31.

Advanced Operator Algebra Research참고 문헌 7인용 수 4

한 줄 요약

이 논문은 벡터군 작용에 의해 변형된 리에프엘의 $C^*$-대수와 그에 대응하는 외적 교차곱 대수 사이의 안정적 동형을 확립한다. $M$이라는 정준 사상에 의해, 외적 교차곱 대수가 컴act 연산자와의 텐서곱과 동형임을 증명함으로써 $K$-이론적 불변성과 표현론적 동치를 도출한다.

ABSTRACT

To a continuous action of a vector group on a $C^*$-algebra, twisted by the imaginary exponential of a symplectic form, one associates a Rieffel deformed algebra as well as a twisted crossed product. We show that the second one is isomorphic to the tensor product of the first one with the $C^*$-algebra of compact operators in a separable Hilbert space and we indicate some applications.

연구 동기 및 목표

• 동일한 자료로부터 유도된 리에프엘 변형 $C^*$-대수와 외적 교차곱 대수 사이의 정확한 동형을 확립하는 것.
• 외적 교차곱 대수가 컴 pact 연산자와의 텐서곱을 통해 리에프엘 변형과 안정적으로 동형임을 보이는 것.
• 두 대수가 동일한 원시 이상수 공간, 닫힌 이상수, 표현 이론을 공유함을 보이는 것.
• 교차곱 기법을 사용하여 리에프엘 변형의 $K$-군 불변성을 새롭게 증명하는 것.
• 프레임워크를 교환가능한 $C^*$-대수로 확장하고 스펙트럼 이론 및 조절 공간에의 응용을 탐색하는 것.

제안 방법

• 벡터군 $\Xi$의 연속적 작용 $\Theta$와 비대칭 연산자 $J$를 이용해 리에프엘 변형 대수 $\mathfrak{A}$를 구성한다. 이때 $J$는 심플렉틱 형식을 정의한다.
• 외적 작용 $(\Theta, \kappa)$를 형성하기 위해 $2$-코호몰로지 $\kappa(X,Y) = \exp(-i/2 \cdot [X,Y])$를 정의한다.
• 공변 표현에 대한 유일한 $C^*$-대수로서 외적 교차곱 $\mathcal{A} \rtimes_\Theta^\kappa \Xi$를 구성한다.
• 프레셰 부분대수인 스웨츠 유형 함수들 사이의 정준 사상 $M: \mathscr{K} \otimes \mathfrak{A} \to \mathcal{A} \rtimes_\Theta^\kappa \Xi$를 정의한다.
• 등급 변환에 의한 등급 사상으로 $M$을 $C^*$-동형으로 확장하여 $\mathscr{K} \otimes \mathfrak{A} \cong \mathcal{A} \rtimes_\Theta^\kappa \Xi$를 증명한다.
• 콘느의 톰 동형과 안정성 성질을 이용해 $K$-군 불변성과 초핵성 보존을 유도한다.

실험 결과

연구 질문

• RQ1 리에프엘 변형 대수 $\mathfrak{A}$는 외적 교차곱 대수 $\mathcal{A} \rtimes_\Theta^\kappa \Xi$와 안정적으로 동형인가?
• RQ2 $\mathscr{K} \otimes \mathfrak{A}$와 $\mathcal{A} \rtimes_\Theta^\kappa \Xi$ 사이의 정준 동형 사상 $M$의 정밀한 성격은 무엇인가?
• RQ3 안정적 동형은 변형 대수의 $K$-이론에 어떤 영향을 미치는가?
• RQ4 만약 $\mathcal{A}$가 교환가능할 경우, 원시 이상수 공간과 표현 이론에 대한 영향은 무엇인가?
• RQ5 불변 측도를 갖는 조건 하에서 정준 사상 $M$은 $L^2$-공간에서 유니터리일 수 있는가?

주요 결과

• 외적 교차곱 대수 $\mathcal{A} \rtimes_\Theta^\kappa \Xi$는 리에프엘 변형 대수 $\mathfrak{A}$와의 텐서곱 $\mathscr{K} \otimes \mathfrak{A}$와 $*$-동형이다.
• 정준 사상 $M: \mathscr{K} \otimes \mathfrak{A} \to \mathcal{A} \rtimes_\Theta^\kappa \Xi$는 등급 변환에 의한 등급 사상으로 확장되어 $C^*$-동형이 된다.
• $\mathfrak{A}$와 $\mathcal{A}$의 $K$-군은 서로 동형이며, 이는 리에프엘 변형 하에서의 $K$-이론 불변성을 새롭게 증명한다.
• $\mathfrak{A}$와 $\mathcal{A} \rtimes_\Theta^\kappa \Xi$의 원시 이상수 공간은 위상적으로 동형이며, 닫힌 양방향 이상수는 일대일로 대응된다.
• $\mathcal{A} = C_0(\Sigma)$가 교환가능할 경우, $\mathfrak{C}(\Sigma)$의 원시 이상수 공간은 작용이 자유일 경우 쿼시오르빗 공간 $Q^\Theta(\Sigma)$와 위상적으로 동형이다.
• $\Theta$-불변 측도 $d\sigma$ 하에서, 정준 사상 $M$은 $L^2(\Xi \times \Sigma)$ 위의 유니터리 연산자로 확장되며, $\langle \overline{M(F)}, M(G) \rangle = \langle \overline{F}, G \rangle$를 만족한다.