무한 생성 사영 모듈과 풀백 링의 새로운 구현

초록

본 논문은 풀백(역상) 구조를 이용해, 유한 개의 선형 디오판틴 부등식으로 정의되는 부분모노이드를 반국소(semilocal) 링 위의 가산 생성 사영 오른쪽 모듈들의 동형 클래스 모노이드로 실현한다. 같은 링에 대해 왼쪽 사영 모듈들의 모노이드는 부등식의 부호를 뒤집은 이중 모노이드 D(M)와 일치한다. 일반적인 반국소 링에서는 두 모노이드가 동형이 아니며, 이를 통해 모든 오른쪽 사영 모듈은 자유이지만 왼쪽 사영 모듈은 자유가 아닌 예를 제공한다. 또한 Jacobson 라디칼로 나눈 뒤 유한 생성인 무한 생성 사영 모듈들의 풍부한 사례를 제시한다.

상세 분석

이 연구는 두 가지 주요 아이디어를 결합한다. 첫째, 반국소 링 R에 대해 사영 모듈은 Jacobson 라디칼 J(R) 위에서의 잔여 구조만으로 완전히 결정된다는 Příhoda의 결과를 활용한다. 따라서 V*(R)·와 V*(Rᵒ)·는 각각 (ℕ₀∪{∞})ᵏ에 삽입될 수 있으며, 여기서 k는 R/J(R)의 단순 성분 수이다. 둘째, 저자들은 “pullback of rings” 기법을 사용해, 주어진 부등식 시스템이 정의하는 모노이드 M을 정확히 dim_φ(V*(R))와 일치시키는 반국소 F‑알제브라 R을 구성한다. 이때 φ: R → S (S는 직합된 행렬 링)이며 Ker φ = J(R)이다. 핵심 정리인 Theorem 1.6은 M이 부등식으로 정의될 때, 그리고 M∩D(M) 안에 적어도 하나의 자연수 튜플이 존재하면, 원하는 R과 φ를 만들 수 있음을 보인다.

특히, 부등식 시스템을 뒤집어 얻는 이중 모노이드 D(M)은 오른쪽 사영 모듈의 모노이드와는 일반적으로 동형이 아니다. 이는 기존의 비국소(noetherian) 반국소 경우와는 대조적이며, “좌‑우 비대칭” 현상을 명확히 드러낸다. 저자들은 이를 이용해 Fuller‑Shutters가 제기한 “모든 오른쪽 사영 모듈이 자유이면 왼쪽도 자유일까?”라는 질문에 부정적인 예를 제공한다. 구체적으로, 예제 3.6에서는 모든 오른쪽 사영 모듈이 자유이지만, 왼쪽에는 자유가 아닌 비유한 생성 사영 모듈이 존재한다.

또한, Jacobson 라디칼을 지나면 유한 생성이 되는 무한 생성 사영 모듈들의 존재를 체계적으로 구축한다. 기존에 Gerasimov‑Sakhaev, Sakhaev, 그리고 최근의 직접합 분해 연구에서 드물게 나타났던 이러한 모듈들을, 풀백 구조와 부등식 모노이드 이론을 결합해 풍부하게 생성한다. 이 과정에서 W(R)·와 W(Rᵒ)·라는 “라디칼 위에서 유한 생성인 사영 모듈”들의 모노이드를 정의하고, 이들이 (ℕ₀)ᵏ와 어떻게 교차하는지를 상세히 분석한다.

논문은 또한 모노이드 이론적인 측면에서, (ℕ∗₀)ᵏ에 정의된 부등식 모노이드가 “full affine” 성질을 갖는지, 그리고 이러한 모노이드가 언제 V*(R)·로 실현 가능한지를 연구한다. 섹션 4에서는 부등식 모노이드의 기본적인 구조와 그 이중 D(M)의 관계를 정리하고, 섹션 5에서는 실제 풀백 링을 구성하는 구체적인 사슬과 사상들을 제시한다. 전체적으로, 사영 모듈 이론, 라디칼 이론, 그리고 모노이드-부등식 연결 고리를 통합한 새로운 방법론을 제공한다.