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