[Paper Review] L'idéal de Bernstein d'un arrangement libre d'hyperplans linéaires

Philippe Maisonobe|arXiv (Cornell University)|Oct 6, 2016

Polynomial and algebraic computation10 citations

TL;DR

This paper determines the Bernstein ideal of a free arrangement of linear hyperplanes, proving it is principal and explicitly computing its generator as a product over irreducible local arrangements. The key result gives a closed-form formula for the Bernstein-Sato polynomial in terms of the intersection lattice and codimensions of local arrangements, generalizing known results for braid and 2D arrangements.

ABSTRACT

Let $ V $ a vector space of dimension $n$. A family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplans $V$ defines an arrangement $ {\cal A} $ of $ V $. For $ i \in \{ 1, \ldots, p \} $, let $ l_i $ be a linear form on $V$ with $H_i$ as kernel. We denote by $A_V ({\bf C}) $, the Weyl algebra of algebraic differential operators on $V$. Following J. Bernstein, the ideal constituted by polynomials $ b \in {\bf C} [s_1, \ldots, s_p] $ such that : $$ \; \; b (s_1, \ldots, s_p) \, l_1^{s_1} \ldots l_p^{s_p} \in A_n ({\bf C}) [s_1, \ldots, s_p] \, l_1^ {s_1 + 1} \ldots l_p^{s_p + 1} \; , $$ is not reduced to zero. This ideal does not depend on the choice of linear forms $ l_i $. The goal of this article is to determine this ideal when $ {\cal A} $ is a free arrangement constituted by linear hyperplans within the meaning of K. Saito.

Motivation & Objective

• To characterize the Bernstein ideal of a free arrangement of linear hyperplanes.
• To determine the structure of the Bernstein-Sato polynomial for such arrangements.
• To provide an explicit, closed-form formula for the generator of the Bernstein ideal in terms of the arrangement's combinatorial data.
• To generalize known results for 2D and braid arrangements to arbitrary free arrangements.

Proposed method

• The paper uses the theory of logarithmic derivations and the module D(A) of derivations tangent to the arrangement.
• It applies the Bernstein-Sato functional equation in the context of free arrangements, leveraging the fact that D(A) is a free S-module.
• The key technique involves analyzing the characteristic variety W^{lat} of the D-module M = D[s]f^s, particularly its singular locus and components.
• It identifies irreducible components of W^{lat} ∩ H as products of local characteristic varieties W^{lat}_{X,(l_j)_{j∉J(X)}} with the hyperplane ∑_{j∈J(X)} s_j = 0.
• The derivation relies on the duality theory of D-modules and the structure of the Weyl algebra A_n(C).
• The final formula is derived by combining the local structure of the arrangement with the global monodromy action and the symmetry of the Bernstein-Sato polynomial.

Experimental results

Research questions

• RQ1 What is the structure of the Bernstein ideal for a free arrangement of linear hyperplanes?
• RQ2 How does the Bernstein-Sato polynomial of a free arrangement depend on its combinatorial data?
• RQ3 Which components of the characteristic variety W^{lat} contribute to the singular locus of the D-module M = D[s]f^s?
• RQ4 Can the Bernstein-Sato polynomial be explicitly computed for free arrangements using lattice-theoretic invariants?
• RQ5 What is the role of irreducible local arrangements in determining the poles of the meromorphic continuation of f^s?

Key findings

• The Bernstein ideal of a free arrangement A is principal, generated by a single polynomial b_A(s_1,…,s_p).
• The generator is given by the product over all irreducible local arrangements A_X (X ∈ L’(A)) of terms (∑_{i∈J(X)} s_i + r(X) + j) for j = 0 to 2(card J(X) − r(X)).
• In dimension 2, the generator simplifies to ∏_{i=1}^p (s_i + 1) × ∏_{j=0}^{2(p−2)} (s_1 + ⋯ + s_p + 2 + j).
• For the braid arrangement (x_i − x_j), the generator is a product over all subsets I ⊂ {1,…,n}, with terms involving ∑_{i<j, i,j∈I} s_{i,j} + |I|−1 + k for k up to (|I|−1)(|I|−2).
• The poles of the meromorphic continuation of f^s are precisely the roots of this polynomial, and they are determined by the codimensions and local irreducibility of the arrangement components.
• The slopes of the arrangement (i.e., the projections of the singular components of W^{lat} ∩ H) are the hyperplanes ∑_{j∈J(X)} s_j = 0 for irreducible local arrangements A_X.