[論文レビュー] A toy model for the Drinfeld-Lafforgue shtuka construction

Dennis Gaitsgory, David Kazhdan+2 more|arXiv (Cornell University)|Aug 15, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 26被引用数 9

ひとこと要約

この論文は、トポロジカルな設定において、カテゴリカルなトレースとアンサンブル作用素を用いて、Drinfeld-Lafforgue shtuka構成の圏論的枠組みを構築する。幾何学的ラングランズプログラムの簡略化されたトイモデルを提供する。トレース構成を通じて、ヘッケ作用とshtukaの間の対応関係を確立し、Bun_G上の層のフロベニウス作用のカテゴリカルなトレースが、アンサンブル作用素を伴う自動形式の空間を回復することを証明する。

ABSTRACT

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas à la Drinfeld and of excursion operators à la V. Lafforgue. We take as the point of departure the Hecke action of Rep(G^L) on the category Shv(Bun_G) of sheaves on Bun_G, and also the endofunctor of the latter category, given by the action of the geometric Frobenius. The shtuka construction will be obtained by applying (various versions of) categorical trace.

研究の動機と目的

• DrinfeldおよびLafforgueのスタイルのshtuka構成とアンサンブル作用素の概念的で圏論的な枠組みを提供すること。
• 幾何学的ラングランズプログラムの主要構造—ヘッケ作用、フロベニウス、S=T恒等式—を簡略化されたトポロジカルな文脈でモデル化すること。
• カテゴリカルなトレースによるフロベニウス自己準同型のトレースを通じて、自動形式層と表現との間の対応関係を確立すること。
• カテゴリカルなトレースを用いて、アンサンブル作用素が対称モノイダル圏における単位対象の自己準同型として自然に現れることを形式化すること。
• よりアクセスしやすいDG圏および層論的文脈で、ℓ-adic shtuka構成の完全な形の基礎を築くこと。

提案手法

• DG圏の2カテゴリカルな圏において、カテゴリカルなトレース構成を用いて、Shv(Bun_G)上のフロベニウス自己準同型から自動的データを抽出する。
• 特に空間Yに対してテンソル積A^⊗Yを用いて、対称モノイダル圏の空間上への統合的作用の概念を適用する。
• Yの基本群を用いて、A^⊗Y内の対象を有限集合からAへの関手として特徴付ける。
• アンサンブル作用素をA^⊗Yにおける単位対象の自己準同型として導入し、これは有限集合上の余極限として実現される。
• 2カテゴリカルなトレースを用いて、幾何的フロベニウス作用が自動形式の空間と関係することを示す。
• コンパクト性と双対性およびベースチェンジとの整合性を保証するため、普遍局所アキラシティ（ULA）の概念を適用する。

実験結果

リサーチクエスチョン

• RQ1 shtuka構成は、簡略化されたトポロジカルな文脈において、カテゴリカルなトレースとアンサンブル作用素を用いてどのように形式化できるか？
• RQ2 ヘッケ作用がShv(Bun_G)上で作用する際、トレース構成を通じて得られる自動形式層との間の明確な圏論的関係は何か？
• RQ3 アンサンブル作用素は、どのようにしてカテゴリカルなトレースによるフロベニウス自己準同型のトレースから自然に生じるか？
• RQ4 カテゴリカルなトレースが、局所系上の関数代数の作用を伴う自動形式の空間をどのように回復するのか、その意味は何か？
• RQ5 カテゴリカルなトレース構成がコンパクト性と双対性を保つために必要な条件は何か、特にD-モジュールおよびind-coh層の文脈においては？

主な発見

• Shv(Bun_G)上のフロベニウス自己準同型のカテゴリカルなトレースは、関数代数の作用をアンサンブル作用素によって符号化した自動形式の空間と同型である。
• アンサンブル作用素は、A^⊗Yにおける単位対象の自己準同型として実現され、これは有限集合上の余極限として構成され、任意のモジュール圏にトレース構成を通じて作用する。
• 真空の場合のS=T恒等式は、トレースが層の圏のカテゴリカルなホッフ・チェーンと同一視されることによって証明される。
• ULA（普遍局所アキラシティ）条件により、双対性およびベースチェンジと整合的であることが保証され、コンパクト対象が忘却関手のもとでもコンパクトのままである。
• 忘却関手oblvによる像のコンパクト性はULA性質と同値であり、これによりカテゴリカルなトレースがコンパクト性を保存することが示される。
• 主要定理の証明は、リッスの作用のスペクトル的特徴付けおよびヘッケ作用が極小特異性集合を保存することに依拠しており、トレース構成の有効性を保証する。