Re-embeddings of Affine Algebras Via Gröbner Fans of Linear Ideals
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |