Presented by: 
Sam Weatherhog, UQ
Tue 25 Jul, 2:00 pm - 3:00 pm

The Levelt-Turrittin theorem states that every formal differential operator has a Jordan form. This classical theorem is of fundamental importance in the study of formal connections and their applications. We provide a simple proof of this theorem by proving that every differential polynomial over the field of formal Laurent series has a linear factorisation. This statement can be considered as a differential analogue of Puiseux's Theorem.