The Bernstein Sato polynomial: Holonomic modules
Channel: Richard E Borcherds
Date: 2020-12-23

This is the third of three talks about the Bernstein-Sato polynomial. The first talk is at https://youtu.be/CX2iej9NKzs

We use Bernstein's inequality from the second talk to show that holonomic modules have finite length. We then use this to prove that a particular module is holonomic, which easily implies existence of the Bernstein polynomial.