代数閉体におけるヒルベルトの零点定理のパラメトリック版

この記事では、有理関数体上の多変数多項式系が、一般化リーマン予想を仮定した場合、代数閉包において共通根を持つことの判定問題（HNP）が、計算量クラスAMに属することを示しています。