[論文レビュー] Theta operators on Hodge type Shimura varieties

Martin Ortiz|arXiv (Cornell University)|Jan 16, 2026

Advanced Algebra and Geometry被引用数 0

ひとこと要約

要約: 本論文は mod p theta 演算子と Hodge 型 Shimura Variety の theta リージェンス写像を構築し、それらの Hecke への適合性とウェイトシフトを分析し、Serre ウェイトの包含性を導出する。

ABSTRACT

We construct a new family of mod $p$ weight shifting differential operators on Hodge type Shimura varieties at hyperspecial level. First we construct basic theta operators, labelled by positive roots, that generalize Katz's theta operator for modular forms. Secondly we construct theta linkage maps, these are operators between automorphic vector bundles with linked weights, which can be thought of as generalizations of the classical theta cycle of Tate--Jochnowitz. In particular, there exist such maps within the $p$-restricted region, whose weight shifts are directly related to the conjectures of Herzig on the weight part of Serre's conjecture. We explain the relation between the two operators, and we prove some properties about them, e.g., the injectivity of some of them in a generic locus of the $p$-restricted region. As an application, we produce an example of a generic entailment of Serre weights for the groups $GL_{4,\mathbb{Q}_p}$ and $U(4)_{\mathbb{Q}_p}$, by combining the method of arxiv:2410.09602 with our stronger results about theta operators.

研究の動機と目的

• hyperspecial p-レベルにおける Hodge 型 Shimura Variety に対して Katz の theta 演算子を一般化する。
• 正の根でラベル付けされた基本 theta 演算子を導入し、Automorphic ベクトル束上で作用させる。
• linked weights 間の theta リージェンス写像を構成し、それを p 限定領域との関係で説明する。
• theta 演算子間の Hecke 同値性、Hasse 互換性、可換関係を確立する。
• GL(4) および単位群の Serre ウェイトの包含性への演算子系の適用と、Hecke 固有値系との関係を述べる。

提案手法

• Hodge 過程と de Rham 構造を用いて旗 Shimura Variety 上の Automorphic ベクトル束を定義する。
• Verma 模分布と結晶微分作用素の対応を構築し、線束上の微分作用素を作る。
• GZipFlag 写像の引き戻しと適切な Hasse 不変量から、正の根 gamma ごとに基本 theta 演算子 theta_gamma を構成する。
• theta 演算子間の交換関係と p乗に関する関係を確立し、mu_gamma としてのウェイトシフトを記述する。
• linked weights を持つ L(lambda) から L(mu) へのウェイトシフト写像を実現する theta リージェンス写像を、単純/非単純ケースを含めて定義する。
• Verma 模分布と微分作用素および automorphic ベクトル束を結ぶ de Rham 実現函子を開発する。

実験結果

リサーチクエスチョン

• RQ1 Hodge 型 Shimura Variety の special fiber 上で Katz の theta 演算子を一般化する mod p theta 演算子のファミリを定義できるか？
• RQ2 正の根系全体でこれら theta 演算子が満たすウェイトシフトと代数関係は何か？
• RQ3 theta リージェンス写像は p 限定領域内の linked weights を持つ automorphic ベクトル束をどう結ぶか？
• RQ4 これらの演算子はどの程度 Hecke 同値性と Hasse 不変量との整合性を示し、単射性を得られるか？
• RQ5 theta 演算子系は GL4 およびユニタリー群の Serre ウェイトの包含性を生み出せるか、Breuil–Mezard–Emerton–Gee 理論とどう関係するか？

主な発見

• 正の根 gamma ごとに基本 theta 演算子 theta_gamma を構築し、明示的なウェイトシフトと Hasse 不変量適合性を示した。
• p から離れた位置での Hecke 同値性を確立し、theta 演算子間の交換関係を証明し、mod p における縮約を含む。
• linked weights を持つ automorphic ベクトル束間のウェイトシフト写像を実現する theta リージェンス写像を定義した。
• p 限定領域の一般的 loci における theta 演算子の単射性を証明し、単純 theta リージェンス写像を基本 theta 演算子1個の形で記述した。
• GL4 および単位群の Serre ウェイトの一般的包含性の例を示し、従来研究との接続と Breuil–Mezardcycle の解釈を示唆した。