Abstract:In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p and above relative curves over a complete discrete valuation ring of inequal characteristics. In bothe cases we study the Galois action of the Galois group of the base field on these torsors. We also study degeneration of $\mu_p$-torsors from characteristic 0 to characteristic p and show that this degeneration is compatible with the Galois action. We then discuss the lifting of torsors under flat and commutative group schemes of rank p from positive to 0 characteristics. finally, for a proper and smooth curve X over a complete discrete valuation field of inequal characteristics we show the existence of a canonical Galois equivariant filtration on the first etale cohomology group of the geometric fibre of X with values in $\mu_p$. This apaper is the first of a series of papers [Sa] and [Sa-1] where we compute the vanishing cycles arising from degeneration of $\mu_p$-torsors above curves as well as the semi-stable reduction of these torsors and the Galois action on them.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve involve the geometric properties of torsors under specific mathematical structures and their degeneration behaviors. Specifically, the author Mohamed Saïdi studied the geometric properties of torsors under curves of characteristic \(p\) and étale finite commutative group schemes, as well as on relative curves over complete discrete valuation rings of unequal characteristics, and explored the behaviors of these torsors under Galois actions.
### Overview of Main Problems
1. **Geometric Properties of Torsors**:
- Study the geometric properties of torsors under curves of characteristic \(p\) and étale finite commutative group schemes.
- Study the geometric properties of torsors on relative curves over complete discrete valuation rings of unequal characteristics.
2. **Galois Action**:
- Study the action of the Galois group of the base field on these torsors.
- Explore the compatibility of this action between different characteristics.
3. **Degeneration Behavior**:
- Study the degeneration behavior from characteristic 0 to characteristic \(p\), especially the degeneration of \(\mu_p\) - torsors.
- Prove the compatibility of this degeneration with the Galois action.
4. **Lifting Problem**:
- Discuss how to lift torsors of characteristic \(p\) to characteristic 0.
### Specific Problems and Results
- **Degeneration Map**: The author proved the existence of a canonical specialization group homomorphism:
\[
\text{Sp}:H^1_{\text{ét}}(X_K,\mu_p)\to H^1_{\text{fppf}}(X_k,\mu_p)
\]
This map is \(G_K\)-equivariant, that is, it is compatible with the Galois action.
- **Degeneration Type**: Defined the degeneration type of torsors on the boundary of the formal fiber and gave a specific classification.
- **Lifting Theorem**: Prove that certain types of torsors can be lifted from characteristic \(p\) to characteristic 0, especially on smooth and proper curves, all torsors can be lifted.
### Applications and Significance
These results provide a theoretical basis for understanding the behavior of torsors under different characteristics, especially having important significance in algebraic geometry and arithmetic geometry. In addition, these studies are helpful for further exploring problems such as vanishing cycles and semi - stable reduction, and lay the foundation for subsequent research.
Through the answers to these problems, the author not only deepens the understanding of torsors but also provides new tools and methods for further research in related fields.