Nontrivial flat vector bundle over manifold with amenable fundamental group

Like you say, we cannot get real characteristic class obstructions because of the lack of curvature. So we look to the second Stiefel-Whitney class. Googling I find this paper. (I have not verified any claims in there, only extracted the relevant results.) Proposition 4.4 claims to construct a flat oriented non-spin manifold $M$. See section 2 for their notion of "acting diagonally" and the beginning of section 4 for the (complicated-looking) construction of the action they want.

$M$ is given as a quotient of $T^n$ by a free action of $\Bbb Z_2^d$; in particular, its fundamental group fits into the exact sequence $$1 \to \Bbb Z^n \to \pi_1(M) \to \Bbb Z_2^d \to 1.$$ Abelian groups are amenable and extensions of amenable groups are amenable so $\pi_1(M)$ is amenable.


As requested, here is a sketch (more precisely, description of steps of the proof).

Theorem. Suppose that $G$ is a discrete amenable group, $G=\pi_1(B)$ and $E\to B$ is a flat vector bundle associated with a linear (finite-dimensional) representation of $G$. Then there exists a finite index subgroup $G_1<G$ such that the lift of $E$ to the covering space of $B$ corresponding to $G_1$ is trivial as a vector bundle.

Sketch of the proof.

I will us the notation $E_\rho$ to denote the vector bundle associated with the linear representation $\rho$.

  1. The first thing to observe is that given a continuous family of representations $\rho_t$, all vector bundles $E_{\rho_t}$ are isomorphic (as vector bundles, not as flat bundles, of course). You should be able to prove this yourself.

  2. Furthermore, assuming that $G$ is a finitely generated amenable group, by Tits' Alternative, $\rho(G)$ is virtually solvable, i.e. contains a solvable subgroup of finite index. Hence, its Zariski closure contains a connected solvable subgroup $H$ of finite index.

  3. Pass to a finite index subgroup $G_1<G$ such that $\rho(G_1)<H$. Now, use the fact that $H$ preserves a full flag in $V^{\mathbb C}$, i.e. is conjugate in $GL(V^{\mathbb C})$ into the Borel subgroup $B$ of upper triangular matrices.

  4. From this, you conclude that $H$ preserves a 2-dimensional subspace $V_2\subset V$. Consider the representation $\rho_2$ of $G_1$ on $V/V_2$ and use the dimension induction. This allows you to deform $\rho_2$ to the trivial representation $\rho'_0$. Lift this to a deformation of $\rho|G_1$ to a representation $\rho_0$ of $G_1$.

  5. The representation $\rho_0$ need not split off $\rho_0'$ as a direct summand as $\rho_0$ is not reductive: it is a representation by block-triangular matrices though. Now, use the "semisimpliciation", i.e. take a suitable family of conjugates of $\rho_0$ by diagonal matrices which limits to a representation $\rho_1$ which has zero upper block in the block-triangular decomposition. (I suggest to work this out first in the case of upper triangular 2-by-2 complex or real matrices: conjugate such a matrix by a family of diagonal matrices until it becomes diagonal itself in the limit.)

Thus, $\rho_1$ is the direct sum of the trivial and a real 2-dimensional representation $\rho_3$. It suffices to deform $\rho_2$ to the trivial representation.

  1. Now $\rho_3(G_1)$ is abelian, conjugate into $R_+\times SO(2)\cong {\mathbb C}^*$. Use the fact that $Hom(G_1, {\mathbb C}^*)$ is connected, which is a pleasant exercise since ${\mathbb C}^*$ is abelian. The result is a deformation of $\rho_3$ to the trivial representation.