I m From these short exact sequences, we can deduce the long exact sequences (cf. Giraud ) and we can prove the following theorems. 4. Ip_) to H (p ,pr (GL(m,~MIH)) p_) (or to H (p , G L ( m , ~ ) p_) is the neutral element. The proof of this theorem is done by the same argument as above. The assertion (i) was proven in [M]. 5. (vanishing theorem of global version of non-commutative case) The following statements are equivalent.
Asymptotic Analysis for Integrable Connections with Irregular Singular Points by H. Majima