Abstract:Border basis schemes are open subschemes of Hilbert schemes parametrizing 0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open coverings and are easy to describe and to compute with. Our topic is to find re-embeddings of border basis schemes into affine spaces of minimal dimension. Given $P = K[X] = K[x_1,\dots,x_n]$, an ideal $I\subseteq \langle X \rangle$, and a tuple $Z$ of indeterminates, in previous papers the authors developed techniques for computing $Z$-separating re-embeddings of $I$, i.e., of isomorphisms $\Phi: P/I \rightarrow K[X\setminus Z] / (I\cap K[X\setminus Z])$. Here these general techniques are developed further and improved by constructing a new algorithm for checking candidate tuples $Z$ and by using the Gröbner fan of the linear part of $I$ advantageously. Then we apply this to the ideals defining border basis schemes $\mathbb{B}_{\mathcal{O}}$, where $\mathcal{O}$ is an order ideal of terms, and to their natural generating polynomials. The fact that these ideals are homogeneous w.r.t. the arrow grading allows us to look for suitable tuples $Z$ more systematically. Using the equivalence of indeterminates modulo the square of the maximal ideal, we compute the Gröbner fan of the linear part of the ideal quickly and determine which indeterminates should be in $Z$ when we are looking for optimal re-embeddings. Specific applications include re-embeddings of border basis schemes where $\mathcal{O}\subseteq K[x,y]$ and where $\mathcal{O}$ consists of all terms up to some degree.

Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals

Border Bases for Polynomial Rings over Noetherian Rings

Module Border Bases

Computing Border Bases without using a Term Ordering

Optimal Re-Embeddings of Border Basis Schemes

On Gröbner Basis Detection for Zero-dimensional Ideals

Comprehensive Involutive Systems

Comprehensive Systems for Primary Decompositions of Parametric Ideals

Border basis detection is NP-complete

Existence and Construction of a Gröbner Basis for a Polynomial Ideal

Toric Border Bases

Equivariant ideals of polynomials

A new iterative algorithm for comprehensive Grobner systems

Geometric involutive bases for positive dimensional polynomial ideals and SDP methods

Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

Gröbner bases for bipartite determinantal ideals

New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon)

The Number of Gröbner Bases in Finite Fields

Graver Bases and Universal Gröbner Bases for Linear Codes

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations