[논문 리뷰] Global dimensions of rings with respect to a semidualizing module

Guoqiang Zhao, Juxiang Sun|arXiv (Cornell University)|2013. 07. 02.

Algebraic structures and combinatorial models참고 문헌 9인용 수 4

한 줄 요약

이 논문은 자유 모듈이 프로젝티브 모듈을 특징짓는 방식과 유사하게, 강한 $G_C$-프로젝티브 및 $G_C$-인젝티브 모듈을 도입하여 $G_C$-프로젝티브 및 $G_C$-인젝티브 모듈를 특징짓는다. 주요 기여는 임의의 반환 $C$를 갖는 링 $R$에 대해 $G_C$-프로젝티브 및 $G_C$-인젝티브 전역 차원이 일치함을 증명하고, 이 공통 값을 새로운 불변량인 $R$의 $C$-고렌스타인 전역 차원으로 정의하는 것이다. 이는 고전적 전역 차원과 고렌스타인 호모로지 차원을 일반화한다.

ABSTRACT

In this paper, the notion of strongly G_C-projective and injective modules is introduced, where C is a semidualizing module. Using these modules we can obtain a new characterization of G_C-projective and injective modules, similar to the one of projective modules by the free modules. We then define and study the global dimensions of rings relative to a semidualizing module C, and prove that the global G_C-projective dimension of a ring R is equal to the global G_C-injective dimension of R.

연구 동기 및 목표

• 강한 $G_C$-프로젝티브 및 $G_C$-인젝티브 모듈을 사용하여 $G_C$-프로젝티브 및 $G_C$-인젝티브 모듈의 새로운 특징을 제시한다.
• 반환 모듈 $C$에 대해 링 $R$의 $G_C$-프로젝티브 및 $G_C$-인젝티브 전역 차원을 정의하고 연구한다.
• $G_C$-프로젝티브 및 $G_C$-인젝티브 전역 차원이 일치함을 증명하여 고렌스타인 호모로지 대수학의 고전적 결과를 일반화한다.
• $C$-고렌스타인 전역 차원과 고전적 전역 차원(예: 고전적 전역 차원, 약한 전역 차원 등) 간의 관계를 조사한다.
• 타카하시와 화이트가 제기한 문제에 부분적인 답을 제공한다: 유한한 $C$-고렌스타인 전역 차원을 갖는 국소 코hen-맥컬레이 링이 고렌스타인임을 보여준다.

제안 방법

• 강한 $G_C$-프로젝티브 및 $G_C$-인젝티브 모듈의 클래스를 도입하여, $G_C$-프로젝티브 및 $G_C$-인젝티브 모듈의 보완을 제공한다.
• $R$-모듈이 $G_C$-프로젝티브(또는 인젝티브)임과 동시에 강한 $G_C$-프로젝티브(또는 인젝티브) $R$-모듈의 직접합성 부분모듈임은 동치임을 증명한다.
• $R$-모듈 전부에 대한 $G_C$-프로젝티브 및 $G_C$-인젝티브 차원의 상한으로서 링 $R$의 $G_C$-프로젝티브 및 $G_C$-인젝티브 전역 차원을 정의한다.
• $\text{Hom}_R(-,\text{--})$-정확한 수열과 캐릭터 모듈을 포함한 호모로지 도구를 사용하여 $G_C$-차원과 고전적 차원 간의 관계를 규명한다.
• $C$-고렌스타인 전역 차원과 고전적 전역 차원 간의 부등식을 수립하고, ${\rm G}_C{\text{-}}{\rm gl.dim}(R) \leq \mathop{\rm gl.dim}(R)$ 를 보여준다.
• 대칭성과 귀납적 추론을 적용하여 $G_C$-인젝티브 차원의 경계가 $G_C$-프로젝티브 차원의 경계에 의해 제어됨을 증명하고, 그 반대도 마찬가지로 성립함을 보인다.

실험 결과

연구 질문

• RQ1 자유 모듈이 프로젝티브 모듈을 특징짓는 방식과 유사하게, $G_C$-프로젝티브 및 $G_C$-인젝티브 모듈는 어떤 더 강력한 모듈 클래스를 통해 특징지어질 수 있는가?
• RQ2 반환 모듈 $C$가 주어졌을 때, 링 $R$의 $G_C$-프로젝티브 전역 차원이 $G_C$-인젝티브 전역 차원과 같은가?
• RQ3 $C$-고렌스타인 전역 차원과 고전적 전역 차원 간의 관계는 어떠한가?
• RQ4 유한한 $C$-고렌스타인 전역 차원 조건이 성립할 때, 어떤 조건에서 $R$-모듈의 유한한 인젝티브 또는 프로젝티브 차원을 유도할 수 있는가?
• RQ5 유한한 $\mathcal{P}_C$-프로젝티브 및 $\mathcal{I}_C$-인젝티브 차원 조건 하에서, 국소 코hen-맥컬레이 링이 유한한 $C$-고렌스타인 전역 차원을 갖는다면 이는 고렌스타인임을 보장하는가?

주요 결과

• $R$의 $G_C$-프로젝티브 및 $G_C$-인젝티브 전역 차원은 서로 일치하며, 이 공통 값은 $R$의 $C$-고렌스타인 전역 차원으로 정의되며, ${\rm G}_C{\text{-}}{\rm gl.dim}(R)$ 로 표기된다.
• 모든 $G_C$-프로젝티브(또는 $G_C$-인젝티브) 모듈은 강한 $G_C$-프로젝티브(또는 $G_C$-인젝티브) 모듈의 직접합성 부분모듈이다.
• 강한 $G_C$-프로젝티브 모듈의 클래스는 $C$-프로젝티브 모듈의 클래스와 $G_C$-프로젝티브 모듈의 클래스 사이에 엄밀히 끼어있다.
• $C$-고렌스타인 전역 차원은 ${\rm G}_C{\text{-}}{\rm w}\mathop{\rm gl.dim}(R) \leq {\rm G}_C{\text{-}}{\rm gl.dim}(R) \leq \mathop{\rm gl.dim}(R)$ 를 만족하며, 고전적 전역 차원이 유한할 경우 등호가 성립한다.
• 유한한 $C$-고렌스타인 전역 차원을 갖는 링에서는 $\mathcal{P}_C$-프로젝티브 차원이 유한함과 동시에 인젝티브 차원이 유한함이 동치이며, 그 반대도 마찬가지다.
• 이 결과들은 타카하시와 화이트의 질문에 부분적인 긍정적 답변을 제공한다: $R$이 반전 모듈을 갖는 국소 코hen-맥컬레이 링이면서 유한한 $C$-고렌스타인 전역 차원을 갖는다면, 주어진 유한성 조건 하에서 $R$은 고렌스타인이다.