[논문 리뷰] On isomorphisms of factorial domains and the Jacobian conjecture in any characteristic

Kossivi Adjamagbo|ArXiv.org|2006. 08. 01.

Advanced Differential Equations and Dynamical Systems참고 문헌 11인용 수 4

한 줄 요약

이 논문은 고유 인수분해역도(U.F.D.)의 동형사상에 대해 소/소수 원소와 분리되지 않은, 평탄한, 또는 약한 단사적 사상에 의한 특성화를 제공하는 U.F.D. 동형사상 정리(이sovorphism theorem)를 수립한다. 이를 바탕으로 임의의 특성에서 재형성된 재료의 제약 조건을 제시하며, 역행렬이 존재하는 야코비안과 특성으로 나누어지지 않는 차수 조건을 만족하는 사상에서 소 또는 소수 원소의 보존을 통해 재형성된 재료의 제약 조건을 제공한다.

ABSTRACT

The main theorem (2.2) consists in two characterizations of isomorphisms of factorial domains in terms of prime or primary rings elements, and unramified, flat or weakly injective affine schemes morphisms. In order to apply this theorem to the famous Jacobian Conjecture, we first introduce its different versions in any characteristic (3.1), and give two reformulations of some these versions in terms of domains of positive characteristic (3.8) and finite prime fields (3.9). Finally, we deduce from the main theorem an original reformulation of the any characteristic version of the Jacobian Conjecture in terms of prime or primary rings elements (3.11).

연구 동기 및 목표

• 고유 인수분해역도(U.F.D.) 간의 동형사상에 대해 소 또는 소수 원소와 특정 기하학적·대수적 성질을 가진 사상에 의한 특성화를 수립하는 것.
• 이러한 특성화를 재료의 제약 조건에 적용하여, 모델 이론 및 대수기하학 기법을 사용해 양의 특성 및 유한체에서 재형성된 재료의 제약 조건을 제시하는 것.
• 고전적 재료의 제약 조건을 원소 기반으로 새롭게 재형성하여, 임의의 특성에서 야코비안이 역행렬을 가지며, 소 또는 소수 원소의 보존을 만족하는 사상에 초점을 맞추는 것.
• 초수적 및 모델 이론적 전이 원리(transfer principles)를 사용하여 특성 0과 양의 특성에서의 재료의 제약 조건 간 격차를 메우는 것.
• 특성 0에서의 재료의 제약 조건이 특정 차수 및 분리 가능성 조건 하에서 유한체의 해석과 동치임을 증명하는 것.

제안 방법

• 특성화된 분리되지 않은, 평탄한, 또는 약한 단사적 사상과 국소화에 대한 차수 조건을 통해 U.F.D. 간의 동형사상에 대한 U.F.D. 동형사상 정리(정리 2.2)를 개발한다.
• 주어진 정리를 재료의 제약 조건에 적용하여, 야코비안 행렬식이 역행렬을 가지는 U.F.D. 위의 다항식 대수 간 사상 분석을 수행한다.
• U.F.D. 위의 대수에 대한 첫 번째 동형사상 정리([2]에서 유래)를 단일 생성 확장에서의 동형사상 특성화를 위한 기초 도구로 사용한다.
• 초수적 기법, 특히 초수적 유한체의 로스 정리(Los' theorem)를 사용하여, 양의 특성에서 특성 0으로의 진술 전이를 수행한다.
• 양의 특성 환경에서의 교차 곱셈을 제어하기 위해 일반화된 베주 정리(Abhyankar–Fulton)를 적용한다.
• 야코비안 행렬식이 역행렬을 가지며, 차수가 특성으로 나누어지지 않는 사상에서 소 또는 소수 원소의 보존을 통해 재료의 제약 조건를 재형성한다.

실험 결과

연구 질문

• RQ1 소 또는 소수 원소의 성질과 사상 유형에 의해 U.F.D. 간의 사상이 동형사상이 되는 조건은 무엇인가?
• RQ2 모델 이론적 전이 기법을 사용하여 특성 0의 재료의 제약 조건를 양의 특성 또는 유한체로 재형성할 수 있는가?
• RQ3 사상에서 소 또는 소수 원소의 보존과 재료의 제약 조건의 유효성 간의 정확한 관계는 무엇인가?
• RQ4 분수체 확장의 차수 조건(특히 특성으로 나누어지지 않는 경우)은 동형사상과 재료의 제약 조건와 어떻게 관련되어 있는가?
• RQ5 고전적 재료의 제약 조건를 임의의 특성에서 야코비안이 역행렬을 가지며, 소 원소의 행동에 따라 재형성할 수 있는가?

주요 결과

• U.F.D. 간의 사상은 정확히 다음 조건을 만족할 때 동형사상이 된다: 분리 가능하고, 유한형이며, 가역 원소에 대해 약한 단사적이고, 분수체 확장의 차수가 특성으로 나누어지지 않는다.
• 등가로, 사상이 평탄하고, 소 원소를 소 원소로 보존하며, 단위를 보존하고, 분수체 확장이 유한하고, 분리 가능하며, 차수가 특성으로 나누어지지 않을 때 동형사상이 된다.
• 고전적 재료의 제약 조건는 특성 0에서 성립하며, 모든 충분히 큰 소수 $p$에 대해, 모든 $n,d$에 대해 유한체 $\mathbb{F}_p$에서 재료의 제약 조건가 성립한다는 것과 동치이다.
• 임의의 특성에서의 재료의 제약 조건는 야코비안이 역행렬을 가지며, 차수가 $p$로 나누어지지 않는 사상이 소 원소를 소 원소로 보존하는 조건과 동치이다.
• 또한 이러한 사상이 목표 환에서 소 원소를 소수 원소로 보존하는 조건과도 동치이다.
• 특성 0에서의 소 원소 보존 결론을 위해 조건 $[B_*^{-1}B : φ(A_*)^{-1}φ(A)] \not\in p\mathbb{N}$ 는 필수적임을 논문에서 반례를 통해 보여주었다.