Abstract:Many results about the geometry of the trianguline variety have been obtained by Breuil-Hellmann-Schraen. Among them, using geometric methods, they have computed a formula for the dimension of the tangent space of the trianguline variety at dominant crystalline generic points, which has a conjectural generalisation to companion (i.e. non-dominant) points. In an earlier work, they proved a weaker form of this formula under the assumption of modularity using arithmetic methods. We prove a generalisation of a result of Bellaïche-Chenevier in p-adic Hodge theory and use it to extend the arithmetic methods of Breuil-Hellmann-Schraen to a wide class of companion points.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper is mainly devoted to studying the problem of the dimension of the tangent space of the **trianguline variety** at specific points, especially the so - called **companion points**. Specifically, the goals of the paper are:
1. **Generalize existing results**: Breuil - Hellmann - Schraen et al. previously used geometric methods to calculate the dimension of the tangent space of the trianguline variety at some classical points (i.e., strictly dominant points) and proposed a conjecture about the dimension of the tangent space at non - classical points (i.e., companion points). The author of this paper aims to generalize this result to a wider range of companion points.
2. **Prove the conjecture**: Under the assumption that the modular lifting conjecture holds, prove the above - mentioned conjecture about the dimension of the tangent space at companion points. To this end, the author generalizes a result of Bellaïche - Chenevier in p - adic Hodge theory and applies it in an arithmetic method, thus extending the method of Breuil - Hellmann - Schraen.
3. **Provide a formula**: Give a specific formula to calculate the dimension of the tangent space at these companion points. The specific formula is as follows:
\[
\text{dim}_{k(x)} T_{X^{\square}_{\text{tri}}(\bar{r}), x}=\text{dim} X^{\square}_{\text{tri}}(\bar{r})-d_{w w^{-1}_{\text{sat}}}+\sum_{\tau \in \Sigma} \text{dim}_{\mathbb{Q}_p} T(B w_\tau B / B), w_{\text{sat}, \tau} B-\text{lg}(w_{\text{sat}})
\]
where \(k(x)\) is the residue field of \(X^{\square}_{\text{tri}}(\bar{r})\) at point \(x\), \(B w_\tau B / B\) is the Schubert variety associated with \(w_\tau\), and \(d_{w w^{-1}_{\text{sat}}}\) and \(\text{lg}(w_{\text{sat}})\) represent certain combinatorial parameters respectively.
### Background and motivation
- **Trianguline variety**: The trianguline variety \(X^{\square}_{\text{tri}}(\bar{r})\) is a rigid analytic variety, which parameterizes the triangulations of framed deformations of a certain fixed residual representation \(\bar{r}\).
- **Companion points**: These points correspond to non - classical, non - dominant representations, and studying them helps to gain a deeper understanding of the local geometric properties of the variety.
- **Modular lifting conjecture**: This is an important conjecture in the p - adic Langlands program, which involves the lifting properties of automorphic representations.
Through the study of these problems, the author hopes to provide new insights and tools for p - adic Hodge theory and the p - adic Langlands program.