Math 2.0

Algebraic geometry Definition

Amoeba

Builds on Complex numbersPolynomials in several variablesNatural logarithmNewton polytopeConnected component

Definition

Let n≥1n \ge 1 and let Log⁡ ⁣:(ℂ×)n→ℝn\operatorname{Log} \colon (\C^\times)^n \to \R^n be the map Log⁡(z1,…,zn)=(log⁡∣z1∣,…,log⁡∣zn∣).\operatorname{Log}(z_1, \dots, z_n) = (\log \abs{z_1}, \dots, \log \abs{z_n}). Let ff be a nonzero Laurent polynomial in z1,…,znz_1, \dots, z_n with complex coefficients, and let Vf={z∈(ℂ×)n:f(z)=0}V_f = \set{z \in (\C^\times)^n : f(z) = 0}. The amoeba of ff is the set 𝒜f=Log⁡(Vf)⊆ℝn\mathcal{A}_f = \operatorname{Log}(V_f) \subseteq \R^n.

Remarks

The amoeba is a closed subset of ℝn\R^n, and each connected component of its complement is convex. Let ff be nonconstant. The number of these components is at least the number of vertices of the Newton polytope of ff, and at most its number of lattice points.

Example: let f=1+z+wf = 1 + z + w. The point (0,0)(0, 0) lies in 𝒜f\mathcal{A}_f: the point z=e2πi/3z = e^{2\pi i/3}, w=e−2πi/3w = e^{-2\pi i/3} has ∣z∣=∣w∣=1\abs{z} = \abs{w} = 1 and 1+z+w=01 + z + w = 0.

Non-example: the point (1,0)(1, 0) does not lie in 𝒜f\mathcal{A}_f. It would need ∣z∣=e\abs{z} = e, ∣w∣=1\abs{w} = 1 and z=−1−wz = -1 - w, but ∣1+w∣≤2<e\abs{1 + w} \le 2 < e.

In one variable, f(z)=z−2f(z) = z - 2 has Vf={2}V_f = \set{2} and 𝒜f={log⁡2}\mathcal{A}_f = \set{\log 2}.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complex numbers object
  2. Connected component concept
  3. Natural logarithm concept
  4. Newton polytope concept
  5. Polynomials in several variables concept
  6. Amoeba definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Amoeba_(mathematics)
About this page
TagC9WE6180A7
URIm2://C9WE6180A7
Kinddefinition
WritingW0 stub
MSC14T10, 32A60
DefinesAmoeba
UsesComplex numbers, Polynomials in several variables, Natural logarithm, Newton polytope, Connected component
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.