5
$\begingroup$

$(A)$ If $K$ is algebraically closed field, then consider $m$ polynomials $f_i$ for $i=\{1,\dots,m\}$ in $K[x_1,\dots,x_n]$ of degree $d_i$ each with no common root. We know there exists $g_i$ for $i=1,\dots,m$ such that $$f_1g_1+\dots+f_mg_m=1$$

What can we say about the minimum degrees of $g_i$? ($(A)$ has been answered below).

$(B)$ If we relax the $1$ requirement or any fixed constant requirement and ask just for polynomials such that $$f_1g_1+\dots+f_mg_m\neq 0 \mbox{ (but not a constant)}$$ which seems same as $$Z(f_1g_1+\dots+f_mg_m)\bigcap Z((0))=\emptyset$$ can we say anything about the minimum degrees of $g_i$?

Is anything meaningful possible if $K$ is not closed in the relaxed problem $(B)$? Again what are the minimum degrees of $g_i$ here (both lower and upper bounds)?

I am only interested in $K=\Bbb C\mbox{ or }\Bbb R$ here.

related:bound on degree of certain polynomials

$\endgroup$
  • 3
    $\begingroup$ ams.org/journals/jams/1988-01-04/S0894-0347-1988-0944576-7/… $\endgroup$ – Felipe Voloch Nov 20 '14 at 16:59
  • 3
    $\begingroup$ To expand on Felipe's comment, the link is to the article: JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume I, Number 4, October 1988: SHARP EFFECTIVE NULLSTELLENSATZ by JANOS KOLLAR $\endgroup$ – Joe Silverman Nov 20 '14 at 17:10
  • $\begingroup$ @FelipeVoloch the references here seem to talk about upper bound for minimum degree. Please correct me if I am wrong? Is there a reference for lower bound? Thankyou for the link. $\endgroup$ – T.... Nov 20 '14 at 22:31
3
$\begingroup$

The bounds in the article by Kollár as refered in the comment of Felipe Voloch are optimal, see Example 2.3 in that article.

To see this concretely, assume that $m \leq n$, and let $f_1 = x_1^{d_1},f_2 = x_1 x_n^{d_2-1}-x_2^{d_2},...,f_{m-1} = x_{m-2}x_n^{d_{m-1}-1}-x_{m-1}^{d_{m-1}},f_m = 1-x_{m-1} x_m^{d_m-1}$.

By the article of Kollár, one can find $g_1,...,g_m$ such that $f_1 g_1 + ... + f_m g_m = 1$ and $\deg f_i g_i \leq d_1 \cdots d_m$. In the above example, these bounds are optimal, which can be seen as follows: If we assume that $f_1 g_1 + ... + f_m g_m = 1$, and apply this equality along the curve $x = (t^{d_2... d_m - 1},...,t^{d_m-1},1/t)$, one sees that $\deg_{x_m} g_1 \geq d_1\cdots d_m - d_1$, and thus the bound is optimal. (cf. http://www.encyclopediaofmath.org/index.php/Masser-Philippon/Lazard-Mora_example)

(Edit: removed claim with incorrect proof regarding (B))

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Could you clarify the "relaxed problem" answer better? $\endgroup$ – T.... Nov 23 '14 at 11:27
  • 2
    $\begingroup$ I mean that when $K = \mathbb{C}$, or more generally, when $K$ is algebraically closed, then any non-vanishing polynomial is constant, so there are no non-constant polynomials $f_1 g_1 + ... + f_m g_m \neq 0$. (If you by $\neq 0$ mean nowhere vanishing.) On the other hand, if $K = \mathbb{R}$, there certainly are non-constant non-vanishing polynomials, and I don't know whether the answers to (A) and (B) would be different in that case. $\endgroup$ – Richard L Nov 23 '14 at 12:01
  • $\begingroup$ thank you.... can you expect any reasonable answer to this question as well mathoverflow.net/questions/187652/… $\endgroup$ – T.... Nov 23 '14 at 18:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.