Let $X$ be a Kahler manifold. Using the exponential sequence one obtains a homomorphism $c_1:H^1(X,\mathcal{O}_X^*)\rightarrow H^2(X,\mathbb{Z})$. This is associating to a holomorphic line bundle $L$ its Chern class $c_1(L)$.
Take any connection $D$ on a holomorphic line bundle $L$, if we do $D_L\circ D_L = \Omega_L$ we obtain a curvature and then take its class in $H^2(X,\mathbb{C})$ we get a curvature form independent of the choice of the connection. After multiplying by $-i/(2\pi)$ we run into $c_1(L)$ when identifying $H^2(X,\mathbb{Z})$ as a subspace of $H^2(X,\mathbb{C})$, if we know that $\phi: H^2(X,\mathbb{Z}) \to H^2(X,\mathbb{C})$ is injective. This is not always true but if $H^2(X,\mathbb{Z})$ has no torsion using universal coefficient thm we see $H^2(X,\Bbb C) \cong H^2(X,\Bbb Z)\otimes_{\Bbb Z}\Bbb C$ and thus $\phi$ is in that case injective.
Looking for examples where $\phi$ is not injective, so where $H^2(X,\mathbb{Z})$ has torsion I encountered the class of flat bundles, which provide by definition connections with zero curvature.
What I still not understand is how to see explicitely that these flat bundles provide a curvature what induces in $H^2(X,\mathbb{Z})$ a torsion class. Technically, one can simply say that because the class of cuvatures of flat bundles are zero in $H^2(X,\mathbb{C})$, it must be torsion.
The point is that I wan't to have a better intuitive inside look what really is going on in the torsion. That is I aim to consider a representative of the curvature of a flat line bundle "alive" in $H^2(X,\mathbb{Z})$ instead simply kill it by tensoring with $C$ and say "thus it was torsion".
The promissing tool for this seems to lie in the Ambrose–Singer theorem which allows to "measure" the infinitesimal Holonomy by curvature. Especially that allows to see that for prinzipal $G$-bundles with flat curvature the infinitesimal holonomy has to be trivial (not globally in general) . That is homotopical paths induce same holonomy action and we obtain well defined representation
$$\pi _{1}M\rightarrow G$$
More precisely a consequence of Ambrose–Singer is that we obtain a bijection between flat $G$-Bundles ($G$ certain group) over connected manifolds and representations $$\rho : \pi_1(M) \to G $$
More concretly we associate to a given representation a flat bundle using monodromy action of $\pi_1(M)$ on the universal cover $\tilde{M}$ of $M$ and set
$$E_{\rho }:=\widetilde {M}\times G/\sim $$
with equivalence relation $(\gamma x,g)\sim (x,\rho (\gamma )g)$ for ${\displaystyle \gamma \in \pi _{1}M,x\in {\widetilde {M}},g\in G}$.
If $\pi(M)$ is for exaple finite that it looks promising since this gives a non trivial action of a finite group on the line bundle.
Problem/Question: can this action be "transfered" in certain way to the curvature induced by concerned principal line line bundle or it's class in $H^2(X,\mathbb{Z})$. My goal is if I find out that this action is still non trivial and $\pi_1(M)$ is finite group, then the class of the curvature is torsion and we have constructed a desired example of a torsion element explicitly. What I still not understand is how to expand the action of fundamnetal group via $\rho$ to the curvature form of $E_{\rho}$ and why it stays non trivial?
