[논문 리뷰] Birational geometry and localisation of categories

Bruno Kahn, R. Sujatha|arXiv (Cornell University)|2008. 05. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 33인용 수 10

한 줄 요약

이 논문은 F 위의 매끄러운 대상의 범주를 비라션 매핑에 대해 국소화함으로써 비라션 기하학과 함의론 사이의 깊은 연결 고리를 설정한다. 국소화된 범주에서 매끄럽고 사영적인 F-대상 Y로 향하는 매끄러운 F-대상 X로부터의 사상들은 Y 위의 F(X)-유리점들의 R-동치류와 일대일 대응되며, 이는 R-동치의 함의론적 해석을 제공하고, 함의론적 성질을 통해 비라션 불변량을 통합한다.

ABSTRACT

This version corrects a wrong proof of Proposition 6.3.2 and simplifies the exposition in Section 6.

연구 동기 및 목표

• 비라션 기하학에서 함수체의 곳과 유리 맵 사이의 관계를 명확히 하기.
• 두 종류의 분수 범주를 정의하고 연구하기: 조잡한 비라션 범주(곳을 통한)와 세밀한 비라션 범주(매끄러운 대상의 국소화를 통한).
• 특히 사영 대상이 있는 경우, 국소화된 범주 $ S_b^{-1}\mathbf{Sm}(F) $ 안에서 사상 집합을 계산하기.
• R-동치류가 매끄럽고 사영인 대상 위에서 자연스럽게 정의될 수 있으며, 비라션 불변량임을 보여주고, 이에 대한 복합 법칙을 정의하기.
• 이산 평가환론의 몫범주와 국소화된 범주 $ S_b^{-1}\mathbf{Sm}(F) $ 사이의 동치를 설정하기.

제안 방법

• F-대상의 매끄러운 대상의 범주 $ \mathbf{Sm}(F) $ 를 비라션 매핑의 집합 $ S_b $ 에 대해 국소화하여 $ S_b^{-1}\mathbf{Sm}(F) $ 를 구성하고, 이를 세밀한 비라션 범주로 정의한다.
• 함수체를 대상으로 하고 F-곳을 사상으로 하는 조잡한 비라션 범주 $ \mathbf{place} $ 를 정의한다.
• 분리적으로 생성된 함수체의 부분범주 $ \mathbf{dv} $ 를 도입하고, 좋은 이산 평가환론에서 온 평가의 호모토피와 매끄러운 모델에서의 공통 중심을 통한 사상 간의 동치관계를 정의한다.
• 범주 $ (\mathbf{dv}/h')^{\mathrm{op}} $ 의 반대 범주에서 $ S_b^{-1}\mathbf{Sm}(F) $ 로 향하는 함자 $ \overline{\Psi} $ 를 구성하고, 이것이 동치임을 증명한다.
• 특이점의 해소와 변형 기법(특히 가브너의 아크 변형 및 순차적 평가에 의한 블로우업)을 사용하여, 정칙 스킴의 특수 섬독 위의 점들이 R-동치임을 증명한다.
• 요나다의 보조정리와 그 보완을 적용하여, 매끄럽고 사영인 대상에 대한 모든 비라션 함자가 $ S_b^{-1}\mathbf{Sm}^{\mathrm{prop}}(F) $ 를 통해 인자화됨을 보여준다.

실험 결과

연구 질문

• RQ1 함수체의 곳과 매끄러운 대상 간의 유리 맵 사이의 관계는 어떻게 되는가?
• RQ2 국소화된 범주 $ S_b^{-1}\mathbf{Sm}(F) $ 의 구조는 어떻게 되며, 그 사상들은 무엇을 나타내는가?
• RQ3 매끄럽고 사영인 대상 위에서 R-동치류가 자연스럽게 정의될 수 있으며, 비라션 불변량인가?
• RQ4 이산 평가환론의 범주(일부 관계를 갖는)와 세밀한 비라션 범주 사이에 범주 동치가 존재하는가?
• RQ5 정칙 스킴의 특수 섬독 위의 점들이 언제 R-동치가 되는가?

주요 결과

• 국소화된 범주 $ S_b^{-1}\mathbf{Sm}(F) $ 에서 매끄러운 F-대상 $ X $ 에서 사영 매끄러운 F-대상 $ Y $ 로 향하는 사상의 집합은 자연스럽게 $ Y(F(X))/R $ 의 R-동치류 집합과 동형이다.
• 자연스러운 함자 $ S_b^{-1}\mathbf{Sm}^{\mathrm{prop}}(F) \to S_b^{-1}\mathbf{Sm}(F) $ 는 전사적이며, 특성 0에서는 동치이다.
• 매끄럽고 사영인 F-대상 $ X $ 에 대해 $ X(F)/R $ 의 할당은 비라션 불변량이며, 이는 기존의 특성 0에 대한 결과를 임의의 특성으로 일반화한다.
• 매끄럽고 사영인 대상 위의 R-동치류에 대한 복합 법칙은 잘 정의되어 있으며, 범주 구조에서 유래된 함의론적 성질을 가진다.
• 범주 동치 $ (\mathbf{dv}/h')^{\mathrm{op}} \xrightarrow{\sim} S_b^{-1}\mathbf{Sm}(F) $ 가 존재한다. 여기서 $ \mathbf{dv} $ 는 분리적으로 생성된 함수체의 범주이며, 사상은 체 확장과 양호한 이산 평가환론에서 온 곳을 포함한다.
• 가브너의 증명은, 약간의 조건 하에, 정칙 스킴의 특수 섬독 위의 임의의 두 F-점들이 아크 변형과 순차적 평가를 통해 R-동치임을 확인한다.