[논문 리뷰] Relative desingularization and principalization of ideals

Dan Abramovich, Michael Temkin외 1명|arXiv (Cornell University)|2020. 03. 07.

Commutative Algebra and Its Applications참고 문헌 26인용 수 5

한 줄 요약

이 논문은 특성 0에서 로그 기하학과 비표현 가능한 쿠머 블로업을 사용하여, 로그적으로 정칙인 사상에 대해 상대적으로 표준적인 특이점 제거와 이상적의 주도화를 구축한다. 주요 기여는 매끄러운 부분을 유지하면서 기저 전환에 호환되는 함수적이고 표준적인 사상의 해소법을 제공하며, 임의의 평가환환에서 준정적 환원을 암시한다.

ABSTRACT

In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are relatively canonical and even functorial with respect to logarithmically regular morphisms and arbitrary base changes. Relative canonicity means, that the principalization requires a fine enough non-canonical modification of the base, and once it is chosen the process is canonical. As a consequence we deduce the semistable reduction theorem over arbitrary valuation rings. In another our work in progress, the same problems will be solved canonically in the case of proper morphisms.

연구 동기 및 목표

• 스킴의 사상에 대해 상대적으로 표준적으로 해소하고, 매끄러운 부분을 유지하며, 비이산 평가환환으로까지 준정적 환원을 확장한다.
• 로그적으로 정칙인 사상에 대해 함수적이고 임의의 기저 전환에 대해 호환되는 이상적 주도화를 구축한다.
• 히로나카의 특이점 제거를 상대적이고 로그 기하학적 맥락으로 일반화하여 이전 방법보다 더 강한 함수성과 호환성을 달성한다.
• 임의의 차원에서 상대적 표준 해소 문제를 해결한다.
• 스택 이론적 수정과 로그 구조를 사용하여 모듈리와 가족과 호환되는 프레임워크를 수립한다.

제안 방법

• 로그 기하학을 사용하여 로그적으로 정칙인 사상과 이러한 사상에 대한 상대적 이상적 주도화를 정의한다.
• 비표현 가능한 스택 이론적 수정인 쿠머 블로업을 적용하여 기저 전환에 대해 표준적인 행동을 달성한다.
• 클래식한 특이점 제거 기법(Hironaka, Bierstone-Milman, Villamayor)을 로그 기하학적 및 상대적 맥락으로 적응한다.
• 상대적 로그 미분을 사용하여 블로업 중심을 정의함으로써 로그 구조와의 호환성을 확보한다.
• T-수정에 대한 코(finality) 정리를 활용하여 해소 과정이 완전하고 보편적임을 보장한다.
• 반평형 평가환수와 RZ(Riemann-Zariski) 공간을 활용하여 수정의 극한을 분석하고 코(finality)를 증명한다.

실험 결과

연구 질문

• RQ1 특성 0에서 임의의 기저 전환에 대해 호환되는 상대적으로 표준적인 사상 해소를 구성할 수 있는가?
• RQ2 특이점 제거 과정에서 사상의 매끄러운 부분을 유지할 수 있는가, 불필요한 수정을 피할 수 있는가?
• RQ3 비이산 평가환수에서 준정적 환원을 달성할 수 있는가, 이는 이산 평가환수에 국한되지 않는다.
• RQ4 임의의 차원의 사상에 대해 함수적이고 로그 기하학적이며 상대적인 특이점 제거 알고리즘이 존재하는가?
• RQ5 기저 수정이 선택된 이후에 이상적 주도화가 표준적이게 될 수 있는가?

주요 결과

• 논문은 로그적으로 정칙인 사상에 대해 상대적으로 표준적인 이상적 주도화를 구성하며, 충분히 세밀한 비표준적 기저 수정 이후에 과정이 표준화된다.
• 이 방법은 로그적으로 정칙인 사상에 대해 함수적이고 로그적으로 매끄러운 사상 및 임의의 기저 전환에 대해 호환되는 특이점 제거를 제공한다.
• 이 구축은 특성 0에서 임의의 평가환수에서 준정적 환원 정리가 성립함을 암시한다.
• 알고리즘은 비표현 가능한 쿠머 블로업을 사용하여 고전적 방법보다 더 강한 함수성을 달성한다.
• 코(finality) 정리는 해소 과정이 모든 관련 수정을 포괄함을 보장하여 구축이 완전하고 보편적임을 보장한다.
• 프레임워크는 스택으로까지 확장되며, 임의의 차원에서 상대적 표준 해소 문제를 해결한다.