On admissible rank one local systems (Q834826)

Computation of cohomology of local systems is a difficult task. In this paper it is proved that for all rank one local systems \(L\) on an 1-formal smooth complex algebraic variety \(M\), except finitely many local systems in any irreducible component \(W\) of the first characteristic variety, \(H^1(M,L)\) can be computed from the cohomology algebras \(H^*(M_W,\mathbb{C})\), where \(M_W=M\) if \(W\) is a non-translated component but could be a smaller open subset of \(M\) otherwise. This is applied to obtain a simple topological proof of the fact that if the dimension of \(H^1(M,L')\), as \(L'\) varies within \(W\) with \(\dim W>0\), jumps at \(L\in W\), then \(L\) is of finite order. This result also follows by applying the more difficult results of \textit{A. Dimca, S. Papadima} and \textit{A. I. Suciu} [Int. Math. Res. Not. 2008, Article ID rnm119 (2008; Zbl 1156.32018)], \textit{C. Simpson} [Ann. Sci. Éc. Norm. Supér. (4) 26, No. 3, 361--401 (1993; Zbl 0798.14005)], and \textit{N. Budur} [Adv. Math. 221, No. 1, 217--250 (2009; Zbl 1187.14024)]. As a corollary, if \(M\) is quasi-projective, then \(H^1(M,L)=H^1(M,L^{-1})\).