[논문 리뷰] Commutative algebra: Constructive methods. Finite projective modules

Henri Lombardi, Claude Quitt�|arXiv (Cornell University)|2016. 05. 16.

Rings, Modules, and Algebras참고 문헌 149인용 수 28

한 줄 요약

이 논문은 존재 정리로부터 명시적 구성법을 추출할 수 있도록 알고리즘적 증명을 사용하는 유한 프로젝티브 모듈을 중심으로 하는 가환 대수학의 구성적 접근을 제시한다. 갈루아 이론과 크룰 차원과 같은 고전 이론들을 구성적 관점에서 재검토하여 기본 국소-글로벌 원리와 미정계수 방법을 통해 새로운 단순화와 알고리즘적 내용을 제공한다.

ABSTRACT

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories. In particular, we review theories which did not have any algorithmic content in their general natural framework, such as Galois theory, the Dedekind domains, the finitely generated projective modules or the Krull dimension.

연구 동기 및 목표

• 모든 존재 정리가 명시적 알고리즘을 도출할 수 있는 구성적 프레임워크를 개발하기 위해.
• 갈루아 이론, 데데킨드 정수환, 크룰 차원과 같은 고전적 대수적 이론들을 구성적이고 알고리즘적인 맥락에서 재구성하기 위해.
• 유한 프로젝티브 모듈을 미분기하학에서의 벡터 번들의 대수적 동반체로 포괄적으로 다루기 위해.
• 특히 모듈 이론과 국소화에서의 모든 결과가 계산적으로 의미 있고 구성적 증명을 통해 추출 가능하도록 보장하기 위해.
• 300개 이상의 연습 문제와 문제를 포함하는 대학원 수준의 강의를 제공하여 알고리즘적 이해와 계산적 내용에 중점을 두기 위해.

제안 방법

• 존재 증명이 명시적 알고리즘을 도출할 수 있도록 구성 논리 프레임워크를 채택하며, 배제의 법칙과 같은 비구성적 원칙을 피하기 위해.
• 기본 국소-글로벌 원리를 사용하여 글로벌 문제를 국소 문제로 환원하며, 특히 모듈과 프로젝티브 모듈의 맥락에서.
• 다항식 항등식과 보편적 구성법에 대한 알고리즘적 증명을 유도하기 위해 미정계수 방법을 사용한다.
• 기본적인 직교 아이디포텐트 시스템을 도입하여 링과 모듈을 구성적으로 분해함으로써 프로젝티브 모듈의 효과적 분해를 가능하게 한다.
• 평탄한 모듈과 몫을 적용하여 구성적 맥락에서 토퐁과 정확성의 분석을 수행한다.
• 분배 레이티스 이론과 브라우어이안 논리의 통합을 통해 구성 대수학의 논리적 기초를 형식화한다.

실험 결과

연구 질문

• RQ1 가환 대수학의 고전 정리는 어떻게 구성적으로 재구성할 수 있으며, 존재 증명이 명시적 알고리즘을 도출할 수 있도록 할 수 있는가?
• RQ2 유한 프로젝티브 모듈 이론의 구성적 동반체는 무엇이며, 그것이 미분기하학에서의 벡터 번들과 어떻게 관련되는가?
• RQ3 국소-글로벌 원리는 모듈과 아이디얼에 대해 체계적으로 적용되어 알고리즘적 해법을 도출할 수 있는가?
• RQ4 폴리노미얼 링 위의 프로젝티브 모듈이 자유 모듈임을 보여주는 고전적 결과인 쿠일렌-수실 정리와 같은 결과를 어떻게 명시적 구성법을 포함하여 구성적으로 증명할 수 있는가?
• RQ5 직교 아이디포텐트와 평탄한 모듈은 링과 모듈의 분해 분석에서 구성적 분석에서 어떤 역할을 하는가?

주요 결과

• 책에 담긴 모든 존재 정리는 알고리즘적 내용을 지니며, 증명에서 수학적 대상을 명시적으로 구성할 수 있음을 입증한다.
• 유한 프로젝티브 모듈 이론이 구성적으로 발전되었으며, 분해와 동형성 테스트에 대한 명시적 알고리즘이 제공된다.
• 기본 국소-글로벌 원리가 형식화되어 모듈에 적용되어 글로벌 문제를 국소 문제로 효과적으로 환원할 수 있게 한다.
• 미정계수 방법을 통해 딜레드만-머텐스 보조정리와 보편 분할 대수와 같은 핵심 결과에 대한 알고리즘적 증명이 도출된다.
• 평탄한 모듈과 몫의 구성적 처리는 토퐁과 정확성에 대한 새로운 통찰을 제공하며, 명시적 구성법이 수반된다.
• 원본 프랑스어 판의 수정 및 확장된 버전이 제공되며, 새로운 연습 문제, 해답 및 업데이트된 증명을 포함한다 — 특히 국소-글로벌 원리에 관한 제15장에서 특히 그렇다.