[論文レビュー] Formal gluing for non-linear flags

Benjamin Hennion, Mauro Porta+1 more|arXiv (Cornell University)|Jul 15, 2016

Algebraic Geometry and Number Theory参考文献 1被引用数 10

ひとこと要約

本稿は、任意の閉部分スキームに沿った擬準同型複体および完全複体、および $G$-バンドルの形式的貼り合わせを形式的に確立し、非線形フラグに沿った分解を可能にする。主な貢献は、導来 $∞$-圏的分解公式と、擬準同型複体の局在化定理であり、高次元の幾何学的ラングランズに影響を及ぼす。

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$-バンドルのスタックについて、任意の閉部分スキーム $Z$ に沿った形式的貼り合わせを証明する。
• 形式的貼り合わせ構成の反復を用いて、$X$ 内の任意の非線形部分スキームフラグに沿ったスタックの分解を達成する。
• スタック的分解を適用し、擬準同型複体および完全複体の導来 $∞$-圏における分解公式を導出する。
• 擬準同型複体のスタックに対する局在化定理を確立し、完全複体のトーマソンの結果に類似するものとする。
• 底体上の点を活用して、スタックレベルの貼り合わせから幾何的および圏論的帰結を抽出する。
• 導来圏的構造を通じて、高次元多様体における幾何学的ラングランズプログラムへの応用を探索する。

実験結果

リサーチクエスチョン

• RQ1 形式的貼り合わせは、スキーム $X$ の線形フラグから任意の非線形フラグの部分スキームへ一般化可能か？
• RQ2 非線形フラグを持つスキーム上での擬準同型複体および完全複体の導来 $∞$-圏的構造は何か？
• RQ3 擬準同型複体のスタックは局在化においてどのように振る舞い、完全複体のトーマソンの局在化と比べてどう異なるか？
• RQ4 この形式的貼り合わせは、高次元における幾何学的ラングランズプログラムにどのような影響を及えるか？
• RQ5 スタック的形式的体系を用いて、フラグデータを通じた導来圏の新しい分解を構成可能か？

主な発見

• 本稿は、任意の閉部分スキーム $Z \subset X$ に沿った擬準同型複体、完全複体、$G$-バンドルのスタックに対する形式的貼り合わせを確立し、古典的結果を一般化する。
• 貼り合わせの反復を用いることで、$X$ 内の任意の非線形部分スキームフラグに沿ったこれらのスタックの分解が得られる。
• スタックレベルの分解は、擬準同型複体および完全複体の導来圏における導来 $∞$-圏的分解公式を誘導する。
• 擬準同型複体のスタックに対する局在化定理が証明され、トーマソンの完全複体に対する結果がより広いクラスの擬準同型対象へ拡張される。
• これらの結果は、導来圏的メソッドを用いた高次元多様体への幾何学的ラングランズプログラムの拡張のための可能性のある枠組みを示唆する。
• この構成は底体の点と整合的であり、スタック的枠組みから幾何的およびコホノロジー的帰結を抽出可能である。