Abstract:We construct a new family of mod $p$ weight shifting differential operators on the Siegel threefold. We coin the term theta linkage maps to refer to some operators between automorphic vector bundles with linked weights, which can be thought of as generalizations of the classical theta cycle. 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. As an application we produce a generic entailment of Serre weights, i.e. a Hecke eigenform with a generic Serre weight in the lowest alcove also has a Serre weight in one of the upper alcoves. We also prove a partial result towards finding a lowest alcove Serre weight for a particular non-ordinary Fontaine-Laffaille $\overline{\rho}$, in the spirit of Faltings-Jordan and Tilouine.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around the generalized theta operator and its application on Siegel triple products, especially how these operators help us understand the weight part of Serre's conjecture. Specifically:
1. **Constructing a new family of theta operators**: The author defines a new class of modular p - weight - transfer differential operators (the so - called theta linkage maps). These operators act on automorphic vector bundles on Siegel triple products and can be regarded as a generalization of the classical theta cycle. These operators allow for a wider range of weight transfers, thus providing a new tool for solving the weight part of Serre's conjecture.
2. **Studying the properties of theta operators**: By constructing these operators, the author proves their non - vanishing in certain regions and Hecke - equivariance, which helps to understand the behavior of these operators in cohomology.
3. **Applying to the weight part of Serre's conjecture**: Using these newly - defined theta operators, the author is able to prove some results regarding Serre weights. For example, for a non - trivial Hecke eigenform, if it has a generic Serre weight in a lower alcove, then it also has another Serre weight in a higher alcove.
4. **Dealing with non - semisimple Galois representations**: The paper also explores the situation when Serre weights depend on local Galois representations, especially allowing such representations to be non - semisimple. By combining the basic theta operator and linkage maps, the author provides a method starting from Fontaine - Laffaille weights and ending at other predicted Fontaine - Laffaille Serre weights.
In summary, this paper aims to promote the understanding of the weight part of Serre's conjecture by introducing a new family of theta operators, and pays special attention to how these operators interact with different types of Galois representations. The following are the key formulas and theorems in the paper:
- **Definition of Theta operator**:
\[
\theta_i: L(\lambda)\to L(\lambda + \mu_i)
\]
where,
\[
\mu_i=\begin{cases}
(p + 1,p - 1),&i = 1\\
(2p,p - 1),&i = 2\\
(2p,0),&i = 3\\
(p - 1,0),&i = 4
\end{cases}
\]
- **Theorem 5.3**:
\[
\text{Let }\lambda_0=(a,b)\in X^*(T)\text{ satisfy }a\geq b\geq1,a + b<p - 3\text{ and }m\subset T\text{ be a generic non - Eisenstein eigenvalue system such that }H^3_{\text{ét}}(Sh_{\mathbb{Q}_p},F(\lambda_0))_m\neq0.\text{ Then }
H^3_{\text{ét}}(Sh_{\mathbb{Q}_p},F(\lambda_i))_m\neq0\text{ for }\lambda_1=(p - b - 3,p - a - 3)\in C_1\text{ or }\lambda_2=(p + b - 1,p - a - 3)\in C_2.
\]
These results provide new perspectives and tools for understanding the weight part of Serre's conjecture.