[논문 리뷰] Derived equivalences for $Φ$-Auslander-Yoneda algebras

Wei Hu, Changchang Xi|arXiv (Cornell University)|2009. 12. 03.

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

한 줄 요약

이 논문은 삼각형 카테고리에서 $Φ$-Auslander-Yoneda 대수를 도입하고, 거의 $ν$-안정된 유도 동치로부터 이러한 대수들(무한 차원을 포함) 간의 새로운 유도 동치를 구성하는 방법을 수립한다. 핵심 결과는 두 아르틴 대수들이 이러한 함자에 의해 유도 동치일 경우, 그들의 $Φ$-Auslander-Yoneda 대수들—덧셈 생성자 또는 모듈러스와 그들의 헬러 이동에서 구성된 것들—이 임의의 허용 가능한 $Φ\subseteq\mathbb{N}$에 대해 역시 유도 동치임을 보여주며, 기존의 아우슬란더 대수와 요나다 대수에 대한 결과를 일반화한다.

ABSTRACT

In this paper, we introduce $Φ$-Auslander-Yoneda algebras in a triangulated category with $Φ$ a parameter set in $\mathbb N$, and provide a method to construct new derived equivalences between these $Φ$-Auslander-Yoneda algebras (not necessarily Artin algebras), or their quotient algebras, from a given almost $ν$-stable derived equivalence. As consequences of our method, we have: (1) Suppose that $A$ and $B$ are representation-finite, self-injective Artin algebras with $_AX$ and $_BY$ additive generators for $A$ and $B$, respectively. If $A$ and $B$ are derived-equivalent, then the $Φ$-Auslander-Yoneda algebras of $X$ and $Y$ are derived-equivalent for every admissible set $Φ$. In particular, the Auslander algebras of $A$ and $B$ are both derived-equivalent and stably equivalent. (2) For a self-injective Artin algeba $A$ and an $A$-module $X$, the $Φ$-Auslander-Yoneda algebras of $A\oplus X$ and $A\oplus Ω_A(X)$ are derived-equivalent for every admissible set $Φ$, where $Ω$ is the Heller loop operator. Motivated by these derived equivalences between $Φ$-Auslander-Yoneda algebras, we consider constructions of derived equivalences for quotient algebras, and show, among others, that a derived equivalence between two basic self-injective algebras may transfer to a derived equivalence between their quotient algebras obtained by factorizing out socles.

연구 동기 및 목표

• 주어진 거의 $ν$-안정된 유도 동치로부터 $Φ$-Auslander-Yoneda 대수들 간의 새로운 유도 동치를 체계적으로 구성하는 방법을 개발하는 것.
• 기존의 아우슬란더 대수와 요나다 대수의 유도 동치 결과를 유한 차원을 초월한 더 넓은 대수의 범주로 일반화하는 것.
• 기본 자기수반 대수들 간의 유도 동치가 그들의 몫 대수들로 전이되는 조건을 조사하는 것, 이는 사회를 인한 몫을 취한 후에 이루어진다.
• 모듈러스와 그 헬러 이동의 $Φ$-Auslander-Yoneda 대수가 유도 동치가 되는 조건을 설정하는 것.

제안 방법

• $A$를 아르틴 대수, $\Phi\subseteq\mathbb{N}$를 허용 가능한 부분집합으로 하여, 모듈러스 $M$에 대해 $\Phi$-Auslander-Yoneda 대수를 $\operatorname{E}_A^\Phi(M) = \bigoplus_{i\in\Phi} \operatorname{Ext}^i_A(M,M)$ 로 정의한다.
• 아르틴 대수 $A$와 $B$ 사이의 거의 $ν$-안정된 유도 동치 $F$를 이용하여, $A$와 $B$ 위의 타이팅 복합체를 고려하고, 이를 통해 모듈러스 카테고리 위에서 안정 동치를 유도한다.
• $M = A\oplus X$와 $N = B\oplus\bar{F}(X)$에 대해 $\Phi$-Auslander-Yoneda 대수 $\operatorname{E}_A^\Phi(M)$와 $\operatorname{E}_B^\Phi(N)$를 구성한다. 여기서 $\bar{F}$는 유도된 안정 함자이다.
• 원래의 유도 동치의 구조를 이용하여 타이팅 복합체 구성법을 통해 유도된 결과 대수들이 서로 유도 동치임을 증명한다.
• $\Phi$가 유한할 경우, $\operatorname{E}_A^\Phi(A\oplus X)$와 $\operatorname{E}_B^\Phi(B\oplus\bar{F}(X))$ 사이의 유도 동치 자체가 거의 $\nu$-안정적이며, 이는 두 대수 간의 안정 동치를 암시함을 보인다.
• 사회를 인한 몫 대수에 대해 이 방법을 적용하여, 기본 자기수반 대수들 간의 유도 동치가 그들의 몫 대수들 사이의 유도 동치로 내림내릴 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 임의의 허용 가능한 $Φ\subseteq\mathbb{N}$에 대해, 아르틴 대수들 간의 유도 동치가 그들의 $Φ$-Auslander-Yoneda 대수들 간의 유도 동치로 올라갈 수 있는가?
• RQ2 거의 $ν$-안정된 유도 동치에 의해 유도된 $Φ$-Auslander-Yoneda 대수들 간의 유도 동치가 언제 거의 $ν$-안정적인가?
• RQ3 $A\oplus X$와 $A\oplus\Omega_A(X)$의 $Φ$-Auslander-Yoneda 대수들이 임의의 허용 가능한 $Φ$에 대해 여전히 유도 동치인가?
• RQ4 기본 자기수반 대수들 간의 유도 동치가 사회를 인한 몫 대수들 사이의 유도 동치로 전이되는가?
• RQ5 유도 동치 결과는 일반화된 요나다 대수와 무한 차원 대수로 어떻게 확장되는가?

주요 결과

• 표현 유한성과 자기수반 조건을 만족하는 아르틴 대수 $A$와 $B$가 유도 동치일 경우, 모든 허용 가능한 집합 $\Phi$에 대해 그들의 $Φ$-Auslander-Yoneda 대수들이 역시 유도 동치임을 보였다. 이는 고전적인 아우슬란더 대수를 포함한다.
• 모든 자기수반 아르틴 대수 $A$와 $A$-모듈러스 $X$에 대해, $A\oplus X$와 $A\oplus\Omega_A(X)$의 $Φ$-Auslander-Yoneda 대수들은 모든 허용 가능한 $\Phi$에 대해 유도 동치이다. 여기서 $\Omega_A$는 헬러 루프 연산자이다.
• $\Phi$가 유한할 경우, $\operatorname{E}_A^\Phi(A\oplus X)$와 $\operatorname{E}_B^\Phi(B\oplus\bar{F}(X))$ 사이의 유도 동치 자체가 거의 $\nu$-안정적이며, 이는 두 대수 간의 안정 동치를 암시한다.
• 기본 자기수반 대수일 경우, $A$와 $B$ 사이의 유도 동치는 각각의 사회를 인한 몫 대수들 사이의 유도 동치를 유도한다.
• 이 방법은 일반화된 요나다 대수와 그 몫 대수를 포함한 무한 차원 대수들 간의 유도 동치를 생성하며, 이는 이전의 유한 차원 사례에서의 결과를 확장한다.
• $n\geq1$일 때, 유한 차원 몫 대수 $\operatorname{E}_A^{\Phi(1,n)}(A\oplus X)$와 $\operatorname{E}_A^{\Phi(1,n)}(A\oplus\Omega_A(X))$는 모두 유도 동치이자 안정 동치이며, 생성자 $\delta_i$와 $z_i$와의 명시적 관계를 가진다.