[논문 리뷰] Finitistic Auslander algebras

René Marczinzik|arXiv (Cornell University)|2017. 01. 04.

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

한 줄 요약

이 논문은 주로 극한 차원이 2 이상인 유한차원 대수로서, 주 dominant 차원과 finitistic 차원이 같고 둘 다 2 이상인 finitistic Auslander 대수를 도입한다. 이는 Auslander-Gorenstein 대수와 고차 Auslander 대수를 일반화한 것으로, 이러한 대수의 특성은 주 dominant 차원을 갖는 모듈에 대한 호모로지 조건을 통해 제공되며, 이는 고차 Auslander 대응관계의 짧은 증명과 함께 힙프 대수와 자기-투사 대수에 대한 새로운 결과를 이끌어낸다.

ABSTRACT

Recently, Chen and Koenig in \cite{CheKoe} and Iyama and Solberg in \cite{IyaSol} independently introduced and characterised algebras with dominant dimension coinciding with the Gorenstein dimension and both dimensions being larger than or equal to two. In \cite{IyaSol}, such algebras are named Auslander-Gorenstein algebras. Auslander-Gorenstein algebras generalise the well known class of higher Auslander algebras, where the dominant dimension additionally coincides with the global dimension. In this article we generalise Auslander-Gorenstein algebras further to algebras having the property that the dominant dimension coincides with the finitistic dimension and both dimension are at least two. We call such algebras finitistic Auslander algebras. As an application we can specialise to reobtain known results about Auslander-Gorenstein algebras and higher Auslander algebras such as the higher Auslander correspondence with a very short proof. We then give several conjectures and classes of examples for finitistic Auslander algebras. For a local Hopf algebra $A$ and an indecomposable non-projective $A$-module $M$, we show that $End_A(A \oplus M)$ is always a finitistic Auslander algebra of dominant dimension two. In particular this shows that $Ext_A^1(M,M)$ is always non-zero, which generalises a result of Tachikawa who proved that $Ext_A^1(M,M) eq 0$ for indecomposable non-projective modules $M$ over group algebras of $p$-groups. We furthermore conjecture that every algebra of dominant dimension at least two which has exactly one projective non-injective indecomposable module is a finitistic Auslander algebra. We prove this conjecture for a large class of algebras which includes all representation-finite algebras.

연구 동기 및 목표

• 주 dominant 차원이 finitistic 차원과 같고 둘 다 2 이상인 finitistic Auslander 대수를 도입함으로써, Auslander-Gorenstein 대수와 고차 Auslander 대수를 일반화한다.
• 특정 주 dominant 차원 또는 Gorenstein 프로젝티브 차원을 갖는 모듈의 부분분류를 이용하여 이러한 대수의 호모로지적 특성화를 제공한다.
• 지역 힙프 대수와 분해 불가능한 비프로젝티브 모듈 $M$에 대해, $\mathrm{End}_A(A \oplus M)$ 형태의 내적 대수는 주 dominant 차원이 2인 finitistic Auslander 대수임을 증명한다.
• 주 dominant 차원 ≥2 이며 정확히 하나의 비투사 프로젝티브 모듈만을 갖는 모든 대수가 finitistic Auslander 대수임을 동원하고, 이에 대한 특수한 경우를 증명한다.
• 주 dominant 차원이 1인 경우에도 주 dominant 차원과 finitistic 차원이 같을 수 있는 약한 finitistic Auslander 대수 이론을 확장한다.

제안 방법

• 주 dominant 차원이 finitistic 차원과 같고 둘 다 ≥2인 유한차원 대수로서 finitistic Auslander 대수를 정의한다.
• 다음 네 가지 동치 조건을 통해 이러한 대수를 특성화한다: $Dom_d(A)$ 가 $Proj(A) \cup Proj_\infty(A)$ 에 포함되며, $Gp(A) \cup Gp_\infty(A)$ 에 포함되며, $M^{\perp d-2} \setminus add(M)$ 에 속한 모듈들에 대해 무한한 $add(M)$-해상도 차원을 갖는다.
• 생성자-코생성자 이론과 상대 호모로지 차원 이론을 활용하여 클러스터 트리밍 및 프리클러스터 트리밍 대상의 일반화를 수행한다.
• 특성화를 적용하여 기존 결과를 복원한다. 예를 들어 고차 Auslander 대응관계와 Auslander-Gorenstein 대수에서 Gorenstein 프로젝티브 모듈의 분류를 포함한다.
• 지역 힙프 대수와 분해 불가능한 비프로젝티브 $A$-모듈 $M$에 대해 $\mathrm{End}_A(A \oplus M)$ 이 주 dominant 차원이 2인 finitistic Auslander 대수임을 증명한다.
• 표현 이론과 Gorenstein 호모로지 대수학을 활용하여 예시를 분석하고, 나아가 주 dominant 차원 임계값에 대한 추측을 뒷받침한다. 예를 들어 Nakayama 대수와 gendo-대칭 이분할 대수를 포함한다.

실험 결과

연구 질문

• RQ1 어떤 경우에 대수의 주 dominant 차원이 그 finitistic 차원과 같아지며, 이러한 등식으로 인해 유도되는 구조적 성질은 무엇인가?
• RQ2 새로운 finitistic Auslander 대수의 프레임워크를 통해 고차 Auslander 대응관계를 짧은 증명으로 복원할 수 있는가?
• RQ3 모든 지역 힙프 대수 $A$와 분해 불가능한 비프로젝티브 $A$-모듈 $M$에 대해 $\mathrm{End}_A(A \oplus M)$ 이 finitistic Auslander 대수인가?
• RQ4 주 dominant 차원 ≥2 이며 정확히 하나의 비투사 프로젝티브 모듈만을 갖는 모든 대수가 finitistic Auslander 대수 조건을 만족하는가?
• RQ5 주 dominant 차원에 대한 다항식 상한 $f(n)$ 이 무엇이면, $n$ 개의 단순 모듈을 갖는 비자기-투사 대수는 항상 finitistic Auslander 대수인가?

주요 결과

• finitistic Auslander 대수는 유한한 프로젝티브 차원 또는 Gorenstein 프로젝티브 차원을 갖는 모듈의 부분분류를 포함하는 네 가지 동치 조건으로 특성화된다.
• 모든 지역 힙프 대수 $A$와 분해 불가능한 비프로젝티브 $A$-모듈 $M$에 대해, 내적 대수 $\mathrm{End}_A(A \oplus M)$ 는 주 dominant 차원이 2인 finitistic Auslander 대수이다.
• 이 결과는 $\mathrm{Ext}^1_A(M,M) \neq 0$ 임을 함의하며, $p$-군 대수에 대한 Tachikawa 정리의 일반화이다.
• 지역 자기-투사 대수 $A$에 대해, 대수 $B = \mathrm{End}_A(A \oplus S)$ 는 주 dominant 차원이 2인 표준적으로 계층화된 finitistic Auslander 대수이다.
• 대수 $B$ 가 Auslander-Gorenstein 대수임과 동시에 $A \cong K[x]/(x^n)$ 이다. ($n \geq 2$) 이고, 고차 Auslander 대수임과 동시에 $A \cong K[x]/(x^2)$ 이다.
• 모든 표현 유한한 NASG 대수는 약한 finitistic Auslander 대수이며, 이러한 대수들에 대해서는 finitistic 차원 추측이 성립한다.