[논문 리뷰] Gendo-symmetric algebras, dominant dimensions and Gorenstein homological algebra

René Marczinzik|arXiv (Cornell University)|2016. 08. 15.

Algebraic structures and combinatorial models참고 문헌 23인용 수 8

한 줄 요약

이 논문은 유한 차원 대수에서 불가약한 세미고렌스타인-프로젝티브 n차 심비지 모듈이 유한 개일 경우 그 대수가 왼쪽 약한 고렌스타인임을 증명하며, Ringel과 Zhang의 결과를 n=1에서 임의의 n ≥ 1로 일반화한다. 또한 지노-대칭 대수에서 주 dominant 차원과 고렌스타인 호모로지 대수학 간의 관계를 규명하여, 비가역적 고렌스타인-프로젝티브-인젝티브 모듈이 존재하면 표현 유형이 무한함을 증명하고, Liu-Schulz 대수와 같은 양자 외부 대수를 이용해 처음으로 체계적인 비-약한 고렌스타인 대수의 가족을 구성한다.

ABSTRACT

We prove that a finite dimensional algebra $A$ with representation-finite subcategory consisting of modules that are semi-Gorenstein-projective and $n$-th syzygy modules is left weakly Gorenstein. This generalises a theorem of Ringel and Zhang who proved the result in the case $n=1$. As an application we show that monomial algebras and endomorphism rings of modules over representation-finite algebras are weakly Gorenstein. We then give a new connection between the theory of dominant dimension and Gorenstein homological algebra for gendo-symmetric algebras. As an application, we will see that the existence of a non-projective Gorenstein-projective-injective module in a gendo-symmetric algebra already implies that this algebra is not CM-finite. We apply out methods to give a first systematic construction of non-weakly Gorenstein algebras using the theory of gendo-symmetric algebras. In particular, we can construct non-weakly Gorenstein algebras with an arbitrary number of simple modules from certain quantum exterior algebras such as the Liu-Schulz algebra.

연구 동기 및 목표

• n=1에서부터 임의의 n ≥ 1로까지 Ringel과 Zhang의 약한 고렌스타인 대수에 대한 결과를 일반화하기.
• 지노-대칭 대수에서 dominant 차원과 고렌스타인 호모로지 대수학 간의 새로운 관계를 설정하기.
• 지노-대칭 대수에서 비가역적 고렌스타인-프로젝티브-인젝티브 모듈이 존재하면 CM-무한임을 증명하기.
• 지노-대칭 대수와 양자 외부 대수를 이용해 비-약한 고렌스타인 대수를 체계적으로 구성하기.
• 양자 완전 교환 대수에서 l-특수 모듈과 Ext의 소멸에 관한 미해결 질문을 다루기.

제안 방법

• 세미고렌스타인-프로젝티브 n차 심비지 모듈의 부분분류 φₙ = ⁻¹A ∩ Ωⁿ(mod-A)를 도입한다.
• φₙ이 유한(동형사상 이하로)할 경우 대수가 왼쪽 약한 고렌스타인임을 증명한다.
• 지노-대칭 대수에서 τ(M) ≅ Ω²(M)임과 동시에 M의 코 dominant 차원이 2 이상임이 동치임을 특성화한다.
• Mueller의 정리를 적용하여 단순 모듈 Mᵢ에 대해 Ext¹(Mᵢ, Mᵢ) ≠ 0이면 dominant 차원 2가 발생함을 보인다.
• 양자 완전 교환 대수의 모듈에 대한 내부환의 표현을 통해 비-약한 고렌스타인 대수를 구성한다.
• Ext 소멸 조건과 모듈 매개변수(예: r이 단위근이 아님)를 활용하여 1차에서의 Ext가 소멸하지 않으며, 고차수에서는 소멸함을 보장한다.

실험 결과

연구 질문

• RQ1 유한한 불가약한 세미고렌스타인-프로젝티브 n차 심비지 모듈을 가지는 대수가 언제 왼쪽 약한 고렌스타인인가?
• RQ2 지노-대칭 대수에서 dominant 차원과 고렌스타인-프로젝티브-인젝티브 모듈 간의 정확한 관계는 무엇인가?
• RQ3 지노-대칭 대수에서 하나의 비가역적 고렌스타인-프로젝티브-인젝티브 모듈이 존재하면 대수가 반드시 CM-무한이 되는가?
• RQ4 양자 완전 교환 대수에서 비-약한 고렌스타인 대수를 체계적으로 구성할 수 있는가?
• RQ5 대칭 대수에서 임의의 체 위에 l-특수 모듈이 존재하는가, 그리고 이를 이용해 비-약한 고렌스타인 대수를 만들 수 있는가?

주요 결과

• 모든 유한한 불가약한 세미고렌스타인-프로젝티브 n차 심비지 모듈을 가지는 대수는 왼쪽 약한 고렌스타인이며, 이는 Ringel과 Zhang의 n=1 결과를 일반화한다.
• 단순 다항식 대수와 표현 유한 대수의 모듈에 대한 내부환은 약한 고렌스타인이다.
• 지노-대칭 대수에서 A-모듈 M이 고렌스타인-프로젝티브-인젝티브임과 동시에 무한한 dominant 차원과 무한한 코 dominant 차원을 가진다는 것이 동치이다.
• 지노-대칭 대수에서 비가역적 고렌스타인-프로젝티브-인젝티브 모듈이 존재하면 그 대수는 CM-유한이 아님을 의미한다.
• Liu-Schulz 대수와 다른 양자 외부 대수를 이용해 임의의 수의 단순 모듈을 가진 비-약한 고렌스타인 대수를 구성할 수 있다.
• 양자 완전 교환 대수에서, Ext¹(M,M)≠0 이면서 i≥2일 때 Extⁱ(M,M)=0인 모듈이 존재하면, r이 단위근이 아닐 경우 비-약한 고렌스타인 대수가 존재한다.