[논문 리뷰] Happel's functor and homologically well-graded Iwanaga-Gorenstein algebras

Hiroyuki Minamoto, Kota Yamaura|arXiv (Cornell University)|2018. 11. 20.

Algebraic structures and combinatorial models참고 문헌 34인용 수 7

한 줄 요약

이 논문은 유한 차원 대수의 자명한 확장으로부터 Happel의 함자를 유한하게 급수된 Iwanaga-Gorenstein(IG) 대수로 일반화하며, 호모로지적으로 잘 급수된(hwg) IG-대수의 개념을 도입한다. 일반화된 Happel 함자가 전부 충실함이 되는 것은 대수가 hwg일 때이고, 정확히 그 경우에 등가가 되며, 이는 급수된 Cohen-Macaulay 모듈러스의 안정 범주에서 표준적인 기울기 객체를 제공한다.

ABSTRACT

Happel constructed a fully faithful functor $\mathcal{H} :\mathsf{D}^{\mathrm{b}}( ext{mod} \ Λ) o \underline{ ext{mod}}^{\Bbb{Z}} \ ext{T}(Λ)$ for a finite dimensional algebra $Λ$. He also showed that this functor $\mathcal{H}$ gives an equivalence precisely when $ ext{gldim } Λ< \infty$. Thus if $\mathcal{H}$ gives an equivalence, then it provides a canonical tilting object $\mathcal{H} (Λ)$ of $\underline{ ext{mod}}^{\mathbb{Z}} \ ext{T}(Λ)$. In this paper we generalize Happel's functor $\mathcal{H}$ in the case where $ ext{T}(Λ)$ is replaced with a finitely graded IG algebra $A$. We study when this functor is fully faithful or gives an equivalence. For this purpose we introduce the notion of homologically well-graded (hwg) IG-algebra, which can be characterized as an algebra posses a homological symmetry which, a posteriori, guarantee that the algebra is IG. We prove that hwg IG-algebras is precisely the class of finitely graded IG-algebras that Happel's functor is fully faithful. We also identify the class that Happel's functor gives an equivalence. As a consequence of our result, we see that if $\mathcal{H}$ gives an equivalence, then it provides a canonical tilting object $\mathcal{H}(T)$ of $\underline{ ext{CM}}^{\Bbb{Z}} A$. For some special classes of finitely graded IG algebras, our tilting objects $\mathcal{H}(T)$ coincide with tilting object constructed in previous works.

연구 동기 및 목표

• 유한 차원 대수의 유도 범주에서부터 유한하게 급수된 IG-대수 위의 급수된 Cohen-Macaulay 모듈러스의 안정 범주로 Happel의 삼각형 함자를 확장한다.
• 일반화된 Happel 함자가 전부 충실함이거나 등가가 되는 유한하게 급수된 IG-대수의 범주를 특정한다.
• 호모로지적으로 잘 급수된(hwg) IG-대수의 개념을 도입하고, 이로 인해 함자의 전부 충실함과 등가 성질이 보장되는 범주를 특성화한다.
• 일반화된 Happel 함자에 의해 표준 객체의 이미지가 급수된 CM-모듈러스의 안정 범주에서 기울기 객체가 되는 것을 확립한다.
• hwg IG-대수에서 나타나는 호모로지 대칭성이 그들의 IG 성질을 암시함을 보이며, 이는 프로베누스 대수에서의 대칭성과 유사하다.

제안 방법

• T(Λ) 대신 유한하게 급수된 IG-대수 A를 사용하여, D^b(mod Λ)에서 T(Λ) 위의 급수된 모듈러스의 안정 범주로 Happel의 원래 함자 H를 일반화한다.
• 도메인 D^b(mod^{[0,ℓ−1]} A)와 공도메인 mod^Z A(즉, A 위의 급수된 CM-모듈러스의 안정 범주)를 갖는 일반화된 Happel 함자 H를 정의한다.
• 호모로지적으로 잘 급수된(hwg) IG-대수의 개념을 도입하며, 이는 유한하게 급수된 IG-대수 중에서 호모로지 대칭 조건을 만족하는 대수를 의미한다.
• 유도 범주 내에서 코틸팅 이중모듈러스의 존재성과 쌍대성에 기반하여, RHom_Λ(A,C) ≅ A와 같은 유도 범주 내의 동형을 통한 hwg IG-대수의 특성화를 수행한다.
• A가 hwg이면 일반화된 Happel 함자 H가 전부 충실함이며, H가 등가가 되는 것은 A가 hwg IG일 때에만 성립함을 증명한다.
• 지역 코homology 불변량 μ^ht(p)_i(p,A)를 통한 hwg IG-대수의 특성화를 재구성하여, 모든 소 아이디얼 p와 모든 i ≠ ℓ에 대해 이 값이 0이 되는 것과 A가 hwg임이 동치임을 보인다.

실험 결과

연구 질문

• RQ1 유한하게 급수된 IG-대수 A에 대해 일반화된 Happel 함자가 언제 전부 충실함이 되는가?
• RQ2 일반화된 Happel 함자가 언제 등가가 되는가?
• RQ3 일반화된 Happel 함자가 급수된 CM-모듈러스의 안정 범주에서 기울기 객체를 유도하는 데 필요한 구조적 성질은 무엇인가?
• RQ4 hwg IG-대수에서의 호모로지 대칭성은 어떻게 그들의 Iwanaga-Gorenstein 성질을 암시하는가?
• RQ5 일반화된 Happel 함자를 사용하여 mod^Z A에서 표준적인 기울기 객체를 구성할 수 있으며, 이는 특수한 경우(예: 교환 법칙이 성립하는 IG-대수, 급수된 유도 프로베누스 확장 등)에서 알려진 기울기 객체와 어떻게 관련되는가?

주요 결과

• 일반화된 Happel 함자 H는 주어진 유한하게 급수된 IG-대수 A가 호모로지적으로 잘 급수된(hwg) 대수일 때이고 그 때에만 전부 충실함이 된다.
• 함자 H가 등가가 되는 것은 A가 호모로지적으로 잘 급수된(hwg) IG-대수일 때에만 성립한다.
• hwg IG-대수 A에 대해, D^b(mod^{[0,ℓ−1]} A) 내의 기울기 객체 T의 이미지 H(T)는 mod^Z A 내의 기울기 객체가 된다.
• 기울기 객체 H(T)의 내적 대수는 A로부터 자연스럽게 구성된 Beilinson 대수 ∇A와 동형이다.
• 유한하게 급수된 IG-대수 A가 hwg이면, 모든 소 아이디얼 p와 모든 i ≠ ℓ에 대해 지역 코homology 불변량 μ^ht(p)_i(p,A)가 0이 된다.
• 일반화된 Happel 함자는 mod^Z A 내의 기울기 객체를 표준적으로 구성하며, 이는 교환 법칙이 성립하는 IG-대수나 급수된 유도 프로베누스 확장 등의 특수한 경우에서 알려진 기울기 객체를 복원한다.