[논문 리뷰] Cohomological Hasse principle and resolution of quotient singularities

Moritz Kerz, Shuji Saito|arXiv (Cornell University)|2011. 11. 30.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 13

한 줄 요약

이 논문은 Kato의 코homological Hasse 원리를 이용해 몰입 특이점의 해소에서 예외적 인수의 이중 복합체의 호모토피 유형에 대한 McKay 원리를 수립한다. 기하 문제를 Kato의 코homological Hasse 원리로 환원함으로써, 몰입 특이점의 해소에서 예외적 인수의 이중 복합체가 G-등변 해소에서의 이중 복합체의 몫과 호모토피 동치임을 증명하며, 그 핵심 결과로 특이점의 특이점 집합이 고립되어 있을 경우 이중 복합체가 수축 가능하다는 것을 보인다. 이는 특성 0 또는 특이점 해소가 존재하는 완전체 위에서 성립한다.

ABSTRACT

In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of hypercoverings of resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of a quotient scheme in terms of weight homology of an equivariant scheme. Our method is to reduce the geometric McKay principle for weight homology to Kato's cohomological Hasse principle for arithmetic schemes. The McKay principle for weight homology implies McKay principle for the homotopy type of the dual complex of the exceptional divisors of a resolution of a quotient singularity. As a consequence we show that the dual complex is contractible for isolated quotient singularities.

연구 동기 및 목표

• 몰입 특이점의 해소에서 예외적 인수의 이중 복합체의 호모토피 유형에 대한 McKay 원리를 수립하기 위해.
• 가중 호모로지의 관점에서 $X/G$의 해소 기하학을 $X$의 $G$-등변 기하학과 연결하기 위해.
• 몰입 특이점 $X/G$의 해소에서 예외적 인수의 이중 복합체 $\Gamma(E_S)$가 고립된 특이점 집합을 가질 경우 수축 가능함을 보여주기 위해.
• 기하학적 McKay 원리를 산술 스킴에 대한 Kato의 코homological Hasse 원리로 환원하기 위해.
• 표준 사상 $\phi: \Gamma(E_T)/G \to \Gamma(E_S)$가 호모로지와 기본군에 대해 동형을 유도함으로써, 특정 조건 하에서 호모토피 동치임을 보여주기 위해.

제안 방법

• 특이 스킴의 불변량으로서 초복합체의 해소에 대한 하이퍼커버링을 통해 정의된 가중 호모로지를 사용한다.
• 기하학적 McKay 원리를 산술적 내림성질로 환원하기 위해 Kato의 코homological Hasse 원리를 적용한다.
• G-스킴의 맥락에서 호모로지 함수자에 대한 등변 가중 호모로지와 내림 기법을 활용한다.
• 특성 0 또는 완전체에서 표준 특이점 해소를 이용해 매끄러운 G-등변 해소의 존재를 보장한다.
• cs-커버링과 호모토피 동치를 통해 $\widetilde{X}/G$, $\widetilde{Y}$, $\widetilde{Y}'$ 사이의 교환 다이어그램을 구성하여 이중 복합체를 연결한다.
• Whitehead와 Hurewicz 정리를 적용하여 호모로지와 기본군에 대한 동형에서 호모토피 동치를 유도한다.

실험 결과

연구 질문

• RQ1 몰입 특이점 $X/G$의 해소에서 예외적 인수의 이중 복합체는 $X$의 $G$-등변 기하학에 의해 결정되는 호모토피 유형을 가지는가?
• RQ2 코homological 내림을 통해 이중 복합체에 대한 McKay 원리를 수립할 수 있는가?
• RQ3 특이점 집합 $X/G$가 고립되어 있을 경우, 이중 복합체 $\Gamma(E_S)$는 수축 가능한가?
• RQ4 표준 사상 $\phi: \Gamma(E_T)/G \to \Gamma(E_S)$가 호모로지와 기본군에 대해 동형을 유도하는가?
• RQ5 등변 해소 $\widetilde{X}$의 가중 호모로지를 사용하여 $X/G$의 해소 $\widetilde{Y}$의 가중 호모로지를 계산할 수 있는가?

주요 결과

• 표준 사상 $\phi: \Gamma(E_T)/G \to \Gamma(E_S)$는 모든 호모로지 군 $H_a$ ($a \in \mathbb{Z}$)에 대해 동형을 유도한다.
• 사상 $\phi$는 기본군 $\pi_1$에 대해서도 동형을 유도한다.
• 만약 $\Gamma(E_T)/G$가 단순연결되어 있다면, $\phi$는 호모토피 동치이다.
• 만약 $\Gamma(E_T)/G$가 수축 가능하다면, $\Gamma(E_S)$는 수축 가능하다.
• 만약 $T$가 매끄럽다면 (예를 들어 특이점 집합이 고립되어 있을 경우), $\Gamma(E_S)$는 수축 가능하다.
• 이 결과는 특성 0 또는 표준 특이점 해소가 존재하는 완전체 위에서 성립하며, Stepanov의 정리를 등변 설정으로 일반화한다.