Amoebas of genus at most one

The amoeba of a Laurent polynomial $f \in \C[z_1^{\pm 1},\ldots,z_n^{\pm 1}]$ is the image of its zero set $\mathcal{V}(f)$ under the log-absolute-value map. Understanding the space of amoebas (i.e., the decomposition of the space of all polynomials, say, with given support or Newton polytope, with regard to the existing complement components) is a widely open problem. In this paper we investigate the class of polynomials $f$ whose Newton polytope $\New(f)$ is a simplex and whose support $A$ contains exactly one point in the interior of $\New(f)$. Amoebas of polynomials in this class may have at most one bounded complement component. We provide various results on the space of these amoebas. In particular, we give upper and lower bounds in terms of the coefficients of $f$ for the existence of this complement component and show that the upper bound becomes sharp under some extremal condition. We establish connections from our bounds to Purbhoo's lopsidedness criterion and to the theory of $A$-discriminants. Finally, we provide a complete classification of the space of amoebas for the case that the exponent of the inner monomial is the barycenter of the simplex Newton polytope. In particular, we show that the set of all polynomials with amoebas of genus 1 is path-connected in the corresponding space of amoebas, which proves a special case of the question on connectivity (for general Newton polytopes) stated by H. Rullg{\aa}rd.

[1]  A. Tsikh,et al.  Singularities of hypergeometric functions in several variables , 2005, Compositio Mathematica.

[2]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[3]  Eugenii Shustin,et al.  Tropical Algebraic Geometry , 2007 .

[4]  B. Sturmfels,et al.  First steps in tropical geometry , 2003, math/0306366.

[5]  Lisa Nilsson Amoebas, Discriminants, and Hypergeometric Functions , 2009 .

[6]  Bruce Reznick Lattice point simplices , 1986, Discret. Math..

[7]  Maximally Sparse Polynomials have Solid Amoebas , 2007, 0704.2216.

[8]  Andreas Gathmann,et al.  Tropical algebraic geometry , 2006 .

[9]  Expansive subdynamics for algebraic \mathbb{Z}^d-actions , 2001, Ergodic Theory and Dynamical Systems.

[10]  J. M. Rojas,et al.  Optimizing n-variate (n+k)-nomials for small k , 2009, Theor. Comput. Sci..

[11]  Mikael Passare,et al.  Laurent determinants and arrangements of hyperplane amoebas , 2000 .

[12]  Grigory Mikhalkin,et al.  Amoebas of Algebraic Varieties and Tropical Geometry , 2004, math/0403015.

[13]  J. Maurice Rojas,et al.  Faster real feasibility via circuit discriminants , 2009, ISSAC '09.

[14]  Frédéric Bihan,et al.  Polynomial systems supported on circuits and dessins d'enfants , 2005, math/0509219.

[15]  Frank Sottile,et al.  The Phase Limit Set of a Variety , 2011, 1106.0096.

[16]  Gennadiy Averkov On the Size of Lattice Simplices with a Single Interior Lattice Point , 2012, SIAM J. Discret. Math..

[17]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[18]  Kevin Purbhoo A Nullstellensatz for amoebas , 2006, math/0603201.

[19]  I. M. Gelʹfand,et al.  Discriminants, Resultants, and Multidimensional Determinants , 1994 .

[20]  Mikael Passare,et al.  Discriminant coamoebas in dimension two , 2009 .

[21]  Topics in geometry, analysis and inverse problems , 2003 .

[22]  Mikael Passare,et al.  Amoebas, Monge-Ampère measures, and triangulations of the Newton polytope. , 2004 .

[23]  Mikael Passare,et al.  Amoebas: their spines and their contours , 2005 .

[24]  G. Mikhalkin Real algebraic curves, the moment map and amoebas , 2000 .