[论文解读] Theta operators on Hodge type Shimura varieties

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

Advanced Algebra and Geometry被引用 0

一句话总结

这篇论文构建了模 p 的 theta 运算算子和 Hodge 型 Shimura Varieties 的 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.

研究动机与目标

• 将 Katz 的 theta 运算符推广到 Hodge 型 Shimura Varieties 在 hyperspecial p 级别处。
• 引入以正根标记的基本 theta 运算符，在自同态向量束上作用。
• 构建通过 linked 权重之间的 theta 连锁映射，并将其与 p-受限权重区域联系起来。
• 确立 theta 运算符的 Hecke 等价性、Hasse 兼容性及运算符之间的对换关系。
• 将运算框架应用到 GL(4) 与单位群的 Serre 权重量的蕴含及其与 Hecke 特征系统的关系。

提出的方法

• 通过 Hodge 过滤与 de Rham 结构，在旗 Shimura Varieties 上定义自同态向量束。
• 在 Verma 模与晶体微分算符之间建立对应关系，以获得作用于线丛的微分算符。
• 从 GZipFlag 映射的反拉以及适当的 Hasse 不变量，构建对每一个正根 gamma 的基本 theta 运算符 theta_gamma。
• 建立 theta 运算符之间的对换关系和 p 次幂关系，并描述权重位移 mu_gamma。
• 将 theta 连锁映射定义为复合映射，产生在 linked 权重之间的 L(lambda) 与 L(mu) 之间的映射（包括简单与非简单情况）。
• 开发一个 de Rham 实现函子，将 Verma 模与微分算符及自同态向量束相联系。

实验结果

研究问题

• RQ1 是否可以在 Hodge 型 Shimura Varieties 的特殊纤维上定义一族模 p 的 theta 运算符，推广 Katz 的 theta 运算符？
• RQ2 在正根系统中，这些 theta 运算符的权重位移与代数关系是什么？
• RQ3 theta 连锁映射如何将自同态向量束与 p-受限区域内的 linked 权重联系起来？
• RQ4 这些算符在多大程度上表现出 Hecke 等价性以及与 Hasse 不变量的兼容性，能否给出单射性结果？
• RQ5 theta 运算框架是否能产生 GL4 与单位群的 Serre 权重量蕴含，以及它与 Breuil–Mezard–Emerton–Gee 理论的关系？

主要发现

• 为每一个正根 gamma 构建了基本 theta 运算符 theta_gamma，给出明确的权重位移与 Hasse 不变量的兼容性。
• 在 p 以外处实现了 Hecke 等价性，并证明 theta 运算符之间的对换关系（包括模 p 的简化情形）。
• 定义了 theta 连锁映射，使在 p-受限区域内的 linked 权重之间实现自同态向量束的权重位移映射。
• 在 p-受限区域的泛型区域中证明了 theta 运算符的单射性结果，并用简单 theta 连锁映射将其描述为单个基本 theta 运算符的形式。
• 给出 GL4 与单位群的 Serre 权重量的一般蕴含示例，连接先前工作并提出 Breuil–Mezard 循 环解释的可能性。