English

Vanishing products of one-forms and critical points of master functions

Algebraic Geometry 2012-03-06 v3 Combinatorics

Abstract

Let \A be an affine hyperplane arrangement in \C\C^\ell with complement UU. Let f1,.˙.,fnf_1, \..., f_n be linear polynomials defining the hyperplanes of \A, and AA^\cdot the algebra of differential forms generated by the 1-forms dlogf1,.˙.,dlogfnd \log f_1, \..., d \log f_n. To each l\Cnl \in \C^n we associate the master function Φ=Φl=i=1nfili\Phi=\Phi_l = \prod_{i=1}^n f_i^{l_i} on UU and the closed logarithmic 1-form ω=dlogΦ\omega= d \log \Phi. We assume ω\omega is an element of a rational linear subspace DD of A1A^1 of dimension q>1q>1 such that the multiplication map k(D)Ak\bigwedge^k(D) \to A^k is zero for p<kqp<k\leq q. With this assumption, we prove every component of the critical locus \crit(Φ)\crit(\Phi) of Φ\Phi has codimension at most pp, and \crit(Φ)\crit(\Phi) is a union of intersections of level sets of rational master functions. We give conditions that guarantee \crit(Φ)\crit(\Phi) is nonempty and every component has codimension equal to pp, in terms of syzygies among polynomial master functions. If \A is pp-generic, then DD is contained in the degree pp resonance variety Rp(\A)\R^p(\A) -- in this sense the present work complements previous work on resonance and critical loci of master functions. Any arrangement is 1-generic; in case p=1p=1 we give a precise description of \crit(Φl)\crit(\Phi_l) in case ll lies in an isotropic subspace DD of A1A^1, using the multinet structure on \A corresponding to DR1(\A)D\subseteq \R^1(\A). This is carried out in detail for the Hessian arrangement. Finally, for arbitrary pp and \A, we establish necessary and sufficient conditions for a set of integral one-forms to span such a subspace, in terms of nested sets of \A, using tropical implicitization.

Keywords

Cite

@article{arxiv.1010.3743,
  title  = {Vanishing products of one-forms and critical points of master functions},
  author = {Daniel C. Cohen and Graham Denham and Michael Falk and Alexander Varchenko},
  journal= {arXiv preprint arXiv:1010.3743},
  year   = {2012}
}

Comments

v2: Major revision. Example 3.17 added to illustrate effects of singularities, thanks to an anonymous referee. To appear in "Arrangements of Hyperplanes - Sapporo 2009," Adv. Studies in Pure Math., in press. v3: final version; minor corrections