Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2306.08481 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916095750832128 |
|---|---|
| author | Kreuzer, Martin Long, Le Ngoc Robbiano, Lorenzo |
| author_facet | Kreuzer, Martin Long, Le Ngoc Robbiano, Lorenzo |
| contents | Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such that $P'=K[y_1,\dots,y_m]$ has fewer indeterminates. For cases when the number of indeterminates $n$ is large and Gröbner basis computations are infeasible, we have previously introduced the method of $Z$-separating re-embeddings. This method tries to detect polynomials of a special shape in $I$ which allow us to eliminate the indeterminates in the tuple $Z$ by a simple substitution process. Here we improve this approach by showing that suitable candidate tuples $Z$ can be found using the Gröbner fan of the linear part of $I$. Then we describe a method to compute the Gröbner fan of a linear ideal, and we improve this computation in the case of binomial linear ideals using a cotangent equivalence relation. Finally, we apply the improved technique in the case of the defining ideals of border basis schemes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_08481 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Re-embeddings of Affine Algebras Via Gröbner Fans of Linear Ideals Kreuzer, Martin Long, Le Ngoc Robbiano, Lorenzo Commutative Algebra Algebraic Geometry 14Q20 (Primary) 14R10, 13E15, 13P10 (Secondary) Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such that $P'=K[y_1,\dots,y_m]$ has fewer indeterminates. For cases when the number of indeterminates $n$ is large and Gröbner basis computations are infeasible, we have previously introduced the method of $Z$-separating re-embeddings. This method tries to detect polynomials of a special shape in $I$ which allow us to eliminate the indeterminates in the tuple $Z$ by a simple substitution process. Here we improve this approach by showing that suitable candidate tuples $Z$ can be found using the Gröbner fan of the linear part of $I$. Then we describe a method to compute the Gröbner fan of a linear ideal, and we improve this computation in the case of binomial linear ideals using a cotangent equivalence relation. Finally, we apply the improved technique in the case of the defining ideals of border basis schemes. |
| title | Re-embeddings of Affine Algebras Via Gröbner Fans of Linear Ideals |
| topic | Commutative Algebra Algebraic Geometry 14Q20 (Primary) 14R10, 13E15, 13P10 (Secondary) |
| url | https://arxiv.org/abs/2306.08481 |