Some Further Remarks on the Local Fundamental Group Scheme
  We prove that the Local Fundamental Group Scheme satisfies the Lefschetz - Bott theorems in characteristic p. The proofs are standard applications of the Enriques-Severi -Zariski-Serre vanishing theorems and known facts about the p-curvature 
Vikram Mehta
math.AG