OpenAIのAIが証明した「セールの正値性予想」：高い次元でも、次元の合った交わりは必ず正の数で数えられる

この記事の要点

交叉重複度: 2つの図形が1点で交わるとき、その点を「何回分の交わり」と数えるかを決める数です。平面曲線なら素朴な数え方で足りますが、高い次元では狂うことがあり、セールはTorという補正を入れた定義を作りました。
セールの予想: 次元がちょうど足りている交わりなら、この数は必ず正になる、という予想です。セールは多くの場合に証明し、「分岐した混標数」と呼ばれる種類の環の一般の場合（5次元以上）が残っていました。
今回の結果: OpenAIのモデルが書いた論文が、残っていた場合を含めて、すべての正則局所環で正値性を証明したと主張しています。
確かさ: Leanの形式化はありません。論文は査読前のプレプリントで、専門家による検証を待つ段階です。

この記事で読む論文

Positivity of Serre's Intersection Multiplicity

OpenAI　2026年9月23日付　プレプリント（査読前）　31ページ　PDF 0.5MB

論文のPDFを読む GitHubで見る（LaTeXソース・BibTeX）

PDFは2026年10月12日にGitHubから取得した版のコピーで、Apache License 2.0（全文）に従って掲載しています。修正版が出た場合は、GitHubのほうが新しくなります。

定義・命題の下の「証明」は、開くとステップが並びます。もう少し詳しくは大学1〜2年程度の数学の補足、専門的な話は論文の中身に踏み込む補足です。どちらも開かずに読み進められます。

交わりを数える式についての予想が証明された

2026年10月6日、OpenAIは未公開の社内モデルが書いた数学の論文をGitHubのリポジトリ openai/math で公開しました^[1]。その193番が、この記事で読む「Positivity of Serre's Intersection Multiplicity」です^[2]。

テーマは、図形どうしの交わりを数えることです。直線と放物線が接するとき、交点は1つでも「2回分」と数えるのが自然です。この数え方を高い次元に広げたのがセールの交叉重複度で、セールはそれが必ず正になると予想しました。

この記事では、平面曲線の交点の数え方から始めて、高い次元で何が起きるか、セールの定義と予想、これまでに分かっていたこと、今回の定理と証明の考え方を順に見ます。

この論文は、10月7日付の修正・取り下げには含まれていません。リポジトリの更新は修正と取り下げの記録にまとめています。

平面曲線の交点を数える

放物線 $y=x^2$ と直線 $y=t$ の交点を考えます。 $t>0$ なら $x=\pm\sqrt t$ の2点で交わり、 $t$ を $0$ に近づけると2点は近づいて、 $t=0$ で原点に重なります。

y=x^2

y=1

y=0.25

y=0

2つの交点が重なる

図1具体例放物線

y=x^2

と直線

y=t

の実数の交点です。

t=1

（青）と

t=1/4

（緑）では2点で交わり、

t=0

（橙）では2点が原点で重なります。交点の座標は

x=\pm\sqrt t

で計算して描いています。

重なった交点を「2回分」と数えると、 $t$ を動かしても交点の個数が変わりません。この「重なり具合」を、多項式の計算で決めるのが交点の重複度です。

原点の近くだけを見るために、原点で $0$ にならない多項式で割ることを許した環を使います。

定義1 原点での局所環

$\mathbb{C}[x_1,\dots,x_n]$ の元の分数 $f/g$ で、 $g(0,\dots,0)\ne0$ となるもの全体を $\mathcal{O}_n$ と書き、原点での局所環と呼ぶ。原点で $0$ になる元の全体 $\mathfrak{m}$ が、ただ1つの極大イデアルである。

$\mathcal{O}_n$ では、原点で $0$ にならない多項式はすべて逆元をもちます。たとえば $1+x$ は $\mathcal{O}_1$ で可逆で、 $1/(1+x)$ が逆元です。こうすると、原点から離れたところの交点は数に入らなくなります。

定義2 平面曲線の交点の重複度 [3, 演習5.4, p.50]

平面曲線 $f=0$ と $g=0$ が原点で孤立して交わるとき、原点での交点の重複度を次で定める。

I_0(f,g)=\dim_{\mathbb{C}}\mathcal{O}_2/(f,g)

\begin{aligned}I_0(f,g) &= \dim_{\mathbb{C}}\mathcal{O}_2/(f,g)\end{aligned}

例3 接する直線と放物線

$f=y-x^2,\ g=y$ とする。 $(f,g)$ で割ると $y=0$ かつ $x^2=0$ となるので、次のようになる。

\mathcal{O}_2/(y-x^2,\,y)\cong\mathcal{O}_1/(x^2)

\begin{aligned}\mathcal{O}_2/(y-x^2,\,y) &\cong \mathcal{O}_1/(x^2)\end{aligned}

右辺の元は $a+bx$ （ $a,b\in\mathbb{C}$ ）と書け、 $1,x$ が基底なので $I_0=2$ 。図1の重なった交点がちょうど2回分と数えられた。

例4 いろいろな交わり

(1)　2直線 $x=0,\ y=0$ ： $\mathcal{O}_2/(x,y)\cong\mathbb{C}$ なので $I_0=1$ 。

(2)　 $y=x^3$ と $y=0$ ： $\mathcal{O}_1/(x^3)$ の基底は $1,x,x^2$ なので $I_0=3$ 。

(3)　尖った曲線 $y^2=x^3$ と $y=0$ ：同じく $\mathcal{O}_1/(x^3)$ で $I_0=3$ 。

射影平面で $d$ 次と $e$ 次の曲線が共通成分をもたなければ、交点を重複度つきで数えた個数は $de$ になります。これがベズーの定理です[3, 系7.8, p.74]。このサイトのベズーの定理の回で詳しく扱っています。

高い次元では素朴な数え方が狂う

$\mathbb{C}^n$ の中の図形 $Y,Z$ が、原点だけで交わるとします。 $Y,Z$ を定めるイデアルを $I,J$ とすると、平面曲線と同じ考え方で次の数が候補になります。

\dim_{\mathbb{C}}\mathcal{O}_n/(I+J)

ところが、これは「動かしても変わらない個数」になりません。次の例は、ハーツホーンの教科書の付録にも載っている標準的な例です[4, 付録A 例1.1.1, p.190]。

例5 2枚の平面と1枚の平面

$\mathbb{C}^4$ の座標を $x,y,z,w$ とする。 $Y$ は2枚の平面 $\{x=y=0\}$ と $\{z=w=0\}$ の和集合で、イデアルは次のとおり。

I=(x,y)\cap(z,w)=(xz,\ xw,\ yz,\ yw)

\begin{aligned}I &= (x,y)\cap(z,w)\\&= (xz,\ xw,\ yz,\ yw)\end{aligned}

$Z$ は平面 $\{x=z,\ y=w\}$ で、イデアルは $J=(x-z,\ y-w)$ 。 $Y\cap Z$ は原点だけである。

(1)　素朴な数え方では $\dim\mathcal{O}_4/(I+J)=3$ になる。

(2)　 $Z$ を $Z_t=\{x-z=t,\ y=w\}$ （ $t\ne0$ ）に動かすと、 $Z_t$ は2枚の平面 $\{x=y=0\}$ 、 $\{z=w=0\}$ と、それぞれ点 $(0,0,-t,0)$ 、 $(t,0,0,0)$ で1回ずつ横切って交わる。動かしたあとの交点の個数は $2$ である。

証明

(1) $J$ で割ると $z=x,\ w=y$ になり、 $I$ は $(x^2,xy,xy,y^2)$ になる。よって $\mathcal{O}_4/(I+J)\cong\mathcal{O}_2/(x^2,xy,y^2)$ 。
$\mathcal{O}_2/(x^2,xy,y^2)$ の元は $a+bx+cy$ と書け、 $1,x,y$ が基底なので次元は $3$ 。
(2) $\{x=y=0\}$ との交点は、 $-z=t,\ 0=w$ から $(0,0,-t,0)$ 。 $\{z=w=0\}$ との交点は、 $x=t,\ y=0$ から $(t,0,0,0)$ 。
どちらも2次元の平面どうしが1点で交わり、接する方向がない（4つの1次式が独立）ので、重複度は $1$ ずつである。

V(z,w)

V(x,y)

Z

O

V(z,w)

V(x,y)

Z_t

交点は原点だけ

少し動かすと交点は2つ

図2概念図例5の模式図です。4次元は描けないので、2次元の平面を線で表しています。青と緑が

Y

の2枚の平面、橙が

Z

です。左は原点

O

だけで交わる様子、右は

Z

を

Z_t

に動かすと、交点が2つに分かれる様子を表します。線の向きや長さに意味はなく、どれとどれが交わるかだけが意味をもちます。

動かすと交点は2つなのに、素朴な数え方では3になりました。1回分多く数えてしまった原因は、 $Y$ の2枚の平面が原点の1点だけでつながっていることにあります。 $Y$ は原点で「きれいな図形」になっていません（コーエン・マコーレーでない、といいます）。

セールの定義：Torで補正する

セールは、余分に数えた分を引き算で補正する式を考えました^[5]。補正に使うのが $\operatorname{Tor}$ です。

定義6 セールの交叉重複度 [5, 第V章][4, 付録A §1, p.189]

$R$ を正則局所環、 $M,N$ を有限生成 $R$ 加群で、 $M\otimes_RN$ の長さが有限のものとする。

\chi^R(M,N)=\sum_{i=0}^{\dim R}(-1)^i\,\ell_R\bigl(\operatorname{Tor}_i^R(M,N)\bigr)

\begin{aligned}\chi^R(M,N) &= \sum_{i=0}^{\dim R}(-1)^i\,\ell_R\bigl(\operatorname{Tor}_i^R(M,N)\bigr)\end{aligned}

ここで $\ell_R$ は加群の長さ[6, §2, p.15]、 $\operatorname{Tor}$ はテンソル積の導来関手[6, 付録B, p.338]である。

図形 $Y,Z$ の交わりに使うときは $M=R/I,\ N=R/J$ とします。 $i=0$ の項は $\operatorname{Tor}_0=R/I\otimes_RR/J=R/(I+J)$ で、素朴な数え方そのものです。残りの項が補正です。

$R=\mathcal{O}_n$ で、 $R/I\otimes R/J$ が $\mathbb{C}$ 上有限次元なら、長さは $\mathbb{C}$ 上の次元と同じです。 $\operatorname{Tor}_1$ には、イデアルだけで書ける次の表し方があります。

命題7 $\operatorname{Tor}_1$ の表し方

環 $R$ のイデアル $I,J$ について、次が成り立つ。

\operatorname{Tor}_1^R(R/I,R/J)\cong\frac{I\cap J}{IJ}

\begin{aligned}\operatorname{Tor}_1^R(R/I,R/J) &\cong \frac{I\cap J}{IJ}\end{aligned}

証明

完全列 $0\to I\to R\to R/I\to0$ に $R/J$ をテンソルすると、 $\operatorname{Tor}$ の長い完全列が得られる。

$R$ は自由加群なので $\operatorname{Tor}_1^R(R,R/J)=0$ である。よって次の完全列がある。
$0\to\operatorname{Tor}_1^R(R/I,R/J)\to I\otimes_RR/J\to R/J\to R/(I+J)\to0$ $\begin{aligned}0 &\to \operatorname{Tor}_1^R(R/I,R/J)\\&\to I\otimes_RR/J\\&\to R/J\\&\to R/(I+J)\\&\to 0\end{aligned}$
$I\otimes_RR/J\cong I/IJ$ で、真ん中の写像は $a+IJ\mapsto a+J$ である。
その核は $I\cap J$ の元の類なので $(I\cap J)/IJ$ で、これが $\operatorname{Tor}_1$ と同型である。

例8 例5の補正

$I=(xz,xw,yz,yw),\ J=(x-z,y-w)$ について、次のようになる。

\begin{aligned} \ell\bigl(\operatorname{Tor}_0\bigr)&=3\\ \ell\bigl(\operatorname{Tor}_1\bigr)&=\dim\frac{I\cap J}{IJ}=1\\ \operatorname{Tor}_i&=0\quad(i\ge2)\end{aligned}

よって $\chi=3-1+0=2$ で、動かしたときの交点の個数 $2$ と一致する。

$I\cap J$ は $IJ$ より、2次式1つ分だけ大きくなります。 $\operatorname{Tor}_2=0$ の理由は下の補足に書きました。

もう少し詳しく

\operatorname{Tor}_2=0

の理由と、和が有限で終わる理由

$J=(x-z,y-w)$ は2つの元の正則列で生成されるので、 $R/J$ はコシュル複体という長さ2の自由分解をもちます。これで $\operatorname{Tor}$ を計算すると、 $\operatorname{Tor}_2(R/I,R/J)$ は $R/I$ の中で $x-z$ と $y-w$ の両方に掛けて $0$ になる元の全体です。

$R/I$ は2枚の平面の関数の環です。そのような元は、それぞれの平面の上で0でない関数を掛けて $0$ になるので、両方の平面の上で $0$ 、つまり $0$ です。よって $\operatorname{Tor}_2=0$ です。

一般に、正則局所環 $R$ の上の有限生成加群は長さ $\dim R$ 以下の自由分解をもちます（セールの定理）[6, 定理19.2, p.188]。だから $\operatorname{Tor}_i$ は $i>\dim R$ で $0$ になり、定義6の和は有限です。

正則局所環と「標数」の3つの場合

セールの定義は、 $\mathcal{O}_n$ より広い「正則局所環」の上で考えます。整数を含む環でも交わりを数えられるようにするためで、数論幾何で必要になります。

定義9 正則局所環 [6, §14, p.126]

ネーター局所環 $(R,\mathfrak{m})$ が正則であるとは、極大イデアル $\mathfrak{m}$ が $\dim R$ 個の元で生成されることをいう。

$\mathcal{O}_n$ は $\dim=n$ で、 $\mathfrak{m}=(x_1,\dots,x_n)$ なので正則です。正則局所環は、図形でいえば「滑らかな点」の環にあたります。

正則局所環は、標数の様子で3種類に分かれます。剰余体 $R/\mathfrak{m}$ の標数と $R$ 自身の標数が同じものを等標数、 $R$ は標数 $0$ で剰余体が標数 $p>0$ のものを混標数と呼びます。混標数のときは、 $p$ が $\mathfrak{m}^2$ に入らなければ不分岐、入れば分岐しているといいます[2, §1]。

例10 3種類の正則局所環

(1)　等標数： $\mathcal{O}_n$ （ $\mathbb{C}$ を含む）。 $\mathbb{F}_p[x,y]$ を $(x,y)$ で局所化した環（ $\mathbb{F}_p$ を含む）。

(2)　不分岐な混標数： $\mathbb{Z}[x]$ を $(p,x)$ で局所化した環。 $\mathfrak{m}=(p,x)$ で、 $p$ は $\mathfrak{m}^2$ に入らない。

(3)　分岐した混標数： $\mathbb{Z}[x,y]/(x^2-p)$ を $(x,y)$ で局所化した環。 $\mathfrak{m}=(x,y)$ で、 $p=x^2\in\mathfrak{m}^2$ 。

(3) は、 $\mathbb{Z}$ に $\sqrt p$ を付け加えた世界の上で考えることにあたります。ただし (3) の環は、完備化すると「 $\mathbb{Z}[\sqrt p]$ を完備化した環（完備離散付値環）の上のべき級数環」になるので、次の節で見るとおり、セールの方法で扱える例です。分岐しているだけでは難しい場合にならない、という点に注意してください[2, §1.1]。

素数 $p$ が $\sqrt p\cdot\sqrt p$ と同じ因子の積に「割れる」ことを分岐と呼ぶのは、整数論の言葉づかいです。

セールの予想

セールは、正則局所環 $R$ と、 $M\otimes_RN$ の長さが有限な有限生成加群 $M,N$ について、まず次の次元の不等式を、すべての正則局所環で示しました[5, 第V章]^[7]。

\dim M+\dim N\le\dim R

\begin{aligned}\dim M+\dim N &\le \dim R\end{aligned}

図形でいえば、 $n$ 次元の空間の中で点だけで交わる2つの図形は、次元の和が $n$ 以下だということです[3, 命題7.1, p.65]。そのうえで、次の3つを予想しました。

予想11 セールの予想 [5, 第V章]^[8]

(1)　消えること： $\dim M+\dim N<\dim R$ なら $\chi^R(M,N)=0$ 。

(2)　負にならないこと：いつでも $\chi^R(M,N)\ge0$ 。

(3)　正になること： $\dim M+\dim N=\dim R$ なら $\chi^R(M,N)>0$ 。

セール自身は「 $\chi>0$ となるのは $\dim M+\dim N=\dim R$ のときに限る」という形で述べています。「限る」の向きは (2) と合わせると (1) になり、逆向きが (3) です^[8]。(3) が今回の主題です。 $\operatorname{Tor}_0$ の項は正ですが、補正の項は符号を交互に変えて入るので、和が正になることは定義からは分かりません[2, §1]。

(1) は、次元が足りない交わりについての主張です。たとえば $\mathbb{C}^3$ の中で2本の曲線が1点で交わる場合は、少し動かせば交わらなくなります。だから重複度は $0$ であってほしい、というのが (1) です。

これまでに分かっていたこと

消える

負にならない

正になる

等標数

不分岐な混標数

分岐した混標数（一般）

セール

ロバーツ, ジレ・スーレ

1985

ガバー

1995

今回

2026

図3概念図予想11の3つの主張を、正則局所環の3種類で分けた表です。緑はセール自身が示した部分、青はその後に示された部分、橙が今回の論文の結果です。セールは、分岐した混標数でも、完備離散付値環の上のべき級数環の形の環では3つとも示しています。また、

\dim R\le4

の場合の (3) は以前から知られていました。

ここでは、論文の序論と、ロバーツの概説^[8]、バット・ホックスター・マの論文^[9]をもとに、流れをまとめます。

1957〜58年（セール）：コレージュ・ド・フランスの講義で $\chi$ を導入しました。講義録は『Algèbre locale, Multiplicités』（Lecture Notes in Mathematics 11、第2版1965年）です^[5]。次元の不等式はすべての正則局所環で示し、(1)〜(3) は、環を完備化したものが「体の上のべき級数環」か「完備離散付値環の上のべき級数環」になる場合に示しました。方法は「対角線への帰着」です[2, §1.1][10, §1][9, §1.5]。等標数と不分岐な混標数はこれに含まれます。
1973年（ホックスター）： $\dim R\le4$ の場合に (3) が成り立つことは、ホックスターの仕事から従います[9, §1.6]。
1985年（ロバーツ、ジレ・スーレ）：(1) をすべての正則局所環で証明しました。ロバーツは局所チャーン指標、ジレとスーレは独立にK理論のアダムズ作用素を使いました^[7,11]。
1995年（ガバー）：(2) をすべての正則局所環で証明しました。ド・ジョンの改変（alteration）を使う証明で、ガバー自身は論文にしておらず、1995年12月のIHESでの講演と、ベルテロのブルバキ・セミナーの報告で知られています[12, Théorème 6.1.1]^[8]。
2000年代以降（部分的な結果）：蔵野とロバーツは (3) が成り立つための判定条件を与えました^[13]。スカリットは2次元の完備正則局所環の上のべき級数環で (3) を示し^[10]、KCとソト・レヴィンスは「セールの持ち上げ」をもつ加群の場合を示しました^[14]。バット、ホックスター、マは、ある種の列（lim コーエン・マコーレー列）があれば (3) が従うという条件つきの道筋を示しています[9, Theorem 6.1]。

2026年8月に改訂されたバット、ホックスター、マの論文は、分岐した場合の (3) は「5次元以上のどの次元でも未解決」で、「50年以上未解決の問題」だと書いています[9, §1.5, §1.6]。残っていたのは、分岐した混標数の正則局所環のうち、完備離散付値環の上のべき級数環の形にならないものです。たとえば $p$ を素元とする完備離散付値環 $V$ （ $p$ 進整数環など）の上の $V[[X,Y,Z]]/(p-X^3-Y^5-Z^7)$ のような形の環です[9, §1.5]。ただしこの例は3次元なので (3) はすでに知られていて、残っていたのはこの種の形で5次元以上のものです。

今回の定理

定理12 OpenAI, 2026 [2, Theorem 1.1]

$(R,\mathfrak{m})$ を $d$ 次元の可換ネーター正則局所環、 $M,N$ を $0$ でない有限生成 $R$ 加群とする。 $\ell_R(M\otimes_RN)<\infty$ かつ $\dim M+\dim N=d$ なら、次が成り立つ。

\chi^R(M,N)>0

\begin{aligned}\chi^R(M,N) &> 0\end{aligned}

標数や分岐についての仮定はありません。論文が正しければ、予想11(3) はすべての正則局所環で成り立ち、(1)〜(3) の3つがすべて解決したことになります。

とくに、どちらの加群についても、不分岐な正則局所環の加群から「持ち上げられる」という仮定を置いていません[2, §1.1]。論文が挙げる部分的な結果では、KCとソト・レヴィンスの結果がこの種の持ち上げの条件を、スカリットの結果が2次元の底の上で滑らかという仮定を使っていました。

証明の考え方

証明は31ページで、パーフェクトイドや代数的K理論といった現代的な道具を使います。以下は、論文の概要に沿った骨組みです[2, §1.2]。

1
2つの整域の場合に帰着する
標準的な帰着で、 $M=R/P,\ N=R/Q$ （ $P,Q$ は素イデアル）とし、 $R$ を完備化して、 $D=R/P$ と $E=R/Q$ が完備局所整域で次元 $h,l$ （ $h+l=d$ ）の場合に帰着する。
2
有限拡大とガロア群の和に分ける
$D,E$ をそれぞれ有限拡大 $D',E'$ に広げ、有限群 $G_D,G_E$ で動かす。代数的K理論の比較から、 $\chi^R(D,E)$ の正の定数倍が、群の元 $\sigma$ ごとの量 $c_\sigma$ の和になる。あとは $c_\sigma$ が1つずつ正であることを示せばよい。
3
「正規化した長さ」で測る
パーフェクトイドの理論から得られる大きな代数 $C_D,C_E$ の上で、普通の長さの代わりに正規化した長さを使う。この長さでは、正の次数のコシュルホモロジーが長さ $0$ になり、補正の項が消える。
4
有限の長さの加群で近似する
正規化した長さを、有限の長さの加群 $M_n$ の長さを整数で割ったもので近似する。極小自由分解の高い次数の階数は、割る整数に比べて小さくなるので、そこで切り落とす。
5
2回目の比較で正を示す
切り落とした複体を $C_E$ で評価すると次数 $0$ の項だけが残り、その長さが $M_n$ の生成元の個数で下から押さえられる。2回目のガロア群の和で、各 $c_\sigma$ が正になる。

専門的な話使われている道具

正規化した長さの枠組みはファルティングスが almost mathematics の中で導入し、ガバーとラメロが基礎を整えたものです。混標数の構成には、バットとショルツェのパーフェクトイド化と概純性（almost purity）、カイ・リー・マ・シュヴェーデ・タッカーのパーフェクトイドの長さの結果が使われます。圏論的な降下の部分には、ランドとタムの、切り詰め不変量の降下定理が使われます[2, §1.1]。

論文は、バット・ホックスター・マによる条件つきの道筋（両方の商整域に「lim コーエン・マコーレー列」があれば正値性が従う）にも触れています。今回の証明は、そのような列の存在を仮定していません[2, §1.1]。

正値性から分かること

論文は、正値性からすぐ従う帰結を2つ挙げています[2, §1.3]。

1つ目は、平面曲線でよく知られた不等式「交点の重複度は、それぞれの点の重複度の積以上」の一般化です。平面曲線では、原点で $f$ と $g$ の最低次の項の次数を $m_0(f),m_0(g)$ とすると、次が成り立ちます[3, 演習5.4, p.50]。

I_0(f,g)\ge m_0(f)\,m_0(g)

\begin{aligned}I_0(f,g) &\ge m_0(f)\,m_0(g)\end{aligned}

等号が成り立つのは、ちょうど2つの曲線が原点で共通の接線をもたないときです。例3では $m_0=1$ どうしなので右辺は $1$ ですが、 $y=x^2$ と $y=0$ は接線 $y=0$ を共有するので、 $I_0=2>1$ です。

系13 OpenAI, 2026 [2, Corollary 1.2]

$(A,\mathfrak{m})$ を正則局所環、 $P,Q$ を素イデアルで、 $A/(P+Q)$ の長さが有限、 $\dim A/P+\dim A/Q=\dim A$ とする。接錐の交わり $T$ の次元が $1$ 以下なら、ヒルベルト・サミュエルの重複度 $e_{\mathfrak{m}}$ について次が成り立つ。

\chi^A(A/P,A/Q)\ge e_{\mathfrak{m}}(A/P)\,e_{\mathfrak{m}}(A/Q)

\begin{aligned}\chi^A(A/P,A/Q) &\ge e_{\mathfrak{m}}(A/P)\,e_{\mathfrak{m}}(A/Q)\end{aligned}

等号が成り立つのは、ちょうど $\dim T=0$ （接錐が原点でしか交わらない）のときである。

証明では、原点でブローアップしたあとの交点ごとの交叉重複度が正であることを使います。そこで今回の定理が必要になります。

2つ目は、記号的べきについての包含です。分岐した混標数の正則局所環 $(R,\mathfrak{m})$ と、 $\sqrt{P+Q}=\mathfrak{m}$ 、 $\operatorname{ht}P+\operatorname{ht}Q=\dim R$ をみたす素イデアル $P,Q$ について、蔵野とロバーツの定理から次が従います[2, §1.3]。

P\cap Q^{(r)}\subseteq\mathfrak{m}^{r+1}\qquad(r\ge1)

\begin{gathered}P\cap Q^{(r)}\subseteq\mathfrak{m}^{r+1}\\(r\ge1)\end{gathered}

\begin{aligned}P\cap Q^{(r)} &\subseteq \mathfrak{m}^{r+1}\\[4pt]&(r\ge1)\end{aligned}

どこまで確かなのか

論文は2026年9月23日付のプレプリントで、査読はまだです^[2]。
この結果にはLeanの形式化がありません。リポジトリの形式化の一覧に、この論文の項目はありません。証明が正しいかどうかは、専門家が論文を読んで確かめるのを待つことになります。
2026年10月7日付の更新では、この論文は修正も取り下げもされていません^[15]。
論文の脚注によると、2025年12月9日付のnote.comの投稿（Editan名義で、Copilot と Gemini の協力を記したもの）も、素イデアルの形の正値性を証明したと主張しています。論文はこれを「確立した定理としてではなく、同じ範囲の主張として記録する」と書いています[2, §1 脚注1]。筆者はこの投稿の中身を確かめていません。

この記事の例5(1)と例8の $\operatorname{Tor}_0,\operatorname{Tor}_1$ の長さは、記事の生成のときに線形代数で計算して確かめています。論文の証明そのものは、筆者は検証していません。

残された問題

独立した検証：パーフェクトイドとK理論を組み合わせた新しい議論なので、専門家による確認が待たれます。
正則でない環： $R$ が正則でなく、一方の加群だけが有限の自由分解をもつ場合にも $\chi$ は定義できます。この場合は、次元が足りないのに $\chi$ が負になる例を、ダッタ、ホックスター、マクラフリンが1985年に作っています。(1)(2) は正則性なしでは成り立ちません^[8][9, §1.6]。

OpenAIの数学論文には、同じ可換環論のアイゼンバッド・グリーン・ハリス予想の記事と、多項式環についてのザリスキの消去問題の記事もあります。

体 $k$ で $1+1+\dots+1$ （ $p$ 個） $=0$ となる最小の正の整数 $p$ 。そのような $p$ がなければ標数0と言う。標数は0か素数で、 $\mathbb{F}_p$ の標数は $p$ 、 $\mathbb{Q},\mathbb{R},\mathbb{C}$ の標数は0。体でない環でも同じように定める（ $\mathbb{Z}$ の標数は0、 $\mathbb{Z}/6$ の標数は6）。0か素数になるのは体や整域の場合。

極大イデアルがただ1つの可換環。極大イデアルに入らない元はすべて単元になる。例：素イデアル $P$ での局所化 $A_P$ （極大イデアルは $a/s$ （ $a\in P$ ）の全体）、 $k[x]/(x^2)$ 、 $\mathbb{Z}/4\mathbb{Z}$ 。

環 $A$ の上の加群（ $A$ 加群）とは、足し算について可換群で、 $A$ の元を掛けられ、分配法則などベクトル空間と同じ規則をみたすもの。体の上の加群はベクトル空間で、 $A$ のイデアルも $A$ 加群。

加群 $N$ の部分加群の列 $0=N_0\subsetneq N_1\subsetneq\cdots\subsetneq N_\ell=N$ で、隣り合う商がどれも単純（ $0$ と自分以外に部分加群がない）なものの長さ $\ell$ 。列の取り方によらない。体 $k$ を含み剰余体が $k$ の局所環の上の加群では、 $k$ 上の次元に等しい（ $\mathbb{Z}_{(p)}$ の上の $\mathbb{Z}/p^2$ のように体を含まない場合は別で、長さは2）。

環の準同型 $B\to A$ 、 $B\to C$ から作る環 $A\otimes_BC$ 。 $a\otimes c$ の形の元の和からなり、 $b\in B$ について $(ba)\otimes c=a\otimes(bc)$ とみなす。例： $B[x]\otimes_BC\cong C[x]$ 、 $A\otimes_B(B/J)\cong A/JA$ 。加群 $M,N$ についても同じように $M\otimes_BN$ を作る。

大域切断 $\mathcal{F}\mapsto\mathcal{F}(X)$ のように完全性を一部しか保たない関手 $F$ から作る関手の列 $R^iF$ 。対象を入射的な対象の列で置き換えてから $F$ を施し、そのコホモロジーをとる。層のコホモロジー $H^i(X,-)$ は大域切断の右導来関手として定義される。逆に、射影的（自由）な分解を使うと左導来関手ができ、テンソル積の左導来関手が $\operatorname{Tor}_i$ である。

加群（ベクトル空間でもよい）の準同型の列 $0\to U\xrightarrow{\alpha}V\xrightarrow{\beta}W\to0$ で、 $\alpha$ が単射、 $\beta$ が全射、 $\operatorname{Im}\alpha=\operatorname{Ker}\beta$ となるもの。このとき $W\cong V/U$ で、長さ（有限次元なら次元）について $\ell(V)=\ell(U)+\ell(W)$ 。

環 $A$ の元の列 $x_1,\dots,x_r$ で、各 $x_i$ が $A/(x_1,\dots,x_{i-1})$ の非零因子であり、 $A/(x_1,\dots,x_r)\neq0$ となるもの。例： $k[x,y]$ の $x^2,\ y^3$ 。 $k[x,y]/(x^2,xy)$ の $y$ は $xy=0$ なので正則列でない。

局所環 $A$ とその極大イデアル $M$ について、 $A/M^n$ （ $n=1,2,\dots$ ）の極限としてできる環 $\hat A$ 。点のごく近くだけを見ることに当たる。例： $k[x,y]_{(x,y)}$ の完備化は形式的べき級数環 $k[[x,y]]$ 。

素イデアルがちょうど2つ（ $(0)$ と極大イデアル）の単項イデアル整域。例： $\mathbb{Z}_{(p)}$ 、 $k[x]_{(x)}$ 。0でない元は $\pi^n u$ （ $\pi$ は極大イデアルの生成元、 $u$ は単元）と一通りに書け、 $n$ が「その点で何位の零点か」を表す。

0 でない元どうしの積が0にならない可換環（ $ab=0$ なら $a=0$ または $b=0$ ）。例： $\mathbb{Z}$ 、体上の多項式環。 $A/P$ が整域であることと、 $P$ が素イデアルであることは同値。

素イデアル $P$ の $n$ 乗の記号的べき $P^{(n)}=P^nA_P\cap A$ 。 $P$ の生成点のまわりで $n$ 位以上消える元の全体で、 $P^n$ を含む $P$ 準素イデアル。例： $k[x,y,z]/(xy-z^2)$ の $P=(x,z)$ では $x\in P^{(2)}$ だが $x\notin P^2$ 。

参考文献

OpenAI, openai/math: mathematical manuscripts and supporting proof artifacts, GitHub, 2026.
OpenAI, Positivity of Serre's Intersection Multiplicity, OpenAI Math Release preprint, September 23, 2026.
R. ハーツホーン（高橋宣能・松下大介訳）, 『代数幾何学 1』, 丸善出版, 2013.
R. ハーツホーン（高橋宣能・松下大介訳）, 『代数幾何学 3』, 丸善出版, 2012.
J.-P. Serre, Algèbre locale, Multiplicités (Cours au Collège de France 1957–58, rédigé par P. Gabriel), 2e éd., Lecture Notes in Math. 11, Springer, 1965.
松村英之, 『復刊可換環論』, 共立出版, 2000.
P. Roberts, The vanishing of intersection multiplicities of perfect complexes, Bull. Amer. Math. Soc. 13 (1985), 127–130.
P. Roberts, The homological conjectures (survey, author's web version), University of Utah.
B. Bhatt, M. Hochster, L. Ma, Lim Cohen–Macaulay sequences of modules, arXiv:2410.18372 (v2, 2026); J. reine angew. Math. (2026).
C. Skalit, Positivity of intersection multiplicity over a two-dimensional base, J. Pure Appl. Algebra 223 (2019), 1801–1816.
H. Gillet, C. Soulé, Intersection theory using Adams operations, Invent. Math. 90 (1987), 243–277（予告は C. R. Acad. Sci. Paris 300 (1985), 71–74）.
P. Berthelot, Altérations de variétés algébriques [d'après A. J. de Jong], Séminaire Bourbaki exp. 815 (1996), Astérisque 241 (1997), 273–311.
K. Kurano, P. Roberts, The positivity of intersection multiplicities and symbolic powers of prime ideals, Compositio Math. 122 (2000), 165–182.
N. KC, A. J. Soto Levins, On liftings of modules of finite projective dimension, Int. Math. Res. Not. 2024, 14729–14736.
OpenAI, openai/math: History, GitHub, 2026.