EFFECTIVE CONSTRUCTION OF AN ALGEBRAIC VARIETY NONSINGULAR IN CODIMENSION ONE OVER A GROUND FIELD OF ZERO CHARACTERISTIC

摘要

Let k be a field of zero characteristic finitely generated over a primitive subfield. Let f be a polynomial of degree at most d in n variables, with coefficients from k, irreducible over an algebraic closure k. Then we construct an algebraic variety V nonsingular in codimension one and a finite birational isomorphism V -> 2(f), where Z(f) is the hypersurface of all common zeros of the polynomial f in the affine space. The running time of the algorithm for constructing V is polynomial in the size of the input. Bibliography: 8 titles.