Twisted monodromy homomorphisms and Massey products (Q1725664)

If \(\varphi:M\to M\) is a diffeomorphism of a \(C^\infty\) compact connected manifold \(M\), \(X=M\times[0,1]/(x,0)\sim(\varphi(x),1)\) is its mapping torus, \(H=\pi_1(M,x_0)\), \(G=\pi_1(H,x_0)\), and \(x_0\in M\), then the injection \(i:H\to G\) and the surjection \(p:G\to\mathbb Z\) satisfy \(\text{im}\,i=\ker p\). If \(V\) is a vector space of dimension \(n\) over \(\mathbb C\), \(\rho:G\to\text{GL}(V)\) is a representation with \(\rho_0=\rho\vert_{H}\), \(V^*=\text{Hom}(V,\mathbb C)\) is the dual space of \(V\), and \(\rho^*:G\to\text{GL}(V^*)\) is the antirepresentation of \(G\) conjugate to \(\rho\), then the author defines an automorphism \(\varphi_*\) of the group \(H_*(M,\rho^*_0)\) which is a generalization of the map induced by \(\varphi\) in the ordinary homology, and which depends not only on \(\varphi\) and \(\rho_0\) but also on the values of the representation \(\rho\) on the elements of \(G\backslash H\). \(\varphi_*\) is called the twisted monodromy homomorphism. In particular, when \(\rho_0\) is the trivial 1-dimensional representation, and the representation \(\rho\) sends the positive generator \(u\) of \(G/H\approx\mathbb Z\) to \(\lambda\in\mathbb C^*\), the map \(\lambda\varphi_*\) equals the homomorphism induced by \(\varphi\) in the ordinary homology. If \(H^*(X,\rho)\) is the twisted cohomology of \(X\) with respect to the representation \(\rho\), \(H^*(X,\mathbb C)\times H^*(X,\rho)\to H^*(X,\rho)\) is a natural pairing, then the Massey products are of the form \(\langle\xi,\dots,\xi,x\rangle\), where \(x\in H^*(X,\rho)\) and \(\xi\) is induced by the map \(p\). The Massey product containing \(r\) terms is denoted by \(\langle\xi,x\rangle_r\), and the maximal length \(r\) of a non-zero Massey product \(\langle\xi,x\rangle_r\) for \(x\) is denoted by \(M_k(\rho)\). If \(\lambda\in\mathbb C^*\), then a representation \(\rho_\lambda:G\to\text{GL}(V)\) is defined as \(\rho_0(g)=\lambda^{\xi(g)}\cdot\rho(g)\), and the maximal size of a Jordan block of eigenvalue \(\lambda\) of the homomorphism \(\varphi_*\) of \(H_k(M,\rho^*_0)\) is \(J_k(\varphi_*,\lambda)\). In this paper, the author considers relations between twisted monodromy homomorphisms and Massey products. The main result of the paper states that \(M_k(\rho_\lambda)=J_k(\phi_*,\lambda)\) for every \(k\) and \(\lambda\). The proof of the main theorem is based on the fact that the above Massey products can be identified with differentials in a Massey spectral sequence, which in turn can be explicitly computed in terms of the Jordan normal form of \(\phi_*\). Also, the author shows that if the mapping torus \(X\) of a diffeomorphism \(\varphi:M\to M\) is a compact Kähler manifold, \(\rho:H\to\text{GL}(n,\mathbb C)\) is a semisimple representation, then the twisted monodromy homomorphism \(\varphi_*\) of \(H_*(M,\rho^*_0)\) is a diagonalizable linear map.