[논문 리뷰] Leavitt path algebras with at most countably many irreducible representatios

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

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

한 줄 요약

이 논문은 단순 왼쪽 또는 오른쪽 모듈의 동형류가 많아야 가산 개가 되는 Leavitt 경로 대수 $L_K(E)$의 필요충분조건을 확립한다—이를 CIRT(가산 기약 표현 유형)이라고 한다. 이는 $L_K(E)$가 순서형 수 $\tau$에 대해 $\alpha < \tau$인 순서형 수 $\alpha$에 대해 $0 = I_0 < I_1 < \cdots < I_\alpha < \cdots$의 형태를 띠는 평탄한 증가 체인의 합집합이면서, 각 연속적 몫이 $K$ 또는 $K[x,x^{-1}]$ 위의 가산 개 이하의 행렬환의 직합인 계수를 가진 그레이드 아이디얼의 순서형 수가 가산인 경우에만 $L_K(E)$가 CIRT임을 증명한다. 또한 $E$에 순환 경로가 포함되어 있을 경우, $L_K(E)$가 CIRT가 되기 위해서는 체 $K$가 가산이어야 한다는 것을 보여준다.

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)$가 단순 모듈의 동형류가 많아야 가산 개가 되는 조건을 규명하는 것.
• CIRT(가산 기약 표현 유형)을 보장하는 그래프 $E$와 체 $K$의 구조적 조건을 명확히 하는 것.
• 유한 기약 표현 유형을 특성화하기 위해 유한한 아이디얼을 갖는 반단순 바나흐-바나흐 정칙환을 사용하는 것.
• 임의의 기수 $\kappa$에 대해 단순 오른쪽 모듈의 동형류가 정확히 $\kappa$개 존재하는 Leavitt 경로 대수의 예를 구성하는 것.

제안 방법

• 순서형 수 $\tau$가 가산이면서 $\alpha < \tau$인 $\alpha$에 대해 $0 = I_0 < I_1 < \cdots < I_\alpha < \cdots$의 형태를 띠는 평탄한 증가 체인의 그레이드 아이디얼을 사용하여 $L_K(E)$를 분해하는 것.
• 연속적 몫 $I_{\alpha+1}/I_\alpha$를 $K$와 $K[x,x^{-1}]$ 위의 행렬환의 직합으로 분석하여 단순 모듈를 분류하는 것.
• 알고리즘적 분기 체계 이론과 체인의 정점 및 무한 경로를 통한 켄의 표현을 응용하여 단순 모듈을 분석하는 것.
• 순서형 수 $\lambda$에 대해 전이순서형 귀납법을 사용하여 '피라미드' 그래프 $P_\lambda$를 구성하고, 이에 의해 $L_K(P_\lambda)$가 정확히 $|\lambda|$개의 단순 모듈의 동형류를 갖는다는 것을 보이는 것.
• 그래프 $E$의 선형 점과 유도된 포화 집합의 구조를 활용하여 모듈 범주를 제어하는 것.
• $L_K(E)$가 유한한 단순 모듈을 갖는 것과 동시에 반단순 바나흐-바나흐 정칙환이고 유한한 아이디얼을 갖는 것 사이의 이항관계를 확립하는 것.

실험 결과

연구 질문

• RQ1 그래프 $E$와 체 $K$에 어떤 조건이 성립할 경우 $L_K(E)$가 단순 왼쪽 모듈의 동형류가 많아야 가산 개가 되는가?
• RQ2 $L_K(E)$가 유한한 단순 모듈의 동형류만을 갖는 조건는 무엇이며, 이는 반단순성과 바나흐-바나흐 정칙성 등의 환론적 성질과 어떻게 관련되어 있는가?
• RQ3 Leavitt 경로 대수는 주어진 기수 $\kappa$를 단순 오른쪽 모듈의 동형류의 수로 실현할 수 있는가? 그리고 어떻게 이를 달성하는가?
• RQ4 그래프 $E$에 순환 경로가 존재할 경우, CIRT 대수의 맥락에서 체 $K$는 어떤 제약을 받는가?
• RQ5 그레이드 아이디얼과 그 연속적 몫은 $L_K(E)$의 단순 모듈 범주를 분류하는 데 어떤 역할을 하는가?

주요 결과

• Leavitt 경로 대수 $L_K(E)$가 가산 기약 표현 유형(CIRT)을 갖는다 하는 것은, $L_K(E)$가 순서형 수가 가산인 평탄한 증가 체인의 그레이드 아이디얼의 합집합이며, 각 몫 $I_{\alpha+1}/I_\alpha$가 $K$ 또는 $K[x,x^{-1}]$ 위의 가산 개 이하의 행렬환의 직합인 경우에만 성립한다.
• 그래프 $E$에 순환 경로가 포함되어 있을 경우, $L_K(E)$가 CIRT가 되기 위해서는 체 $K$가 가산이어야 한다.
• $L_K(E)$가 유한한 단순 왼쪽/오른쪽 모듈의 동형류를 갖는다 하는 것은, $L_K(E)$가 유한한 아이디얼을 가지며 반단순 바나흐-바나흐 정칙환인 것과 동치이다.
• 임의의 기수 $\kappa$에 대해, 단순 오른쪽 $L_K(E)$-모듈의 동형류가 정확히 $\kappa$개 존재하는 Leavitt 경로 대수 $L_K(E)$가 존재한다.
• 전이순서형 귀납법을 통해 '피라미드' 그래프 $P_\lambda$를 구성하면, $L_K(P_\lambda)$는 정확히 $|\lambda|$개의 단순 모듈의 동형류를 갖는다.
• 그래프 $E$가 유한할 경우, $L_K(E)$가 유한한 단순 모듈을 갖는다 하는 것은 $L_K(E)$가 아르틴 반단순일 때에만 성립하며, 이는 정확히 $E$가 순환 경로를 갖지 않을 때 성립한다.