Hyperplane Arrangements Satisfy (un)Twisted Logarithmic Comparison Theorems, Applications to $\mathscr{D}_{X}$-modules

TL;DR

This paper proves the twisted logarithmic comparison theorems for hyperplane arrangements, providing explicit computations of local system cohomology and applications to $ ext{D}_X$-modules, resolving longstanding conjectures and establishing new bounds.

Contribution

It establishes the analytic and algebraic twisted logarithmic comparison theorems for hyperplane arrangements, confirming Terao's conjecture and linking local system cohomology with $ ext{D}_X$-module theory.

Findings

Proves the analytic twisted logarithmic comparison theorem under mild conditions.

Provides explicit finite-dimensional linear algebra computations for local systems.

Derives bounds on Bernstein--Sato polynomial roots for arrangements.

Abstract

For a reduced hyperplane arrangement we prove the analytic Twisted Logarithmic Comparison Theorem, subject to mild combinatorial arithmetic conditions on the weights defining the twist. This gives a quasi-isomorphism between the twisted logarithmic de Rham complex and the twisted meromorphic de Rham complex. The latter computes the cohomology of the arrangement's complement with coefficients from the corresponding rank one local system. We also prove the algebraic variant (when the arrangement is central), and the analytic and algebraic (untwisted) Logarithmic Comparison Theorems. The last item positively resolves an old conjecture of Terao. We also prove that: every nontrivial rank one local system on the complement can be computed via these Twisted Logarithmic Comparison Theorems; these computations are explicit finite dimensional linear algebra. Finally, we give some $\mathscr{D}_{X}$-module applications: for example, we give a sharp restriction on the codimension one components of the multivariate Bernstein--Sato ideal attached to an arbitrary factorization of an arrangement. The bound corresponds to (and, in the univariate case, gives an independent proof of) M. Saito's result that the roots of the Bernstein--Sato polynomial of a non-smooth, central, reduced arrangement live in $(-2 + 1/d, 0).$