감소 가능한 복잡성을 가진 모듈에 대한 깊이 공식

초록

본 논문은 Cohen‑Macaulay 국소환 R 위에서 Tor‑무관한 두 R‑모듈 M, N 중 하나가 감소 가능한 복잡성(reducible complexity)을 가질 때, 깊이 공식
(\operatorname{depth}M+\operatorname{depth}N=\operatorname{depth}R+\operatorname{depth}(M\otimes_R N))
이 성립함을 증명한다. 기존 결과를 일반화하고, 복잡성 감소 과정에서 얻어지는 완전한 차원 감소와 정규열 구조를 핵심 도구로 활용한다.

상세 분석

논문은 먼저 복잡성(complexity) 개념을 재정의하고, “감소 가능한 복잡성”이라는 새로운 클래스의 정의를 제시한다. 이는 모듈 M에 대해 최소 자유 해석의 성장률이 일정한 차수 이하로 제한되는 경우를 의미하며, 기존의 완전한 복잡도(finite complexity)와는 달리, 복잡도가 단계적으로 감소하는 연쇄 구조를 허용한다. 저자는 이러한 구조를 이용해 M의 자유 해석을 적절히 절단하고, 각 단계에서 얻어지는 부분 모듈이 다시 감소 가능한 복잡성을 유지함을 보인다.

핵심 정리는 다음과 같다. R이 Cohen‑Macaulay이고, M, N이 Tor‑무관((\operatorname{Tor}^R_i(M,N)=0) for all (i>0))이며, M이 감소 가능한 복잡성을 가질 때, 깊이 공식이 성립한다. 증명은 크게 두 부분으로 나뉜다. 첫 번째는 M의 복잡성을 감소시키는 정규열 (x_1,\dots,x_c)를 선택해, (M/(x_1,\dots,x_c)M)가 완전한 차원 감소를 겪으며 복잡성이 0이 되는 경우를 만든다. 두 번째는 이 과정에서 얻어진 짧은 정확한 열을 이용해, 깊이와 차원의 관계식을 단계별로 전이시킨다. 특히, “정규열 유지 정리”(regular sequence preservation theorem)를 활용해, (x_i)가 N에도 정규열임을 보이고, 이를 통해 (\operatorname{depth}(M\otimes_R N))를 재귀적으로 계산한다.

또한 저자는 기존의 Auslander‑Buchsbaum 정리와 Huneke‑Wiegand의 결과를 일반화한다. 기존 문헌에서는 M 또는 N 중 하나가 완전한 자유 해석을 갖는 경우에만 깊이 공식이 알려져 있었지만, 여기서는 복잡성이 단계적으로 감소하는 경우에도 동일한 공식이 유지된다는 점을 새롭게 밝힌다. 이와 더불어, 복잡성 감소 과정에서 발생하는 “코시-맥스웰” 구조를 분석해, Tor‑무관성 가정이 실제로는 (\operatorname{Tor}^R_i(M,N)=0) for all (i\gg0)만으로도 충분함을 보인다.

마지막으로, 저자는 예시와 반례를 통해 감소 가능한 복잡성의 한계와, 복잡성이 무한히 유지되는 경우 깊이 공식이 깨질 수 있음을 보여준다. 이러한 예시는 복잡성 감소가 깊이 공식 성립의 충분조건이지만, 필요조건은 아니라는 점을 시사한다. 전체적으로 논문은 복잡성 이론과 깊이 공식 사이의 미묘한 상호작용을 정밀하게 탐구함으로써, Cohen‑Macaulay 환경에서 모듈 이론의 새로운 연결 고리를 제공한다.