Geometry of logarithmic derivations of hyperplane arrangements

We study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study logarithmic derivations and critical set varieties of arrangements in a way which is symmetric with respect to matroid duality. Our main result exhibits the variety of the ideal of pairs as a subspace arrangement whose components correspond to cyclic flats of the arrangement. As a corollary, we are able to give geometric explanations of some freeness and projective dimension results due to Ziegler and Kung–Schenck.

[1]  Bernd Sturmfels,et al.  The maximum likelihood degree , 2004, math/0406533.

[2]  G. Denham,et al.  Complexes, duality and Chern classes of logarithmic forms along hyperplane arrangements , 2010, 1004.4237.

[3]  P. Orlik,et al.  Arrangements and Milnor fibers , 1995 .

[4]  P. Orlik,et al.  The number of critical points of a product of powers of linear functions , 1995 .

[5]  J. Kung,et al.  Derivation modules of orthogonal duals of hyperplane arrangements , 2006, math/0604168.

[6]  C. Huneke.  On the Symmetric and Rees Algebra of an Ideal Generated by a d-sequence , 1980 .

[7]  June Huh,et al.  The maximum likelihood degree of a very affine variety , 2012, Compositio Mathematica.

[8]  G. Denham.  Toric and tropical compactifications of hyperplane complements , 2013, 1306.3519.

[9]  D. Eisenbud,et al.  Direct methods for primary decomposition , 1992 .

[10]  J. Draisma,et al.  Combinatorial Algebraic Geometry , 2014 .

[11]  Castelnuovo–Mumford regularity by approximation , 2002, math/0211279.

[12]  U. Walther.  The Jacobian module, the Milnor fiber, and the D-module generated by $$f^s$$fs , 2015, 1504.07164.

[13]  G. Denham,et al.  A geometric deletion-restriction formula , 2011, 1110.2799.

[14]  Alexander Varchenko,et al.  Critical Points of the Product of Powers of Linear Functions and Families of Bases of Singular Vectors , 1993, hep-th/9312119.

[15]  Frank Wannemaker,et al.  Arrangements Of Hyperplanes , 2016 .

[16]  Daniel C. Cohen,et al.  Critical Points and Resonance of Hyperplane Arrangements , 2009, Canadian Journal of Mathematics.

[17]  Sakinah,et al.  Vol. , 2020, New Medit.

[18]  Günter M. Ziegler,et al.  Combinatorial construction of logarithmic differential forms , 1989 .

[19]  Federico Ardila,et al.  Lagrangian geometry of matroids , 2020, 2004.13116.