[논문 리뷰] Coxeter transformation and inverses of Cartan matrices for coalgebras

William Chin, Daniel Simson|ArXiv.org|2009. 04. 10.

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

한 줄 요약

이 논문은 지정된 날카로운 오일러 코알제브라에서 유한히 코제너레이티드 코모듈의 범주에서 코xeter 변환과 아울러스터-라이텐 전이 간의 정확한 연결을 설정한다. 이는 이러한 코알제브라에 대해, 비가역적이고 분해 불가능한 코모듈 $N$에 대한 아울러스터-라이텐 전이 $ au_C N$의 차원 벡터가 $ olimitsackslashackslash ext{dim}( au_C N) = olimitsackslash ext{Phi}_C( olimitsackslash ext{dim}ackslash ext{,}N)$ 로 주어짐을 증명한다. 여기서 $ olimitsackslash ext{Phi}_C$ 는 카르탕 행렬의 역행렬로부터 유도된 코xeter 변환이다.

ABSTRACT

Let C be a coalgebra and consider the Grothendieck groups of the categories of the socle-finite injective right and left C-comodules. One of the main aims of the paper is to study Coxeter transformation, and its dual, of a pointed sharp Euler coalgebra C, and to relate the action of these transformations on a class of indecomposable finitely cogenerated C-comodules N with almost split sequences starting or ending with N. We also show that if C is a pointed K-coalgebra such that the every vertex of the left Gabriel quiver of C has only finitely many neighbours, then for any indecomposable non-projective left C-comodule N of finite K-dimension, there exists a unique almost split sequence of finitely cogenerated left C-comodules ending at N. We show that the dimension vector of the Auslander-Reiten translate given by the Coxeter transformation, if C is hereditary, or more generally, if inj.dim DN=1 and Hom(C,DN)=0.

연구 동기 및 목표

• 지정된 날카로운 오일러 코알제브라에 대해, 그르로텐디크 군의 임베디드 코모듈에 대한 코xeter 변환 $ olimitsackslash\text{Phi}_C$ 와 그 쌍대 $ olimitsackslash\text{Phi}_C^{-}$ 를 정의하고 연구한다.
• 코모듈의 차원 벡터에 대한 $ olimitsackslash\text{Phi}_C$ 의 작용이, 유한히 코제너레이티드 코모듈의 범주에서 아울러스터-라이텐 전이 $ olimitsackslash\text{tau}_C$ 와 어떻게 관련되어 있는지 밝힌다.
• 소슬-유한한 임베디드 해상성 해상성과 함께 계산 가능한 코알제브라에 대해 카르탕 행렬 $ olimitsackslash\mathfrak{c}_C$ 의 역행렬을 구성하고, 이가 코xeter 변환을 정의하는 데서 수행하는 역할을 보여준다.
• 예를 들어, 야수성 구조 또는 $ olimitsackslash\text{inj.dim}\,DN = 1$ 과 $ olimitsackslash\text{Hom}_C(C,DN) = 0$ 의 조건을 만족할 경우, $ olimitsackslash\text{dim}(\tau_C N) = \nolimitsackslash\text{Phi}_C(\nolimitsackslash\text{dim}\,N)$ 를 증명한다.
• 아울러스터-라이텐 쿼버의 구성 요소가 반복된 $ olimitsackslash\text{Phi}_C^m$ 의 적용을 통해 생성되는 방식으로, 유한히 코제너레이티드 코모듈의 범주에 대한 아울러스터-라이텐 쿼버의 구조를 설명한다.

제안 방법

• 저자는 소슬-유한한 우측 및 좌측 임베디드 코모듈의 차원 벡터의 상으로서 $ olimitsackslash\mathbb{Z}^{I_C}_{\blacktriangleright}$ 와 $ olimitsackslash\mathbb{Z}^{I_C}_{\blacktriangleleft}$ 를 정의한다.
• 카르탕 행렬 $ olimitsackslash\mathfrak{c}_C^{-1}$ 과 $ olimitsackslash\mathfrak{c}_C$ 의 전치를 사용하여 $ olimitsackslash\text{Phi}_C = -\nolimitsackslash\mathfrak{c}_C^{-tr} \cdot \nolimitsackslash\mathfrak{c}_C$ 를 통해 코xeter 변환 $ olimitsackslash\text{Phi}_C: \nolimitsackslash\mathbb{Z}^{I_C}_{\blacktriangleright} \to \nolimitsackslash\mathbb{Z}^{I_C}_{\blacktriangleleft}$ 를 구성한다.
• 쌍대성 함자 $D(-) = \mathrm{Hom}_K(-,K)$ 는 코모듈을 이중 대수 $C^*$ 위의 가짜콤팩트 모듈로 연결시켜, 거의 분할 시퀀스에 대한 알려진 결과를 활용할 수 있게 한다.
• 논문은 [5]의 결과를 적용하여, 분해 불가능하고 비가역적인 $N$ 에 대해 $C\text{-}{\operatorname{Comod}}_{fc}$ 에서 거의 분할 시퀀스 $0 \to \tau_C N \to N' \to N \to 0$ 가 존재함을 증명한다.
• 저자는 각 정점가 유한한 수의 이웃을 가지는 왼쪽 가베리에 쿼버 ${}_C Q$ 의 구조와 가정을 사용하여, 거의 분할 시퀀스와 잘 정의된 차원 벡터의 존재를 보장한다.
• 저자는 명시적인 예제들(예: $ olimitsackslash\mathbb{D}_\infty$ 유형의 경로 코알제브라)에서 $ olimitsackslash\text{dim}(\tau_C N) = \nolimitsackslash\text{Phi}_C(\nolimitsackslash\text{dim}\,N)$ 의 등식을 확인하여, 코xeter 변환 $ olimitsackslash\text{Phi}_C$ 가 차원 벡터에 대해 아울러스터-라이텐 전이로 작용함을 검증한다.

실험 결과

연구 질문

• RQ1 지정된 날카로운 오일러 코알제브라 $C$ 에서, 유한히 코제너레이티드 코모듈의 범주에서 코xeter 변환 $ olimitsackslash\text{Phi}_C$ 와 아울러스터-라이텐 전이 $ olimitsackslash\text{tau}_C$ 는 어떻게 관련되어 있는가?
• RQ2 분해 불가능하고 비가역적인 코모듈 $N$ 에 대해, $ olimitsackslash\text{dim}(\tau_C N)$ 이 $ olimitsackslash\text{Phi}_C(\nolimitsackslash\text{dim}\,N)$ 와 같아지는 조건은 무엇인가?
• RQ3 소슬-유한한 임베디드 해상성과 함께, 카르탕 행렬 $ olimitsackslash\mathfrak{c}_C^{-1}$ 의 역행렬을 명시적으로 구성할 수 있는가? 그리고 이는 코xeter 변환과 어떻게 관련되어 있는가?
• RQ4 이러한 코알제브라에 대해 아울러스터-라이텐 쿼버 $ olimitsackslash\Gamma(C\text{-}{\operatorname{Comod}}_{fc})$ 의 구조는 어떠한가? 그리고 이의 구성 요소는 코xeter 변환에 의해 어떻게 생성되는가?
• RQ5 코xeter 변환 $ olimitsackslash\text{Phi}_C$ 는 쿼버의 섹션에서 출발하여, 모든 분해 불가능한 코모듈의 차원 벡터를 얼마나 잘 생성하는가?

주요 결과

• 코xeter 변환 $ olimitsackslash\text{Phi}_C$ 는 차원 벡터에 대해 아울러스터-라이텐 전이로 작용한다: $\nolimitsackslash\text{dim}(\tau_C N) = \nolimitsackslash\text{Phi}_C(\nolimitsackslash\text{dim}\,N)$ 는 $C$ 가 야수성 또는 $ olimitsackslash\text{inj.dim}\,DN = 1$ 과 $ olimitsackslash\text{Hom}_C(C,DN) = 0$ 을 만족할 경우 분해 불가능하고 비가역적인 $C$-코모듈 $N$ 에 대해 성립한다.
• 유형 $ olimitsackslash\mathbb{D}_\infty$ 의 경로 코알제브라 $C = K^{\square} Q$ 에서, 카르탕 행렬 $ olimitsackslash\mathfrak{c}_C$ 는 $ olimitsackslash\mathbb{Z}$ 의 원소를 가지는 하삼각행렬이며, 그 역행렬 $ olimitsackslash\mathfrak{c}_C^{-1}$ 도 $ olimitsackslash\{0,1,-1\}$ 의 원소를 가지는 하삼각행렬이므로, $ olimitsackslash\text{Phi}_C$ 의 명시적 계산이 가능하다.
• 코xeter 변환 $ olimitsackslash\text{Phi}_C$ 는 $ olimitsackslash\text{Phi}_C = -\nolimitsackslash\mathfrak{c}_C^{-tr} \cdot \nolimitsackslash\mathfrak{c}_C$ 로 계산되며, $ olimitsackslash\mathbb{D}_\infty$ 예제에 대해 그 행렬 형태가 명시적으로 제시되어, 차원 벡터에 비자명한 작용을 하는 것으로 나타났다.
• 아울러스터-라이텐 쿼버 $ olimitsackslash\Gamma(C\text{-}{\operatorname{Comod}}_{fc})$ 는 두 개의 구성 요소를 가진다: 유한 차원 코모듈에 대한 구성 요소와 임베디드 코모듈에 대한 구성 요소이며, 후자는 무한한 사슬 $\cdots \to E(-2) \to E(-1) \to E(0) \to E(1) \to \cdots$ 를 이룬다.
• 아울러스터-라이텐 쿼버의 무한 구성 요소에 속한 모든 분해 불가능한 코모듈의 차원 벡터는 쿼버의 섹션에서 출발하는 $ olimitsackslash\text{Phi}_C^m$ 의 반복적 적용을 통해 계산할 수 있다.
• 코알제브라 $C$ 는 표현-지향적이며, [19]–[23] 에서 밝혀졌듯이, 모든 분해 불가능한 $C$-코모듈은 그 차원 벡터 $ olimitsackslash\text{dim}\,N$ 으로 유일하게 결정된다.