[논문 리뷰] Liftable integral closure

Neil Epstein, Bernd Ulrich|arXiv (Cornell University)|2013. 09. 26.

Commutative Algebra and Its Applications참고 문헌 9인용 수 7

한 줄 요약

이 논문은 환의 포함 구조에 의존하지 않고 몐드의 몫 $M/L$ 의 모듈 구조에 의존하는 새로운 닫힘 연산—이행 가능한 정수 닫힘—을 도입한다. 우도적이고, 동차차원이 2 이상인 국소 링에서 유한 길이 모듈이 항상 $T/L$ 의 형태로 나타나며, 여기서 $T$ 는 $L$ 에 정수적이고, $T$ 와 $L$ 은 유한 생성이며 비정수 모듈이다.

ABSTRACT

We develop the basic properties of an essentially new closure operation on submodules, the \emph{liftable integral closure} of a submodule, including its relationships with the two prevailing notions of integral closure of submodules. We show that for a quite general class of local rings, every finite length module may be represented as a quotient of the form $T/L$, where $T$ is torsionless and integrally dependent on $L$.

연구 동기 및 목표

• 몫 모듈의 구조 $M/L$ 에만 의존하는 새로운 닫힘 연산—이행 가능한 정수 닫힘—을 개발하는 것.
• 이 새로운 닫힘 연산과 기존의 Rees 및 EHU 정수 닫힘과의 관계를 탐색하는 것.
• 유한 길이 모듈이 비정수 모듈의 정수적 확장에 대한 몫으로 표현될 수 있는 조건을 설정하는 것.
• 이행 가능한 정수 닫힘과 관련된 시험 이상수를 링의 차원과 특이성 유형에 따라 특성화하는 것.

제안 방법

• 자기 모듈 $M$ 에 포함된 몫 $M/L$ 을 담고 있는 자유 모듈에서 $x$ 가 $L$ 에 정수적일 때 $x$ 가 올라가는 조건을 만족하는 원소들로 구성된 집합으로서, 이행 가능한 정수 닫힘 ${L}^{ ext{lift}}_M$ 을 정의한다.
• 대칭 대수의 구성과 그라디에이션 링에서의 정수성 조건을 이용해 닫힘 연산을 특성화한다.
• 정수 닫힘의 가치 기준을 적용하여 이행 가능한 닫힘을 가치 링과 가치 도메인으로의 준동형사상과 연결한다.
• 단사 외각을 구성하고 자유 모듈에서의 전성사상들을 이용해 모듈을 자유 구조로 올려, 닫힘 성질을 분석할 수 있도록 한다.
• 유한 생성 자유 부분모듈에 대한 직접 극한 추론을 통해 정수 닫힘 조건을 국소화하고 유한 생성 해를 추출한다.
• 차원 ≥2 우도적 동차차원 링에서, 자유 모듈에 대한 커널의 이행 가능한 정수 닫힘은 전체 자유 모듈과 일치함을 증명함으로써 주요 표현 정리를 확보한다.

실험 결과

연구 질문

• RQ1 차원이 2 이상인 국소 링에서 유한 길이 모듈은 항상 $T$ 가 $L$ 에 정수적이고, $T$ 와 $L$ 이 유한 생성이며 비정수인 조건에서 $T/L$ 의 형태로 표현될 수 있는가?
• RQ2 이행 가능한 정수 닫힘은 포함에 대한 의존성과 구조적 불변성 측면에서 Rees 및 EHU 정수 닫힘과 어떻게 다를까?
• RQ3 이행 가능한 정수 닫힘과 관련된 시험 이상수 $\tau_{\mathcal{I}}$ 와 $\tau_{\mathcal{M}}$ 는 무엇이며, 링의 차원에 따라 어떻게 변하는가?
• RQ4 자유 모듈의 부분모듈에 대한 이행 가능한 정수 닫힘이 언제 전체 자유 모듈과 일치하는가?
• RQ5 이행 가능한 정수 닫힘을 사용하여 아르틴 모듈의 유한 표현을 비정수 모듈의 정수적 확장의 몫으로 구성할 수 있는가?

주요 결과

• 우도적이고, 동차차원이며, 불균형이 아닌 국소 링에서 차원이 2 이상인 경우, 자유 모듈 $F$ 에서 커널 $K$ 의 이행 가능한 정수 닫힘은 전체 모듈 $F$ 와 일치한다. 즉, ${K}^{ ext{lift}}_F = F$.
• 0차원 링에서는 시험 이상수 $\tau_{\mathcal{I}}$ 는 링의 소클레가 된다.
• 1차원 코hen-맥올레이 링에서는 시험 이상수 $\tau_{\mathcal{I}}$ 는 도우이드 이상수이다.
• 차원이 2 이상인 우도적 동차차원 불균형 링에서는 $\tau_{\mathcal{I}}$ 와 $\tau_{\mathcal{M}}$ 가 모두 0이 된다.
• 우도적이고, 동차차원이며, 불균형인 국소 링에서 차원이 2 이상인 경우, 모든 유한 길이 모듈 $M$ 은 유한 생성 비정수 모듈 $L \subseteq T$ 에 대해 $T$ 가 $L$ 에 정수적이라는 조건에서 $M \cong T/L$ 와 동형이다.
• 결과는 전역적으로도 확장된다: 만약 $\mathcal{A}$ 가 $M$ 의 최소 소수들 중 높이가 ≥2이고 국소화가 우도적이고 동차차원인 것들의 집합이라면, 모든 $\mathfrak{p} \in \mathcal{A}$ 에 대해 $M \cong T/L$ 이고 $T_{\mathfrak{p}}$ 는 $L_{\mathfrak{p}}$ 에 정수적이다.