In complex analysis, a branch of mathematics, an amoeba is a set associated with a polynomial in one or more complex variables. Amoebas have applications in algebraic geometry, especially tropical geometry.
Consider the function
L o g : ( C ∖ { 0 } ) n → R n defined on the set of all n-tuples z = ( z 1 , z 2 , … , z n ) of non-zero complex numbers with values in the Euclidean space R n , given by the formula
L o g ( z 1 , z 2 , … , z n ) = ( log | z 1 | , log | z 2 | , … , log | z n | ) . Here, 'log' denotes the natural logarithm. If p(z) is a polynomial in n complex variables, its amoeba A p is defined as the image of the set of zeros of p under Log, so
A p = { L o g ( z ) : z ∈ ( C ∖ { 0 } ) n , p ( z ) = 0 } . Amoebas were introduced in 1994 in a book by Gelfand, Kapranov, and Zelevinsky.
Any amoeba is a closed set.Any connected component of the complement R n ∖ A p is convex.The area of an amoeba of a not identically zero polynomial in two complex variables is finite.A two-dimensional amoeba has a number of "tentacles" which are infinitely long and exponentially narrow towards infinity.A useful tool in studying amoebas is the Ronkin function. For p(z) a polynomial in n complex variables, one defines the Ronkin function
N p : R n → R by the formula
N p ( x ) = 1 ( 2 π i ) n ∫ L o g − 1 ( x ) log | p ( z ) | d z 1 z 1 ∧ d z 2 z 2 ∧ ⋯ ∧ d z n z n , where x denotes x = ( x 1 , x 2 , … , x n ) . Equivalently, N p is given by the integral
N p ( x ) = 1 ( 2 π ) n ∫ [ 0 , 2 π ] n log | p ( z ) | d θ 1 d θ 2 ⋯ d θ n , where
z = ( e x 1 + i θ 1 , e x 2 + i θ 2 , … , e x n + i θ n ) . The Ronkin function is convex, and it is affine on each connected component of the complement of the amoeba of p ( z ) .
As an example, the Ronkin function of a monomial
p ( z ) = a z 1 k 1 z 2 k 2 … z n k n with a ≠ 0 is
N p ( x ) = log | a | + k 1 x 1 + k 2 x 2 + ⋯ + k n x n .