[論文レビュー] Character Sheaves of Algebraic Groups Defined over Non-Archimedean Local Fields

Clifton Cunningham, Hadi Salmasian|ArXiv.org|Dec 26, 2008

advanced mathematical theories参考文献 12被引用数 4

ひとこと要約

本稿は、非アーキメデス的局所体上の再帰的代数群における特定の字跡層（character sheaves）と、その有理点群の仮想的適応表現との間の対応を確立する。整数的モデルの特異ファイバーにおける近接サイクル関手とフロベニウス作用を用いて、$\mathrm{GL}(N)_{\overline{\mathbb{K}}}$ 上の perverse sheaves を $\mathrm{GL}(N,\mathbb{K})$ の一般化された主系列表現と一致させ、有限体および複素数体に限られていた字跡層の幾何学的理論を $p$-進体へと拡張する。

ABSTRACT

This paper concerns character sheaves of connected reductive algebraic groups defined over non-Archimedean local fields and their relation with characters of smooth representations. Although character sheaves were devised with characters of representations of finite groups of Lie type in mind, character sheaves are perfectly well defined for reductive algebraic groups over any algebraically closed field. Nevertheless, the relation between character sheaves of an algebraic group $G$ over an algebraic closure of a field $K$ and characters of representations of $G(K)$ is well understood only when $K$ is a finite field and when $K$ is the field of complex numbers. In this paper we consider the case when $K$ is a non-Archimedean local field and explain how to match certain character sheaves of a connected reductive algebraic group $G$ with virtual representations of $G(K)$. In the final section of the paper we produce examples of character sheaves of general linear groups and matching admissible virtual representations.

研究の動機と目的

• 有限体および $\mathbb{C}$ でのみ理解されてきた字跡層理論を、非アーキメデス的局所体上の再帰的代数群へと拡張すること。
• $G_{\overline{\mathbb{K}}}$ 上の perverse sheaves（字跡層）と $G(\mathbb{K})$ の仮想的適応表現との間の幾何的対応を確立すること。
• $p$-進設定における字跡層と適応表現の特徴関数を結ぶ「層-関数対応辞書」を構築すること。
• 構造が単純で一致が明示的となる一般線型群の場合に、この対応を示すこと。
• より一般的な状況における内包的群を含む広範な理論の基盤を築くこと。

提案手法

• 滑らかな整数的モデルの一般ファイバーと特異ファイバーとの間の関係を、近接サイクル関手 $\mathrm{R}\Psi$ を用いて、字跡層と表現とを結びつける。
• パラホリック部分群の特異ファイバーにおけるフロベニウス写像を適用し、近接サイクルと有限再帰的商との比較を行う。
• $\mathrm{GL}(N)_{\overline{\mathbb{K}}}$ 上に、$(-1)^N\mathcal{F}$ が一般化された主系列表現 $\pi$ と一致するような層 $\mathcal{F}$ を構成する。
• シュナイダー＝シュトラーラーの特徴関数公式を活用し、表現のトレースと層の特徴関数との関係を確立する。
• パラホリック部分群およびその有限再帰的商における誘導・制限関手を用いる。
• 「関数-層対応辞書」を用いて、トレース関数を通じて層論的データと特徴関数論的データを相互に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 非アーキメデス的局所体上の再帰的代数群における字跡層を、適応表現の特徴関数とどのように結びつけることができるか？
• RQ2 どの幾何学的道具立てが、$G_{\overline{\mathbb{K}}}$ 上の perverse sheaves と $G(\mathbb{K})$ の仮想表現との間の対応を可能にするか？
• RQ3 近接サイクル関手は、一般ファイバー上の層と滑らかな整数的モデルの特異ファイバー上の表現との間の関係を確立できるか？
• RQ4 パラホリックモデルの特異ファイバーにおけるフロベニウス作用は、この対応をどのように支援するか？
• RQ5 表現 $\pi$ が既約またはカスプ的である場合、$\mathcal{F}$ と $\pi$ の一致はどのように振る舞うか？

主な発見

• 一般線型群 $\mathrm{GL}(N,\mathbb{K})$ の一般化された主系列表現 $\pi$ が、再帰的部分群上の超臨界的表現から誘導される場合、$\mathrm{GL}(N)_{\overline{\mathbb{K}}}$ 上に perverse sheaf $\mathcal{F}$ が存在し、字跡層理論の意味で $(-1)^N\mathcal{F}$ が $\pi$ と一致する。
• この一致は、$\mathcal{G}$ という層に近接サイクル関手 $\mathrm{R}\Psi$ を適用することで達成され、そのトレース関数は再帰的部分群上での表現 $\sigma$ の特徴関数に対応する。
• 誘導表現 $\pi$ の特徴関数は、パラホリック部分群へのコンパクト制限のトレースとして回復され、有限再帰的商からの誘導を通じて一致する。
• この対応は放棄的誘導の構造を尊重しており、字跡層が近接サイクル構成を介して再帰的部分群上の局所系から誘導される。
• $\pi$ が既約である場合、対応する層 $\mathcal{F}$ 自身が字跡層であることが示され、既約適応表現の強力な幾何的実現が得られる。
• 本手法は、有限体および複素数体の状況を一般化し、$\ell$-adic 層と近接サイクルを用いた $p$-進表現論の新しい幾何的枠組みを提供する。