A vanishing result for the first twisted cohomology of affine varieties and applications to line arrangements (Q1785565): Difference between revisions

In this nicely written paper, the authors provide a general vanishing result for the first cohomology group of affine smooth complex varieties with values in some rank-one local systems, and they apply it in the context of a certain family of complex reflection line arrangements in the projective plane. Main Theorem. Let \(S\) be a smooth proper complex variety of dimension \(N \geq 2\), and let \(D = \sum_{i=1}^{n} D_{i}\) be a divisor with \(D_{i}\) irreducible. Let \(I \subset \{1,\dots,n\}\) be a subset and consider the corresponding subdivisor \(D' = \sum_{i \in I} D_{i}'\). Let \(\mathcal{L}\) be a rank-one local system on \(U = S \setminus D\). Denote the monodromy around \(D_{i}\) by \(t_{i}\in \mathbb{C}^{\times}\). Assume that i) \(D\) is normal crossing along \(D'\), that is, for any \(p \in D'\), \(D\) is normal crossing around \(p\); ii) \(t_{i}\neq 1\) for \(i \in I\); iii) \(U'=S\setminus D'\) is an affine variety. Then \(H^{1}(S\setminus D, \mathcal{L}) = 0\). As a corollary, the authors prove the following nice result. Proposition. The monodromy eigenspaces \(H^{1}(F,\mathbb{C})_{\lambda}\) of the Milnor fiber cohomology for the monomial arrangement \[ \mathcal{A}(m,m;3) : (x^{m}-y^{m})(y^{m}-z^{m})(x^{m}-z^{m}) = 0 \] are trivial if \(\lambda^{3} \neq 1\), for any \(m \geq 3\).