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).$

Polynomial Mean Complexity and Logarithmic Sarnak Conjecture

Sequence Complexity, Rigidity and Logarithmic Sarnak Conjecture

Arbitrarily slow decay in the logarithmically averaged Sarnak conjecture

Some dynamical properties related to polynomials

Uniform approximation on certain polynomial polyhedra in $\mathbb{C}^2$

Fluctuations in the logarithmic energy for zeros of random polynomials on the sphere

Sign uncertainty principles and low-degree polynomials

Polynomial slow-fast systems on the Poincaré-Lyapunov sphere

Mean equicontinuity, complexity and applications

A Quantitative Bound For Szemerédi's Theorem for a Complexity One Polynomial Progression over $\mathbb{Z}/N\mathbb{Z}$

Polynomial convexity of compacts that lies in certain Levi-flat hypersurfaces in $\mathbb{C}^2$

Polynomial Fourier Decay For Patterson-Sullivan Measures

Topological dynamical systems induced by polynomials and combinatorial consequences

Measure Complexity and Möbius Disjointness

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

On the Polynomial Sharp Upper Estimate Conjecture in 7-Dimensional Simplex

Polynomial progressions in topological fields

Complexity of null dynamical systems and Sauer--Shelah lemmas

Logarithmic concavity of Schur and related polynomials

Discrete logarithmic Sobolev inequalities in Banach spaces