# Flat vector bundle

{{ safesubst:#invoke:Unsubst||$N=Unreferenced |date=__DATE__ |$B= {{#invoke:Message box|ambox}} }} In mathematics, a vector bundle is said to be flat if it is endowed with an linear connection with vanishing curvature, ie. a flat connection.

## de Rham cohomology of a flat vector bundle

Let ${\displaystyle \pi :E\to X}$ denote a flat vector bundle, and ${\displaystyle \nabla :\Gamma (X,E)\to \Gamma (X,\Omega _{X}^{1}\otimes E)}$ be the covariant derivative associated to the flat connection on E.

Let ${\displaystyle \Omega _{X}^{*}(E)=\Omega _{X}^{*}\otimes E}$ denote the vector space (in fact a sheaf of modules over ${\displaystyle {\mathcal {O}}_{X}}$) of differential forms on X with values in E. The covariant derivative defines a degree 1 endomorphism d, the differential of ${\displaystyle \Omega _{X}^{*}(E)}$, and the flatness condition is equivalent to the property ${\displaystyle d^{2}=0}$.

In other words, the graded vector space ${\displaystyle \Omega _{X}^{*}(E)}$ is a cochain complex. Its cohomology is called the de Rham cohomology of E, or de Rham cohomology with coefficients twisted by the local coefficient system E.

## Flat trivializations

A trivialization of a flat vector bundle is said to be flat if the connection form vanishes in this trivialization. An equivalent definition of a flat bundle is the choice of a trivializing atlas with locally constant transition maps.