[論文レビュー] Remarks on generating series for special cycles

Stephen S. Kudla|arXiv (Cornell University)|Aug 22, 2019

Advanced Algebra and Geometry参考文献 20被引用数 5

ひとこと要約

本稿は、ブロッハ＝ベイリーニの予想を仮定することで、全実体上の正定値符号型をもつ直交シムーラ多様体の特異サイクルの生成関数のモジュラー性を、チャウ群において確立する。先行研究で得られた除数類の結果を、高次余次元サイクルへと拡張するため、アーベル・ジャコビ写像の単射性と、平行重さ $rac{m}{2}+1$ のヒルベルト＝サイゼルモジュラー形式を用いる。主な貢献は、$d_+ \geq 1$ のもとで、すべての $n$ について $1 \leq n \leq m$ の場合にモジュラー性を示したことであり、高次余次元の場合における長年の空白を解消する。

ABSTRACT

In this note, we consider special algebraic cycles on the Shimura variety S associated to a quadratic space V over a totally real field F, |F:\Q|=d, of signature ((m,2)^{d_+},(m+2,0)^{d-d_+}), 1\le d_+

研究の動機と目的

• 全実体上の直交シムーラ多様体のチャウ群における特異サイクルの生成関数のモジュラー性を確立すること。
• 余次元が高くなると $d_+ > 1$ の場合に特異サイクル間の系統的関係が欠如し、モジュラー性の証明を妨げる状況を解消すること。
• 従来は $d_+ = 1$ の場合にのみ知られていたモジュラー性結果を、一般の $d_+$ および $1 \leq n \leq m$ の場合にまで拡張すること。
• チャウ群値生成関数が、$d_+$ が任意の値であっても、余次元 $nd_+$ サイクルに対してブロッハ＝ベイリーニ予想のもとでヒルベルト＝サイゼルモジュラー形式であることを示すこと。

提案手法

• アーベル・ジャコビ写像の単射性をブロッハ＝ベイリーニ予想から仮定し、チャウ群内の関係を制御可能にする。
• 全実体 $F$ 上の二次形式空間 $V$ に付随する直交シムーラ多様体上の特異サイクルの理論を適用する。符号型は $((m,2)^{d_+},(m+2,0)^{d-d_+})$ である。
• 全実体 $O_F$ 内の全正定値半定値行列を添字とする、チャウ群 $\mathrm{CH}^{nd_+}(S)$ 内の生成関数を構成する。
• 重み付き特異サイクルの二通りの定義——軌道分解による定義とシュワーツ関数およびシータ畳み込みによる定義——の等価性に依拠する。
• ウェイの補題を用いて、$H(\mathbb{A}_f)$ 内の二重コセット分解と $\Gamma_{g_j}$-軌道との関係を確立し、サイクル構成の整合性を保証する。
• コホモロジー類の生成関数が既に平行重さ $rac{m}{2}+1$ のヒルベルト＝サイゼルモジュラー形式であることが知られており、この事実を、予想的仮定のもとでチャウ群へとモジュラー性を拡張する。

実験結果

リサーチクエスチョン

• RQ1 $d_+ > 1$ の場合に、チャウ群 $\mathrm{CH}^{nd_+}(S)$ 内の特異サイクルの生成関数がすべての $n$ について $1 \leq n \leq m$ でモジュラーであるか。
• RQ2 アーベル・ジャコビ写像の単射性が保証される $d_+ = 1$ の場合に限らず、チャウ群値生成関数のモジュラー性を一般化できるか。
• RQ3 ブロッハ＝ベイリーニ予想におけるアーベル・ジャコビ写像の単射性が、チャウ群内での高次余次元サイクル類のモジュラー性を保証するのに十分か。
• RQ4 超円柱 $\Omega_T$ と $G(\mathbb{A}_f)$ の作用が、重み付き特異サイクルを定義する上で果たす役割は何か。
• RQ5 一般の $d_+$ の設定において、軌道分解による定義とシュワーツ関数による定義の二つが、どのように一致するか。

主な発見

• ブロッハ＝ベイリーニ予想を仮定すると、チャウ群 $\mathrm{CH}^{nd_+}(S)$ 内の余次元 $nd_+$ サイクルの生成関数はモジュラーである。
• コホモロジー的生成関数（$H^{2nd_+}(S)$ 内）が平行重さ $rac{m}{2}+1$ のヒルベルト＝サイゼルモジュラー形式として既に知られていることを利用して、チャウ群の結果の基礎を築く。
• 軌道分解による定義とシュワーツ関数による定義の二通りの重み付き特異サイクルの定義が一致することが証明され、構成の整合性が保証される。
• 証明はウェイの補題に依拠し、二重コセット分解と $\Gamma_{g_j}$-軌道との関係を確立することで、サイクル和の再インデックス化を可能にする。
• $d_+ > 1$ の場合に自然な曲線や関係が存在しないため、チャウ群の生成関数のモジュラー性は自明ではなく、しかし予想的単射性によりアーベル・ジャコビ写像が十分な制御を可能にする。
• 結果は、$d_+ = 1, n = 1$ の場合にユアン＝チャン＝チャンが得た先行研究および $d_+ = 1$ で一般の $n$ を扱ったチャンの結果を、任意の $d_+$ および $1 \leq n \leq m$ へと一般化する。