Abstract:We establish a geometrisation of the Breuil-Mézard conjecture for potentially Barsotti-Tate representations, as well as of the weight part of Serre's conjecture, for moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the proof of the geometric Breuil–Mézard conjecture, especially for two - dimensional potentially Barsotti–Tate Galois representations. Specifically, the authors aim to establish a geometrized Breuil–Mézard conjecture for these representations in the moduli stack, as well as the weight part of Serre's conjecture.
### Core of the problem
1. **Geometric Breuil–Mézard conjecture**: This conjecture involves how to geometrize the classical Breuil–Mézard conjecture, especially in the context of the moduli stack. The author hopes to prove that this conjecture holds for two - dimensional potentially Barsotti–Tate Galois representations.
2. **Weight part of Serre's conjecture**: This part involves how to associate a given Galois representation with a specific Serre weight. The author hopes to prove that each Serre weight corresponds to an irreducible component of the moduli stack.
### Main results
- **Theorem 1.2**: This theorem provides a description of the geometrized Breuil–Mézard conjecture, showing that the finite - type points on the irreducible component \(X_{\sigma_2,\text{red}}\) corresponding to each Serre weight \(\sigma\) are precisely those Galois representations with Serre weight \(\sigma\).
- **Theorem 1.4**: This theorem further extends the above results to cover all non - Steinberg weights and is achieved through the \(Z_{dd,1}\) moduli stack.
### Methods and tools
- **Moduli stack construction**: The authors use the moduli stack to parameterize Galois representations, in particular, they construct moduli stacks such as \(C_{\tau,BT}\) and \(Z_{\tau}\).
- **Local model argument**: Through the local model argument, it is proved that the special fibers of certain moduli stacks are reduced.
- **Versal ring and deformation ring**: Use the versal ring and deformation ring to study the deformation theory of Galois representations.
### Applications and significance
These results not only advance the research on the geometric Breuil–Mézard conjecture but also provide a new perspective for the p - adic Langlands program. In particular, these results help to understand the space structure of Galois representations and their relationship with Serre weights.
In summary, the main contribution of this paper is to establish the geometrized Breuil–Mézard conjecture and provide a detailed description of the moduli stack for two - dimensional potentially Barsotti–Tate Galois representations.