[논문 리뷰] Repetitive resolutions over classical orders and finite dimensional algebras

K. R. Goodearl, Birge Huisgen-Zimmermann|arXiv (Cornell University)|2014. 07. 09.

Rings, Modules, and Algebras참고 문헌 12인용 수 6

한 줄 요약

이 논문은 아르틴 레인지와 유한 차원 대수에서 유한적 차원을 유계화하기 위해 반복 지수와 시지지 타입을 새로운 불변량으로 도입한다. $\Omega = \mathcal{O}/\pi\mathcal{O}$ 형태의 유한 차원 대수에서 $\mathcal{O}$ 가 이산 비율환 위의 고전적 순서이면, $\operatorname{gl.dim.}\mathcal{O} = d < \infty$ 이면 $\Omega$ 의 전반적 반복 지수는 $d-1$ 이고, 모든 유한 생성 $\Omega$-모듈러스는 유한한 시지지 타입을 가진다.

ABSTRACT

Repetitiveness in projective and injective resolutions and its influence on homological dimensions are studied. Some variations on the theme of repetitiveness are introduced, and it is shown that the corresponding invariants lead to very good -- and quite accessible -- upper bounds on various finitistic dimensions in terms of individual modules. These invariants are the `repetition index' and the `syzygy type' of a module $M$ over an artinian ring $Λ$. The repetition index measures the degree of repetitiveness among non-projective direct summands of the syzygies of $M$, while the syzygy type of $M$ measures the number of indecomposable modules among direct summands of the syzygies of $M$. It is proved that if $T$ is a right $Λ$-module which contains an isomorphic copy of $Λ/J(Λ)$, then the left big finitistic dimension of $Λ$ is bounded above by the repetition index of $T$, which in turn is bounded above by the syzygy type of $T$. The finite dimensional $K$-algebras $Λ= {\cal O}/π{\cal O}$, where $\cal O$ is a classical order over a discrete valuation ring $D$ with uniformizing parameter $π$ and residue class field $K$, are investigated. It is proved that, if $ ext{gl.dim.}\, {\cal O} =d

연구 동기 및 목표

• 프로젝티브 및 인젝티브 분해에서의 반복 행동을 캡처하는 새로운 호모로지 불변량인 반복 지수와 시지지 타입을 개발하기 위해.
• 특히 고전적 순서에서 유도된 유한 차원 대수에 대해, 이러한 불변량을 사용하여 유한적 차원의 상한을 확립하기 위해.
• 고전적 순서 $\mathcal{O}$ 의 전역 차원이 $\operatorname{gl.dim.}\mathcal{O} = d < \infty$ 이면, $\Omega = \mathcal{O}/\pi\mathcal{O}$ 의 전반적 반복 지수가 $d-1$ 이고, 모든 유한 생성 $\Omega$-모듈러스가 유한한 시지지 타입을 가짐을 보여주기 위해.
• 고전적 순서 $\mathcal{O}$ 의 호모로지 성질이 $\Omega = \mathcal{O}/\pi\mathcal{O}$ 와 같은 더 단순한 대수를 통해 연구될 수 있음을 보여주기 위해, 특히 $\mathcal{O}$ 가 무한 전역 차원을 가지지만 $\Omega$ 가 고렌스타인임이 보장되는 경우에 대해.

제안 방법

• $\Lambda$ 를 아르틴 레인지로 하고, 모듈러스 $M$ 의 시지지의 비프로젝티브 직접 합성부분의 반복성 정도를 측정하는 반복 지수 $\operatorname{rep}(M)$ 을 정의한다.
• 모듈러스 $M$ 의 시지지의 직접 합성부분들 중 불가분 모듈러스의 수로 시지지 타입을 정의하며, 이는 궁극적으로 닫힌 분해의 개념을 일반화한다.
• 기본적으로 $\Lambda/J(\Lambda)$ 의 복제본을 포함하는 오른쪽 $\Lambda$-모듈러스 $T$ 에 대해, $\Lambda$ 의 왼쪽 큰 유한적 차원이 $\operatorname{rep}(T)$ 에 의해 유계화되며, 이는 $T$ 의 시지지 타입에 의해 유계화됨을 증명한다.
• $D$ 를 이산 비율환으로 하고, 통일된 매개변수 $\pi$ 를 가진 고전적 순서 $\mathcal{O}$ 에 대해, 유한 차원 $K$-대수 $\Lambda = \mathcal{O}/\pi\mathcal{O}$ 의 클래스를 분석한다.
• $\mathcal{O}$ 와 $\Lambda$ 간의 구조적 관계를 이용하여, $\operatorname{gl.dim.}\mathcal{O} = d < \infty$ 이면 $\operatorname{l\,gl\,rep}\Lambda = d - 1$ 임을 유도한다.
• $\mathcal{O}$ 에서 $\Lambda$ 로의 호모로지 자료의 이행을 설명하는 구체적 예를 제시하며, $\mathcal{O}$ 가 무한 전역 차원을 가지지만 $\Lambda$ 가 고렌스타인임이 보장되는 경우도 포함한다.

실험 결과

연구 질문

• RQ1 프로젝티브 및 인젝티브 분해에서의 반복 패턴은 어떻게 정량화되어 유한적 차원을 유계화할 수 있는가?
• RQ2 아르틴 레인지에서 모듈러스의 반복 지수와 시지지 타입 사이의 관계는 무엇인가?
• RQ3 $\Lambda = \mathcal{O}/\pi\mathcal{O}$ 의 전반적 반복 지수가 유한한 조건은 무엇이며, 이는 $\mathcal{O}$ 의 전역 차원과 어떻게 관련되는가?
• RQ4 고전적 순서 $\mathcal{O}$ 의 호모로지 불변량은 몰입 대수 $\Lambda = \mathcal{O}/\pi\mathcal{O}$ 를 통해 효과적으로 연구될 수 있는가?
• RQ5 $\mathcal{O}$ 가 무한 전역 차원을 가지지만 $\Lambda = \mathcal{O}/\pi\mathcal{O}$ 가 고렌스타인일 경우, 유한적 차원과 전역 차원은 어떻게 변화하는가?

주요 결과

• $\Lambda$ 가 아르틴 레인지이면, $\Lambda/J(\Lambda)$ 의 복제본을 포함하는 임의의 오른쪽 $\Lambda$-모듈러스 $T$ 에 대해, $\Lambda$ 의 왼쪽 큰 유한적 차원은 $\operatorname{rep}(T)$ 에 의해 유계화된다.
• $T$ 의 반복 지수는 $T$ 의 시지지 타입에 의해 유계화되며, 이는 유한적 차원에 대한 상한의 사슬을 확립한다.
• $\mathcal{O}$ 가 이산 비율환 위의 고전적 순서이고 $\operatorname{gl.dim.}\mathcal{O} = d < \infty$ 이면, $\Lambda = \mathcal{O}/\pi\mathcal{O}$ 의 전반적 반복 지수는 $d - 1$ 이다.
• $\operatorname{gl.dim.}\mathcal{O} = d < \infty$ 이면 모든 유한 생성 $\Lambda$-모듈러스는 유한한 시지지 타입을 가지며, 이는 이러한 모듈러스에 대해 궁극적으로 닫힌 프로젝티브 분해가 존재함을 의미한다.
• $\mathcal{O}$ 가 무한 전역 차원을 가지지만 $\Lambda = \mathcal{O}/\pi\mathcal{O}$ 가 고렌스타인임이 보장되는 예가 존재하며, 이러한 경우 $\mathcal{O}$ 의 왼쪽 및 오른쪽 유한적 차원은 서로 같다.
• $\Lambda$-모듈러스인 단순 모듈러스 $\Lambda e_6 / J e_6$ 의 프로젝티브 차원은 2를 초과하며, 이 모듈러스에 대해 $\operatorname{p\,dim}_{\mathcal{O}} M > 2$ 이고, 이 모듈러스의 $\Lambda$-모듈러스로서의 반복 지수는 무한대이다.