Index of a first order \(p\)-adic differential operator. IV: The case of systems. Measures of irregularity in a ball (Q799739)

We are interested in showing that the differential operator of order \(1\), \({d\over dx}+G\), where \(G\) is a \(k\times k\) matrix with rational coefficients, has an index in the space of functions analytic in a ball; we then wish to compute this index. In the case \(k=1\), we show that this index exists (provided that the exponent of the differential operator in the ball is not a \(p\)-adic Liouville number) and we indicate how to compute this index. We can also show existence of index and compute this index when the system is equivalent to a triangular system. We give an interpretation of that index in term of the global irregularity of the differential operator in the ball. For Part III, see the preceding review Zbl 0548.12015.