일차 코헨 마칼로 현지환에서 최소 곱셈성을 갖는 모듈 연구

초록

본 논문은 일차 코헨-마칼로(local) Cohen‑Macaulay 환에서 Puthenpurakal이 정의한 “모듈의 최소 곱셈성” 개념을 확장·심화한다. 특히 trace 이데알과 reflexive 이데알이 최소 곱셈성을 부여하는 조건을 완전히 규명하고, 비Gorenstein이며 정규화된 환의 경우 캐노니컬 모듈이 최소 곱셈성을 가질 때와 환 자체가 최소 곱셈성을 가질 때가 동치임을 보인다. 또한 Burch 모듈·Ulrich 모듈과의 관계를 비교하며 구체적인 예시들을 제시한다.

상세 분석

이 연구는 먼저 Puthenpurakal이 제시한 “모듈의 최소 곱셈성”을 일차 Cohen‑Macaulay 현지환 R(극대 아이디얼 m, 잔여체 k) 위의 유한 생성 무토션 모듈 M에 대해 정의한다. 정의에 따르면, m‑주 아이디얼 I에 대해 e_R(I,M)=ℓ_R(IM/I^2M) 일 때 M는 I에 대한 최소 곱셈성을 가진다. 이때 I가 최소 감소(x) 를 갖는다면 I^2M=xIM과 동치임을 보이며, 이는 “I‑Arf” 모듈 개념과도 일치한다.

논문의 핵심 정리는 다음과 같다. R이 일반적으로 Gorenstein이지만 전체적으로는 Gorenstein이 아닌 일차 현지환이며, 캐노니컬 이데알 ω_R을 갖는 경우, m‑주 아이디얼 I가 trace 이데알이거나 reflexive 모듈일 때 다음이 동치한다. (i) I가 안정(stable) 즉 I^2=xI 를 만족한다. (ii) 모든 토션‑프리 R‑모듈이 I에 대해 최소 곱셈성을 가진다. (iii) 캐노니컬 이데알 ω_R이 I에 대해 최소 곱셈성을 가진다. 이 정리는 보다 일반적인 정리 4.1의 특수 경우이며, 안정성, trace, reflexive 성질이 최소 곱셈성에 미치는 영향을 명확히 연결한다.

안정성은 기존 문헌에서 “Arf” 성질과 깊은 연관이 있음을 재확인한다. 특히, I가 stable이면 모든 토션‑프리 모듈이 자동으로 최소 곱셈성을 갖는다(Remark 2.8(i)). 반대로, 최소 곱셈성을 가진 모듈이 존재한다고 해서 I가 stable하다는 역은 일반적으로 성립하지 않으며, 예시 2.15와 2.16을 통해 이를 구체적으로 보여준다.

또한, 논문은 최소 곱셈성 모듈과 Ulrich 모듈 사이의 포함 관계를 탐구한다. Ulrich 모듈은 정의상 e_R(I,M)=ℓ_R(M/IM) 이며, 이는 바로 최소 곱셈성 조건을 만족한다(Remark 2.12). 그러나 최소 곱셈성을 만족한다고 해서 Ulrich이 되는 것은 아니며, 예시 2.17에서 m이 최소 곱셈성을 가짐에도 불구하고 R이 최소 곱셈성을 갖지 않아 Ulrich이 아님을 보여준다.

Burch 모듈과의 비교에서도 차이가 드러난다. Burch 모듈은 e_R(I,M)=ℓ_R(R/I)·rank_R(M) 와 같은 특수한 등식으로 정의되는데, 최소 곱셈성 모듈이 반드시 Burch 모듈이 되는 것은 아니다(Section 2.30).

마지막으로, 캐노니컬 이데알 ω_R이 최소 곱셈성을 가질 때와 R 자체가 최소 곱셈성을 가질 때가 동치임을 Corollary 1.2를 통해 제시한다. 여기에는 idealization R⋉m, endomorphism algebra Hom_R(m,m) 등 다양한 파생 구조에 대한 최소 곱셈성 보존 결과가 포함된다.

전체적으로, 이 논문은 trace·reflexive 이데알, 안정성, 그리고 캐노니컬 구조 사이의 미묘한 관계를 정량화함으로써, 일차 Cohen‑Macaulay 현지환에서 최소 곱셈성 모듈의 존재와 특성을 체계적으로 이해하는 새로운 틀을 제공한다.