[논문 리뷰] Representation Theory of an Infinite Quiver

R. Bautista, Shiping Liu외 1명|arXiv (Cornell University)|2011. 09. 14.

Algebraic structures and combinatorial models참고 문헌 32인용 수 4

한 줄 요약

이 논문은 임의의 두 정점 사이에 유한한 경로만 존재하는 무한 쿼버의 유한히 생성 가능한 표현의 범주에 대한 아울랜더-레텐의 이론을 개발한다. 거의 분할 수열을 구성하고, 아울랜더-레텐 성분을 분류하며, 쿼버가 유한하거나 무한 다인킨 유형이 아닐 경우에만 정규 성분이 무한히 존재함을 보이며, 유도 범주로 이론을 확장하여, 쿼버에 무한한 경로가 없을 때에만 거의 분할 삼각형이 존재함을 증명한다.

ABSTRACT

This paper deals with the representation theory of a locally finite quiver in which the number of paths between any two given vertices is finite. We first study some properties of the finitely presented or co-presented representations, and then construct in the category of locally finite dimensional representations some almost split sequences which start with a finitely co-presented representation and end with a finitely presented representation. Furthermore, we obtain a general description of the shapes of the Auslander-Reiten components of the category of finitely presented representations and prove that the number of regular Auslander-Reiten components is infinite if and only if the quiver is not of finite or infinite Dynkin type. In the infinite Dynkin case, we shall give a complete list of the indecomposable representations and an explicit description of the Auslander-Reiten components. Finally, we apply these results to study the Auslander-Reiten theory in the derived category of bounded complexes of finitely presented representations.

연구 동기 및 목표

• 두 정점 사이에 경로 수가 유한한 무한 쿼버의 유한히 생성 가능한 표현의 범주에서 아울랜더-레텐 이론을 개발한다.
• 이 범주에서 아울랜더-레텐 성분의 구조, 특히 전프로젝티브, 전인젝티브, 정규 성분을 특성화한다.
• 유한히 생성 가능한 표현의 유계 유도 범주로 이론을 확장하고, 거의 분할 삼각형 존재 조건을 규명한다.
• 무한 다인킨 유형 A∞, A∞∞, D∞에서의 기약 표현과 거의 분할 수열의 완전한 분류를 제공한다.
• 유한히 생성 가능한 표현의 범주에서 왼쪽 또는 오른쪽 거의 분할 수열 존재에 필요한 충분한 조건을 수립한다.

제안 방법

• 유한히 생성 또는 코생성 가능한 표현의 일반화로 거의 유한히 생성 및 코생성 가능한 표현을 도입하고, 조합적 특성화를 사용한다.
• 지역적으로 유한차원 표현의 범주에서 거의 분할 수열을 구성하며, 유한히 코생성 가능한 표현에서 시작하여 유한히 생성 가능한 표현으로 끝나도록 한다.
• 크룰-슈마이드 성질을 적용하여, 유한히 생성 가능한 표현의 아울랜더-레텐 쿼버를 전프로젝티브, 전인젝티브, 정규 성분으로 분해한다.
• 부하위쿼버와 레이 쿼버의 구조를 이용하여, 무한 쿼버의 표현을 유한한 부분쿼버의 표현과 연결한다.
• 이동 쿼버 기법과 성분 연결 개념을 적용하여, 유도 범주의 아울랜더-레텐 쿼버의 형태를 묘사한다.
• 유한히 생성 가능한 표현의 유계 복합체의 유도 범주를 사용하고, τ 및 τ⁻¹ 함자 행동을 분석하여 거의 분할 삼각형 존재 여부를 규명한다.

실험 결과

연구 질문

• RQ1 무한 쿼버의 유한히 생성 가능한 표현의 범주가 왼쪽 또는 오른쪽 거의 분할 수열을 가질 조건은 무엇인가?
• RQ2 유한히 생성 가능한 표현의 아울랜더-레텐 쿼버의 구조, 특히 정규 성분의 형태와 수는 어떻게 되는가?
• RQ3 유한히 생성 가능한 표현의 유도 복합체의 유도 범주가 거의 분할 삼각형을 가질 조건은 무엇인가?
• RQ4 유도 범주의 아울랜더-레텐 성분은 원래 범주의 성분과 어떻게 관련되는가?
• RQ5 무한 다인킨 유형 A∞, A∞∞, D∞에서의 기약 표현의 완전한 분류는 무엇인가?

주요 결과

• 정규 아울랜더-레텐 성분의 수가 유한하지 않음은 쿼버가 유한하거나 무한 다인킨 유형이 아닐 때에만 성립한다.
• 무한 다인킨의 경우(A∞, A∞∞, D∞)에는 기약 표현의 완전한 목록이 제공되며, 불가약한 사상과 거의 분할 수열의 명시적 기술이 제시된다.
• 유도 범주의 아울랜더-레텐 쿼버의 연결 성분 CQ는 ZQ^op에 매립되며, 그 형태는 경로의 구조에 의해 결정된다: Q에 무한한 경로가 없으면 CQ ≅ ZQ^op이며, 오른쪽으로 무한하지만 왼쪽으로는 무한하지 않은 경우 N⁻Δ이며, 왼쪽으로만 무한한 경우 오른쪽 안정 부분쿼버이다.
• 유도 범주 Db(rep⁺(Q))가 왼쪽 거의 분할 삼각형을 가질 조건은 Q가 오른쪽 무한 경로를 포함하지 않을 때이며, 오른쪽 거의 분할 삼각형을 가질 조건은 Q가 왼쪽 무한 경로를 포함하지 않을 때이다.
• 유도 범주가 거의 분할 삼각형을 가질 조건은 Q가 어떤 방향으로도 무한한 경로를 포함하지 않을 때, 즉 왼쪽 또는 오른쪽으로의 무한 경로가 없을 때이다.
• rep⁺(Q)의 아울랜더-레텐 쿼버의 정규 성분은 유도 범주에서도 연결 성분을 유지하며, 그 형태는 원래 성분의 이동으로서 그대로 유지된다.