[논문 리뷰] Syzygies of Cohen-Macaulay modules over one dimensional Cohen-Macaulay local rings

Toshinori Kobayashi|arXiv (Cornell University)|2017. 10. 07.

Algebraic structures and combinatorial models참고 문헌 10인용 수 6

한 줄 요약

이 논문은 일차원 코hen–맥컬레이 국소환에서 최대 코헨–맥컬레이 모듈러의 시지지 구조를 타원형환 $E = \operatorname{End}_R(\mathfrak{m})$ 를 통해 연구한다. $R$ 가 최소 다중성을 가질 때와 $\Omega\mathrm{CM}(E) = \Omega\mathrm{CM}'(R)$ 이고, $R$ 가 거의 고크린스타인일 때와 $\mathrm{CM}(E) = \Omega\mathrm{CM}'(R)$ 이다. 이러한 결과들은 거의 고크린스타인 환을 시지지 모듈러를 통해 특성화하고, 이러한 조건 하에서 $\Omega\mathrm{CM}(R)$ 가 유한 유형임을 보여준다.

ABSTRACT

We study syzygies of (maximal) Cohen-Macaulay modules over one dimensional Cohen-Macaulay local rings. We compare these modules to Cohen-Macaulay modules over the endomorphism ring of the maximal ideal. After this comparison, we give several characterizations of almost Gorenstein rings in terms of syzygies of Cohen-Macaulay modules.

연구 동기 및 목표

• 일차원 코헨–맥컬레이 국소환에서 최대 코헨–맥컬레이 모듈러의 시지지의 구조를 이해하는 것.
• $R$ 에서의 시지지 모듈러와 $E = \operatorname{End}_R(\mathfrak{m})$ 에서의 시지지 모듈러를 비교하는 것.
• 코헨–맥컬레이 $R$-모듈러의 시지지 모듈러에 의한 거의 고크린스타인 환의 특성화.
• 범주 $\Omega\mathrm{CM}(R)$ 가 유한 유형이 되는 조건을 규명하는 것.
• $\mathrm{CM}(E)$ 가 유한 유형이 되는 예를 구성하고, 이와 안정 범주 $\underline{\mathrm{CM}}(R)$ 의 차원과의 관계를 규명하는 것.

제안 방법

• 반환환 $E = \operatorname{End}_R(\mathfrak{m})$ 를 사용하여 $R$ 에서의 시지지 모듈러를 $E$ 에서의 시지지 모듈러와 연결하며, $E$ 가 코헨–맥컬레이이자 반국소임을 활용한다.
• 반사 모듈러 이론과 $\mathcal{F}_n(A)$ 를 통한 $n$-토르션프리 조건을 적용하여 $\mathrm{CM}(A)$ 와 $\Omega\mathrm{CM}(A)$ 를 특성화한다.
• Auslander 전치 $\mathsf{Tr}M$ 과 Ext 의 소멸 조건을 사용하여 시지지 및 코헨–맥컬레이 모듈러를 식별한다.
• 반복적으로 $R_n = \operatorname{End}_{R_{n-1}}(\mathfrak{m}_{n-1})$ 의 링 체인을 구성하여 안정 범주 차원이 제어된 예를 만든다.
• $\mathrm{CM}(E)$ 가 유한 유형임을 안다면 특정 조건 하에서 $\Omega\mathrm{CM}(R)$ 도 유한 유형임을 유도한다.
• 라우퀴에르의 삼각 범주 차원 이론을 활용하여 $\dim\underline{\mathrm{CM}}(R)$ 와 $R_n$ 의 구조를 연결한다.

실험 결과

연구 질문

• RQ1 일차원 코헨–맥컬레이 국소환 $R$ 에 대해 범주 $\Omega\mathrm{CM}(R)$ 가 언제 유한 유형이 되는가?
• RQ2 $\Omega\mathrm{CM}(R)$ 의 구조는 $E = \operatorname{End}_R(\mathfrak{m})$ 와 어떻게 관련되어 있는가?
• RQ3 어떤 조건에서 코헨–맥컬레이 $R$-모듈러의 시지지 모듈러에 의한 거의 고크린스타인 환을 특성화할 수 있는가?
• RQ4 $\mathrm{CM}(E) = \Omega\mathrm{CM}'(R)$ 가 성립하는 환 $R$ 는 무엇인가?
• RQ5 안정 범주 $\underline{\mathrm{CM}}(R)$ 의 차원은 주어진 양의 정수 $n$ 으로 어떤 값이든 실현될 수 있는가?

주요 결과

• 반환환 $E = \operatorname{End}_R(\mathfrak{m})$ 는 $R$ 의 정수적 폐쇄에 포함된 일차원 코헨–맥컬레이 반국소환이다.
• 포함 관계 체인: $\mathrm{\Omega CM}(E) \subseteq \mathrm{\Omega CM}'(R) \subseteq \mathrm{CM}(E) \subseteq \mathrm{CM}'(R)$ 는 $\mathrm{mod}(R)$ 의 부분범주로서 존재한다.
• 만약 $R$ 의 잔여체가 무한하다면, $\mathrm{\Omega CM}(E) = \mathrm{\Omega CM}'(R)$ 이다. $\Longleftrightarrow$ $R$ 가 최소 다중성을 가진다.
• 만약 완비화 $\widehat{R}$ 가 일반적으로 고크린스타인이라면, $\mathrm{CM}(E) = \mathrm{\Omega CM}'(R)$ 이다. $\Longleftrightarrow$ $R$ 가 거의 고크린스타인이다.
• 모든 정수 $n > 0$ 에 대해, $H = \langle 2^{n+1}, \{2^{n+1} + 2^i\}_{i=1}^n, 2^{n+1} + 3 \rangle$ 인 완비 교차환 $R = k[[H]]$ 가 존재하여 $\dim\underline{\mathrm{CM}}(R) = n$ 이다.
• 만약 $R$ 가 거의 고크린스타인이라면, $\Omega\mathrm{CM}(R)$ 가 유한 유형임은 $\mathrm{CM}(E)$ 가 유한 유형임과 동치이다.