Parahoric reduction theory of formal connections (or Higgs fields)

In this paper, we establish the parahoric reduction theory of formal connections (or Higgs fields) on a formal principal bundle with parahoric structures, which generalizes Babbitt-Varadarajan's result for the case without parahoric structures [5] and Boalch's result for the case of regular singularity [9]. As applications, we prove the equivalence between extrinsic definition and intrinsic definition of regular singularity and provide a criterion of relative regularity for formal connections, and also demonstrate a parahoric version of Frenkel-Zhu's Borel reduction theorem of formal connections [23].