[논문 리뷰] Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program) Part II. Basic invariants associated to the idealistic filtration and their properties

Hiraku Kawanoue, Kenji Matsuki|arXiv (Cornell University)|2006. 12. 01.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 7

한 줄 요약

이 논문은 양의 특성에서 이상적 필터링 프로그램을 위한 기본 불변량인 σ 및 μ̃를 수립하며, 이들의 상부 반연속성과 μ̃를 초항으로 해석하는 멱급수 전개를 구축한다. 이러한 불변량은 블로우업 중심을 정의함으로써 해석 알고리즘의 핵심을 이룬다. 이는 문제를 일으키는 R-포화를 고려하지 않고도 양의 특성에서 특이점을 해결할 수 있도록 한다.

ABSTRACT

This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.

연구 동기 및 목표

• 양의 특성에서 D-포화된 이상적 필터링에 대한 불변량 σ를 정의하고 연구하기.
• 함수의 필터링 모odulo에 대한 멱급수 전개를 통해 정의된 불변량 μ̃를 도입하고 분석하기.
• 해석 알고리즘을 구성하는 데 핵심적인 상부 반연속성인 쌍 (σ, μ̃)을 증명하기.
• 핵심 불변량을 특성화함으로써 양의 특성에서의 해석 알고리즘 구현을 위한 기초를 마련하기.
• R-포화를 제거하고 오직 D-포화에 의존함으로써 종료 문제를 해결할 수 있는지 탐색하기.

제안 방법

• 점에서 이상적 필터링의 주도 대수에 관련된 정수의 수열로 σ를 정의하기.
• 필터링 모odulo에서 함수의 멱급수 전개를 도입하며, 계수는 로그 미분 연산자의 결과로부터 유도하기.
• D-포화의 맥락에서 멱급수 전개의 존재성과 유일성을 증명하기.
• 계수와 필터링 모odulo에서의 소멸 차수 사이의 관계를 보장하는 형식적 계수 보조정리를 수립하기.
• μ̃를 멱급수 전개에서 상수항의 차수로 정의하며, 국소 좌표의 선택과 무관하게 정의하기.
• 멱급수 전개를 이용해 μ̃를 함수가 필터링 모odulo에서 소멸하는 차수로 해석함으로써 알고리즘적 활용 가능하게 하기.

실험 결과

연구 질문

• RQ1 D-포화된 이상적 필터링에 대해 양의 특성에서 불변량 σ를 어떻게 정의하고 계산할 수 있는가?
• RQ2 멱급수 전개는 불변량 μ̃를 특성화하는 데 어떤 역할을 하는가?
• RQ3 쌍 (σ, μ̃)의 상부 반연속성은 해석 알고리즘에서 블로우업 중심을 구성하는 데 어떻게 기여하는가?
• RQ4 불변량 μ̃는 국소 좌표나 생성자 선택과 무관하게 정의될 수 있는가?
• RQ5 R-포화가 필요 없이 오직 D-포화만을 사용하여 해석 알고리즘을 구성할 수 있는가?

주요 결과

• 불변량 σ는 스펙트럼에서 잘 정의되어 있으며, 특성화에 대해 상부 반연속적이며 안정성을 보장한다.
• D-포화 하에서 함수의 필터링 모odulo 멱급수 전개는 존재하고 유일하며, 초항의 정밀한 분석이 가능하다.
• 불변량 μ̃는 멱급수 전개에서 상수항의 차수와 같으며 기하학적 해석을 제공한다.
• 쌍 (σ, μ̃)는 상부 반연속적이며, 해석 알고리즘에서 블로우업 중심을 정의하는 데 핵심적인 성질이다.
• 형식적 계수 보조정리는 멱급수에서 최저차수 항의 계수가 잘 정의되어 있으며 좌표 변화에 대해 불변임을 보장한다.
• 부록은 R-포화가 필요하지 않을 수 있음을 시사하며, 양의 특성에서의 종료 문제 해결을 위한 잠재적 길을 제시한다.