Abstract:We present an effective method for computing parametric primary decomposition via comprehensive Gröbner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with rational coefficients $\mathbb{Q}[A,X]$ where $A$ is the set of parameters and $X$ is the set of ordinary variables. One cause of the difficulty is related to the irreducibility of the specialized polynomial. Thus, we introduce a new notion of ``feasibility'' on the stability of the structure of the ideal in terms of its primary decomposition, and we give a new algorithm for computing a so-called comprehensive system consisting of pairs $(C, \mathcal{Q})$, where for each parameter value in $C$, the ideal has the stable decomposition $\mathcal{Q}$. We may call this comprehensive system a parametric primary decomposition of the ideal. Also, one can also compute a dense set $\mathcal{O}$ such that $\varphi_\alpha(\mathcal{Q})$ is a primary decomposition for any $\alpha\in C\cap \mathcal{O}$ via irreducible polynomials. In addition, we give several computational examples to examine the effectiveness of our new decomposition.

Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases

An improvement upon unmixed decomposition of an algebraic variety

Decomposition of polynomial sets into characteristic pairs

A Geometric Approach to Cylindrical Algebraic Decomposition

Comprehensive Systems for Primary Decompositions of Parametric Ideals

Stability of Triangular Decomposition and Comprehensive Triangular Decomposition

Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

Generic Regular Decompositions for Parametric Polynomial Systems

Decomposing abelian varieties into simple factors: algorithms and applications

The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Memory distribution in complex fitness landscapes

A Maple Package for Computing Groebner Bases for Linear Recurrence Relations

Splitting Varieties for Cup Products with $\mathbb Z/3$-Coefficients

On The Group Algebra Decomposition of a Jacobian Variety

Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases

Characteristic Varieties of Hypersurface Complements

Cylindrical Algebraic Sub-Decompositions

On the Beauville--Bogomolov decomposition in characteristic $p\geq 0$

Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Chow Künneth decomposition for étale motives

A Syzygial Method for Equidimensional Decomposition