[논문 리뷰] Higher Auslander Algebras Admitting Trivial Maximal Orthogonal Subcategories

Zhaoyong Huang, Xiaojin Zhang|ArXiv.org|2009. 03. 04.

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

한 줄 요약

이 논문은 $\mathop{\rm mod}\nolimits\Lambda$ 내에서 비자명하지 않은 최대 $(n-1)$-수직 부분분류를 갖는 고차 아우살러 대수에 대해 기술한다. 이러한 대수는 모두 프로젝티브 또는 인젝티브 차수 $n-1$ 이하인 모든 불가분 모듈을 갖는 나카야마 대수여야 하며, 이 성질을 갖는 유한차원 기본 연결 $(n-1)$-아우살러 대수의 화살표와 관계를 완전히 분류한다.

ABSTRACT

For an Artinian $(n-1)$-Auslander algebra $Λ$ with global dimension $n(\geq 2)$, we show that if $Λ$ admits a trivial maximal $(n-1)$-orthogonal subcategory of $\modΛ$, then $Λ$ is a Nakayama algebra and the projective or injective dimension of any indecomposable module in $\modΛ$ is at most $n-1$. As a result, for an Artinian Auslander algebra with global dimension 2, if $Λ$ admits a trivial maximal 1-orthogonal subcategory of $\modΛ$, then $Λ$ is a tilted algebra of finite representation type. Further, for a finite-dimensional algebra $Λ$ over an algebraically closed field $K$, we show that $Λ$ is a basic and connected $(n-1)$-Auslander algebra $Λ$ with global dimension $n(\geq 2)$ admitting a trivial maximal $(n-1)$-orthogonal subcategory of $\modΛ$ if and only if $Λ$ is given by the quiver: $$\xymatrix{1 & \ar[l]_{β_{1}} 2 & \ar[l]_{β_{2}} 3 & \ar[l]_{β_{3}} ... & \ar[l]_{β_{n}} n+1} $$ modulo the ideal generated by $\{β_{i}β_{i+1}| 1\leq i\leq n-1 \}$. As a consequence, we get that a finite-dimensional algebra over an algebraically closed field $K$ is an $(n-1)$-Auslander algebra with global dimension $n(\geq 2)$ admitting a trivial maximal $(n-1)$-orthogonal subcategory if and only if it is a finite direct product of $K$ and $Λ$ as above. Moreover, we give some necessary condition for an Artinian Auslander algebra admitting a non-trivial maximal 1-orthogonal subcategory.

연구 동기 및 목표

• 고차 아우살러 대수에서 $\mathop{\rm mod}\nolimits\Lambda$ 내에 비자명한 최대 $(n-1)$-수직 부분분류가 존재하는 경우의 구조적 제약 조건을 규명하는 것.
• 비자명한 최대 $(n-1)$-수직 부분분류를 갖는 유한차원 기본 및 연결 $(n-1)$-아우살러 대수를 특성화하는 것.
• 최대 프로젝티브 차수 $n$을 갖는 단순 모듈에 대해, 비자명한 최대 $(n-1)$-수직 부분분류의 존재를 위한 필요 및 충분 조건을 설정하는 것.
• 이러한 대수의 완전한 화살표와 관계 기술을 제공하여, 이들이 $K$와 특정 경로 대수의 관계를 모듈로 한 직접곱임을 보이는 것.
• 특히 단순 모듈의 호모로지적 성질—특히 프로젝티브 및 인젝티브 차수—이 최대 수직 부분분류의 존재를 결정하는 데 어떻게 기여하는지 명확히 하는 것.

제안 방법

• 비자명한 최대 $(n-1)$-수직 부분분류를 갖는 고차 아우살러 대수의 불가분 모듈의 호모로지적 성질을 분석하는 것.
• 최소 사상과 싸지 모듈을 사용하여 프로젝티브 차수 $n$을 갖는 단순 모듈의 구조를 연구하는 것.
• 이러한 단순 모듈의 최소 프로젝티브 분해의 모든 항이 불가분이며, 싸지가 단순임을 증명하는 것.
• 비프로젝티브-비인젝티브 불가분 모듈의 프로젝티브 및 인젝티브 차수의 합이 정확히 $n$임을 증명하여, 각 차수가 $n-1$ 이하임을 이끌어내는 것.
• 나카야마 대수의 분류를 적용하여, 주어진 조건 하에서 대수가 반드시 나카야마 대수임을 유도하는 것.
• 구체적인 화살표와 관계를 갖는 대수를 구성하는 것: 선형 화살표 $1 \to 2 \to \cdots \to n+1$이며, $\{\beta_i\beta_{i+1} \mid 1 \leq i \leq n-1\}$에 의해 생성되는 이상을 모od로 하고, 이로써 기본 연결 케이스를 특성화하는 것.

실험 결과

연구 질문

• RQ1 글로벌 차수가 $n$인 아르틴ian $(n-1)$-아우살러 대수가 비자명한 최대 $(n-1)$-수직 부분분류를 갖는 조건은 무엇인가?
• RQ2 이러한 대수에서 불가분 모듈—특히 단순 모듈—의 호모로지적 성질은 무엇인가?
• RQ3 유한차원 기본 및 연결 $(n-1)$-아우살러 대수가 비자명한 최대 $(n-1)$-수직 부분분류를 갖는 경우의 정확한 화살표와 관계 구조는 무엇인가?
• RQ4 프로젝티브 차수가 $n$인 단순 모듈의 프로젝티브 및 인젝티브 차수가 최대 수직 부분분류의 존재에 어떻게 영향을 주는가?
• RQ5 비자명한 최대 $(n-1)$-수직 부분분류의 존재가 최대 프로젝티브 차수를 갖는 단순 모듈의 성질만으로 특성화될 수 있는가?

주요 결과

• 글로벌 차수 $n \geq 2$인 아르틴ian $(n-1)$-아우살러 대수 $\Lambda$가 비자명한 최대 $(n-1)$-수직 부분분류를 갖는다면, $\Lambda$는 나카야마 대수이다.
• 모든 단순 모듈 $S$에 대해 $\mathop{\rm pd}\nolimits_\Lambda S = n$이면, $S$의 $i$번째 싸지는 모든 $1 \leq i \leq n$에 대해 단순이며, $S$의 최소 프로젝티브 분해의 모든 항은 불가분이다.
• 모듈 $\mathop{\rm mod}\nolimits\Lambda$ 내의 비프로젝티브-비인젝티브 불가분 모듈의 프로젝티브 및 인젝티브 차수의 합은 정확히 $n$이며, 따라서 각 차수는 $n-1$ 이하이다.
• 유한차원 기본 및 연결 $(n-1)$-아우살러 대수 $\Lambda$가 비자명한 최대 $(n-1)$-수직 부분분류를 갖는 것은, $\Lambda$가 화살표 $1 \to 2 \to \cdots \to n+1$와 관계 이상 $\{\beta_i\beta_{i+1} \mid 1 \leq i \leq n-1\}$을 모듈로 한 것과 동치이다.
• 유한차원 $(n-1)$-아우살러 대수 $\Lambda$가 비자명한 최대 $(n-1)$-수직 부분분류를 갖는 것은, $K$와 위의 화살표 및 관계로 기술된 대수의 유한한 직접곱과 동치이다.
• 특히 $n=2$인 경우, 글로벌 차수가 2인 아르틴ian 아우살러 대수가 비자명한 최대 1-수직 부분분류를 갖는다면, 이는 유한 표현 유형의 타이드 대수이다.