[논문 리뷰] Admissible sequences, preprojective modules, and reduced words in the Weyl group of a quiver

Mark Kleiner, Allen Pelley|ArXiv.org|2006. 06. 30.

Algebraic structures and combinatorial models참고 문헌 12인용 수 5

한 줄 요약

이 논문은 순환을 갖지 않는 쿼버의 경로 대수에서의 전프로젝티브 모듈, (+)-가능한 정점의 순서, 그리고 웨일 군에서의 축약된 단어 사이의 정확한 대응을 설정한다. (+)-가능한 순서가 어떤 전프로젝티브 모듈을 소멸시키는 데 가장 짧은지 여부는 해당 단순 반사들의 곱이 웨일 군에서 축약된 단어인지 여부와 정확히 일치함을 증명하며, 더 나아가 임의의 분해불가능한 대칭 일반화 카르탕 행렬에 대응하는 웨일 군의 코exter 원소에 대해, 그 군이 무한한지 여부는 그 원소의 모든 거듭제곱이 축약된 단어인지 여부와 정확히 일치함을 보인다.

ABSTRACT

This paper studies connections between the preprojective modules over the path algebra of a finite connected quiver without oriented cycles, the (+)-admissible sequences of vertices, and the Weyl group. For each preprojective module, there exists a unique up to a certain equivalence shortest (+)-admissible sequence annihilating the module. A (+)-admissible sequence is the shortest sequence annihilating some preprojective module if and only if the product of simple reflections associated to the vertices of the sequence is a reduced word in the Weyl group. These statements have the following application that strengthens known results of Howlett and Fomin-Zelevinsky. For any fixed Coxeter element of the Weyl group associated to an indecomposable symmetric generalized Cartan matrix, the group is infinite if and only if the powers of the element are reduced words.

연구 동기 및 목표

• 쿼버 표현 이론에서 전프로젝티브 모듈, (+)-가용한 순서, 웨일 군 원소 사이의 구조적 대응을 설정하는 것.
• 전프로젝티브 모듈을 소멸시키는 데 있어 (+)-가용한 순서가 가장 짧은 조건을 명확히 하는 것.
• 하우렛과 포민-제레브스키의 결과를 강화하여, 대칭 일반화 카르탕 행렬에 대응하는 웨일 군의 무한성 여부를 코vester 정렬 원소의 축약된 단어 성질을 통해 특성화하는 것.

제안 방법

• 모든 전프로젝티브 모듈에 대해, 분해불가능한 경우에만 적용되던 가장 짧은 (+)-가용한 순서의 유일성 및 최소성 결과를 일반화한다.
• 순서에 포함된 정점들에 대응하는 단순 반사들의 복합을 통해 순서에서 웨일 군으로의 군 준동형을 정의한다.
• 쿼버의 정점 집합의 부분순서 구조와 순서들 사이의 동치관계를 이용하여 축약된 단어 조건을 분석한다.
• 아우슬란더-라이텐 이론과 코퐝터 군 이론의 결과, 특히 코퐷터 정렬 원소의 개념을 응용한다.
• 순서를 완전한 부분순서로 분해하는 표준적 방법을 통해 대응하는 군 원소의 축약성 여부를 테스트한다.
• 순환을 갖지 않는 쿼버는 주어진 정점 순서가 (+)-가용한 경우에 유일한 방향을 갖는다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 언제 (+)-가용한 순서가 어떤 전프로젝티브 모듈을 소멸시키는 데 가장 짧은가?
• RQ2 웨일 군에서의 단어의 축약성과 주어진 순서로 소멸되는 전프로젝티브 모듈의 존재 사이의 정확한 관계는 무엇인가?
• RQ3 대칭 일반화 카르탕 행렬에 대응하는 웨일 군이 무한한 조건은 무엇인가?
• RQ4 축약된 단어 성질이 아우슬란더-라이텐 쿼버의 전프로젝티브 성분의 구조와 어떻게 관련되는가?
• RQ5 순서에 대응하는 웨일 군 원소의 역이 코vester 정렬 원소가 되는 조건은 무엇인가?

주요 결과

• 모든 전프로젝티브 모듈 $ M $ 에 대해, $ M $ 을 소멸시키는 가장 짧은 (+)-가용한 순서 $ S_M $ 는 동치 관계를 제외하고 유일하며, $ M $ 은 $ S_M $ 으로 유일하게 결정된다.
• (+)-가용한 순서 $ S $ 가 어떤 전프로젝티브 모듈을 소멸시키는 데 가장 짧은지 여부는 단순 반사들의 곱 $ w(S) $ 가 웨일 군에서 축약된 단어인지 여부와 정확히 일치한다.
• 웨일 군 $ \tilde{\rm W} $ 는 코vester 원소 $ c $ 의 모든 거듭제곱이 축약된 단어일 때에만 무한하다. 이는 하우렛과 포민-제레브스키의 결과를 강화한다.
• 기저 그래프 $ \Gamma $ 가 A, D, 또는 E 유형이 아니면, 모든 (+)-가용한 순서 $ S $ 는 축약된 단어 $ w(S) $ 를 생성하며, $ S \sim S_M $ 를 만족하는 전프로젝티브 모듈 $ M $ 이 존재한다.
• 모든 코vester 원소 $ c = \sigma_{v_n} \cdots \sigma_{v_1} $ 에 대해, $ w(S_M) $ 의 역은 웨일 군에서 $ c $-정렬 원소이다.
• 순서 $ S $ 가 축약된 단어 $ w(S) $ 를 생성하는 것은, 각각의 $ w(T_i) $ 가 축약된 단어이고, $ T_i $ 들의 지지집합이 감소하는 방식으로 중첩되어야만 한다는 것과 정확히 일치한다.