TFAE: Flat principal bundles (principal G-bundle with connection)

The following are equivalent:

1. Zero curvature. $\Omega=0$ (equivalently, the curvature of $\omega$ vanishes identically).

1. Local horizontal sections. Every point of $M$ has a neighborhood $U$ admitting a smooth local section $s:U\to P$ such that $s^*\omega=0$ (so $s$ is horizontal, and in that trivialization the connection $1$-form vanishes).

1. Homotopy-invariant parallel transport. Parallel transport along piecewise smooth curves depends only on the endpoint-fixed homotopy class of the curve. In particular, parallel transport around any contractible loop is the identity.

1. Trivial restricted holonomy. The identity component of the holonomy group is trivial: $\mathrm{Hol}^0_p(\omega)=\{e\}$ for (equivalently, for every) $p\in P$.

1. Classification by monodromy representation (when $M$ is connected). Choosing a basepoint $x\in M$ and $p\in P_x$, there is a homomorphism (monodromy)
   $$\rho:\pi_1(M,x)\to G$$
   such that $(P,\omega)$ is isomorphic (as a bundle with connection) to the quotient of the universal cover $\widetilde M\times G$ by the diagonal action of $\pi_1(M,x)$ given by deck transformations on $\widetilde M$ and right multiplication via $\rho$.

1. Trivial bundle with the product (zero) connection. For $P=M\times G$ and the connection with horizontal distribution $TM\oplus\{0\}$, one has $\Omega=0$, parallel transport is constant in the $G$-factor, and holonomy is trivial.

1. Flat bundles over the circle classified by a single element of $G$. Over $M=S^1$, any choice of $h\in G$ defines a flat bundle as the quotient $(\mathbb{R}\times G)/\mathbb{Z}$ where $1\in\mathbb{Z}$ acts by $(t,g)\mapsto(t+1,hg)$. The curvature vanishes, and the holonomy around the generator of $\pi_1(S^1)$ is exactly $h$.

1. Representations of the torus or surface group. A homomorphism $\rho:\pi_1(T^2)\to G$ (or $\pi_1(\Sigma_g)\to G$ for a surface) produces a flat principal bundle via the quotient $\widetilde M\times_\rho G$. Distinct conjugacy classes of $\rho$ correspond to distinct flat bundles with connection up to isomorphism.