Skip to main content
10 of 14
deleted 19 characters in body; edited title
Turbo
  • 13.9k
  • 1
  • 27
  • 76

Resultants with commutative rings

Macaulay Resultants help identify common root in $\mathbb P^{n-1}(\mathbb K)$ of $n$ homogeneous polynomials in $n$ variables when $\mathbb K$ is algebraically closed. Is it possible that some type of multivariate resultants give all common roots $(x_0,x_1,\dots,x_{n-1},x_n)\not\equiv(0,0,\dots,0,0)\bmod m$ with $x_0\equiv1\bmod m$ of $r\geq n+1$ homogeneous polynomials in polynomial ring $\mathbb Z_m[x_0,x_1,\dots,x_{n-1},x_n]$ $$f_1(x_0,x_1,\dots,x_n)\equiv0\bmod m$$ $$f_2(x_0,x_1,\dots,x_n)\equiv0\bmod m$$ $$\vdots$$ $$f_r(x_0,x_1,\dots,x_n)\equiv0\bmod m$$ with $m$ prime or is there different technique that applies (we assume coefficient matrix is rank $r$)?

The method could be exponential in $n$ (note Macaulay Resultants are exponential in $n$ and I only seek a method that is compatible in complexity with algebraically closed case). It only needs to depend polylogarithmically in $m$ (it is trivial to find a method with $O(m^n)$ complexity but I seek something $O((\log m)^n)$).

Turbo
  • 13.9k
  • 1
  • 27
  • 76