[논문 리뷰] On algebraic spaces with an action of G_m

Vladimir Drinfeld|arXiv (Cornell University)|2013. 08. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 26

한 줄 요약

이 논문은 체 위의 유한형 대수적 공간 $Z$ 에 대한 $G_m$-작용을 고려할 때, 이에 관련된 대수적 공간 $\tilde{Z}$ 를 도입하고 그 성질을 연구한다. 이는 작용 지도의 그래프의 폐포를 일반화한, 자연스러운 무분기 사상 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ 를 구성하며, 붕괴자 및 반발자 부분공간의 표현 가능성과 미세함에 대한 결과를 증명한다. 주요 기여는 자동형 양식 이론에서 기하학적 정리를 증명하기 위한 새로운 프레임워크를 제공하고, 카테고리론 및 $D$-모듈 기법을 사용하여 Braden 정리의 새로운 증명을 제시하는 데 있다.

ABSTRACT

Let Z be an algebraic space of finite type over a field, equipped with an action of the multiplicative group $G_m$. In this situation we define and study a certain algebraic space equipped with an unramified morphism to $A^1 imes Z imes Z$, where $A^1$ is the affine line. (If Z is affine and smooth this is just the closure of the graph of the action map $G_m imes Z o Z$.) In articles joint with D.Gaitsgory we use this set-up to prove a new result in the geometric theory of automorphic forms and to give a new proof of a very important theorem of T. Braden.

연구 동기 및 목표

• 유한형 대수적 공간 $Z$ 에 대한 $G_m$-작용을 고려할 때, $\tilde{Z}$ 를 정의하고, $\tilde{Z}$ 에 자연스러운 무분기 사상 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ 가 존재하도록 연구한다.
• 주어진 $G_m$-작용에 관련된 붕괴자 및 반발자 부분공간의 표현 가능성과 미세함에 대한 결과를 확립한다.
• 기하학적 표현 이론의 맥락에서 T. Braden 의 기본 정리에 대한 새로운 증명을 제공한다.
• 대응관계의 2-category 와 림프 함수(functor)를 포함하는 카테고리적 프레임워크를 개발하여 자동형 양식의 기하학 이론을 체계화하고 증명한다.

제안 방법

• 특이한 초평면 유사 가중가지 가속도 가속도를 갖는 $A^1$ 위의 가속도 가속도의 극한으로서 $\tilde{Z}$ 를 구성하며, 이는 아핀-스무스 경우에서 작용 지도의 그래프 폐포를 일반화한다.
• 한계를 취할 때 $G_m$-작용에 따라 수렴하는 점들을 매개변수화하는 붕괴자 $Z^+$ 와 반발자 $Z^-$ 를 정의하고, 형식적 이웃 환위 구조를 통해 그 표현 가능성을 증명한다.
• $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ 사상이 $Z$ 의 기하학적 구조와 $\tilde{Z}$ 의 구조 사이의 관계를, 특히 $0$ 과 $1$ 에서의 섹션과 연결한다.
• Moret-Bailly 의 내림내림 정리와 형식적 이웃 환위 기법을 사용하여 $Z^+$ 와 $Z^-$ 의 표현 가능성 증명을 수행한다.
• 대응관계의 2-category 와 림프 함수를 포함하는 카테고리적 프레임워크를 활용하여 기하학적 자료를 모델링하고, $D$-모듈로 확장한다.
• Lurie 의 텐서곱과 함수 $D\text{-mod} : AlgSt \to DGCat_{\text{cont}}$ 를 사용하여 기하학적 설정을 $D$-모듈의 언어로 변환한다.

실험 결과

연구 질문

• RQ1 아핀 또는 스무스가 아닐 수 있는 일반적인 대수적 공간 $Z$ 에 대해, $G_m$-작용 그래프의 폐포를 어떻게 일반화할 수 있는가?
• RQ2 $G_m$-작용에 대해 붕괴자 $Z^+$ (또는 반발자 $Z^-$) 가 대수적 공간으로서 표현 가능해지는 조건은 무엇인가?
• RQ3 공간 $\tilde{Z}$ 의 구성이 Braden 정리, 즉 $Z$ 의 유도 범주 분해에 대한 정리의 새로운 증명에 사용될 수 있는가?
• RQ4 사상 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ 는 $G_m$-작용의 역학을 어떻게 코딩하고 고정점 및 붕괴자 구조와 관련이 있는가?
• RQ5 림프 함수 $\Theta_Z$ 와 그 $D$-모듈로의 확장은 자동형 양식의 기하학 이론을 체계화하는 데 어떤 역할을 하는가?

주요 결과

• $\tilde{Z}$ 는 자연스러운 무분기 사상 $\tilde{p} : \tilde{Z} \to A^1 \times Z \times Z$ 를 지닌 대수적 공간이며, $Z$ 가 아핀이면서 스무스일 경우 이는 작용 지도의 그래프 폐포를 복원한다.
• 붕괴자 $Z^+$ 와 반발자 $Z^-$ 는 $Z$ 의 대수적 부분공간으로서 표현 가능하며, 사상 $p^+ : Z^+ \to Z$ 는 표현 가능하고 무분기이다.
• $\tilde{p}$ 의 $0 \in A^1$ 에서의 섹션은 $Z^- \times Z^+$ 와 구조적으로 동형이며, $1 \in A^1$ 에서의 섹션은 $Z \times Z$ 와 동형이다. 이는 $G_m$-작용의 역학을 반영한다.
• 이 구성은 림프 함수 $\Theta_Z$ 와 대응관계 범주의 $D$-모듈 실현을 통해 필요한 수반관계를 실현함으로써 Braden 정리의 새로운 증명을 제공한다.
• $Z$ 가 스무스일 경우 $\tilde{Z}$ 는 스무스이며, 적절한 조건 하에 $0$ 에서의 섹션 주변에서 사상 $\tilde{p}$ 는 스무스이다.
• 이 프레임워크를 통해 $D$-모듈 범주와 림프 작용을 통해 필요한 함자를 실현함으로써 자동형 양식 이론의 핵심 결과에 대한 새로운 증명이 가능해진다.