主発見：ナガタ予想（定理A）が次の形で成立することが示されました。r ≥ 10 かつ非常一般な点 p1,…,pr ∈ P2 に対して，任意の非ゼロ同次多項式で各 pi に少なくとも m ≥ 1 の位数で消えるものは，次数 d が d > m √r を満たします（不等式の向きは厳密）(F1, F10)。

方法と具体的結果：証明は幾つかの標準的な簡約を用いて進みます。まず正規円錐への還元と，重複点（fat points）群の衝突により問題を一つのモノミアル付値スキームに還元します。ここで「重複点」は点の多重度 m を持つ局所的なスキームを指します(F2, F5)。次に，楕円曲線が節（ノード）を作る極限でのシータ関数の漸近挙動を解析します。この解析と補間の双対性（与えられた格子点集合上で任意の値を補間できるかはモノミアルスキーム上のジェットの消失に対応する、という性質）により，問題は格子点の三角形上の補間問題へ還元されます(F3, F6)。その補間行列が満たすランク条件は命題2.4で与えられ，具体的な不等式 q>9p と K ≥ 3 h √(pq) の下で成立します(F4)。

解析的側面では，Lemma 3.2 によって，Tate 曲線上で正規化したシータ基底が τ→0 の極限で局所座標 (w,y) に対する指数関数 e^{k w + j y} に局所的に収束することが示されます。さらにこの収束は任意の固定階数の導関数について一様であるため，評価（制限）行列の各成分は項ごとに組合せ的行列 B0 に収束します。こうして正規円錐上での補間消失結果（定理B）を得ます(F7, F8)。

平面への移し替え：正規円錐上で得た局所的な消失は，正規円錐から平面への変形（deformation to the normal cone）を用いて平面上の局所座標 (u,v) に移し替えられます。具体的には，もし正規面上で所定の重み付き局所イデアルに対する所定の次数の全射が存在しなければ，その近傍の平面上でも同様の消失が生じます(命題4.1)。この移し替えを p=1, q=r, K=rm ととると，d を 3h として 9 h^2 ≤ r m^2 の仮定の下で，次数 3h の多項式が r 個の一般点それぞれで位数 m 以上で消えることは起こり得ないと結論できます。ここで，重み付きモノミアルスキームは Lemma 2.2 によって r 個の重複点の平坦極限として分解でき，評価行列の注入性は平坦変形の近傍で保たれます(F5, F9, F10)。任意の正整数 d,m に対して d ≤ m √r の場合は，この結果を三乗による議論で拡張できます。

有理重みと評価的拡張：互いに素な正整数 p,q について q>9p のとき，固定点の非常一般な局所パラメータを選べば，任意の非零の平面次数 d の節 F に対して評価 ν(F) < d √(pq) が成り立ちます。一方で漸近的不変量 μ̂(ν) は √(pq) に等しく，有限次数のどの多項式も等号を達成しないため，上限は達成されません(F11, F12, F18)。同じ計算は，重み付き一点のブローアップ Y のネフ錐と有効錐を決定し，D = H − √(pq)E が平方零で厳密にネフな境界を与えること、また Cox 環が有限生成でないことを導きます。これらの記述は重み比 q/p > 9 の仮定の下で成立します(F14, F15)。

注意点：ここでの「非常一般」は，点の配置や局所パラメータ空間の中で可算和の代数的部分集合を除く残りを指し，主張はその範囲で有効であることを明示します。定理A における下限 r ≥ 10 は必要であり，9 点の場合には常に非自明な三次曲線が存在するため同様の不等式は成り立ち得ません(F16, F17)。

まとめ：本論は，正規円錐への還元，重複点の衝突によるモノミアル化，シータ関数の節の漸近解析，補間の双対性，そして組合せ的補間計算という一連の還元から成ります。これらを結び付けることで，命題2.4（組合せ的補間），定理B（正規面上の消失），命題4.1（平面への移し替え）を主な入力として，仮定された数値条件と非常一般性のもとでナガタ不等式 d > m √r が導かれます(F4, F8, F9, F16, F17)。