[논문 리뷰] Dilation Theory for Rank 2 Graph Algebras

Kenneth R. Davidson, S. C. Power외 1명|ArXiv.org|2007. 05. 31.

Algebraic structures and combinatorial models인용 수 16

한 줄 요약

이 논문은 유니터리 교환 관계와 관련된 랭크 2 그래프 대수에 대한 확장 이론을 개발하며, 결함이 없는 행 수축 표현이 고유한 최소 $*$-확장으로 $*$-표현으로 확장된다는 것을 증명한다. 이는 소엘의 행 등거리 확장 정리에 대한 새로운 간단한 증명을 제공하고, 보편 대수 $\mathcal{A}_u$의 C*-환경을 일반화된 쿤츠 대수 $\mathcal{O}_{X_u}$로 식별하며, 수축 표현이 항상 완전 수축적이지 않으며, 보편 텐서 대수 $\mathcal{T}_+(X_u)$가 항상 등거리적으로 동형이 되지 않는다는 것을 보여준다. 이러한 결과들은 고랭크 그래프 C*-대수와 그 비자기수대응체의 기초적인 구조를 확립한다.

ABSTRACT

An analysis is given of $*$-representations of rank 2 single vertex graphs. We develop dilation theory for the non-selfadjoint algebras $\A_θ$ and $\A_u$ which are associated with the commutation relation permutation $θ$ of a 2 graph and, more generally, with commutation relations determined by a unitary matrix $u$ in $M_m(\bC) \otimes M_n(\bC)$. We show that a defect free row contractive representation has a unique minimal dilation to a $*$-representation and we provide a new simpler proof of Solel's row isometric dilation of two $u$-commuting row contractions. Furthermore it is shown that the C*-envelope of $\A_u$ is the generalised Cuntz algebra $Ø_{X_u}$ for the product system $X_u$ of $u$; that for $m\geq 2 $ and $n \geq 2 $ contractive representations of $\Ath$ need not be completely contractive; and that the universal tensor algebra $\T_+(X_u)$ need not be isometrically isomorphic to $\A_u$.

연구 동기 및 목표

• 랭크 2 단일 정점 그래프와 관련된 비자기수 대수 $\mathcal{A}_\theta$ 및 $\mathcal{A}_u$에 대한 확장 이론을 개발한다.
• 결함이 없는 행 수축 표현에 대해 최소 $*$-확장의 존재성과 고유성을 확립한다.
• 보편 대수 $\mathcal{A}_u$의 C*-환경을 단위행렬 $u$와 관련된 제품계 $X_u$에 대응하는 일반화된 쿤츠 대수 $\mathcal{O}_{X_u}$로 식별한다.
• 보편 텐서 대수 $\mathcal{T}_+(X_u)$와 그래프 대수 $\mathcal{A}_u$ 사이의 관계를 명확히 하여, 일반적으로 등거리적으로 동형이 되지 않음을 보인다.
• 유니터리 교환 행 수축에 대해 소엘의 행 등거리 확장 정리를 더 단순하고 직접적인 방법으로 재증명한다.

제안 방법

• 행 수축의 프라츠보-부른-포페스크 이론을 기초 기법으로 사용한다.
• 최소 확장의 고유성을 적용하여, 결함이 없는 표현에 대해 $*$-확장의 고유성을 증명한다.
• 생성자가 정규직교 기저를 유니모듈라 상수를 제외하고 순열하는 부분등거리 연산자로 작용하는 원자적 $*$-표현을 구조 분석의 핵심 도구로 활용한다.
• 자기 동반 부분공간 위의 표현을 자유 반군 $\mathbb{F}_u^+$에서의 차수 일치 단어로 확장하여 최소 $*$-확장을 구성한다.
• 동일한 차수를 가진 서로 다른 단어의 범위 간의 직교성을 이용하여 확장 사상 하에서 내적을 유지한다.
• 쿠미얀-팍스 비주기 조건과 반군 구조를 적용하여 $\mathrm{C}^*(\mathbb{F}_\theta^+)$의 C*-대수를 특성화한다.

실험 결과

연구 질문

• RQ1 모든 결함이 없는 행 수축 표현 $\mathcal{A}_u$는 $\mathrm{C}^*(\mathbb{F}_u^+)$의 $*$-표현으로 고유한 최소 $*$-확장을 갖는가?
• RQ2 유니터리 교환 행렬 $u$와 관련된 보편 대수 $\mathcal{A}_u$의 C*-환경은 무엇인가?
• RQ3 $m, n \geq 2$일 때, $\mathcal{A}_\theta$의 모든 수축 표현은 반드시 완전 수축적인가?
• RQ4 보편 텐서 대수 $\mathcal{T}_+(X_u)$는 일반적으로 그래프 대수 $\mathcal{A}_u$와 등거리적으로 동형인가?
• RQ5 유니터리 교환 행 수축에 대해 소엘의 행 등거리 확장 정리를 더 단순하고 직접적인 방법으로 재증명할 수 있는가?

주요 결과

• 모든 결함이 없는 행 수축 표현은 $\mathrm{C}^*(\mathbb{F}_u^+)$의 $*$-표현으로 고유한 최소 $*$-확장을 갖는다.
• 보편 대수 $\mathcal{A}_u$의 C*-환경은 단위행렬 $u$와 관련된 제품계 $X_u$에 대응하는 일반화된 쿤츠 대수 $\mathcal{O}_{X_u}$로 식별된다.
• $m \geq 2$ 및 $n \geq 2$일 때, $\mathcal{A}_\theta$의 수축 표현 중에서 완전 수축적이지 않은 것이 존재한다.
• 일반적으로 보편 텐서 대수 $\mathcal{T}_+(X_u)$는 $\mathcal{A}_u$와 등거리적으로 동형이 아니다.
• 최소 확장의 고유성과 프라츠보-부른-포페스크 이론을 활용하여 소엘의 행 등거리 확장 정리에 대한 새로운 간단한 증명을 제공한다.
• 원자적 결함이 없는 표현의 최소 $*$-확장은 원래 표현의 구조적 성질을 유지하면서 여전히 원자적이다.