세듀얼링 모듈에 대한 테이트 코호몰로지

초록

본 논문은 가환 Noetherian 환 R 위에서 세듀얼링(semidualizing) 모듈 C에 대한 테이트(co)호몰로지를 체계적으로 구축한다. C‑상대 프로젝트베 해석을 이용해 Tate 해상도를 정의하고, 이러한 해상도를 갖는 모듈들의 범위를 정확히 규정한다. 또한 상대 코호몰로지와 Tate 코호몰로지 사이의 장-시퀀스와 연결고리를 분석하고, 전반적인 균형(balance) 정리를 증명한다. 결과는 일반적인 아벨 범주에서의 Tate 코호몰로지 이론을 확장하는 형태로 제시된다.

상세 분석

이 연구는 먼저 세듀얼링 모듈 C의 기본 성질을 재정리한다. C는 R‑모듈이며, Hom_R(C,C)≅R이고, Ext_R^{>0}(C,C)=0을 만족한다. 이러한 조건은 C‑상대 프로젝트베와 인젝티브 차원을 정의할 수 있게 하며, C‑정규화된(정규화된) 모듈군을 형성한다. 저자들은 C‑정규화된 모듈들의 전사적(complete) 해상도 개념을 도입하여, 전통적인 완전 해상도(complete resolution)와 유사하지만 C‑상대적인 구조를 가진 Tate 해상도를 구축한다. 구체적으로, M이 C‑정규화된 모듈이면, M은 유한 C‑프로젝트베 차수와 무한 C‑인젝티브 차수를 동시에 갖는 복합 복합(complex) T를 통해 Tate 해상도 T→M를 가질 수 있다. 이때 T는 양쪽 무한히 확장된 C‑프로젝트베와 C‑인젝티브 부분을 포함한다.

다음 단계에서는 이러한 Tate 해상도를 이용해 Tate 코호몰로지 그룹 (\widehat{\operatorname{Ext}}_R^i(M,N)) 를 정의한다. 여기서 M, N은 각각 C‑정규화된 모듈이거나, 적어도 하나가 Tate 해상도를 가질 경우 정의가 가능하다. 저자들은 이 코호몰로지 군이 기존의 상대 Ext 군 (\operatorname{Ext}_R^{i}(M,N)) 와 어떻게 연결되는지를 정확히 기술한다. 특히, i≫0 일 때는 (\widehat{\operatorname{Ext}}_R^i(M,N) \cong \operatorname{Ext}_R^{i}(M,N)) 가 성립하고, i≪0 일 때는 C‑인젝티브 차원을 이용한 대칭적인 동형이 존재한다는 점을 증명한다.

핵심적인 결과는 “균형 정리”(balance theorem)이다. 이는 두 모듈 M, N이 각각 C‑정규화된 경우, (\widehat{\operatorname{Ext}}_R^i(M,N)) 를 M에 대한 Tate 해상도와 N에 대한 Tate 코코시(코-해상도)를 동시에 사용해 계산할 수 있음을 의미한다. 즉, (\widehat{\operatorname{Ext}}_R^i(M,N) \cong H^i(\operatorname{Hom}_R(T_M,N)) \cong H^i(\operatorname{Hom}_R(M,T^N))) 와 같은 동형이 성립한다. 이는 기존의 상대 호몰로지 이론에서 요구되는 “프로젝트베–인젝티브 균형”을 C‑상대적인 맥락으로 일반화한 것이다.

또한, 저자들은 아벨 범주 (\mathcal{A}) 에서의 일반적인 Tate 코호몰로지 이론을 정리한다. (\mathcal{A}) 가 충분히 많은 프로젝트베와 인젝티브 객체를 갖는 경우, C‑정규화된 객체들의 완전 해상도와 코해상도를 이용해 Tate 코호몰로지를 정의하고, 위에서 언급한 균형 성질이 그대로 유지됨을 보인다. 이 과정에서 사용된 주요 도구는 완전 차원(complete dimension)과 G‑정규화(Gorenstein) 차원의 개념이며, 이를 통해 기존의 G‑프로젝트베·인젝티브 이론과의 연계도 자연스럽게 도출된다.

전체적으로, 이 논문은 세듀얼링 모듈을 기준으로 한 Tate 코호몰로지 이론을 체계화함으로써, 기존의 Gorenstein 호몰로지 이론을 보다 일반적인 환경으로 확장한다. 특히, C‑정규화된 모듈군에 대한 Tate 해상도의 존재 조건을 명확히 규정하고, 상대 Ext와 Tate Ext 사이의 장-시퀀스, 균형 정리 등을 통해 실질적인 계산 도구를 제공한다. 이는 세듀얼링 모듈이 존재하는 다양한 환경(예: 비정규 지역, 비정규 차원)에서 호몰로지 이론을 적용할 수 있는 새로운 길을 열어준다.