vix.ing · top · new · best · stats · spec

Explicit estimates for polynomial systems defining irreducible smooth complete intersections

2015/12/17 by Joachim von zur Gathen, Gathen, Joachim von zur, Guillermo Matera +1
Mathematics · #Algebraic Geometry (math.AG) #FOS: Mathematics #Number Theory (math.NT) #math.AG #math.NT

paper · pdf · doi:10.48550/arxiv.1512.05598

31 pages

arxiv created 2015/12/17 · arxiv updated 2015/12/18

Abstract

This paper deals with properties of the algebraic variety defined as the set of zeros of a "typical" sequence of polynomials. We consider various types of "nice" varieties: set-theoretic and ideal-theoretic complete intersections, absolutely irreducible ones, and nonsingular ones. For these types, we present a nonzero "obstruction" polynomial of explicitly bounded degree in the coefficients of the sequence that vanishes if its variety is not of the type. Over finite fields, this yields bounds on the number of such sequences. We also show that most sequences (of at least two polynomials) define a degenerate variety, namely an absolutely irreducible nonsingular hypersurface in some linear projective subspace.

Related