[논문 리뷰] Cohen-Macaulay injective, projective, and flat dimension

Henrik Holm, Peter Jørgensen|ArXiv.org|2004. 05. 27.

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

한 줄 요약

이 논문은 코hen-맥컬레이 링에 대한 동치 이론을 정의하기 위해, $A\ltimes C$ 형태의 자명한 확장에서의 고렌스타인 동치 이론을 사용하여 코hen-맥컬레이 삽입, 프로젝티브, 평면 차원을 동치 이론적 불변량으로 도입한다. 주요 결과는 이러한 차원의 유한성은 쌍대화 모듈을 가진 코헨-맥컬레이 링을 특징짓는 것으로, 고렌스타인 동치 이론과 유사하게 고전적 동치 이론을 통합하고 확장한다.

ABSTRACT

We define three new homological dimensions - Cohen-Macaulay injective, projective, and flat dimension - which inhabit a theory similar to that of classical injective, projective, and flat dimension. Finiteness of the new dimensions characterizes Cohen-Macaulay rings with dualizing modules.

연구 동기 및 목표

• 고클래식 동치 이론(삽입, 프로젝티브, 평면)을 고렌스타인 동치 이론의 성공을 반영하는 방식으로 코헨-맥컬레이 링의 설정으로 확장하기 위해.
• 코헨-맥컬레이 링 위에서 모듈의 동치 행동을 캡처하는 새로운 불변량인 코헨-맥컬레이 삽입, 프로젝티브, 평면 차원을 정의하기 위해.
• 어떤 링 $A$ 에서 이러한 차원의 유한성이 $A$ 가 쌍대화 모듈을 가진 코헨-맥컬레이 링임을 보장하는 것과 동치임을 증명하기 위해.
• 자명한 확장과 반디셀링 모듈을 사용하여, 고렌스타인 동치 이론과 유사하지만 코헨-맥컬레이 경우에 맞게 조정된 이론적 프레임워크를 제공하기 위해.

제안 방법

• 모든 반디셀링 모듈 $C$ 에 대해 자명한 확장 $A\ltimes C$ 에서의 고렌스타인 차원의 하한으로 코헨-맥컬레이 차원을 정의한다.
• 자명한 확장 링 $A\ltimes C$ 를 사용하여 링을 바꾸고, $A\ltimes C$ 위의 복합체에 대한 고렌스타인 삽입, 프로젝티브, 평면 차원을 계산한다.
• 반디셀링 모듈 $C$ 의 성질—$\operatorname{Hom}_A(C,C) \cong A$ 이고 $\operatorname{Ext}^i_A(C,C) = 0$ for $i \geq 1$—을 활용하여 새로운 차원의 행동을 제어한다.
• 기존의 고렌스타인 동치 이론과 코헨-맥컬레이 차원 이론의 결과(예: [6] 및 [3] 참조)를 적용하여 새로운 차원을 고전적 불변량과 연결한다.
• 고-차원에 대한 아우슬란더-부흐스바움 공식을 활용하여 코헨-맥컬레이 프로젝티브 차원에 대해 유사한 공식을 유도한다.
• 새로운 차원에 대한 여러 유한성 조건이 서로 동치임을 증명하여, 이들이 모두 쌍대화 모듈의 존재를 특징짓는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 유한 생성 모듈의 코헨-맥컬레이 프로젝티브 차원이 유한해지는 조건은 무엇이며, 그것은 무엇을 측정하는가?
• RQ2 새로운 코헨-맥컬레이 차원은 고전적 고렌스타인 및 코헨-맥컬레이 차원과 어떻게 관련되어 있는가?
• RQ3 어떤 조건을 만족해야 링 $A$ 가 코호몰로지 복합체(예: 코즐루 복합체, 쌍대화 복합체)의 코헨-맥컬레이 삽입, 프로젝티브, 평면 차원이 모두 유한해지는가?
• RQ4 새로운 차원을 사용하여 쌍대화 모듈을 가진 코헨-맥컬레이 링을 특징지울 수 있는가?
• RQ5 고클래식 아우슬란더-부흐스바움 공식과 유사한 코헨-맥컬레이 프로젝티브 차원에 대한 아우슬란더-부흐스바움 유형의 공식이 존재하는가?

주요 결과

• $A$ 가 쌍대화 모듈을 가진 코헨-맥컬레이 링임을 특징짓는다. 이는 최대 이상수열에 대한 코즐루 복합체 $K(x_1,\ldots,x_r)$ 에 대해 $\operatorname{CMid}_A M$ 과 $\operatorname{CMid}_A K(x_1,\ldots,x_r)$ 가 모두 유한할 때 성립한다.
• $A$ 가 쌍대화 모듈을 가진 코헨-맥컬레이 링임을 특징짓는다. 이는 잔여체의 삽입 외형 $E_A(k)$ 또는 쌍대화 복합체 $D$ 에 대해 $\operatorname{CMpd}_A E_A(k)$ 와 $\operatorname{CMpd}_A D$ 가 모두 유한할 때 성립한다.
• 코헨-맥컬레이 프로젝티브 차원은 아우슬란더-부흐스바움 공식을 만족한다: $\operatorname{CMpd}_A M = \operatorname{depth}_A A - \operatorname{depth}_A M$ 이며, 이는 차원이 유한할 경우에만 성립한다.
• 국소 링 $A$ 에 대해 $\operatorname{CMdim}_A M \leq \operatorname{CMpd}_A M \leq \operatorname{Gdim}_A M$ 이며, 이들 중 어느 하나가 유한하면 모두 동치이다.
• 어떤 반디셀링 모듈 $C$ 에 대해 $\operatorname{Gpd}_{A\ltimes C} M < \infty$ 이면 $\operatorname{CMdim}_A M = \operatorname{Gpd}_{A\ltimes C} M$ 이다. 이는 새로운 차원이 고전적 고렌스타인 이론과 연결됨을 보여준다.
• 코헨-맥컬레이 차원에 대한 모든 유한성 조건이 상호 동치이며, 이는 $A$ 에서 쌍대화 모듈의 존재를 특징짓는다.