A Splitting of the Frobenius Morphism on the Whole Algebra of Distributions of SL(2)
Résumé
We define, over k = F(p), a splitting of the Frobenius morphism Fr : Dist (G) -> Dist (G) on the whole Dist (G), the algebra of distributions of the k-algebraic group G := SL(2). This splitting is compatible (and lifts) the theory of Frobenius descent for arithmetic D- modules over X := P(k)(1).