Why Local Systems on Complex Analytic Space Are Equivalent to Vector Bundles with Flat Connection

ag.algebraic-geometrycomplex-geometrydg.differential-geometry

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?

Best Answer

The important point of the proof is that either of these objects can be locally trivialized with transition functions on each double overlap given by a constant element of GL(n). So, given a local system, you just build the vector bundle with flat connection that has the same transition functions, and vice versa.

EDIT: Brian Conrad points out below that while this is a fairly complete sketch in the smooth case, it requires more work in the singular case.