[논문 리뷰] Faisceaux pervers sur les espaces d'arcs I: Le cas d'\'egales caract\'eristiques

Alexis Bouthier, David Kazhdan|arXiv (Cornell University)|2015. 09. 07.

Algebraic Geometry and Number Theory인용 수 8

한 줄 요약

이 논문은 동차 특성에서 아크 공간 위의 악성 층의 기초 이론을 수립하며, 아크 공간이 유한 차원 공간과 무한 차원 아핀 공간의 국소적 프로-스무쓰 곱임을 증명한다. 새로운 토포스를 도입하여 l-adic 층의 유계 구조적 분류와 t-구조, 버드러 이중성을 정의하고, 드린펠트-그린버그-카즈한의 정리로부터 유한 차원 모델을 통해 교차 복합체를 구성한다.

ABSTRACT

This article sets the foundations of a theory of perverse sheaves on arc spaces as it was conjectured by Feigin-Frenkel in 1990. We show a structure theorem which says that arc spaces are locally products of something finite dimensional times an infinite dimensional affine space for the pro-smooth topology. In particular, it answers a conjecture of Kollar and Nemethi. We then introduce a new topos, which allows us to define a bounded constructible category of l-adic sheaves equipped with a t-structure and with a Verdier dual. Finally we define an intersection complex whose fibers are given by the finite dimensional models obtained using Drinfeld-Grinbeg-Kazhdan's theorem.

연구 동기 및 목표

• 1990년 페이진과 프레날이 제안한 바와 같이 아크 공간 위의 악성 층 이론을 개발하는 것.
• 콜라르와 네메티의 아크 공간의 국소적 구조에 대한 추측을 해결하는 것.
• 아크 공간 위에 t-구조와 버드러 이중성을 갖춘 l-adic 층의 유계 구조적 분류를 구성하는 것.
• 드린펠트-그린버그-카즈한의 정리로부터 유한 차원 모델을 이용해 아크 공간 위의 교차 복합체를 정의하는 것.

제안 방법

• 아크 공간이 유한 차원 스킴과 무한 차원 아핀 공간의 국소적 프로-스무쓰 곱임을 확립하는 것.
• 무한 차원 기하학을 다룰 수 있도록 아크 공간 위의 프로-스무쓰 위상에 적합한 새로운 토포스를 도입하는 것.
• 새로운 토포스 위에 t-구조를 갖춘 l-adic 층의 유계 구조적 분류를 정의하는 것.
• 토포스 이론 프레임워크를 이용해 이 분류에 버드러 이중성을 부여하는 것.
• 드린펠트-그린버그-카즈한의 정리로부터 유한 차원 모델을 당겨와 교차 복합체를 구성하는 것.
• 교차 복합체의 섬유가 이 유한 차원 모델과 동형임을 검증하는 것.

실험 결과

연구 질문

• RQ1 아크 공간이 무한 차원이므로, 동차 특성에서 악성 층은 어떻게 정의될 수 있는가?
• RQ2 프로-스무쓰 위상 하에서 아크 공간의 국소 기하학적 구조는 무엇인가?
• RQ3 아크 공간 위에 t-구조와 버드러 이중성을 갖춘 l-adic 층의 유계 구조적 분류를 구성할 수 있는가?
• RQ4 어떻게 드린펠트-그린버그-카즈한의 정리로부터 유한 차원 모델을 이용해 아크 공간 위의 교차 복합체를 실현할 수 있는가?
• RQ5 드린펠트-그린버그-카즈한의 정리는 아크 공간 위의 교차 복합체에 대해 어느 정도의 유한 차원 모델을 제공하는가?

주요 결과

• 아크 공간은 유한 차원 스킴과 무한 차원 아핀 공간의 국소적 프로-스무쓰 곱이며, 콜라르와 네메티의 추측을 확인한다.
• 아크 공간 위에 l-adic 층의 유계 구조적 분류를 정의하는 데 적합한 새로운 토포스가 구성된다.
• 이 분류는 t-구조와 버드러 이중성을 갖추고 있어, 이 맥락에서 악성 층 이론을 가능하게 한다.
• 아크 공간 위의 교차 복합체는 드린펠트-그린버그-카즈한의 정리에서 제공하는 유한 차원 모델과 동형인 섬유를 갖도록 구성된다.
• 이 이론은 페이진과 프레날이가 제안한 동차 특성에서 아크 공간 위의 악성 층 이론에 대한 추측을 실현한다.
• 이 틀은 l-adic 층을 통한 특이점과 표현론적 불변량을 연구하는 기하학적 기초를 제공한다.