Saturday, 12 February 2011

ag.algebraic geometry - Parametric polynomial solution of a single polynomial equation

Let P be a polynomial in n variables with rational coefficients,
PinmathbbQ[Z1,Z2,ldots,Zn], and consider the algebraic
set
Z=lbrace(z1,z2,z3,ldots,zn)inmathbbQn|P(z1,z2,ldots,zn)=0rbrace



If r is a nonnegative
integer, x1,x2,ldots,xr are variables, and Q1,Q2,ldots,Qn
are polynomials in x1,x2,ldots,xr such that
(Q1(x1,ldots,xr),Q2(x1,ldots,xr),ldots,Qn(x1,ldots,xr))inZ
for all (x1,ldots,xr)inmathbbQr, we call (Q1,Q2,ldots,Qn)
a r-dimensional parametric solution
of the equation P(z1,z2,ldots,zn)=0. It is also
natural to define a maximal parametric solution as one with the largest possible r
(to avoid trivialties, we also impose
that there is no variable upon which none of the Qi depends. I'm not sure
that this last condition avoids all degenerate cases, but I'd like to avoid
definitions that involve advanced notions such as the dimension of an algebraic
variety ).



My questions : is the problem of computing the largest r known to be undecidable in general ? What are the most general cases in which algebraic geometry allows us to compute the largest r (and the associated parametric solutions) ?

No comments:

Post a Comment