[논문 리뷰] Resolution and alteration with ample exceptional divisor

Janós Kollár, Jakub Witaszek|arXiv (Cornell University)|2021. 02. 05.

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

한 줄 요약

이 논문은 기존의 프로젝티브 해소 또는 수정을 활용하여 Noetherian이고 정규인 스킴의 해소 또는 정규 수정에서 약한 예외적 배수를 확보하는 구성적 방법을 제시한다. 핵심 기여는 Q-팩터리얼성과 당김을 이용한 단순하지만 강력한 기법으로, 이는 삼차수 산술 스킴과 대수기하 구조물에의 적용을 가능하게 한다.

ABSTRACT

In this short note we explain how to construct resolutions or regular alterations admitting an ample exceptional divisor, assuming the existence of projective resolutions or regular alterations. In particular, this implies the existence of such resolutions for arithmetic three-dimensional singularities.

연구 동기 및 목표

• 표준 해소 및 수정 구성에서 약한 예외적 배수의 부족 문제를 해결하기 위해, 특히 양의 특성에서의 적용을 고려한다.
• 기존의 해소 또는 수정을 약한 예외적 배수를 갖는 것으로 업그레이드할 수 있는 체계적인 방법을 제공한다.
• 기본 가정 하에 이러한 해소 및 수정의 존재를 삼차수 산술 스킴과 대수기하 구조물로 확장한다.
• 주어진 부분 스킴 또는 사상에 대해 임베딩 해소 및 유한 지배성과의 호환성을 확보한다.
• 등변 구조를 통한 일반화를 통해 대수적 스택과 스택로의 일반화를 시도하지만, 일반적인 경우에선 제한이 존재한다.

제안 방법

• 대상 스킴의 Q-팩터리얼성으로 인해, 선다발의 당김과 반사적 쌍대를 통해 π-약한, π-예외적 배수를 구성한다.
• 기본적으로 순수하게 비가역적인 경우에 선다발을 원천의 코herent 층과 연결하기 위해 스텐인 인수분해와 프로베누스 인수분해를 적용한다.
• 대체로 프로젝트브로의 대체를 통해, 원하는 약성과 함께 프로젝트브로이자 기하학적으로 순수하게 비가역적인 사상인 새로운 사상을 구성한다.
• 모든 유한 개의 주어진 해소 또는 수정을 지배할 수 있도록 사상의 지배성을 활용한다.
• 알고리즘적 공간을 준선형 코팅을 갖는 스킴로 줄이기 위해 쇼우의 보조정리를 활용하여 기존의 해소 정리 적용을 가능하게 한다.
• 에테일 국소 검증 및 등변 표현을 통한 대수기하 구조물과 스택의 범주에서의 검증을 수행한다.

실험 결과

연구 질문

• RQ1 표준 방법이 이를 생성하지 못하는 경우에도, 스킴의 해소 또는 수정을 수정하여 예외적 배수가 약한지 여쭤보는 것인가?
• RQ2 어떤 조건에서 프로젝트브로 해소 또는 정규 수정이 약한 예외적 배수를 갖는 것으로 업그레이드될 수 있는가?
• RQ3 이 구성은 대수기하 구조물과 스택으로 확장될 수 있으며, 스택 설정에서의 제한은 무엇인가?
• RQ4 결과로 얻어진 해소 또는 수정이 유한 개의 주어진 해소 또는 수정을 지배하거나 임베딩된 부분 스킴을 존중할 수 있도록 보장할 수 있는가?
• RQ5 양의 특성에서 갈루아 코버리지 및 몫을 거쳐가는 동안 예외적 배수의 약성 유지가 가능한가?

주요 결과

• 모든 Noetherian이고 정규인 스킴이 프로젝티브 해소(또는 로그 해소)를 갖는 이상, 약한 예외적 배수를 갖는 프로젝티브 해소(또는 로그 해소)가 존재한다.
• 모든 Noetherian이고 정규인 스킴이 정규, 프로젝티브, 갈루아 수정을 갖는 이상, 약한 예외적 배수를 갖는 정규, 프로젝티브, 갈루아 수정이 존재한다.
• 삼차원 삼차수 특이점은 약한 예외적 배수를 갖는 프로젝티브 로그 해소를 갖는다. 이는 [CP19]에 의해 필요한 가정이 충족됨을 보여준다.
• X가 약한 우도적 스킴이자 차원 ≤3이며, 약한 우도적 스킴 위에서 유한형이면서 분리된 스킴이라면, 약한 예외적 배수를 갖는 프로젝티브 로그 해소가 존재한다.
• 차원 ≤2인 우도적 스킴 위에서 유한형인 스킴에 대해서는, 약한 예외적 배수를 갖는 정규, 프로젝티브, 갈루아 수정이 존재한다.
• 이 구성은 지배성과 호환된다: 최종적으로 얻어진 해소 또는 수정은 주어진 유한 개의 해소 또는 수정을 모두 지배할 수 있다.