[논문 리뷰] Auslander-Gorenstein algebras, standardly stratified algebras and dominant dimensions

René Marczinzik|arXiv (Cornell University)|2016. 10. 10.

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

한 줄 요약

이 논문은 아울러-고렌스타인 대수, 표준적으로 분할된 대수, 그리고 주도 차원 사이의 깊은 연결 고리를 확립한다. 아울러-고렌스타인 대수에서 고렌스타인 차원이 $ r $ 인 경우, 주도 차원 $ r-j $ 인 모듈러의 범주와 고렌스타인 프로젝티브 차원 $ j $ 인 모듈러의 범주가 일치함을 증명한다. 또한 이러한 대수가 단순을 유지하는 대칭을 갖는 적절히 분할된 대수이고 특성 기울임 모듈러가 특성 코기울임 모듈러와 일치할 경우, 고렌스타인 차원은 $ 2m $ 가 되며, 표준적으로 필터링된 모듈러의 범주는 정확히 주도 차원과 고렌스타인 프로젝티브 범주와 일치함을 보인다.

ABSTRACT

We give new properties of algebras with finite Gorenstein dimension coinciding with the dominant dimension $\geq 2$, which are called Auslander-Gorenstein algebras in the recent work of Iyama and Solberg, see \cite{IyaSol}. In particular, when those algebras are standardly stratified, we give criteria when the category of (properly) (co)standardly filtered modules has a nice homological description using tools from the theory of dominant dimensions and Gorenstein homological algebra. We give some examples of standardly stratified algebras having dominant dimension equal to the Gorenstein dimension, including examples having an arbitrary natural number as Gorenstein dimension and blocks of finite representation-type of Schur algebras.

연구 동기 및 목표

• 유한차원 대수에서 주도 차원, 고렌스타인 호모로지 대수학, 표준적으로 분할된 구조 사이의 상호작용을 탐색하는 것.
• 주도 차원과 고렌스타인 프로젝티브/인젝티브 차원을 통한 (코)표준적으로 필터링된 모듈러의 범주가 호모로지적으로 기술될 수 있는 조건을 규명하는 것.
• 대수의 클래스 $\mathcal{A}$ (단순을 유지하는 대칭을 갖는 쿼어티-헤르드레기 대수이며 주도 차원 ≥2)에 속하는 표현 유한 대수를 분류하여, 이들이 $K[x]/(x^3)$의 아울러 대수 또는 슈어 대수의 블록과 동형임을 보이는 것.
• 특수한 경우에서 특성 기울임 모듈러의 호모로지적 특성화를 제공하여, 이를 프로젝티브 및 인젝티브 차원과 연결하는 것.
• 주요 정리 조건을 만족하는 대수에서 범주 $F(\overline{\Delta})$ 내 상대 아울러-아렌 트랜슬레이트에 대한 공식을 수립하는 것.

제안 방법

• 고렌스타인 차원 $ r $ 가 주도 차원 $ \geq 2 $ 와 일치하는 유한차원 대수를 아울러-고렌스타인 대수로 정의하여, 고차 아울러 대수의 일반화를 시도한다.
• 모든 $ j = 0,1,\dots,r $ 에 대해 $ Dom_{r-j} = GProj_j $ 와 $ Codom_{r-j} = GInj_j $ 의 동치를 이용하여 주도 차원과 고렌스타인 호모로지 차원을 연결한다.
• 무어의 정리를 적용하여 $ Ext^i(M,M) $ 가 일정 정도의 차수까지 0이 되는 것으로 주도 차원을 계산하며, 최소 프로젝티브 분해를 사용한다.
• 단순 모듈러의 명시적 최소 프로젝티브 분해를 구성하여 $ Ext^i(S_n, S_n) = 0 $ 이 $ i = 1,\dots,2n-2 $ 에 대해 성립함을 입증함으로써 주도 차원 $ 2n-2 $ 를 확인한다.
• 생성자-코생성자 $ A \oplus S_n $ 를 사용하고 $ End_A(A \oplus S_n) $ 를 적용하여 대수 $ B(n,1,\dots,1) $ 를 실현함으로써, 이들이 고차 아울러 대수임을 보인다.
• 대칭 대수와 생성자-코생성자가 대수들이 클래스 $ \mathcal{A} $ 에 속하게 하여 분류 결과를 도출할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 (적절히) (코)표준적으로 필터링된 모듈러의 범주는 주도 차원과 고렌스타인 프로젝티브/인젝티브 차원을 통해 호모로지적으로 기술될 수 있는가?
• RQ2 아울러-고렌스타인 대수에서 특성 기울임 모듈러가 특성 코기울임 모듈러와 일치하는 조건은 무엇인가?
• RQ3 클래스 $ \mathcal{A} $ 에 속하는 표현 유한 대수 중 어떤 것이 존재하며, 아울러 대수 또는 슈어 대수의 블록으로서의 그 구조는 어떠한가?
• RQ4 이 설정에서 고렌스타인 차원, 주도 차원, 표준적으로 분할된 대수의 구조 사이의 정확한 관계는 무엇인가?
• RQ5 주요 대칭과 기울임 조건을 만족하는 대수에서 $ F(\overline{\Delta}) $ 내 상대 아울러-아렌 트랜슬레이트는 어떻게 계산할 수 있는가?

주요 결과

• 아울러-고렌스타인 대수에서 고렌스타인 차원이 $ r $ 인 경우, 모든 $ j = 0,1,\dots,r $ 에 대해 $ Dom_{r-j} $ 와 $ GProj_j $ 가 일치함을 보여, 주도 차원과 고렌스타인 호모로지 차원 사이의 직접적 연결 고리를 확립한다.
• 대수가 적절히 분할된 대수이며 단순을 유지하는 대칭을 갖고, 특성 기울임 모듈러가 특성 코기울임 모듈러와 일치할 경우, 고렌스타인 차원은 $ 2m $ 가 되며, 여기서 $ m $ 은 기울임 모듈러의 프로젝티브 차원이다.
• 이 경우 $ F(\bar{\Delta}) = Dom_m = GProj_m $, $ F(\Delta) = Proj_m $, $ F(\bar{\nabla}) = Codom_m = GInj_m $, $ F(\nabla) = Inj_m $ 로 표현되며, 이는 완전한 호모로지 동치를 보여준다.
• $ B(n,1,1,\dots,1) $ 대수는 주도 차원 $ 2n-2 $, 전역 차원 $ 2n-2 $ 를 가지며 $ F(\Delta) = Dom_{n-1} = Proj_{n-1} $ 를 만족함으로써 고차 아울러 대수임을 확인한다.
• 모든 클래스 $ \mathcal{A} $ 에 속하는 표현 유한 대수는 $ K[x]/(x^3) $ 의 아울러 대수 또는 $ B(n,1,1,\dots,1) $ 과 동형이며, 슈어 대수의 블록과 모리타 동치이다.
• 대수 $ B(n,1,1,\dots,1) $ 의 특성 기울임 모듈러는 $ T = eA \oplus S_1 $ 이며, 여기서 $ eA $ 는 최소 충실한 프로젝티브-인젝티브 모듈러이고 $ \Omega^{n-1}((1-e)B) = S_1 $ 이다. 이는 기울임 구조를 확인한다.