A nullstellensatz for amoebas (Q2475020): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1975899511 / rank | |||
Normal rank |
Revision as of 14:32, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A nullstellensatz for amoebas |
scientific article |
Statements
A nullstellensatz for amoebas (English)
0 references
20 March 2008
0 references
The author considers algebraic varieties \(V \subseteq ({\mathbb C}^{\ast})^r\) and studies their amoebas. The variety \(V\) is defined by an ideal \(I \subseteq {\mathbb C}[Z_1,Z_1^{-1}, \dots,Z_r,Z_r^{-1}]\). The associated amoeba \(\mathcal{A}_I\) is the image of the map \(\mathrm{Log}:({\mathbb C}^{\ast})^r \rightarrow {\mathbb R}^r\), \((z_1, \dots, z_r) \rightarrow (\log|z_1|, \dots,\log|z_r|)\). A fundamental question about \(\mathcal{A}_I\) is: Given \(a \in {\mathbb R}^r\), how can one recognize whether \(a \in \mathcal{A}_I\)? The author writes an element \(f \in {\mathbb C}[Z_1,Z_1^{-1}, \dots,Z_r,Z_r^{-1}]\) as a sum of monomials, \(f = m_1(Z) + \dots + m_d(Z)\) and considers the sequence \(f\{a\} = (|m_1(z)|, \dots |m_d(z)|)\), where \(z \in \mathrm{Log}^{-1}(a)\). Such a sequence is called \textit{lopsided} if one of the members is larger than the sum of all the others. The author proves the following Theorem. An element \(a \in {\mathbb R}^r\) belongs to \(\mathcal{A}_I\) if and only if the sequence \(f\{a\}\) is not lopsided for all \(f \in I\). An important part of the proof is an approximation of hypersurface amoebas by linear inequalities. Connections with tropical varieties are discussed.
0 references
complex variety
0 references
toric variety
0 references
tropical variety
0 references
hypersurface
0 references
amoeba
0 references