[논문 리뷰] Modifications et cycles évanescents sur une base de dimension supérieure à un

Fabrice Orgogozo|ArXiv.org|2005. 07. 22.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 유한 표기의 사상에 대해 근처 순환 복합체가 임의의 기저 변경과 가환함을 보장하는 기저의 수정이 존재한다는 델리그의 추측에 대한 에탈 코hom로지적 유사체를 확립한다. 드종의 안정적 수정 정리와 유도 범주 내 근처 순환 함자 성질을 이용하여, 적절한 기저 수정 이후 근처 순환 복합체가 기저 변경과 가환함을 보임을 증명하며, 투버의 결과를 일반화하고 고차원 기저로의 이론 확장을 이룬다.

ABSTRACT

For a given morphism of schemes f:X->S, a sheaf F on X, a geometric point x on X, and s=f(x), the morphism f\_x : X(x) -> S(s) between the strict henselizations doesn't necessarily behave (with respect to F) like a proper morphism. However, we know it is so (assuming constructibility of F etc.) if S is the spectrum of a dvr (P. Deligne, SGA 4 1/2, [Th. finitude]). In this article, we prove it becomes so after an appropriate modification of the base S. The main ingredient is a theorem by A.J. de Jong on plurinodal fibrations. An application of this formalism to Lefschetz pencils is given.

연구 동기 및 목표

• 유한 표기의 사상에 대해 근처 순환 복합체가 임의의 기저 변경과 가환함을 보장하는 기저의 수정이 존재한다는 델리그의 추측에 대한 에탈 코호몰로지적 유사체를 증명하기 위해.
• 차원 ≥1인 임의의 균일한 기약 스킴으로 일반화된 밸루에이션 링 위에서 투버의 근처 순환 결과를 일반화하기 위해.
• 유한 표기의 사상에 대해 근처 순환 복합체가 임의의 기저 변경과 가환함을 보장하는 기저 스킴의 수정이 존재함을 확립하기 위해.
• 기저 수정 이후 사상의 코호몰로지적 특성에 대해 특성화를 제공하여, 그것이 코호몰로지적 성질에서 정규 사상과 유사하게 행동함을 보여주기 위해.
• gabber의 아이디어를 활용하여, 고립된 특이점의 경우 양의 특성에서 레프셰츠 피복의 공액성 결과에 대해 더 직관적인 새로운 증명을 제시하기 위해.

제안 방법

• 기저 $S$ 위의 $\Lambda$-층의 유도 범주에서 근처 순환 함자 $\Psi_f$ 를 사용하며, 여기서 $\Lambda = \mathbb{Z}/n\mathbb{Z}$ 이고 $n$ 은 $S$ 상에서 가역이다.
• 드종의 수정 존재 정리를 적용하여, 유도된 사상 $f_{S'}: X' \to S'$ 가 원하는 코호몰로지 성질을 만족하는 전사적, 고유한 수정 $S' \to S$ 를 구성한다.
• 일반적인 효과적 강하 위상에서 기저 수정 이후 근처 순환의 국소적 기저 변경 가환성을 확립하기 위해 사용한다.
• 유도 범주 프레임워크에서 근처 순환 복합체가 고차수에서 코호몰로지가 없음을 이용하는 것이 핵심 기술적 입력이다.
• $X \times_S^\leftarrow S$ 의 토포스가 $f(x)$ 의 전진 특성화 $t$ 를 갖는 쌍 $(x, t)$ 를 분류하는 토포스로 간주할 수 있음을 이용하여, $\Psi_f$ 의 섬유를 밀너 섬유로 해석한다.
• 특히 고립된 특이점의 경우, 양의 특성에서 근처 순환의 공액성을 기하학적 직관적으로 증명하기 위해 갈브어의 아이디어를 응용한다.

실험 결과

연구 질문

• RQ1 기저의 수정 이후, 유한 표기의 스킴 사상에 대해 근처 순환 함자에서 임의의 기저 변경과의 가환성이 보장될 수 있는가?
• RQ2 고차원 기저(차원 ≥1)에서 근처 순환 복합체는 일차원 기저의 경우와 동일한 코호몰로지 유한성 및 기저 변경 성질을 만족하는가?
• RQ3 수정이 근처 순환의 가환성 위반을 제거함으로써, 고차원에서 델리그의 '블로우업 없음' 정리의 코호몰로지적 유사체가 존재하는가?
• RQ4 레프셰츠 피복에서 근처 순환의 공액성은 양의 특성에서 근처 순환 기법을 이용해 대수적으로 증명할 수 있는가?
• RQ5 근처 순환의 수정 이후, 펄스브 어시와 대칭 이론의 이론은 어느 정도 고차원 기저의 설정으로까지 확장될 수 있는가?

주요 결과

• 모든 기저 $S$ 가 균일하고 기약이며, $\mathcal{F} \in D_c^b(X, \mathbb{Z}/n\mathbb{Z})$ 인 경우, 유한 표기의 사상 $f: X \to S$ 에 대해 근처 순환 복합체 $\Psi_f(\mathcal{F})$ 는 충분히 높은 차수에서는 코호몰로지가 없다.
• 근처 순환 복합체 $\Psi_{f_{S'}}(\mathcal{F}_{S'})$ 가 모든 기저 변경 $T \to S'$ 와 가환함을 보장하는 수정 $S' \to S$ 가 존재한다. 즉, 기저 변경 사상이 동형이다.
• 기저 변경과의 가환성은 전역적으로는 실패할 수 있으나, 일반적인 효과적 강하 위상에서 국소적으로 성립한다.
• 결과는 투버의 밸루에이션 링 위에서의 근처 순환 정리 결과를 차원 ≥1인 임의의 균일한 스킴으로 일반화한다.
• 고립된 특이점의 경우, 갈브어의 아이디어를 활용하여, 양의 특성 2에서 레프셰츠 피복의 근처 순환 공액성에 대해 새로운 증명을 제시한다.
• 수정의 구성은 유도된 사상 $f_{S'}$ 가 사전에 고유하지 않더라도 코호몰로지적으로 정규 사상과 유사하게 행동함을 보장한다.