[논문 리뷰] Equivariant resolution of singularities in characteristic 0

Dan Abramovich, Jianhua Wang|ArXiv.org|1996. 09. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 21

한 줄 요약

이 논문은 특성 0에서의 등변 특이점 해소에 대해 토릭 기하학과 군 작용을 이용한 새로운 증명을 제시한다. 표준 해소의 존재성과 바리센터 분할 및 순서 함수를 통한 G-등변 토릭 해소를 조합하여, 특이점을 해소하면서 정규 교차 분할을 유지하는 G-등변 수정을 구성함으로써, 유한 군 작용을 받는 다양체에 대해 균일하고 사영적인 해소를 달성한다.

ABSTRACT

A new proof of equivariant resolution of singularities under a finite group action in characteristic 0 is provided. We assume we know how to resolve singularities without group action. We first prove equivariant resolution of toroidal singularities. Then we reduce the general case to the toroidal case.

연구 동기 및 목표

• 특성 0에서 히로나카의 등변 해소 정리에 대한 새로운 증명을 토릭 방법을 사용하여 제시하는 것.
• 유한 군 작용을 받는 엄격 토릭 임베딩에 대해 G-등변 토릭 해소의 존재를 확립하는 것.
• 특이점의 전이상이 G-엄격 정규 교차 분할이 되는 G-등변 사영 수정을 구성하는 것.
• 토릭 임베딩 이론을 등변 설정으로 확장하여, G-작용이 토릭 임베딩에 의해 잘 정의된 몫과 분할을 유도함을 증명하는 것.

제안 방법

• 엄격 토릭 임베딩과 관련된 콘형 다면체 복합체의 바리센터 분할을 사용하여 단체적이고 인덱스 1인 콘을 보장하는 것.
• 몫 복합체 $B(\Delta)/G$ 에서의 양의 순서 함수를 올려, 바리센터 분할 상에서 G-등변 순서 함수를 구성하는 것.
• 문헌 [KKMS]의 정리 1.1을 적용하여 순서 함수에 대응하는 일관된 아이디얼의 층을 부여하고, 정규화된 블로우업을 유도하는 것.
• 결과로 얻어진 블로우업이 비특이적이며 G-엄격함을 증명하고, G가 결과 다양체 위에서 토릭적으로 작용함을 보이는 것.
• 문제를 몫 공간에서의 특이점 해소로 줄이기 위해 몫 복합체 $X/G$ 를 사용하고, 정규화를 통해 다시 올리는 것.
• G-엄격성과 토릭 작용이 몫과 블로우업 연산을 통해 유지됨을 이용하는 것.

실험 결과

연구 질문

• RQ1 특성 0에서 토릭 기하학과 군 작용을 통해 등변 특이점 해소를 달성할 수 있는가?
• RQ2 유한 군이 엄격 토릭 임베딩에 작용할 경우 G-등변 토릭 해소가 존재하는가?
• RQ3 특이점의 전이상이 G-엄격 정규 교차 분할이 되는 G-등변 사영 수정을 구성할 수 있는가?
• RQ4 유한 군 작용에 의한 G-등변 토릭 임베딩의 몫은 여전히 엄격 토릭 임베딩인가?

주요 결과

• 특이점의 전이상이 G-엄격 정규 교차 분할이 되는 G-등변 사영 수정 $X_1 \to X$ 가 존재하며, $X_1$ 은 비특이적이다.
• 콘형 다면체 복합체의 바리센터 분할 상에서 G-등변 순서 함수의 존재는 비특이적이며 G-엄격인 토릭 블로우업을 보장한다.
• G-엄격 토릭 임베딩의 몰입 $X/G$ 는 여전히 엄격 토릭 임베딩이며, 유한 군 작용 하에서도 토릭 구조를 유지한다.
• 레크스코그라픽 순서로 정렬된 격자점의 표준 좌표를 사용하여 콘을 반복적으로 분할함으로써 균일하고 사영적인 해소를 구성하는 방법.
• 순서 함수에 의해 유도된 블로우업은 사영적이며 G-등변적이며, 결과 다양체는 비특이적이고 G-엄격하다.