RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. POMI, 2021 Volume 507, Pages 140–156 (Mi znsl7164)

An effective construction of a small number of equations defining an algebraic variety

A. L. Chistov

St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences

Abstract: Consider a system of polynomial equations in $n$ variables of degrees at most $d$ with the set of all common zeros $V$. We suggest subexponential time algorithms (in the general case and in the case of zero characteristic) for constructing $n+1$ equations of degrees at most $d$ defining the algebraic variety $V$.
Further, we construct $n$ equations defining $V$. We give an explicit upper bound on the degrees of these $n$ equations. It is double exponential in $n$. The running time of the algorithm for constructing them is also double exponential in $n$.

Key words and phrases: algebraic varieties, effective algorithms, defining equations, number of equations.

UDC: 513.6, 518.5

Received: 15.09.2021



© Steklov Math. Inst. of RAS, 2024