[논문 리뷰] Artin approximation property and the General Neron Desingularization

Dorin Popescu|arXiv (Cornell University)|2015. 11. 22.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 4

한 줄 요약

이 논문은 우수한 헨젤링 계량 국소환에서 아르틴 근사성질을 확립하는 데서 일반 네로 디스팅귤러라이제이션의 역할에 대한 종합적인 기초적 기술을 제시한다. 이는 1차원에서 구조적 알고리즘을 사용하여 이러한 환 위에서 다항방정식계의 해를 원래 환의 해로 근사화할 수 있음을 보여주며, 부드러운 대수의 필터링 인덕티브 극한을 통해 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

This is an exposition on the General Neron Desingularization and its applications. We end with a recent constructive form of this desingularization in dimension one

연구 동기 및 목표

• 일반 네로 디스팅귤러라이제이션과 아르틴 근사성에 있어서의 기초적 역할을 통합적으로 기술하기 위해.
• 일반 네로 디스팅귤러라이제이션을 사용하여 우수한 헨젤링 계량 국소환에 대한 아르틴 근사성질을 확립하기 위해.
• 1차원에서의 최근 구조적 형태의 디스팅귤러라이제이션을 제시하여 알고리즘적 응용을 가능하게 하기 위해.
• 정규 준동형사상, 부드러운 대수, 그리고 링 준동형사상의 부드러운 확장에 의한 인수분해 간의 관계를 명확히 하기 위해.

제안 방법

• 일반 네로 디스팅귤러라이제이션 정리 활용: 노에테리안 링 위의 유한형 대수에서 정규 확장으로의 준동형사상은 기본 링 위의 부드러운 대수로 인수분해된다.
• 인수분해를 통해 부드러운 대수의 경우로 축소한 후 암묵함수정리 적용.
• 최대 이상수 모odulo에서의 가역성을 확보하기 위해 야코비안 행렬식의 부분행렬을 사용한 국소화 기법.
• 이deals의 거듭제곱 모odulo에서 해를 올리기 위해 변수와 관계식을 추가하여 새로운 대수를 구성.
• 문제를 디스팅귤러라이제이션이 알고리즘적으로 가능해지는 아르틴 링으로 줄이기 위해 $\bar{A} = A/(d^3)$ 및 $\bar{A}' = A'/d^3A'$ 와 같은 절단된 링을 사용.
• 테일러 전개와 행렬의 수반행렬을 사용하여 새로운 변수와 절단된 항을 포함하는 방정식계를 통해 해의 올림을 구성.

실험 결과

연구 질문

• RQ1 모든 유한 다항방정식계가 우수한 헨젤링 계량 국소환에서 해를 가지면, 그 완비화에서도 해를 가지는가?
• RQ2 일반 네로 디스팅귤러라이제이션은 1차원 노에테리안 국소환의 경우에 알고리즘적으로 적용될 수 있는가?
• RQ3 준동형사상이 부드러운 대수로 인수분해되는 것은 아르틴 근사성질과 어떻게 관련되는가?
• RQ4 노에테리안 링 준동형사상이 평탄한 미분 모듈을 유도하기 위한 조건은 무엇인가?
• RQ5 야코비안 기준을 사용하여 최대 이상수의 증가하는 거듭제곱 모odulo에서 해를 구성할 수 있는가?

주요 결과

• 일반 네로 디스팅귤러라이제이션 정리는 임의의 $A$-준동형사상이 유한형 $A$-대수에서 정규 $A$-대수로 가는 것들이 기본 $A$-대수 위의 부드러운 대수로 인수분해됨을 보여준다.
• 우수한 헨젤링 계량 국소환에 대해 아르틴 근사성질이 성립하며, 이는 일반 네로 디스팅귤러라이제이션을 통해 입증된다.
• 1차원에서의 디스팅귤러라이제이션을 위한 구조적 알고리즘이 제시되며, 이는 $d^3$ 모듈로 절단과 야코비안 조건을 통한 올림에 기반한다.
• 모든 노에테리안 링 준동형사상 $u: A \to A'$ 에 대해 미분 모듈 $\Omega_{A'/A}$ 는 평탄하다.
• 야코비안 행렬의 부분행렬을 사용한 대수적 수정의 열을 통해 다항방정식계의 해를 $\mathfrak{m}^c$ 모듈로로 올릴 수 있다.
• 1차원에서 $d^3$ 모듈로에서의 해는 추가 변수와 관계식을 포함하는 새로운 대수를 구성함으로써 원래 링의 해로 올릴 수 있으며, 이때 야코비안 행렬식은 단위까지 유지된다.