[논문 리뷰] Auslander-Reiten theory in functorially finite resolving subcategories

Matthias Krebs|arXiv (Cornell University)|2015. 01. 06.

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

한 줄 요약

이 논문은 아르틴 대수의 유감형으로 유한한 해결 부분분류에 대한 아우슬라우어-레텐 이론을 확장하며, 기약 사상에 대한 차수 이론을 도입하고 아우슬라우어-레텐 쿼버의 구조를 특성화한다. 이는 이러한 부분분류에 대해 브라우어-트랄 1.5 추측을 증명하고, 왼쪽 부분그래프 유형을 통해 연결된 성분을 분류하며, 부분분류가 유한할 때이고 오직 그 때에만 왼쪽 성분이 다이킨 다이어그램임을 보여주며, 나중에 코레이 튜브로 밝혀진 나선형 성분이 비주기적 성분 분류에 핵심적인 역할을 한다.

ABSTRACT

We analyze Auslander-Reiten quivers of functorially finite resolving subcategories. Chapter 1 gives a short introduction into the basic definitions and theorems of Auslander-Reiten theory in A-mod. We generalize these definitions and theorems in Chapter 2 and prove generalizations of the first and one and a half Brauer-Thrall conjecture for functorially finite resolving subcategories. Moreover, we show that sectional paths in Auslander-Reiten-quivers are invariants of decompositions of morphisms into sums of compositions of irreducible morphisms between indecomposable modules and are strongly connected to irreducible morphisms in subcategories. In Chapter 3 we introduce degrees of irreducible morphisms and use this notion to prove the generalization of the Happel-Preiser-Ringel theorem for functorially finite resolving subcategories. Finally, in Chapter 4, we analyze left stable components of Auslander-Reiten quivers and find out that their left subgraph types are given by Dynkin diagrams if and only if the corresponding subcategory is finite. In the preparation of the proof we discover connected components with certain properties and name them helical components due to their shape. It turns out later that these components are the same as coray tubes. In the final section we discuss under which conditions the length of modules tends to infinity if we knit to the left in a component and give a complete description of all connected components in which this is not the case.

연구 동기 및 목표

• 모듈러 범주 A-mod 에서 유한한 해결 부분분류 Ω로 아우슬라우어-레텐 이론을 일반화한다.
• Ω-기본 사상 X → Y 에 대해 l(X) ≤ p·l(Y) 를 만족하는 상수 p 를 확립함으로써, Ω 에서의 브라우어-트랄 1.5 추측을 증명한다.
• 기본 사상의 차수를 정의하고 이를 활용하여 Ω 내에서 하팔-프라이저-링겔 정리를 일반화한다.
• Ω 의 아우슬라우어-레텐 쿼버에서의 왼쪽 안정 성분의 형태를 특성화하며, 특히 왼쪽 부분그래프 유형이 다이킨 다이어그램일 때를 식별한다.
• 왼쪽으로의 꼬임에 따라 모듈러 길이가 무한히 증가하지 않는 성분의 구조를 기술하며, 가능한 유형으로는 A∞, 안정 튜브, ZA∞ 를 포함한다.

제안 방법

• 유한한 해결 부분분류 내에서 기저 사상의 성질을 도입하고 연구하며, 길이 비율에 대한 상한을 확립한다.
• 기본 사상의 차수를 단면 경로를 따라 구성에 나타나는 횟수로 정의한다.
• 차수 이론을 사용하여 하팔-프라이저-링겔 정리를 일반화하며, 기본 사상의 전역 차수가 쿼버의 구조를 통제함을 보여준다.
• ΓΩ 의 왼쪽 안정 성분을 분석하기 위해 그들의 왼쪽 부분그래프 유형을 연구하며, 번역 쿼버의 리드트만 구조 정리를 활용한다.
• 비주기적이고 다이킨이 아닌 행동을 보이는 새로운 성분 유형인 나선형 성분(후에 코레이 튜브로 밝혀짐)을 도입한다.
• τΩ-오빗 이론과 길이 증가를 적용하여, 길이가 반복적으로 τΩ 를 적용해도 유한하게 유지되는 성분을 분류한다.

실험 결과

연구 질문

• RQ1 유한한 해결 부분분류 Ω 의 아우슬라우어-레텐 쿼버가 다이킨 다이어그램으로 주어진 왼쪽 부분그래프 유형을 가질 조건은 무엇인가?
• RQ2 ΓΩ 의 단면 경로를 따라 반복적으로 번역 함수 τΩ 를 적용할 때 모듈러 길이가 유한하게 유지되는 조건은 무엇인가?
• RQ3 왼쪽으로 꼬임을 수행할 때 길이가 무한히 증가하지 않는 ΓΩ 의 연결 성분의 구조는 어떻게 되는가?
• RQ4 Ω 내에서 차수와 기저성의 개념이 고전적인 하팔-프라이저-링겔 정리를 어떻게 일반화하는가?
• RQ5 브라우어-트랄 1.5 추측은 유한한 해결 부분분류로 확장될 수 있으며, 어떤 조건에서 성립하는가?

주요 결과

• 모든 유한한 해결 부분분류 Ω 에 대해 브라우어-트랄 1.5 추측이 성립한다: Ω 가 무한할 경우, 무한히 많은 비동형의 기약 모듈러가 길이 k 를 가지는 무한히 많은 수가 존재한다.
• ΓΩ 의 연결 성분 Γ 의 왼쪽 부분그래프 유형이 다이킨 다이어그램임은 Ω 가 유한할 때에만 성립하며, 이는 A∞∞, 유클리드, D∞ 유형의 제거를 통해 입증된다.
• 나선형 성분(후에 코레이 튜브로 밝혀짐)은 왼쪽 안정 성분의 구조에서 자연스럽게 나타나며, 비주기적이고 다이킨이 아닌 행동을 특징으로 한다.
• ΓΩ 의 연결 성분 Γ 가 l(τΩ^n(X)) 이 n → ∞ 일 때 무한히 증가하지 않는 모듈러 X 를 포함한다면, Γ 의 왼쪽 부분그래프 유형은 A∞ 이며, Γ 는 안정 튜브이거나 ZA∞ 와 동형이다.
• 연결 성분 Γ 에서 τΩ-오빗 이 유한 개일 경우, 각 k ∈ ℕ 에 대해 Γ 내에서 길이 k 인 모듈러는 유한 개 뿐이다.
• 서브카테고리에 대한 두 번째 브라우어-트랄 추측은, 무한한 유한한 해결 부분분류 Ω 가 오직 유한한 수의 τΩ-오빗 만을 가지는 경우에 반박될 수 있지만, 그러한 예는 아직 알려져 있지 않다.