局所大域原理
以下、n 次の形式、すなわちいくつかの変数の n 次多斉次多項式が 0 に等しいという不定方程式を考える。ある形式において局所大域原理が成り立つ、という表現で、その形式が 0 に等しいという不定方程式において局所大域原理が成り立つ、ということを表すものとする。