Abstract:We study the weight part of Serre's conjecture for generic $n$-dimensional mod $p$ Galois representations. We first generalize Herzig's conjecture to the case where the field is ramified at $p$ and prove the weight elimination direction of our conjecture. We then introduce a new class of weights associated to $n$-dimensional local mod $p$ representations which we call \emph{extremal weights}. Using a ``Levi reduction" property of certain potentially crystalline Galois deformation spaces, we prove the modularity of these weights. As a consequence, we deduce the weight part of Serre's conjecture for unit groups of some division algebras in generic situations.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is, in Serre's conjecture of Galois representations modulo \(p\), for \(p\)-adic fields of arbitrary dimensions and possibly ramified, to determine the set of weights of modular representations (i.e., Serre weights). Specifically, the authors studied the weight part of modular \(p\) Galois representations in the non - semisimple case and introduced a new class of weights - extremal weights, in the hope of better understanding the modularity of these weights.
The following are the specific problems involved in the paper:
1. **Generalized Herzig Conjecture**: The authors generalized Herzig's conjecture to the case where \(p\)-adic fields are ramified at \(p\) and proved the conjecture in the weight - elimination direction. This involves the study of new classes of weights for \(n\)-dimensional local modular \(p\) representations.
2. **Modularity of Extremal Weights**: By introducing the concept of extremal weights, the authors proved the modularity of these weights. This provides new upper and lower bounds for the weight part in Serre's conjecture, especially in the non - semisimple case.
3. **Application of Geometric Methods**: The authors utilized the "Levi reduction" property to study the geometric structures of certain potentially crystalline deformation rings, thereby proving the modularity of extremal weights. This geometric method is achieved by analyzing Breuil - Kisin modules.
4. **Automorphic Tameness Criterion**: The authors also explored the tameness criterion of automorphic forms related to extremal weights, similar to Gross's classical results, but applicable to more general situations.
5. **Applications on Division Algebras**: The authors further applied these results to the weight part of Serre's conjecture on division algebras and proved that under specific conditions, the modularity of Serre weights is equivalent to the existence of a potentially crystalline lift of a certain type.
### Formula Summary
- **Generalization of Herzig Conjecture**:
\[
W^?(ρ)=\left\{R(σ)\mid σ\in JH\left(V(ρ|_{I_K})\otimes W(0, 1 - e, 2(1 - e),\ldots,(n - 1)(1 - e))\right)\right\}
\]
where \(W(0, 1 - e, 2(1 - e),\ldots,(n - 1)(1 - e))\) is an irreducible algebraic representation with parallel highest weight \((0, 1 - e, 2(1 - e),\ldots,(n - 1)(1 - e))\).
- **Definition of Extremal Weights**:
\[
W_{\text{extr}}(ρ)
\]
These weights cover the concepts of ordinary weights and obvious weights in the generic case.
- **Modularity Theorem**:
\[
\text{If }r:G_F\to GL_n(\mathbb{F}_p)\text{ satisfies the standard Taylor - Wiles assumptions, and }r_v\text{ is sufficiently generic, then }
\]
\[
\sigma\in W(r)\implies\sigma\in W^?(r_v)
\]
These formulas and concepts together form the core content of the paper, aiming to promote the understanding of Serre's conjecture for high - dimensional modular \(p\) Galois representations.