English

Braid monodromy of univariate fewnomials

Algebraic Geometry 2021-12-08 v3

Abstract

Let CdCd+1\mathcal{C}_d\subset \mathbb{C}^{d+1} be the space of non-singular, univariate polynomials of degree dd. The Vi\`{e}te map V:CdSymd(C)\mathscr{V} : \mathcal{C}_d \rightarrow Sym_d(\mathbb{C}) sends a polynomial to its unordered set of roots. It is a classical fact that the induced map V\mathscr{V}_* at the level of fundamental groups realises an isomorphism between π1(Cd)\pi_1(\mathcal{C}_d) and the Artin braid group BdB_d. For fewnomials, or equivalently for the intersection C\mathcal{C} of Cd\mathcal{C}_d with a collection of coordinate hyperplanes in Cd+1\mathbb{C}^{d+1}, the image of the map V:π1(C)Bd\mathscr{V} _* : \pi_1(\mathcal{C}) \rightarrow B_d is not known in general. In the present paper, we show that the map V\mathscr{V} _* is surjective provided that the support of the corresponding polynomials spans Z\mathbb{Z} as an affine lattice. If the support spans a strict sublattice of index bb, we show that the image of V\mathscr{V} _* is the expected wreath product of Z/bZ\mathbb{Z}/b\mathbb{Z} with Bd/bB_{d/b}. From these results, we derive an application to the computation of the braid monodromy for collections of univariate polynomials depending on a common set of parameters.

Keywords

Cite

@article{arxiv.2001.01634,
  title  = {Braid monodromy of univariate fewnomials},
  author = {Alexander Esterov and Lionel Lang},
  journal= {arXiv preprint arXiv:2001.01634},
  year   = {2021}
}

Comments

18 pages, 7 figures. Version 3: we fixed a gap in the proof of Proposition 4.1

R2 v1 2026-06-23T13:04:02.984Z