Reduction theory for connections over the formal punctured disc

Abstract

We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state and prove some new quantitative results.