코프라임 및 세컨드 부분모듈을 위한 자르스키 위상

초록

본 논문은 비가환 링 위의 비영 모듈 M에 대해 ‘세컨드’와 ‘코프라임’ 부분모듈을 정의하고, 각각의 스펙트럼 Spec⁽ˢ⁾(M)·Spec⁽ᶜ⁾(M)에 자르스키형 위상을 부여한다. 위상적 성질(콤팩트성, 가산성, 스펙트럴성 등)을 조사하고, 이러한 성질이 M의 구조적 특성(단순성, 균일성, Noetherian·Artinian 성질)과 어떻게 연계되는지를 상세히 분석한다.

상세 요약

논문은 먼저 기존의 ‘프라임 서브모듈’ 개념을 일반화하여 두 종류의 새로운 서브모듈을 도입한다. ‘세컨드 서브모듈’ N⊆M은 N≠0이며, 임의의 r∈R에 대해 rN=0이면 r∈Ann_R(M)인 경우로 정의한다. 이는 곧 N이 M의 ‘두 번째’ 구조를 담당한다는 직관적 의미와 맞물리며, 특히 N이 단순 모듈일 때 자동으로 세컨드가 된다. 반면 ‘코프라임 서브모듈’ C⊆M은 C≠M이고, rM⊆C이면 r∈Ann_R(M/C)인 경우로 정의한다. 이는 코프라임 아이디얼에 대한 모듈 차원의 대응물이라 할 수 있다.

두 정의를 바탕으로 각각의 스펙트럼 Spec⁽ˢ⁾(M)= { N⊆M | N는 세컨드 서브모듈 } 와 Spec⁽ᶜ⁾(M)= { C⊆M | C는 코프라임 서브모듈 } 을 구성한다. 저자는 이들 집합에 자르스키형 닫힌 집합 V⁽ˢ⁾(X)= { N∈Spec⁽ˢ⁾(M) | X⊆N } 와 V⁽ᶜ⁾(X)= { C∈Spec⁽ᶜ⁾(M) | C⊇X } (X⊆M) 를 정의함으로써 각각 ‘세컨드 자르스키 위상’과 ‘코프라임 자르스키 위상’을 만든다. 이때 기본 열린 집합은 D⁽ˢ⁾(x)=Spec⁽ˢ⁾(M)\V⁽ˢ⁾(Rx) 와 D⁽ᶜ⁾(x)=Spec⁽ᶜ⁾(M)\V⁽ᶜ⁾(Rx) 로 주어지며, x∈M에 대한 이러한 집합들의 구조가 위상의 핵심을 이룬다.

위상적 성질을 분석하면서 저자는 다음과 같은 주요 결과를 얻는다. 첫째, 두 스펙트럼 모두 T₀ 공간이며, 특히 Spec⁽ˢ⁾(M)이 Hausdorff가 되려면 M이 완전한 세컨드 모듈이어야 함을 보인다. 둘째, Spec⁽ˢ⁾(M)와 Spec⁽ᶜ⁾(M)는 각각 콤팩트하고, Noetherian(Artinian) 모듈 M에 대해 위상이 Noetherian(Artinian) 위상이 된다. 셋째, 두 스펙트럼은 스펙트럴 공간(spectral space)의 성질을 만족한다. 즉, quasi‑compact, T₀, 그리고 기본 열린 집합들의 유한 교집합이 다시 기본 열린 집합이 되는 구조를 가진다. 이는 Hochster의 스펙트럴 공간 이론과 직접적인 연관을 만든다.

또한, 모듈 사상 f:M→N이 주어지면 f⁻¹은 Spec⁽ˢ⁾(N)→Spec⁽ˢ⁾(M)와 Spec⁽ᶜ⁾(N)→Spec⁽ᶜ⁾(M) 사이에 연속 사상으로 작용함을 증명한다. 이를 통해 모듈 범주와 위상 범주 사이의 사상 대응이 자연스럽게 확장됨을 확인한다.

특히 흥미로운 점은 세컨드와 코프라임 스펙트럼 사이의 상호작용이다. 저자는 ‘세컨드‑코프라임 이중성’이라 부르는 관계를 정의하고, 예를 들어 M이 완전한 유니폼 모듈일 때 Spec⁽ˢ⁾(M)와 Spec⁽ᶜ⁾(M) 사이에 대수적 대칭이 존재함을 보인다. 또한, 코프라임 서브모듈의 존재 여부가 M의 ‘제2 차원’(second dimension)과 직접 연결된다는 사실을 제시한다.

마지막으로, 구체적인 예시로서 (1) 가환 Noetherian 링 위의 유한 생성 모듈, (2) 비가환 사다리형 링의 표준 모듈, (3) 군 대수에서의 정규 표현 모듈 등을 분석한다. 각 예시에서 스펙트럼의 위상 구조가 어떻게 변하는지를 시각적으로 도식화하고, 기존의 프라임 스펙트럼과 비교함으로써 새로운 위상적 현상의 독특성을 강조한다.

이러한 일련의 결과는 모듈 이론에서 ‘프라임’ 개념을 넘어선 새로운 대수‑위상적 관점을 제공하며, 특히 비가환 환경에서 스펙트럼 이론을 확장하려는 연구자들에게 중요한 도구가 될 것이다.