[논문 리뷰] Theta operators on Hodge type Shimura varieties

Martin Ortiz|arXiv (Cornell University)|2026. 01. 16.

Advanced Algebra and Geometry인용 수 0

한 줄 요약

본 논문은 Hodge 유형 Shimura varieties에 대한 mod p theta 연산자와 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-level에서 Hodge type Shimura varieties에 Katz’s theta operator를 일반화한다.
• 양의 루트에 의해 표지된 기본 theta operators를 도입하여 automorphic vector bundles에 작용한다.
• linked weights 간의 theta linkage maps를 구성하고 이를 p-restricted weight region과 관련시킨다.
• theta operators 간의 Hecke equivariance, Hasse-compatibility 및 교환 관계를 확립한다.
• GL(4) 및 unitary groups에 대한 Serre weights의 entailments 프레임워크를 적용하고 Hecke eigensystems와의 관련성을 밝힌다.

제안 방법

• Hodge filtrations 및 de Rham 구조를 통해 flag Shimura variety에서 automorphic vector bundles를 정의한다.
• Verma 모듈과 crystalline differential operators 사이의 대응을 구성하여 선 벡터 번들에 대한 미분 연산자를 생성한다.
• GZipFlag 맵의 pullback 및 적절한 Hasse 불변량에서 각 양의 루트 gamma에 대해 기본 theta operator theta_gamma를 구성한다.
• theta operators 간의 교환 관계 및 p-제곱 관계를 확립하고 mu_gamma의 가중치 이동을 기술한다.
• linked weights를 가진 L(lambda)와 L(mu) 사이의 가중치 이동 맵을 실현하는 theta linkage maps를 구성하되 단순 및 비단순 케이스를 포함한다.
• Verma 모듈과 differential operators 및 automorphic vector bundles를 연결하는 de Rham realized를 개발한다.

실험 결과

연구 질문

• RQ1 Hodge type Shimura varieties의 특수 섬유에서 Katz’s theta operator를 일반화하는 mod p theta operators 가족을 정의할 수 있는가?
• RQ2 양의 루트 시스템 전체에서 이러한 theta operator가 만족하는 가중치 이동 및 대수적 관계는 무엇인가?
• RQ3 theta linkage maps가 p-restricted 영역 내에서 자동변형 벡터 번들과 linked weights를 어떻게 연결하는가?
• RQ4 이 연산자들이 Hecke equivariance 및 Hasse 불변성과의 호환성을 어느 정도 보이며, 삽입 가능성(injectivity)을 산출할 수 있는가?
• RQ5 theta-operator 프레임워크가 GL4 및 unitary groups에 대한 Serre weights의 entailments를 생성할 수 있으며, Breuil–Mezard–Emerton–Gee 이론과의 관계는 무엇인가?

주요 결과

• 각 양의 루트 gamma에 대해 기본 theta operator theta_gamma를 구성하고 명시적 가중치 이동 및 Hasse-불변량 호환성을 제시했다.
• p를 벗어난 영역에서의 Hecke equivariance를 확립하고 theta operator들 간의 교환 관계를 증명했으며 모듈로 p로 축소된 경우도 포함한다.
• p-restricted 영역에서 linked weights를 가진 automorphic vector bundles 간의 가중치 이동 맵을 실현하는 theta linkage maps를 정의했다.
• p-restricted 영역의 일반적 위치에서 theta operator의 injectivity 결과를 입증하고 단순한 theta linkage maps를 단일 기본 theta operator들로 설명했다.
• GL4 및 unitary groups에 대한 Serre weights의 일반적 entailments 예를 제시하며, 기존 연구와 Breuil–Mezard 사이의 순환 해석 가능성을 시사했다.