[논문 리뷰] Leavitt path algebras of finite irreducible representation type

Pere Ara, Kulumani M. Rangaswamy|arXiv (Cornell University)|2013. 09. 30.

Advanced Operator Algebra Research인용 수 1

한 줄 요약

이 논문은 유한 또는 가чёт수인 단순 왼쪽 모듈의 동형류 수가 최대한 가чёт수인 경우를 다루며, 체 $ K $ 위의 유한 방향 그래프 $ E $에 대한 Leavitt 경로 대수 $ L_K(E) $의 조건을 규명한다. 그래프 $ E $에 대한 필요 및 충분 조건을 제시하며, $ L_K(E) $가 유한한 수의 동형류를 갖는 것은 유한한 이상의 아이디얼을 가진 반-아르틴 반-바일러 링임과 동치임을 보이고, 모든 유한 또는 무한 기수에 대해 단순 모듈의 동형류 수가 정확히 $ m $인 예를 구성한다.

ABSTRACT

Let E be an arbitrary directed graph with no restrictions on the number of vertices and edges and let K be any field. We give necessary and sufficient conditions for the Leavitt path algebra L_K(E) to be of countable irreducible representation type, that is, we determine when L_K(E)has at most countably many distinct isomorphism classes of simple left L_K(E-modules. It is also shown that L_K(E) has dinitely many isomorphism classes of simple left modules if and only if L_K(E) is a semi-artinian von Neumann regular ring with at most finitely many ideals. Equivalent conditions on the graph E are also given. Examples are constructed showing that for each (finite or infinite) cardinal m there exists a Leavitt path algebra L having exactly m distinct isomorphism classes of simple left modules.

연구 동기 및 목표

• Leavitt 경로 대수 $ L_K(E) $가 최대한 가чёт수의 단순 왼쪽 모듈 동형류를 갖는 조건을 규명하는 것.
• Leavitt 경로 대수 $ L_K(E) $가 이러한 동형류를 유한하게 갖는 경우를 환 이론적 성질로 특성화하는 것.
• 유한 또는 가чёт수의 기약 표현 유형을 보장하는 데 필요한 그래프 이론적 조건을 제시하는 것.
• 모든 기수 $ m $에 대해 정확히 $ m $개의 서로 다른 단순 왼쪽 모듈 동형류를 갖는 Leavitt 경로 대수의 구체적 예를 제시하는 것.

제안 방법

• 특히 사이클, 섹스, 무한 발산자를 포함한 그래프 이론적 불변량을 사용하여 $ L_K(E) $의 구조를 분석하는 것.
• von Neumann 정규성과 반-아르틴 성질을 포함한 환 이론적 도구를 적용하여 표현 유형을 특성화하는 것.
• 단순 모듈의 동형류 수의 유한성과 반-아르틴 반-바일러 링이면서 유한한 이상을 갖는다는 것 사이의 동치성을 확립하는 것.
• 이deals의 격자 분석을 통해 $ L_K(E) $의 이상 수와 단순 모듈의 수를 연결하는 것.
• 모든 주어진 기수 $ m $에 대해 정확히 $ m $개의 단순 모듈 동형류를 갖는 Leavitt 경로 대수 $ L_K(E) $를 만드는 그래프 $ E $의 명시적 가족을 구성하는 것.

실험 결과

연구 질문

• RQ1 그래프 $ E $에 어떤 조건이 성립할 경우 Leavitt 경로 대수 $ L_K(E) $가 최대한 가чёт수의 단순 왼쪽 모듈 동형류를 갖는가?
• RQ2 언제 $ L_K(E) $는 기약 표현 유형이 유한한가, 즉 이러한 동형류가 유한한 수만 갖는가?
• RQ3 $ L_K(E) $가 반-아르틴 반-바일러 링이면서 유한한 이상을 갖는 것과 동치가 되는 그래프 $ E $의 그래프 이론적 성질은 무엇인가?
• RQ4 Leavitt 경로 대수는 주어진 기수 $ m $에 대해 단순 모듈의 동형류 수를 정확히 구현할 수 있으며, 이러한 예는 어떻게 구성할 수 있는가?

주요 결과

• Leavitt 경로 대수 $ L_K(E) $가 최대한 가чёт수의 단순 왼쪽 모듈 동형류를 갖는 것은 그래프 $ E $가 사이클과 섹스와 관련된 특정 구조적 조건을 만족할 때이다.
• 대수 $ L_K(E) $가 유한한 수의 단순 왼쪽 모듈 동형류를 갖는 것은 $ L_K(E) $가 반-아르틴 반-바일러 링이면서 유한한 이상을 갖는 것과 동치이다.
• 모든 기수 $ m $에 대해 정확히 $ m $개의 서로 다른 단순 왼쪽 모듈 동형류를 갖는 Leavitt 경로 대수가 존재한다. 이는 유한 또는 무한 기수일 수 있다.
• 그래프 $ E $는 무한 발산자를 가져서는 안 되며, 표현 유형이 유한할 경우 $ L_K(E) $의 이상 구조가 제어되고 유한해지도록 보장하는 사이클 조건을 만족해야 한다.