Tropical geometry for fields with a Krull valuation: first definitions and a small result (Q423981): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / review text | |||
Let \(\mathbb K\) be an algebraically closed field, \(\Gamma \) a totally ordered abelian group and \(\mathrm{val} :\mathbb K\to \Gamma \) a Krull valuation. Let \(\mathcal I\) be an ideal in the ring \(\mathbb K [x_1^{\pm 1}, \dots, x_N^{\pm 1}]\) of Laurent polynomials, and let \(\mathbf V\mathcal I\) be the corresponding affine algebraic variety in the torus \((\mathbb K^*)^N\). We are concerned with its image under the valuation map: \[ \mathrm{val}(\mathbf V\mathcal I)=\{(\mathrm{val}(\varphi_1),\dots,\mathrm{val}(\varphi_N))|f(\varphi_1,\dots,\varphi_N)=0\quad \forall f\in\mathcal I\}. \] When \(\Gamma=\mathbb R\), the famous theorem of Kapranov (see [\textit{M. Einsiedler} et al., J. Reine Angew. Math. 601, 139--157 (2006; Zbl 1115.14051); \textit{A. N. Jensen} et al., Collect. Math. 59, No. 2, 129--165 (2008; Zbl 1151.13021); \textit{S. Payne}, Math. Z. 262, No. 2, 301--311 (2009; Zbl 1222.14130)] tells us that the closure in \(\mathbb R^N\) of the set \(\mathrm{val}(\mathbf V\mathcal I)\) equals the intersection \(\mathbf{TV}\mathcal I\) of the tropical hypersurfaces associated to each polynomial in \(\mathcal I\). After giving the appropriate definitions for general \(\Gamma\), the paper under review proves that if \(\mathbf V\mathcal I\) consists of finitely many points, then \(\mathrm{val} (\mathbf V\mathcal I)=\mathbf{TV}\mathcal I\). The proof is very simple. | |||
Property / review text: Let \(\mathbb K\) be an algebraically closed field, \(\Gamma \) a totally ordered abelian group and \(\mathrm{val} :\mathbb K\to \Gamma \) a Krull valuation. Let \(\mathcal I\) be an ideal in the ring \(\mathbb K [x_1^{\pm 1}, \dots, x_N^{\pm 1}]\) of Laurent polynomials, and let \(\mathbf V\mathcal I\) be the corresponding affine algebraic variety in the torus \((\mathbb K^*)^N\). We are concerned with its image under the valuation map: \[ \mathrm{val}(\mathbf V\mathcal I)=\{(\mathrm{val}(\varphi_1),\dots,\mathrm{val}(\varphi_N))|f(\varphi_1,\dots,\varphi_N)=0\quad \forall f\in\mathcal I\}. \] When \(\Gamma=\mathbb R\), the famous theorem of Kapranov (see [\textit{M. Einsiedler} et al., J. Reine Angew. Math. 601, 139--157 (2006; Zbl 1115.14051); \textit{A. N. Jensen} et al., Collect. Math. 59, No. 2, 129--165 (2008; Zbl 1151.13021); \textit{S. Payne}, Math. Z. 262, No. 2, 301--311 (2009; Zbl 1222.14130)] tells us that the closure in \(\mathbb R^N\) of the set \(\mathrm{val}(\mathbf V\mathcal I)\) equals the intersection \(\mathbf{TV}\mathcal I\) of the tropical hypersurfaces associated to each polynomial in \(\mathcal I\). After giving the appropriate definitions for general \(\Gamma\), the paper under review proves that if \(\mathbf V\mathcal I\) consists of finitely many points, then \(\mathrm{val} (\mathbf V\mathcal I)=\mathbf{TV}\mathcal I\). The proof is very simple. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Péter E. Frenkel / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14T05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A18 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6039614 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Krull valuations | |||
Property / zbMATH Keywords: Krull valuations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tropical geometry | |||
Property / zbMATH Keywords: tropical geometry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
algebraic variety | |||
Property / zbMATH Keywords: algebraic variety / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kapranov's theorem | |||
Property / zbMATH Keywords: Kapranov's theorem / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tropical geometry for fields with a Krull valuation: first definitions and a small result |
scientific article |
Statements
Tropical geometry for fields with a Krull valuation: first definitions and a small result (English)
0 references
30 May 2012
0 references
Let \(\mathbb K\) be an algebraically closed field, \(\Gamma \) a totally ordered abelian group and \(\mathrm{val} :\mathbb K\to \Gamma \) a Krull valuation. Let \(\mathcal I\) be an ideal in the ring \(\mathbb K [x_1^{\pm 1}, \dots, x_N^{\pm 1}]\) of Laurent polynomials, and let \(\mathbf V\mathcal I\) be the corresponding affine algebraic variety in the torus \((\mathbb K^*)^N\). We are concerned with its image under the valuation map: \[ \mathrm{val}(\mathbf V\mathcal I)=\{(\mathrm{val}(\varphi_1),\dots,\mathrm{val}(\varphi_N))|f(\varphi_1,\dots,\varphi_N)=0\quad \forall f\in\mathcal I\}. \] When \(\Gamma=\mathbb R\), the famous theorem of Kapranov (see [\textit{M. Einsiedler} et al., J. Reine Angew. Math. 601, 139--157 (2006; Zbl 1115.14051); \textit{A. N. Jensen} et al., Collect. Math. 59, No. 2, 129--165 (2008; Zbl 1151.13021); \textit{S. Payne}, Math. Z. 262, No. 2, 301--311 (2009; Zbl 1222.14130)] tells us that the closure in \(\mathbb R^N\) of the set \(\mathrm{val}(\mathbf V\mathcal I)\) equals the intersection \(\mathbf{TV}\mathcal I\) of the tropical hypersurfaces associated to each polynomial in \(\mathcal I\). After giving the appropriate definitions for general \(\Gamma\), the paper under review proves that if \(\mathbf V\mathcal I\) consists of finitely many points, then \(\mathrm{val} (\mathbf V\mathcal I)=\mathbf{TV}\mathcal I\). The proof is very simple.
0 references
Krull valuations
0 references
tropical geometry
0 references
algebraic variety
0 references
Kapranov's theorem
0 references