[論文レビュー] Metric groups attached to biextensions

Swarnendu Datta|arXiv (Cornell University)|Sep 29, 2008

Algebraic Geometry and Number Theory参考文献 6被引用数 7

ひとこと要約

この論文は、正の特性を持つ体上の単一部群の同変導来カテゴリにおける最小の冪等元に関連するモジュラーカテゴリのガウス和に関するV. デリンフルトの予想を証明する。特に対称的でない双拡大から得られる計量群を構成することで、得られるカテゴリのガウス和が $\epsilon p^n$ であることを示し、ここで $\epsilon = \pm 1$ は関数的次元 $d_e$ が整数かどうかに依存する。これにより、デリンフルトのキャラクター層に関する予想の重要な部分が確認される。

ABSTRACT

Let $G$ be a connnected, unipotent, perfect group scheme over an algebraically closed field of characteristic p > 0. V. Drinfeld has defined a certain metric group associated to biextensions of $G imes G$ by the discrete group $Q_p/Z_p$. We prove a certain conjecture of Drinfeld regarding the class of this metric group in the Witt group.

研究の動機と目的

• 正の特性における単一部群のキャラクター層から生じるモジュラーカテゴリのガウス和に関するV. デリンフルトの予想を証明すること。
• 代数閉体の特性 $p>0$ における可換で単一部的かつ完全な群スキームの歪対称双拡大に付随する計量群の構造を確立すること。
• モジュラーカテゴリ $\mathcal{M}_e$ のガウス和が $\epsilon p^n$ であることを確認すること。ここで $\epsilon = 1$ は関数的次元 $d_e$ が整数のとき、$\epsilon = -1$ はそれ以外のときである。
• 最小の冪等元とキャラクター層の理論を用いて、一般の単一部群の場合を加法群 $\mathbb{G}_{a,p}$ の特別な場合に還元する降下および還元技法を用いて一般の場合を処理すること。

提案手法

• 著者らは、完全群 $G$ 上の自己双対的自己準同型 $f$ の核を用いて、$G \times G$ から $\mathbb{Q}_p/\mathbb{Z}_p$ への歪対称的双拡大 $E$ から計量群 $A$ を定義する。
• 彼らはセール双対性および完全スキームの理論を用いて、$G^*$（$G$ のセール双対）の構造を解析し、双拡大に関する函子的および降下的性質を確立する。
• 加法群 $\mathbb{G}_{a,p}$ の場合、関数 $r$ が $r(x)^p - r(x) = x f(x)$ を満たすように定義され、計量群 $A = \ker f$ 上の二次形式 $q(a) = r(a)$ が明示的に計算される。
• 主結果は、$\mathbb{G}_{a,p}$ に対して直接計算により証明され、その後、最小の冪等元およびキャラクター層の理論に基づく還元技法を用いて、一般の単一部群に拡張される。
• 歪対称的双拡大の降下結果を応用して、加法群から一般の単一部群への結果の持ち上げが行われる。
• ウィット群による計量群の分類が用いられ、構成された計量群の同値類が $W_p$（ウィット群の $p$-成分）において解釈される。

実験結果

リサーチクエスチョン

• RQ1 特性 $p>0$ の体上の単一部群の導来カテゴリにおける最小の冪等元 $e$ に関連するモジュラーカテゴリ $\mathcal{M}_e$ のガウス和は何か？
• RQ2 単一部群 $G$ から $\mathbb{Q}_p/\mathbb{Z}_p$ への歪対称的双拡大 $E$ に付随する計量群 $A$ はどのように構成され、その構造は何か？
• RQ3 モジュラーカテゴリ $\mathcal{M}_e$ のガウス和は、デリンフルトの予想、すなわち $\epsilon p^n$（$\epsilon = \pm 1$ で関数的次元 $d_e = (\dim G - n_e)/2$ が整数かどうかに依存）を満たすか？
• RQ4 双拡大およびキャラクター層の文脈において、一般の単一部群のケースを降下および還元技法を用いて加法群 $\mathbb{G}_{a,p}$ のケースに還元できるか？

主な発見

• この論文は、モジュラーカテゴリ $\mathcal{M}_e$ のガウス和が $\epsilon p^n$ であることを証明しており、ここで $\epsilon = 1$ は関数的次元 $d_e = (\dim G - n_e)/2$ が整数のとき、$\epsilon = -1$ はそれ以外のときである。これにより、デリンフルトの予想の部分 (ii) が確認される。
• $\mathbb{G}_{a,p}$ の場合、歪対称的双拡大に付随する計量群 $A$ は明示的に $\mathbb{F}_{p^2}$ として計算され、二次形式は $q(a) = \text{Nm}_{\mathbb{F}_{p^2}/\mathbb{F}_p}(a)$ である。また、$d_e$ が整数でない場合にガウス和が $-p$ に等しいことが検証される。
• 歪対称的双拡大 $E$ から計量群 $A$ を構成するには、関数 $r$ が $r(x)^p - r(x) = x f(x)$ を満たすように定義され、$q(a) = r(a)$ とされる。この構成は降下と整合的である。
• 一般の単一部群のケースから加法群のケースへの還元は、歪対称的双拡大のための降下議論を用いて達成され、最小の冪等元およびキャラクター層の理論に依存する。
• 計量群 $A$ は非退化的かつ非特異的であり、$A$ に誘導される二次形式は非退化的であるため、$A$ はウィット群理論における計量群の意味で計量群であることが確認される。
• 計量群 $A$ のウィット群 $W_p$ における同値類は、選択に依存せずwell-definedであり、この構成により、必要なガウス和条件を満たす、$W_p$ 内の標準的同型類が得られる。