[논문 리뷰] Free Semigroupoid Algebras

David W. Kribs, S. C. Power|ArXiv.org|2003. 09. 24.

Advanced Operator Algebra Research참고 문헌 13인용 수 91

한 줄 요약

이 논문은 가산 방향 그래프에서 유도된 부분 등위사상과 사영원으로 생성되는 약한 연산자 위상에 닫힌 대수로서 자유 준군oid 대수를 도입하며, 그래프 동형사상에 의해 완전한 유니터리 불변량을 확립한다. 주요 결과는 이러한 두 대수들이 유니터리 동치일 조건이 그들의 기저 방향 그래프가 동형일 때이므로, 고전적 토플리츠 대수와 자유 준군 대수를 더 넓은 비자기수 대수의 프레임워크 안에서 통합한다. 이는 풍부한 구조 이론과 불변 부분공간 이론을 지닌 비자기수 연산 대수의 분야에서 중요한 기여를 한다.

ABSTRACT

Every countable directed graph generates a Fock space Hilbert space and a family of partial isometries. These operators also arise from the left regular representations of free semigroupoids derived from directed graphs. We develop a structure theory for the weak operator topology closed algebras generated by these representations, which we call free semigroupoid algebras. We characterize semisimplicity in terms of the graph and show explicitly in the case of finite graphs how the Jacobson radical is determined. We provide a diverse collection of examples including; algebras with free behaviour, and examples which can be represented as matrix function algebras. We show how these algebras can be presented and decomposed in terms of amalgamated free products. We determine the commutant, consider invariant subspaces, obtain a Beurling theorem for them, conduct an eigenvalue analysis, give an elementary proof of reflexivity, and discuss hyper-reflexivity. Our main theorem shows the graph to be a complete unitary invariant for the algebra. This classification theorem makes use of an analysis of unitarily implemented automorphisms. We give a graph-theoretic description of when these algebras are partly free, in the sense that they contain a copy of a free semigroup algebra.

연구 동기 및 목표

• 가산 방향 그래프에서 자유 준군oid의 왼쪽 정규 표현으로 생성되는 약한 연산자 위상에 닫힌 대수에 대한 종합적인 구조 이론을 개발하기 위해.
• 고전적 연산 대수, 예를 들어 해석적 토플리츠 대수와 푸페스쿠의 자유 준군 대수를 하나의 프레임워크 안에서 통합하기 위해.
• 유한 그래프에 대해 반단순성과 잼슨 라디칼을 특성화하고 계산하기 위해.
• 그래프 동형사상에 의한 완전한 유니터리 불변량을 이러한 연산 대수에 정립하기 위해.
• 비에를링 유형 정리와 푸리에 전개를 통해 반사성, 초반사성, 불변 부분공간의 구조를 탐색하기 위해.

제안 방법

• 가산 방향 그래프로부터 재귀적 트리 구조의 경로를 이용해 일반화된 포크 공간 힐버트 공간을 구성하기 위해.
• 모서리와 간선에 대해 부분 창조 연산자 $L_e$와 사영원 $L_x$를 정의하여 자유 준군oid 대수 $\mathfrak{L}_G$의 생성자를 형성하기 위해.
• 자유 준군oid의 왼쪽 정규 표현을 사용하여 대수 $\mathfrak{L}_G$를 유계 연산자의 약한 연산자 위상에 닫힌 대수로 실현하기 위해.
• 오른쪽 정규 표현 $\rho_G$와의 쌍대성을 확립하여 $\mathfrak{L}_G' = \mathfrak{R}_G$ 및 $\mathfrak{R}_G' = \mathfrak{L}_G$를 도출함으로써 $\mathfrak{L}_G$가 자기 자신에 대한 두 번째 중심화자임을 보여주기 위해.
• 포크 공간에서의 푸리에 전개를 적용하여 $\mathfrak{L}_G$의 원소를 분석하고 구조적 성질을 유도하기 위해.
• 강한 이중순환 성질과 구성요소에서의 전이성 등의 그래프 이론적 조건을 사용하여 반사성, 초반사성, 서로 수직인 범위를 지닌 등위사상의 존재성을 분석하기 위해.

실험 결과

연구 질문

• RQ1 자유 준군oid 대수 $\mathfrak{L}_G$는 언제 반단순적이며, 이는 그래프 구조 $G$와 어떻게 관련이 있는가?
• RQ2 유한 그래프에 대해 $\mathfrak{L}_G$의 잼슨 라디칼의 구조는 어떠한가? 그리고 이는 약한 연산자 위상에 닫혀 있는가?
• RQ3 어떤 그래프 이론적 조건이 $\mathfrak{L}_G$가 자유 준군 대수 $\mathfrak{L}_2$의 복사본을 포함하는가를 결정하는가?
• RQ4 $\mathfrak{L}_G$가 초반사적일 조건은 무엇이며, 거리 상수에 대해 알려진 최선의 상한은 무엇인가?
• RQ5 $\mathfrak{L}_G$에 대한 완전한 유니터리 불변량은 무엇이며, 이는 자동사상과 그래프 동형사상과 어떻게 관련이 있는가?

주요 결과

• 자유 준군oid 대수 $\mathfrak{L}_G$는 각 연결 성분의 모든 간선가 사이클 위에 있을 때이고, 그때에만 반단순적이다.
• 유한 그래프에 대해 $\mathfrak{L}_G$의 잼슨 라디칼은 약한 연산자 위상에 닫혀 있으며, 영함수적이고, 사이클 위에 있지 않은 간선에 대응하는 부분 등위사상 $L_e$들에 의해 생성된다.
• 대수 $\mathfrak{L}_G$는 $\mathfrak{L}_H$와 유니터리 동치일 조건이 방향 그래프 $G$와 $H$가 동형일 때이다. 이는 그래프를 완전한 유니터리 불변량으로서 정립한다.
• 전치 그래프 $G^t$가 강한 이중순환 성질을 만족할 경우, 대수 $\mathfrak{L}_G$는 거리 상수가 3 이내로 초반사적이다.
• 자기 범위가 서로 수직인 두 등위사상이 $\mathfrak{L}_G$에 존재하는 것은 $G^t$가 강한 이중순환 성질을 만족할 때와 동치이며, 이는 초반사성을 암시한다.
• 반사성에 대한 간단한 증명이 제시되었고, 푸리에 전개 기법을 사용하여 불변 부분공간에 대한 비에를링 유형 정리가 확립되었다.