[논문 리뷰] On the Surjectivity of Certain Maps

C P Anil Kumar|arXiv (Cornell University)|2016. 08. 12.

Rings, Modules, and Algebras참고 문헌 7인용 수 5

한 줄 요약

이 논문은 가환 대수학에서 세 가지 핵심 사상의 전성함수성을 확립한다: 상호소인 근을 가진 이상에 대한 프로젝티브 공간 위의 중국인조합정리 감소 사상, 단위집합 조건을 만족하는 이상에 대한 강력한 근사 유형의 감소 사상, 그리고 데데킨드 유형의 도메인 위의 특수선형군에서 프로젝티브 공간의 곱으로의 사상. 중심 기여는 일반적인 링 이론 조건 하에서 이러한 전성함수성 결과를 증명함으로써, 중국인조합정리와 데데킨드 도메인 위의 선형군에 관한 고전 정리들을 확장하는 것이다.

ABSTRACT

We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals are pairwise distinct maximal ideals. In Theorem $1.7$ we prove the surjectivity of the reduction map of the strong approximation type for a ring quotiented by an ideal which satisfies unital set condition. In Theorem $1.8$ we prove for Dedekind type domains which include Dedekind domains, for $k\geq 2$, the map from $k$-dimensional special linear group to the product of projective spaces of $k$ mutually co-maximal ideals associating the $k$-rows or $k$-columns is surjective. Finally this article leads to three interesting questions $[1.9, 1.10, 1.11]$ mentioned in the introduction section.

연구 동기 및 목표

• 근이 서로 다른 최대 이상이 되는 이상과 관련된 프로젝티브 공간에 대해 중국인조합정리를 일반화하는 것.
• 단위집합 조건을 만족하는 이상에 대한 모odulo 링에서의 감소 사상의 전성함수성을 확립하여 강력한 근사 원리를 확장하는 것.
• 데데킨드 유형 도메인과 k ≥ 2일 때, k차원 특수선형군에서 k개의 서로소 이상에 대한 프로젝티브 공간의 곱으로 가는 사상이 전성임을 증명하는 것.
• 프로젝티브 공간과 선형군의 맥락에서 대수적 수론, 대수기하학, 링 이론의 결과들을 통합하고 확장하는 것.
• 이상, 프로젝티브 공간, 선형군을 포함하는 사상의 전성함수성에 관한 세 가지 열린 질문을 제기하여 가환 대수학과 산술 기하학 분야의 향후 연구를 자극하는 것.

제안 방법

• 단위를 가진 가환 링에서 이상에 관련된 프로젝티브 공간의 개념을 도입하며, 단위 이상을 생성하는 (k+1)-성분의 순서쌍에 대한 동치관계를 통해 정의한다.
• 이상에 대한 단위집합 조건을 정의하여, 임의의 단위 k-성분에 대해 적절한 변형이 이상 모odulo에서 단위가 되도록 보장한다.
• 네 가지 구조적 성질을 만족하는 링으로서 데데킨드 유형 도메인을 정의한다: 최대 이상의 거듭제곱이 안정화되지 않음, 거듭제곱의 교차가 자명함, 일차원 몫, 비영원소가 최대 이상에 유한하게 포함됨.
• 특히 국소화와 완비화에서 이상과 그 거듭제곱의 구조를 분석하여 프로젝티브 공간과 선형 사상의 행동을 연구한다.
• 완비화와 차원 이론에 관한 아티야-맥도널드 정리와 같은 가환 대수학의 결과를 적용하여, 노에테리안 데데킨드 유형 도메인이 데데킨드 도메인임을 증명한다.
• 프로젝티브 공간의 점을 정의하기 위해 텀들의 동치관계 ~_GR를 도입하고, 행렬에서 이러한 프로젝티브 공간으로 가는 사상을 구성하여 전성함수성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 근이 서로 다른 최대 이상이 되는 이상의 인수분해를 가진 이상 위의 프로젝티브 공간에서, 중국인조합정리 감소 사상이 전성임은 어떤 조건에서 성립하는가?
• RQ2 단위집합 조건을 만족하는 이상에 대한 모odulo 링에서 강력한 근사 유형 감소 사상이 전성임은 언제인가?
• RQ3 데데킨드 유형 도메인과 k ≥ 2일 때, k차원 특수선형군에서 k개의 서로소 이상에 대한 프로젝티브 공간의 곱으로 가는 사상이 전성임은 언제인가?
• RQ4 선형군에서 프로젝티브 공간의 곱으로 가는 사상의 전성함수성에 필요한 필수 및 충분조건은 무엇인가?
• RQ5 데데킨드 유형 도메인의 구조적 성질이 프로젝티브 기하학과 산술에서 자연스러운 사상의 전성함수성에 어떻게 영향을 미치는가?

주요 결과

• 근이 서로 다른 최대 이상이 되는 이상의 인수분해를 가진 이상 위의 프로젝티브 공간과 관련된 중국인조합정리 감소 사상은 전성이다.
• 단위집합 조건을 만족하는 이상에 대한 모odulo 링에서 강력한 근사 유형 감소 사상은 전성이다.
• 모든 노에테리안 데데킨드 유형 도메인과 k ≥ 2에 대해, k차원 특수선형군에서 k개의 서로소 이상에 대한 프로젝티브 공간의 곱으로 가는 사상은 행 또는 열을 통해 전성이다.
• 정의 1.5의 네 가지 성질(거듭제곱의 안정화되지 않음, 교차가 자명함, 일차원 몫, 비영원소의 최대 이상에 대한 유한 포함)을 만족하는 노에테리안 링은 데데킨드 도메인이다.
• 단위를 가진 가환 링에서 이상 위의 프로젝티브 공간 구성은 잘 정의되어 있으며, ~_GR 동치관계를 통해 전성함수성 결과를 지지한다.
• 논문은 일반적으로 전성함수성이 성립하지 않음을 보여주는 명시적 반례를 구성한다. 예를 들어 ℤ와 이상 pℤ에 대해 ℙ¹_p에서 [1:-1]은 M_{1×2}(ℤ)의 상에 속하지 않는다.