Do most polynomials generate a prime ideal? (Q288524): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
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 | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Gfan / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2228167918 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1509.02050 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mixed discriminants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Connectivity of tropicalizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3514373 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Théoremes de Bertini et applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing tropical resultants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable intersections of tropical varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing mixed volume and all mixed cells in quermassintegral time / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5251430 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lifting tropical intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5580257 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Permutohedra, Associahedra, and Beyond / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Newton polytope of the resultant / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Theorem of Bertini on the Variable Singular Points of a Linear System of Varieties / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:16, 12 July 2024
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