Flat vector bundle

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Flat vector bundle" – news · newspapers · books · scholar · JSTOR (October 2013) (Learn how and when to remove this message) This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (August 2025) (Learn how and when to remove this message) You can help expand this article with text translated from the corresponding article in German. (January 2026) Click [show] for important translation instructions. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must follow the LLM translation guideline, revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia. Consider adding a topic to this template: there are already 1,826 articles in the main category, and specifying|topic= will aid in categorization. Do not translate text that appears unreliable or low-quality. If possible, verify the text with references provided in the foreign-language article. You must provide copyright attribution in the edit summary accompanying your translation by providing an interlanguage link to the source of your translation. A model attribution edit summary is Content in this edit is translated from the existing German Wikipedia article at [[:de:Flaches Bündel]]; see its history for attribution. You may also add the template {{Translated|de|Flaches Bündel}} to the talk page. For more guidance, see Wikipedia:Translation. (Learn how and when to remove this message)

In mathematics, a vector bundle is said to be flat if it is endowed with a linear connection with vanishing curvature, i.e. a flat connection.

Let π : E → X {\displaystyle \pi :E\to X} denote a flat vector bundle, and ∇ : Γ ( X , E ) → Γ ( X , Ω X 1 ⊗ E ) {\displaystyle \nabla :\Gamma (X,E)\to \Gamma \left(X,\Omega _{X}^{1}\otimes E\right)} be the covariant derivative associated to the flat connection on E.

Let Ω X ∗ ( E ) = Ω X ∗ ⊗ E {\displaystyle \Omega _{X}^{*}(E)=\Omega _{X}^{*}\otimes E} denote the vector space (in fact a sheaf of modules over O X {\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 Ω X ∗ ( E ) {\displaystyle \Omega _{X}^{*}(E)} , and the flatness condition is equivalent to the property d 2 = 0 {\displaystyle d^{2}=0} .

In other words, the graded vector space Ω X ∗ ( E ) {\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.

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.

• Trivial line bundles can have several flat bundle structures. An example is the trivial bundle over C ∖ { 0 } , {\displaystyle \mathbb {C} \backslash \{0\},} with the connection forms 0 and − 1 2 d z z {\displaystyle -{\frac {1}{2}}{\frac {dz}{z}}} . The parallel vector fields are constant in the first case, and proportional to local determinations of the square root in the second.
• The real canonical line bundle Λ t o p M {\displaystyle \Lambda ^{\mathrm {top} }M} of a differential manifold M is a flat line bundle, called the orientation bundle. Its sections are volume forms.
• A Riemannian manifold is flat if and only if its Levi-Civita connection gives its tangent vector bundle a flat structure.

• Vector-valued differential forms
• Local system, the more general notion of a locally constant sheaf.
• Orientation character, a characteristic form related to the orientation line bundle, useful to formulate Twisted Poincaré duality
• Picard group whose connected component, the Jacobian variety, is the moduli space of algebraic flat line bundles.
• Monodromy, or representations of the fundamental group by parallel transport on flat bundles.
• Holonomy, the obstruction to flatness.