MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 give a descriptive title

Why are these categories local systems on a complex analytic space equivalent to vector bundles with flat connection?

show/hide this revision's text 1

Why are these categories equivalent?

Let X be a complex analytic space. It is a 'well known fact' that the categories of local systems on X (i.e. locally constant sheaves with stalk C^n), and of (holomorphic) vector bundles on X with flat connection, are equivalent. I've been looking for a proof of this, but every reference I can find merely says something like 'this is well known' without further argument. Does anyone know of a proof?