[논문 리뷰] On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings

Amnon Yekutieli|arXiv (Cornell University)|2009. 02. 25.

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

한 줄 요약

이 논문은 노에터 링 위의 무한 생성 모듈러에 대해 퇜력 함수와 a-adic 자유 모듈러의 새로운 개념을 사용하여 평탄성과 a-adic 완비성에 대해 연구한다. 노에터 링에 대해 어떤 모듈러의 완비화도 항상 완비임을 증명하고, a-adic 완비 모듈러는 a-adic 자유 모듈러의 몫임을 보여, 무한 차원 모듈러에 대한 a-adic 완비성 이론에서 오랫동안 남아 있던 애매함을 해결한다.

ABSTRACT

Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.

연구 동기 및 목표

• a-adic 위상에서 대수적 완비화와 위상적 완비화의 차이를 명확히 하여, 특히 무한 생성 모듈러에 대해 다루는 것.
• 모듈러가 유한 생성이 아니거나 링이 노에터가 아닐 경우 a-adic 완비화에 대한 애매함을 해결하는 것.
• 노에터 링 설정에서 a-adic 완비화가 평탄성과 완비성을 유지하는 조건을 설정하는 것.
• a-adic 맥락에서 자유 모듈러의 일반화로서 a-adic 자유 모듈러의 클래스를 도입하고 연구하는 것.
• 대수기하학에서의 변형 양자화와 층 이론적 응용을 위한 기초 도구를 제공하는 것.

제안 방법

• 집합 Z에서 a-adic으로 분리된 A-모듈러 M로의 퇴화 함수의 개념을 도입하여 모듈러 F_dec(Z,M)를 형성한다.
• 노에터 링 A와 그 완비화 Â에 대해 F_dec(Z, Â)로 정의된 a-adic 자유 A-모듈러를 정의한다.
• 역극한과 A_i = A/a^{i+1}의 구조를 사용하여 역계단 시스템 M_i = A_i ⊗_A M을 통해 a-adic 완비성을 분석한다.
• 퇴화 함수의 모듈러에 대해 완비 버전의 나카야마의 보조정리를 적용한다.
• 평탄성과 완비성을 보장하기 위해 기하학적 개념인 국소적으로 N-단순 연결된 공간을 도입한다.
• 완비 노에터 국소 링에서 기저 변경에 대해 평탄성과 완비성이 유지됨을 증명한다.

실험 결과

연구 질문

• RQ1 무한 생성 A-모듈러의 a-adic 완비화가 언제 a-adic로 완비가 되는가?
• RQ2 a-adic 완비 모듈러의 범주가 어떤 a-adic 자유 모듈러의 클래스에 의해 생성될 수 있는가?
• RQ3 비노에터 링 설정에서 대수적 완비화와 위상적 완비화의 차이가 유도 함수의 행동에 어떻게 영향을 주는가?
• RQ4 어떤 조건이 평탄 모듈러의 완비화가 a-adic 위상에서 여전히 평탄하게 유지하는가를 보장하는가?
• RQ5 기하학적 설정에서 층의 역극한에 대해 평탄성과 완비성의 층 이론적 유사체가 어떻게 유지되는가?

주요 결과

• 노에터 링 A 위의 임의의 A-모듈러 M에 대해, a-adic 완비화 Â(M)는 항상 a-adic로 완비되며, 문헌에서 오랫동안 남아 있던 애매함을 해결한다.
• 모든 집합 Z에 대해 퇴화 함수의 모듈러 F_dec(Z, Â)는 평탄하고 a-adic로 완비되며, 새로운 평탄 모듈러의 클래스를 확립한다.
• 모든 a-advic 완비 A-모듈러는 a-advic 자유 A-모듈러의 몫이며, a-adic 범주에서 프로젝티브 유사 분해를 제공한다.
• A가 완비 노에터 국소 링일 때, A-모듈러 P가 a-advic 자유일 필요충분조건은 평탄하고 a-advic로 완비되는 것이다.
• 국소적으로 N-단순 연결된 공간 X에 대해, 평탄한 m-adic 시스템의 층의 역극한은 평탄하고 m-adic으로 완비되며, 전역 단면은 m-adic으로 자유 모듈러를 이룬다.
• 완비화 함자 M ↦ Â(M)는 오른쪽 완비가 아니며, 예제 3.20에서 반례로 보여진다.