Do most polynomials generate a prime ideal? (Q288524): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(\mathbb{K}\) be an algebraically closed field and \(R=\mathbb{K}[x_1^{\pm1},\ldots,x_n^{\pm1}]\) be the Laurent polynomial ring in \(n\) variables over \(\mathbb{K}\). In this article the author studies the problem for which monomial support do most sets of polynomials generate an ideal whose radical is prime in \(R\). In more details, the author in the main theorem proves the following:\newline Suppose \(1\leq k\leq n,\;A_1,\ldots,A_k\subset \mathbb{Z}^n\) and \(0\in A_j,\;\forall j\). General polynomials \(f_1,\ldots,f_k\) with supports \(A_1,\ldots,A_k\) respectively, generate a proper ideal whose radical is prime in \(R\) if and only if for every non-empty subset \(J\subseteq [k]\) one of the following holds: {\parindent=0.7cm\begin{itemize}\item[(1)] \(\text{dim span}_{\mathbb{Q}}\bigcup_{j\in J}A_j\geq |J|+1\) \item[(2)] \(\text{dim span}_{\mathbb{Q}}\bigcup_{j\in J}A_j= |J|\) and the mixed volume of \((\text{conv}(A_j))_{j\in J}\) is 1. \end{itemize}} For the case of characteristic zero, the same conditions give primeness. Applying the above theorem the author is able to show an interaction with the connectivity of stable intersection of tropical hypersurfaces. | |||
Property / review text: Let \(\mathbb{K}\) be an algebraically closed field and \(R=\mathbb{K}[x_1^{\pm1},\ldots,x_n^{\pm1}]\) be the Laurent polynomial ring in \(n\) variables over \(\mathbb{K}\). In this article the author studies the problem for which monomial support do most sets of polynomials generate an ideal whose radical is prime in \(R\). In more details, the author in the main theorem proves the following:\newline Suppose \(1\leq k\leq n,\;A_1,\ldots,A_k\subset \mathbb{Z}^n\) and \(0\in A_j,\;\forall j\). General polynomials \(f_1,\ldots,f_k\) with supports \(A_1,\ldots,A_k\) respectively, generate a proper ideal whose radical is prime in \(R\) if and only if for every non-empty subset \(J\subseteq [k]\) one of the following holds: {\parindent=0.7cm\begin{itemize}\item[(1)] \(\text{dim span}_{\mathbb{Q}}\bigcup_{j\in J}A_j\geq |J|+1\) \item[(2)] \(\text{dim span}_{\mathbb{Q}}\bigcup_{j\in J}A_j= |J|\) and the mixed volume of \((\text{conv}(A_j))_{j\in J}\) is 1. \end{itemize}} For the case of characteristic zero, the same conditions give primeness. Applying the above theorem the author is able to show an interaction with the connectivity of stable intersection of tropical hypersurfaces. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Christos Tatakis / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14T05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6585786 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
polynomials | |||
Property / zbMATH Keywords: polynomials / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
prime ideals | |||
Property / zbMATH Keywords: prime ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
radical | |||
Property / zbMATH Keywords: radical / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tropical geometry | |||
Property / zbMATH Keywords: tropical geometry / rank | |||
Normal rank |
Revision as of 20:13, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Do most polynomials generate a prime ideal? |
scientific article |
Statements
Do most polynomials generate a prime ideal? (English)
0 references
26 May 2016
0 references
Let \(\mathbb{K}\) be an algebraically closed field and \(R=\mathbb{K}[x_1^{\pm1},\ldots,x_n^{\pm1}]\) be the Laurent polynomial ring in \(n\) variables over \(\mathbb{K}\). In this article the author studies the problem for which monomial support do most sets of polynomials generate an ideal whose radical is prime in \(R\). In more details, the author in the main theorem proves the following:\newline Suppose \(1\leq k\leq n,\;A_1,\ldots,A_k\subset \mathbb{Z}^n\) and \(0\in A_j,\;\forall j\). General polynomials \(f_1,\ldots,f_k\) with supports \(A_1,\ldots,A_k\) respectively, generate a proper ideal whose radical is prime in \(R\) if and only if for every non-empty subset \(J\subseteq [k]\) one of the following holds: {\parindent=0.7cm\begin{itemize}\item[(1)] \(\text{dim span}_{\mathbb{Q}}\bigcup_{j\in J}A_j\geq |J|+1\) \item[(2)] \(\text{dim span}_{\mathbb{Q}}\bigcup_{j\in J}A_j= |J|\) and the mixed volume of \((\text{conv}(A_j))_{j\in J}\) is 1. \end{itemize}} For the case of characteristic zero, the same conditions give primeness. Applying the above theorem the author is able to show an interaction with the connectivity of stable intersection of tropical hypersurfaces.
0 references
polynomials
0 references
prime ideals
0 references
radical
0 references
tropical geometry
0 references