[논문 리뷰] Formal gluing for non-linear flags

Benjamin Hennion, Mauro Porta외 1명|arXiv (Cornell University)|2016. 07. 15.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 10

한 줄 요약

이 논문은 스킴의 임의의 닫힌 부분스킴을 따라, 의사준비형 및 완전 복합체, $G$-_bundle에 대한 형식적 접합을 정립하며, 비선형 플래그를 따라 분해를 가능하게 한다. 핵심 기여는 유도된 $∞$-카테고리적 분해 공식과 의사준비형 복합체에 대한 국소화 정리이며, 고차원 기하학적 롱랜즈 프로그램에 대한 함의를 지닌다.

ABSTRACT

In this paper we prove formal glueing, along an arbitrary closed subscheme $Z$ of a scheme $X$, for the stack of pseudo-coherent, perfect complexes, and $G$-bundles on $X$ (for $G$ a smooth affine algebraic group). By iterating this result, we get a decomposition of these stacks along an arbitrary nonlinear flag of subschemes in $X$. By taking points over the base field, we deduce from this both a formal glueing, and a flag-related decomposition formula for the corresponding derived $\infty$-categories of pseudo-coherent and perfect complexes. We finish the paper by highlighting some expected progress in the subject matter of this paper, that might be related to a Geometric Langlands program for higher dimensional varieties. In the Appendix we also prove a localization theorem for the stack of pseudo-coherent complexes, which parallels Thomason's localization results for perfect complexes.

연구 동기 및 목표

• 기하학에서 선형 플래그를 넘어서 임의의 닫힌 부분스킴과 비선형 플래그 분해로 형식적 접합 기법을 확장하는 것.
• 스택 이론적 형식으로 의사준비형 및 완전 복합체에 대한 유도된 $∞$-카테고리적 분해를 수립하는 것.
• 완전 복합체에 대한 국소화 결과를 의사준비형 복합체의 더 넓은 설정으로 일반화하는 것.
• 유도된 카테고리적 구조를 통해 고차원 기하학적 롱랜즈 프로그램과의 연결을 탐색하는 것.

제안 방법

• 스킴 $X$ 위에서 의사준비형 복합체, 완전 복합체, $G$-bundle의 스택에 대해 임의의 닫힌 부분스킴 $Z$를 따라 형식적 접합을 증명하는 것.
• 형식적 접합 구조를 반복 적용하여 $X$의 임의의 비선형 플래그에 따른 스택의 분해를 얻는 것.
• 스택 이론적 분해를 적용하여 의사준비형 및 완전 복합체의 유도된 $∞$-카테고리에서의 분해 공식을 도출하는 것.
• 의사준비형 복합체의 스택에 대한 국소화 정리를 증명하며, 톰슨의 완전 복합체에 대한 결과와 유사한 형태로 한다.
• 기저 체의 점들을 활용하여 스택 수준의 접합으로부터 기하학적 및 카테고리적 함의를 추출하는 것.
• 유도된 카테고리적 구조를 통해 고차원 다양체에 대한 기하학적 롱랜즈 프로그램에의 잠재적 응용을 탐색하는 것.

실험 결과

연구 질문

• RQ1 스킴 $X$의 부분스킴의 비선형 플래그로 형식적 접합을 선형 플래그에서 일반화할 수 있는가?
• RQ2 비선형 플래그를 가진 스킴에서 의사준비형 및 완전 복합체의 유도된 $∞$-카테고리적 구조는 무엇인가?
• RQ3 의사준비형 복합체의 스택은 국소화에서 어떻게 행동하는가? 그리고 이는 톰슨의 완전 복합체에 대한 국소화 결과와 어떻게 비교되는가?
• RQ4 이 형식적 접합이 고차원 기하학적 롱랜즈 프로그램에 미치는 함의는 무엇인가?
• RQ5 스택 이론적 형식은 플래그 자료를 통해 유도된 카테고리의 새로운 분해를 구성하는 데 사용될 수 있는가?

주요 결과

• 논문은 스킴 $X$의 임의의 닫힌 부분스킴 $Z \subset X$를 따라 의사준비형 복합체, 완전 복합체, $G$-bundle의 스택에 대한 형식적 접합을 정립하며, 고전적 결과를 일반화한다.
• 접합을 반복함으로써 저자들은 $X$의 임의의 비선형 부분스킴 플래그를 따라 이러한 스택의 분해를 얻는다.
• 스택 수준의 분해는 의사준비형 및 완전 복합체의 유도된 카테고리에 대한 유도된 $∞$-카테고리적 분해 공식을 유도한다.
• 의사준비형 복합체의 스택에 대한 국소화 정리가 증명되며, 이는 톰슨의 결과를 의사준비형 객체의 더 넓은 클래스로 확장한다.
• 결과들은 유도된 카테고리적 방법을 통해 고차원 다양체에 대한 기하학적 롱랜즈 프로그램을 확장할 잠재적 프레임워크를 시사한다.
• 이 구성은 기저 체의 점들과 호환되며, 스택 이론적 프레임워크로부터 기하학적 및 코homological 함의를 추출할 수 있게 한다.