Presented by: 
Sam Weatherhog, UQ
Date: 
Tue 25 Jul, 2:00 pm - 3:00 pm
Venue: 
67-442

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.