[논문 리뷰] Modules of G-dimension zero over local rings with the cube of maximal ideal being zero

Y. Yoshino|ArXiv.org|2003. 03. 07.

Advanced Topics in Algebra인용 수 21

한 줄 요약

이 논문은 $ olimits^3 = 0$인 교환적 Noetherian 국소환에서 G-차원이 0인 모듈러스를 조사하며, 이에 대한 비이sov한 불가분 모듈러스의 연속적 가중치를 구성하고, 일반적으로 Gorenstein 링에서 예상되는 것과는 달리 이러한 모듈러스의 부분분류가 일반적으로 반대변환 유한성이 아님을 증명한다. 결과는 Koszul 대수의 구조와 그에 따른 등급 모듈러스 분해를 통해 차원 수세기 기반의 차단을 유도한다.

ABSTRACT

Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero with parameters in an open subset of projective space. We shall finally show that the subcategory consisting of modules of G-dimension zero over $R$ is not necessarily a contravariantly finite subcategory in the category of finitely generated $R$-modules.

연구 동기 및 목표

• G-차원이 0이지만 비자명한 자유 모듈러스가 드물게 존재하는 $ olimits^3 = 0$인 국소환에서 비자유 모듈러스의 명시적 예를 제공한다.
• G-차원이 0인 모듈러스의 범주가 Gorenstein 링에서 최대 코hen-맥컬레이 모듈러스의 범주와 유사한가를 조사한다. 특히 반대변환 유한성에 관해 검토한다.
• 이러한 링이 비자유 G-차원 0 모듈러스를 포함할 조건, 특히 Poincaré 및 Bass 급수와 같은 호모로지 불변량과의 관계를 규명한다.
• 사영 공간을 매개변수로 하는 불가분 모듈러스의 연속적 가중치를 구성함으로써 이러한 링 내의 풍부한 구조를 보여준다.

제안 방법

• 완전한 해상과 쌍대성에 기반한 G-차원 0의 정의를 사용하여, 명시적인 자유 해상과 그 쌍대를 구성함으로써 Ext 군의 소멸을 검증한다.
• 모듈러스의 연속적 가중치의 구축은 등급 모듈러스 분해와 잔여체 위의 행렬을 사용한 동형류의 매개변수화에 의존한다.
• 핵심 기법은 $S$가 최소 다중성과 함께 1차원 코hen-Macaulay 링인 $R = S/x^2S$에서의 모듈러스의 등급 구조를 분석하는 것이다.
• 반대변환 유한성의 증명은 Wakamatsu의 보조정리와 가설적 근사 시퀀스의 등급 조각에 대한 차원 수세기를 사용한다.
• 논문은 $R$이 유일한 Poincaré, Bass 및 Hilbert 급수를 가진 Koszul 대수이면, 비자유 G-차원 0 모듈러스를 가질 수 있음을 증명한다.
• 이러한 링은 $S$가 1차원 코hen-Macaulay이고 $f$가 차수 2의 영이 아닌 약수인 $S/fS$의 형태여야 함을 보여준다.

실험 결과

연구 질문

• RQ1 $\mathfrak{m}^3 = 0$인 국소환에서 비자유 G-차원 0 모듈러스가 존재하는 조건은 무엇인가?
• RQ2 이러한 링에서 비이sov한 불가분 G-차원 0 모듈러스의 연속적 가중치를 구성할 수 있는가?
• RQ3 G-차원 0 모듈러스의 부분범주가 $\mathfrak{m}^3 = 0$인 국소환에서 유한 생성 모듈러스 범주에서 반대변환 유한성이 되는가?
• RQ4 호모로지 불변량인 Poincaré, Bass 및 Hilbert 급수는 비자유 G-차원 0 모듈러스를 포함하는 링을 어떻게 특징짓는가?
• RQ5 비자유 G-차원 0 모듈러스를 지닌 링 $R$의 구조는 어떠한가?

주요 결과

• G-차원이 0이지만 비자유인 모듈러스가 존재하기 위한 필수 조건은 링이 유일한 Poincaré, Bass 및 Hilbert 급수를 가진 Koszul 대수여야 한다는 것이다.
• 이러한 링에 대해 비자유 G-차원 0 모듈러스의 존재는 $S$가 최소 다중성과 함께 1차원 코hen-Macaulay 링이고 $x$가 최대 아이디얼의 최소 감소인 $S/x^2S$와 동형임과 동치이다.
• 사영 공간의 열린 부분집합을 매개변수로 하는 비이sov한 불가분 G-차원 0 모듈러스의 연속적 가중치를 구성하였다.
• 이러한 링에서 G-차원 0 모듈러스의 부분범주는 반대변환 유한성이 아님을, 가설적 근사 시퀀스의 등급 조각에서의 차원 수세기의 모순을 통해 보였다.
• 장애는 $(1 - r)(\sum_{j=u+1}^{n}s_j) = 1$의 정수 해가 존재하지 않음을 의미하며, 잔여체 $k$에 대한 $\mathcal{G}(R)$-근사가 존재하지 않음을 모순시킨다.
• 결과적으로 $ olimits^3 = 0$인 상대적으로 단순한 아르틴 링에서도 G-차원 0 모듈러스의 범주는 Gorenstein 링에서 알려진 바 있는 기본적인 유한성 성질을 만족하지 못함을 시사한다.