[논문 리뷰] Operator algebras associated to integral domains

Benton L. Duncan|arXiv (Cornell University)|2010. 01. 05.

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

한 줄 요약

이 논문은 정수환을 이용한 비자기수반 연산자 대수의 새로운 클래스를 반순교차곱 생성을 통해 도입하며, Cuntz와 Li의 $C^*$-대수적 접근을 일반화한다. 이 대수들이 Peters의 반순교차곱과 다름을 보이고, 대수의 유니터리 표현이 유리수체 위의 정규 유니터리 표현을 통해 인수화됨을 보여주며, $C^*$-환경의 구조를 확립한다.

ABSTRACT

We study operator algebras associated to integral domains. In particular, with respect to a set of natural identities we look at the possible nonselfadjoint operator algebras which encode the ring structure of an integral domain. We show that these algebras give a new class of examples of semicrossed products by discrete semigroups. We investigate the structure of these algebras together with a particular class of representations.

연구 동기 및 목표

• 반순교차곱 기법을 사용하여 정수환에 대한 비자기수반 연산자 대수 프레임워크를 개발하기.
• 항등식을 링 이론적 조건으로만 완화함으로써 Cuntz와 Li의 $C^*$-대수 구성 방식을 일반화하기.
• 정수환이 체가 아닐 경우, 결과적으로 얻어진 대수가 Peters의 반순교차곱 대수와 동형이 아니라는 것을 보여주기.
• 유니터리 표현을 분석하고, 그것이 유리수체 위의 정규 유니터리 표현을 통해 인수화됨을 증명하기.
• 유한한 $*$-표현을 $C^*(Q(R))$ 위에 정의함으로써 $C^*$-환경의 구조를 확립하기.

제안 방법

• 등위수 $\{s_r\}$와 유니터리 $\{u^n\}$를 생성하는 유니버설 연산자 대수 $A(R)$를 정의하며, $s_r s_t = s_{rt}$, $u^n u^m = u^{n+m}$, $u^n s_r = s_r u^{rn}$ 를 만족시킨다.
• 연산자 $\ell^2(R)$ 위에 정규 등위수 표현을 구성하고, $\ell^2(Q(R))$ 위에 정규 유니터리 표현을 구성하며, 후자는 전자를 확장한다.
• 아벨 부분을 분석하기 위해 $\widehat{R,+}$의 프로트리니 쌍대를 사용하고, $C_0(\widehat{R,+})$를 활용한다.
• A(R)의 기약 표현이 $\widehat{R,+}$ 위의 특성과 일치함을 증명하고, 네스트 대수 기법을 사용하여 표준 반순교차곱과의 비동형성을 보인다.
• 모든 유니터리 표현 $\pi$에 대해 $i: A(R) \to C^*(Q(R))$의 표준 완전 수축 표현을 정의하고, 이를 $C^*(Q(R))$ 위의 $*$-표현 $\tau_\pi$로 확장한다.
• 관계식 $T_p T_q^* = T_q^* T_p$ 및 $V^n T_q = T_q V^{nq}$를 사용하여, 올려진 연산자가 $Q(R)$에 대한 $C^*$-관계를 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 정수환의 링 구조를 포함하는 연산자 대수를 자기를 만족하지 않는 방법으로 구성할 수 있는가? 특히 자동형사상이 필요로 하지 않는가?
• RQ2 정수환이 체가 아닐 경우, 이러한 대수는 Peters의 반순교차곱과 어떻게 다를까?
• RQ3 A(R)의 유니터리 표현은 유리수체 $Q(R)$ 위의 표현을 통해 인수화되는가?
• RQ4 A(R)의 $C^*$-환경은 $C^*(Q(R)) \rtimes \mathbb{Z}^+$와 동형인가?
• RQ5 정규 유니터리 표현은 A(R)의 구조를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 정수환 $R$에 관련된 유니버설 연산자 대수 $A(R)$는 $R$가 유일인수분해정역일 경우 Peters의 반순교차곱 대수와 동형이 아니다.
• A(R)의 모든 유니터리 표현 $\pi$는 $C^*(Q(R))$ 위의 $*$-표현 $\tau_\pi$를 통해 인수화되며, $\tau_\pi \circ i = \pi$를 만족함으로써 $A(R)$가 $C^*(Q(R))$에 완전 등거리적으로 통합됨을 보여준다.
• 표준 표현 $i: A(R) \to C^*(Q(R))$는 완전 수축적이며, 유리수체의 $C^*$-대수 위로 확장되는 $*$-표현으로 확장된다.
• 정수환이 UFD일 경우, $A(R)$는 Peters의 의미에서 반순교차곱 대수가 아니며, 이는 기약 원소들의 곱셈 모노이드의 비자명한 구조 때문이므로.
• 정규 표현이 유니터리 표현으로 확장되지 않는 한, $A(R)$의 $C^*$-환경은 일반적으로 $C^*$-교차곱과 동형이 아니다.
• 정규 유니터리 표현 $\ell^2(Q(R))$는 정규 등위수 표현 $\ell^2(R)$ 위로 제한되며, 후자는 확장된 연산자 작용에 관하여 불변이다.