OpenAIのAIが証明した「アイゼンバッド・グリーン・ハリス予想」：正則列を含むイデアルの大きさは、単項式で測れる

この記事の要点

ヒルベルト関数: 多項式環のイデアル $I$ について、 $d$ 次の多項式のうち $I$ に入らない分の次元を $d$ ごとに並べたものです。イデアルの「大きさ」を次数ごとに測ります。
EGH予想: イデアルが正則列 $f_1,\dots,f_n$ （次数 $a_1,\dots,a_n$ ）を含むなら、そのヒルベルト関数は、 $x_1^{a_1},\dots,x_n^{a_n}$ を含む単項式のイデアルでも実現できる、という1990年代からの予想です。
今回の結果: OpenAIのモデルが書いた2本の論文が、標数 $0$ の体の上で、この予想と、ベッチ数についてのより強い「レックス・プラス・パワーズ予想」を証明しました。
確かさ: Leanの形式化はありません。論文は査読前のプレプリントです。正の標数の場合は未解決のままです。

この記事で読む論文

Commuting Division-Coefficient Forms and the Artinian Eisenbud–Green–Harris Conjecture

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

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

The Artinian Lex-Plus-Powers Betti Theorem

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

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

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

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

イデアルの大きさについての予想が証明された

2026年10月6日、OpenAIは未公開の社内モデルが書いた数学の論文をGitHubのリポジトリ openai/math で公開しました^[1]。その200番に、この記事で読む2本の論文が入っています^[2,3]。

テーマは、多項式のイデアルが次数ごとにどれだけの大きさをもつか、です。アイゼンバッド、グリーン、ハリスは1990年代に、イデアルが「正則列」を含めば、その大きさは、正則列と同じ次数の変数のべき $x_i^{a_i}$ を含む単項式のイデアルで測れると予想しました。論文はこれを標数 $0$ で証明しました。

この記事では、単項式を数えることから始めて、マコーレーの定理、正則列、予想の主張と具体例、これまでに分かっていたこと、今回の定理と証明の考え方を順に見ます。

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

単項式を数える：ヒルベルト関数

体 $k$ の上の多項式環 $S=k[x_1,\dots,x_n]$ で、 $d$ 次の斉次多項式全体を $S_d$ と書きます。 $S_d$ は $d$ 次の単項式を基底とするベクトル空間で、次元は次の二項係数です。

\dim_kS_d=\binom{n+d-1}{d}

\begin{aligned}\dim_kS_d &= \binom{n+d-1}{d}\end{aligned}

たとえば $n=2$ なら $S_d$ の基底は $x^d,x^{d-1}y,\dots,y^d$ で、次元は $d+1$ です。

斉次多項式で生成されるイデアルを斉次イデアルと呼びます。斉次イデアル $I$ の $d$ 次の部分を $I_d=I\cap S_d$ とします。

定義1 ヒルベルト関数 [4, 定義7.51, p.208]

斉次イデアル $I\subseteq S$ について、次の関数を $S/I$ のヒルベルト関数という。

H_{S/I}(d)=\dim_k(S/I)_d=\dim_kS_d-\dim_kI_d\qquad(d\ge0)

\begin{gathered}H_{S/I}(d)=\dim_k(S/I)_d=\dim_kS_d-\dim_kI_d\\(d\ge0)\end{gathered}

\begin{aligned}H_{S/I}(d) &= \dim_k(S/I)_d\\&= \dim_kS_d-\dim_kI_d\\[4pt]&(d\ge0)\end{aligned}

$I$ が単項式で生成される（単項式イデアル）なら、 $H_{S/I}(d)$ は「 $I$ に入らない $d$ 次の単項式の個数」です。生成元のどれでも割り切れない単項式を数えればよいので、図で数えられます。

d=1

d=2

d=3

d=4

d=5

x

の次数

y

の次数

図1具体例

k[x,y]

の単項式

x^ay^b

を点

(a,b)

で表した図です。単項式イデアル

I=(x^3,x^2y,y^4)

に入る単項式が橙、入らない単項式が青です。大きい橙の点が生成元

x^3,\ x^2y,\ y^4

で、その右上はすべて

I

に入ります。斜めの点線の上には同じ次数

d

の単項式が並び、その上の青い点の数が

H_{S/I}(d)

です。

例2 図1のヒルベルト関数

$I=(x^3,x^2y,y^4)\subseteq k[x,y]$ のとき、 $I$ に入らない単項式を次数ごとに並べると次のようになる。

\begin{aligned} d=0&:\ 1, & d=1&:\ x,\ y, & d=2&:\ x^2,\ xy,\ y^2\\ d=3&:\ xy^2,\ y^3, & d=4&:\ xy^3 \end{aligned}

$d\ge5$ では $I$ に入らない単項式はない。よって $H_{S/I}=(1,2,3,2,1,0,0,\dots)$ 。

単項式でない斉次イデアルでも、 $I_d$ は「生成元に単項式を掛けたもの」が張る空間なので、その次元は連立1次方程式の階数として計算できます。

マコーレーの定理：どんな数列が現れるか

どんな数列がヒルベルト関数として現れるかは、1927年のマコーレーの定理で完全に分かっています^[5]。鍵は「辞書式で大きい単項式から順に取ったイデアル」です。

変数に $x_1>x_2>\cdots>x_n$ の順をつけ、同じ次数の単項式を辞書式に並べます。たとえば4変数 $x>y>z>w$ の2次の単項式は、次の順です。

x^2>xy>xz>xw>y^2>yz>yw>z^2>zw>w^2

\begin{aligned}x^2 &> xy\\&> xz\\&> xw\\&> y^2\\&> yz\\&> yw\\&> z^2\\&> zw\\&> w^2\end{aligned}

定理3 マコーレー, 1927 ^[5]

斉次イデアル $I\subseteq S$ について、各次数 $d$ で辞書式に大きい $\dim_kI_d$ 個の単項式を取ると、それらは1つの単項式イデアル $L$ をなし、 $H_{S/L}=H_{S/I}$ となる。

この $L$ を、 $I$ のレックス（辞書式）イデアルと呼びます。 $L$ は単項式イデアルなので、どこまで大きくなれるかを数えられます。その結果、 $H(d)=h$ のとき $H(d+1)$ がとれる最大値 $h^{\langle d\rangle}$ が、二項係数の式で決まります^[5]。

例4 4変数で $H(2)=4$ のとき

$S=k[x,y,z,w]$ で $H_{S/I}(2)=4$ なら、 $\dim I_2=10-4=6$ なので、レックスイデアルの2次の部分は大きい順の6つ $x^2,xy,xz,xw,y^2,yz$ である。

このイデアル $L=(x^2,xy,xz,xw,y^2,yz)$ について、計算すると次のようになる。

H_{S/L}=(1,4,4,5,6,\dots)

\begin{aligned}H_{S/L} &= (1,4,4,5,6,\dots)\end{aligned}

マコーレーの定理から、 $H(2)=4$ のイデアルはすべて $H(3)\le5$ をみたし、上限 $5$ は $L$ で実現される。

もう少し詳しく上限

h^{\langle d\rangle}

の式

正の整数 $h$ と $d$ について、 $h$ を次の形にただ1通りに書けます（ $d$ 進の二項係数展開）。

h=\binom{m_d}{d}+\binom{m_{d-1}}{d-1}+\cdots+\binom{m_j}{j}\qquad m_d>m_{d-1}>\cdots>m_j\ge j\ge1

\begin{gathered}h=\binom{m_d}{d}+\binom{m_{d-1}}{d-1}+\cdots+\binom{m_j}{j}\\m_d>m_{d-1}>\cdots>m_j\ge j\ge1\end{gathered}

\begin{aligned}h &= \binom{m_d}{d}+\binom{m_{d-1}}{d-1}+\cdots+\binom{m_j}{j}\\[4pt]m_d &> m_{d-1}\\&> \cdots\\&> m_j\\&\ge j\\&\ge 1\end{aligned}

\begin{aligned}h &= \binom{m_d}{d}+\binom{m_{d-1}}{d-1}\\&\phantom{=}{} +\cdots+\binom{m_j}{j}\\[4pt]m_d &> m_{d-1}\\&> \cdots\\&> m_j\\&\ge j\\&\ge 1\end{aligned}

このとき、上限は各項の上下を1ずつ増やしたものです。

h^{\langle d\rangle}=\binom{m_d+1}{d+1}+\binom{m_{d-1}+1}{d}+\cdots+\binom{m_j+1}{j+1}

\begin{aligned}h^{\langle d\rangle} &= \binom{m_d+1}{d+1}+\binom{m_{d-1}+1}{d}+\cdots+\binom{m_j+1}{j+1}\end{aligned}

\begin{aligned}h^{\langle d\rangle} &= \binom{m_d+1}{d+1}+\binom{m_{d-1}+1}{d}+\cdots\\&\phantom{=}{} +\binom{m_j+1}{j+1}\end{aligned}

\begin{aligned}h^{\langle d\rangle} &= \binom{m_d+1}{d+1}\\&\phantom{=}{} +\binom{m_{d-1}+1}{d}+\cdots\\&\phantom{=}{} +\binom{m_j+1}{j+1}\end{aligned}

例4では $4=\binom32+\binom11$ なので、 $4^{\langle2\rangle}=\binom43+\binom22=4+1=5$ です。

正則列と、べきの単項式

EGH予想は、イデアルが正則列を含むときに、マコーレーの定理より強い制限があることを主張します。

定義5 正則列 [6, §16, p.148]

正の次数の斉次多項式の列 $f_1,\dots,f_c$ が正則列であるとは、各 $i$ について、 $f_i$ を掛ける写像が $S/(f_1,\dots,f_{i-1})$ の上で単射であることをいう。

典型的な例は、変数のべき $x_1^{a_1},\dots,x_n^{a_n}$ です。 $S/(x_1^{a_1},\dots,x_n^{a_n})$ の基底は、指数が「箱」 $0\le u_i<a_i$ に入る単項式です。

次数 $a_1,\dots,a_n$ の正則列 $f_1,\dots,f_n$ なら、どれでも $S/(f_1,\dots,f_n)$ のヒルベルト関数は箱の場合と同じになり、次の多項式の係数で与えられます[2, §1]。

\sum_{d\ge0}H(d)\,t^d=\prod_{i=1}^n\bigl(1+t+\cdots+t^{a_i-1}\bigr)

\begin{aligned}\sum_{d\ge0}H(d)\,t^d &= \prod_{i=1}^n\bigl(1+t+\cdots+t^{a_i-1}\bigr)\end{aligned}

例6 2次式4つの正則列

$S=k[x,y,z,w]$ （ $k$ は標数 $0$ 。標数 $2$ では次の4つは正則列にならない）で、次の4つの2次式を考える。

f_1=x^2+yz\quad f_2=y^2+xz\quad f_3=z^2+xy\quad f_4=w^2+xw

\begin{gathered}f_1=x^2+yz\\f_2=y^2+xz\\f_3=z^2+xy\\f_4=w^2+xw\end{gathered}

\begin{aligned}f_1 &= x^2+yz\\[4pt]f_2 &= y^2+xz\\[4pt]f_3 &= z^2+xy\\[4pt]f_4 &= w^2+xw\end{aligned}

計算すると $H_{S/(f_1,\dots,f_4)}=(1,4,6,4,1,0,\dots)$ となり、 $(1+t)^4$ の係数と一致する。これは $f_1,\dots,f_4$ が正則列であることを示している。

最後の一文は、次の事実によります。 $n$ 変数の $n$ 個の斉次多項式が正則列であることと、商 $S/(f_1,\dots,f_n)$ が有限次元であることは同値です。原点の極大イデアルで局所化すると、コーエン・マコーレー局所環についての定理に帰着します[6, 定理17.4 iii), p.162–163]。上の例では $d\ge5$ で $H(d)=0$ なので有限次元です。

EGH予想

まず、正則列が変数のべきそのものの場合は、1969年にクレメンツとリンドストレムが答えを出していました^[7]。

定理7 クレメンツ・リンドストレム, 1969 ^[7][2, §1]

$a_1\le\cdots\le a_n$ 、 $P=(x_1^{a_1},\dots,x_n^{a_n})$ とする。 $P$ を含む斉次イデアル $I$ について、各次数 $d$ で、 $P$ に入らない $d$ 次の単項式のうち辞書式に大きい $\dim I_d-\dim P_d$ 個を $P_d$ に足すと、1つのイデアル $L$ ができ、 $H_{S/L}=H_{S/I}$ となる。

この $L$ をレックス・プラス・パワーズ・イデアル（辞書式とべきのイデアル）と呼びます。EGH予想は、 $P$ を「同じ次数の正則列」に取り替えても同じことが言える、という主張です。

予想8 アイゼンバッド・グリーン・ハリス ^[8][2, §1]

$2\le a_1\le\cdots\le a_c$ とする。斉次イデアル $I\subseteq S$ が、次数 $a_1,\dots,a_c$ の正則列を含むなら、 $P=(x_1^{a_1},\dots,x_c^{a_c})$ を含む単項式イデアル $J$ で $H_{S/J}=H_{S/I}$ となるものがある。

定理7と合わせると、 $J$ はレックス・プラス・パワーズ・イデアルにとれます。つまり、正則列を含むイデアルのヒルベルト関数は、すべてレックス・プラス・パワーズ・イデアルで実現されます。

論文には書かれていませんが、次数 $1$ の元を除いても、ヒルベルト関数について扱えなくなる場合はありません。次数 $1$ の元は座標を取り替えて変数の1つにでき、それで割ると変数が1つ少ない場合に帰着するからです。

例：上限が5から1に下がる

例4の続きで、 $H(2)=4$ のイデアルを考えます。マコーレーの定理だけなら $H(3)$ は $5$ まで許されます。ところがイデアルが2次式4つの正則列を含むと、EGH予想から $H(3)\le1$ になります。4変数の2次式のEGH予想は2012年にチェンが示しているので、この例は以前から知られていた範囲のものです^[9]。

1

x

y

z

w

xy

xz

xw

yz

yw

zw

xyz

xyw

xzw

yzw

xyzw

次数

0

次数

1

次数

2

次数

3

次数

4

図2具体例

P=(x^2,y^2,z^2,w^2)

に入らない単項式は、どの変数も2乗しない16個で、次数ごとに

1,4,6,4,1

個あります。線は、1つの変数を掛けると移る関係です。

H=(1,4,4,1,0)

のレックス・プラス・パワーズ・イデアルは、2次で辞書式に大きい

xy,xz

（橙）を含みます。その倍数も橙になり、3次で残るのは

yzw

だけです。

例9 EGHの上限

$S=k[x,y,z,w]$ の斉次イデアル $I$ が2次式4つの正則列を含み、 $H_{S/I}(2)=4$ とする。このとき $H_{S/I}(3)\le1$ である。以下の (1)(2) では $k$ を標数 $0$ とする。

(1)　例6の $f_1,\dots,f_4$ に $xy,xz$ を足したイデアルでは、 $H=(1,4,4,1,0,\dots)$ で上限 $1$ に達する。

(2)　 $f_1,\dots,f_4$ に $xz+2yw$ と $xw-yz+3xy$ を足したイデアルでは、 $H=(1,4,4,0,\dots)$ である。

証明

4変数の2次式のEGH予想（チェンの定理）から、 $P=(x^2,y^2,z^2,w^2)$ を含む斉次イデアルで、ヒルベルト関数が $I$ と同じものがある[9, Theorem 2.2]。定理7から、それをレックス・プラス・パワーズ・イデアル $J$ に取り替えられる。
$\dim J_2=10-4=6$ 、 $\dim P_2=4$ なので、 $J_2$ は $P_2$ に、 $P$ に入らない2次の単項式のうち辞書式に大きい2つ $xy,xz$ を足したものである。
$J$ はイデアルなので、3次の部分は $xy,xz$ の倍数をすべて含む。 $P$ に入らない3次の単項式 $xyz,xyw,xzw,yzw$ のうち、 $xy$ か $xz$ で割り切れないのは $yzw$ だけなので、 $H_{S/J}(3)\le1$ 。
(1)(2) の値は、次数ごとの階数を計算して確かめた。

マコーレーの定理だけ

5

EGH（正則列があるとき）

1

例1：

xy,\ xz

を足す

1

例2：別の2次式を2つ足す

0

0

1

2

3

4

5

図3具体例4変数で

H(2)=4

のとき、

H(3)

がとれる値の上限です。マコーレーの定理だけなら

5

、2次式4つの正則列を含めばEGHから

1

です。例9の2つの例の値も並べています。

もう少し詳しく幾何の動機：ケイリー・バカラックの定理

EGH予想は、射影空間の点の集まりについての古典的な定理を一般化する試みから生まれました[8, §0, §3]。いちばん有名なのは、平面の3次曲線についての次の定理です^[10]。

平面の2つの3次曲線が9点で交わるとき、その9点のうち8点を通る3次曲線は、残りの1点も通る。

9点は「3次曲線が通る」という条件を独立に課さず、8点で決まってしまう、ということです。アイゼンバッド、グリーン、ハリスは、正則列で切り出される点の集まりについて、こうした「条件の重なり」を一般に述べる予想を立て、それをヒルベルト関数についてのもっと強い形で述べました。それがEGH予想です。

今回の論文も、帰結として次の形を挙げています[2, Corollary 9.2]。標数 $0$ の体の上の $r$ 次元射影空間で、 $r$ 個の2次式の完全交叉 $\Omega$ （長さ $2^r$ の0次元スキーム）と、 $k$ 次の超曲面 $X$ （ $1\le k\le r$ ）を考えます。

\Omega\not\subseteq X\quad\Longrightarrow\quad\deg(\Omega\cap X)\le2^r-2^{r-k}

\begin{gathered}\Omega\not\subseteq X\\\Longrightarrow \deg(\Omega\cap X)\le2^r-2^{r-k}\end{gathered}

\begin{aligned}\Omega\not &\subseteq X\\[4pt]&\Longrightarrow \deg(\Omega\cap X)\le2^r-2^{r-k}\end{aligned}

たとえば $r=3,\ k=2$ なら、3つの2次曲面が8点で交わるとき、そのうち7点を通る2次曲面は8点すべてを通る、という古典的な事実になります（通るのが一部なら $8-2=6$ 点までなので）。

ベッチ数とレックス・プラス・パワーズ予想

ヒルベルト関数より細かい情報が、ベッチ数です。イデアルの生成元のあいだの関係（シジジー）、関係のあいだの関係、…を次数ごとに数えたものです。

定義10 次数付きベッチ数 [3, §1][6, §19, p.185–186]

$S/I$ の極小自由分解を次の形に書く。

0\leftarrow S/I\leftarrow F_0\leftarrow F_1\leftarrow\cdots\qquad F_p=\bigoplus_jS(-j)^{\beta_{p,j}}

\begin{gathered}0\leftarrow S/I\leftarrow F_0\leftarrow F_1\leftarrow\cdots\\F_p=\bigoplus_jS(-j)^{\beta_{p,j}}\end{gathered}

\begin{aligned}&0\leftarrow S/I\leftarrow F_0\leftarrow F_1\leftarrow\cdots\\[4pt]F_p &= \bigoplus_jS(-j)^{\beta_{p,j}}\end{aligned}

このときの $\beta_{p,j}=\beta_{p,j}(S/I)$ を次数付きベッチ数という。 $p$ をホモロジー次数、 $j$ を内部次数と呼ぶ。

ここで $S(-j)$ は、 $S$ の次数を $j$ だけずらした自由加群です。 $\beta_{p,j}$ は $\dim_k\operatorname{Tor}_p^S(S/I,k)_j$ とも書けます。

例11 $k[x,y]/(x,y)$ のベッチ数

$S=k[x,y]$ 、 $I=(x,y)$ の極小自由分解は次のとおり。

0\leftarrow k\leftarrow S\xleftarrow{(x\ \ y)}S(-1)^2\xleftarrow{\binom{-y}{\ x}}S(-2)\leftarrow0

生成元 $x,y$ が2つ（ $\beta_{1,1}=2$ ）、その間の関係 $-y\cdot x+x\cdot y=0$ が1つ（ $\beta_{2,2}=1$ ）で、ほかに $\beta_{0,0}=1$ 。

正則列のないときは、ヒルベルト関数を固定するとレックスイデアルのベッチ数が最大になることが知られています。1993年にビガッティとユレが標数 $0$ で、1996年にパルドゥが任意の標数で示しました^[11,12,13]。これを正則列のある場合に強めたのが、次の予想です。

予想12 レックス・プラス・パワーズ予想 [3, §1.1]

予想8と同じ仮定のもとで、 $I$ と同じヒルベルト関数をもつレックス・プラス・パワーズ・イデアル $L$ が存在し（各次数の空間がイデアルをなし）、すべての $p,j$ で次が成り立つ。

\beta_{p,j}(S/I)\le\beta_{p,j}(S/L)

\begin{aligned}\beta_{p,j}(S/I) &\le \beta_{p,j}(S/L)\end{aligned}

この予想は一般にチャランバスとエヴァンスによるとされ、最初に活字になったのはエヴァンスとリチャートの2002年の論文だとされています[3, §1.1]^[14]。予想の主張は、同じヒルベルト関数のレックス・プラス・パワーズ・イデアル $L$ が存在すること（EGH予想の結論）も含み、さらにベッチ数の不等式を求めているので、EGH予想より強い主張です。

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

ここでは、論文の序論と、キャビリア、デ・ステファニ、スバッラの概説^[15]をもとにまとめます。

1927年（マコーレー）：ヒルベルト関数として現れる数列を決定しました（定理3）^[5]。
1969年（クレメンツ・リンドストレム）：正則列が変数のべきの場合（定理7）^[7]。
1993年（アイゼンバッド・グリーン・ハリス）：「高次のカステルヌオーヴォ理論」の論文の§4で、まず2次式の場合を予想として述べ、続けて任意の次数に一般化できると書きました[8, §4]。1996年の論文では、ケイリー・バカラック型の定理との関係が詳しく論じられています^[10]。

その後、次のような場合にEGH予想が示されていました[2, §1.1]^[15]。

次数が急に増える場合： $i\ge3$ で $a_i>\sum_{j<i}(a_j-1)$ なら成り立ちます（キャビリアとマクラガン、2008年）^[16]。キャビリアとデ・ステファニが、不等号を $\ge$ にゆるめました^[17]。2次式が4つ以上並ぶ場合（ $a=(2,2,2,2,\dots)$ ）は、この条件をみたしません。
2次式の場合：4変数以下はチェン（2012年）^[9]、5変数はギュンテュルキュンとホックスター（2020年）が最初に示し^[18]、キャビリア、デ・ステファニ、スバッラが別証明を与えました[15, Theorem 4.14]。2026年7月には、6変数の「ほぼ完全交叉」（正則列に式を1つ足したイデアル）の場合も示されています^[19]。
式の形に条件がある場合：正則列の各式が1次式の積に分解する場合（アベデルファター、2015年）^[20]、次数の型が $(a,b)$ 、 $(2,a,b)$ 、 $(3,a,a)$ の有限個の点の完全交叉の、部分集合の場合（クーパー、2012年）^[21]、連結の理論が使える場合（チョン、2016年）^[22]などです。

レックス・プラス・パワーズ予想（ベッチ数）では、変数の2乗をすべて含む場合（マーミン、ピーヴァ、スティルマン、2008年、標数 $0$ ）^[23]、変数のべきを含む場合（マーミンとムライ、2011年、任意の体）^[24]、次数が急に増える場合（キャビリアとサンマルターノ、2018年、標数 $0$ ）^[25]が示されていました。アルティン的な場合への帰着は、キャビリアとクンミニが示しています^[26]。

一般の正則列で次数に条件をつけない形は、EGH予想もレックス・プラス・パワーズ予想も未解決でした。

今回の定理

定理13 OpenAI, 2026 [2, Corollary 1.3]

$F$ を標数 $0$ の体、 $S_F=F[x_1,\dots,x_n]$ 、 $1\le c\le n$ 、 $2\le a_1\le\cdots\le a_c$ とする。斉次イデアル $I\subseteq S_F$ が次数 $a_1,\dots,a_c$ の斉次正則列を含むなら、 $P_F=(x_1^{a_1},\dots,x_c^{a_c})$ を含む単項式イデアル $J$ で、すべての $d$ について次をみたすものがある。

\dim_F(S_F/J)_d=\dim_F(S_F/I)_d

\begin{aligned}\dim_F(S_F/J)_d &= \dim_F(S_F/I)_d\end{aligned}

$J$ はレックス・プラス・パワーズ・イデアルにとれる。

定理14 OpenAI, 2026 [3, Corollary 1.2]

同じ仮定のもとで、そのレックス・プラス・パワーズ・イデアル $J$ について、すべての $p\ge0$ と $j$ で次が成り立つ。

\beta_{p,j}(S_F/I)\le\beta_{p,j}(S_F/J)

\begin{aligned}\beta_{p,j}(S_F/I) &\le \beta_{p,j}(S_F/J)\end{aligned}

予想8と予想12は、標数 $0$ の体の上で正しいことになります。 $I$ の、正則列以外の生成元の個数や次数に制限はなく、 $F$ が代数閉体である必要もありません。

2本の論文はまず、 $c=n$ （商が有限次元になる「アルティン的」な場合）を複素数 $\mathbb{C}$ の上で示します。そこから、どちらも係数体を下ろす議論を使い、EGHの論文はキャビリアとマクラガンの帰着、ベッチ数の論文はさらにキャビリアとクンミニの帰着を使って、一般の標数 $0$ の体と $c\le n$ に広げています[3, §1]。

証明の考え方

正則列が $x_1^{a_1},\dots,x_n^{a_n}$ そのものなら、定理7で話は終わります。そこで論文は、 $f_i$ が「新しい変数 $t_i$ の $a_i$ 乗」に見えるような $t_i$ を作ります[2, Theorem 1.1]。

そのために論文は、1次式の $b$ 乗の和を、2つずつ1つの $b$ 乗にまとめていきます。論文には書かれていませんが、可換な係数では、これは一般にはできません。たとえば $x^2+y^2$ は、複素数係数でも $1$ 次式の2乗になりません。論文は係数を非可換な斜体に広げます。

例15 四元数の係数なら和が2乗になる

四元数 $i,j$ （ $i^2=j^2=-1,\ ij=-ji$ ）を係数にもち、変数 $x,y$ は係数と可換とする。このとき次が成り立つ。

(ix+jy)^2=i^2x^2+(ij+ji)xy+j^2y^2=-(x^2+y^2)

\begin{aligned}(ix+jy)^2 &= i^2x^2+(ij+ji)xy+j^2y^2\\&= -(x^2+y^2)\end{aligned}

\begin{aligned}(ix+jy)^2 &= i^2x^2+(ij+ji)xy\\&\phantom{=}{} +j^2y^2\\&= -(x^2+y^2)\end{aligned}

$ij+ji=0$ なので交差項が消え、 $x^2+y^2$ が $1$ 次式の2乗（の $-1$ 倍）になる。

四元数は実数の上の斜体で、複素数の上には有限次元の斜体は $\mathbb{C}$ 自身しかありません。論文は複素数を含むもっと大きな体 $k$ を作り、その上の斜体 $\Delta$ を係数に使います。

1
可換な1次式 $t_1,\dots,t_n$ を作る
係数が $\Delta$ の1次式で、互いに可換なもの $t_1,\dots,t_n$ を作る。個々の係数は可換でなくてよいが、1次式どうしは掛ける順序によらない。
2
三角形の形の関係式をみたす
各 $i$ で、 $t_i^{a_i}$ が $c_if_i$ （ $c_i\ne0$ ）に「前の $f_l$ （ $l<i$ ）の組み合わせ」と「後の $t_d$ （ $d>i$ ）の組み合わせ」を足したものになるようにする。 $i=n$ から $i=1$ へ順に作る。
3
$t$ の単項式が基底になる
$t_1^{\alpha_1}\cdots t_n^{\alpha_n}$ の全体が、 $\Delta[x_1,\dots,x_n]$ の（左 $\Delta$ ベクトル空間としての）基底になる。
4
単項式イデアルを読み取る
$I$ で生成される $\Delta[x_1,\dots,x_n]$ のイデアルの元を $t$ の単項式で展開し、いちばん小さい指数の集まりを取ると、 $x_i^{a_i}$ を含む単項式イデアル $J$ が1つ決まり、ヒルベルト関数が $I$ と一致する。

正確な関係式は論文の (1.1) にあります[2, Theorem 1.1]。

専門的な話斜体を作るところと、ベッチ数への移し方

ステップ2では、新しい行の右辺を、すでにある1次式の $b$ 乗の和 $\ell_1^b+\cdots+\ell_M^b$ に表し、2つずつまとめて $t_i^b$ にします。2つをまとめる行列は、 $z^b=u^b+v^b$ をみたす3つの切断をもつ曲線と、次数 $0$ の一般の直線束から作られます。これはヴァン・デン・バーグとクルカルニの一般化クリフォード代数の考え方に連なるものです[2, §1.2]。

係数の代数が斜体であることは、有限次元の右加群の次元がすべて代数の次元で割り切れることから示します。そのためにピカール多様体の上のオイラー標数の割り算と、整数係数の位相的K理論を使います[2, §1.2]。

ベッチ数の論文は、 $N=\Delta[x]$ が左からは $S$ 上の自由加群、右からは $t_i$ の多項式環 $T$ 上の自由加群（階数 $m=\dim_k\Delta$ ）であることを使います。 $S/I$ の極小自由分解から $N/IN$ の $T$ 上の極小自由分解が得られ、ベッチ数がすべて $m$ 倍になります。そこから、ヒルベルト関数が同じでベッチ数が小さくない単項式イデアルに移り、最後の単項式イデアルどうしの比較では、マーミンとムライの結果と同じ結論を、論文自身の証明で導いています[3, §1.2]。

どこまで確かなのか

2本とも2026年9月23日付のプレプリントで、査読はまだです^[2,3]。ベッチ数の論文は、EGHの論文の定理1.1を前提にしています。
この結果にはLeanの形式化がありません。リポジトリの形式化の一覧に、この2本の項目はありません。
2026年10月7日付の更新では、2本とも修正も取り下げもされていません^[27]。

この記事の具体例（例2、例4、例6、例9）の値は、記事の生成のときに線形代数で計算して確かめています。論文の証明そのものは、筆者は検証していません。

残された問題

正の標数：論文の証明は標数 $0$ の体の上のものです。正の標数の体の上のEGH予想とレックス・プラス・パワーズ予想は、これまでに知られていた特別な場合を除いて未解決のままです。
独立した検証：この問題に斜体の係数を使うのは新しい方法です。43ページと22ページの議論が専門家に確かめられるのを待つ段階です。

OpenAIの数学論文には、同じ可換環論のセールの正値性予想の記事と、多項式環についてのザリスキの消去問題の記事もあります。

環 $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$ なので正則列でない。

体 $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}$ 。

余次元 $r$ の図形で、そのイデアルが $r$ 個の元で生成されるもの（ $r$ 本の式でちょうど切り出せるもの）。例：ねじれ3次曲線 $V(y-x^2,\ z-x^3)\subseteq\mathbb{A}^3$ 。曲線 $(t^3,t^4,t^5)$ のイデアルは高さ2だが2個の元で生成されず、完全交叉でない。

どの点のまわりも、ある環 $A$ の $\operatorname{Spec}A$ （素イデアル全体に位相と構造層を載せた空間）と同じ形をしている空間。 $\operatorname{Spec}A$ を貼り合わせて作れる。零点集合では区別できない $x=0$ と $x^2=0$ の違いも扱える。連載第4回で定義している。

アフィン空間 $\mathbb{A}^n$ （や射影空間）の中で、定数でない1つの多項式 $f$ の零点 $V(f)$ として表される集合。単項イデアル定理から、各既約成分の次元は $n-1$ である。例： $\mathbb{A}^3$ の錐面 $xy=z^2$ 。

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

定数でない1変数多項式が、必ずその体の中に根をもつ体。例： $\mathbb{C}$ 。 $\mathbb{R}$ は代数閉体ではない（ $x^2+1$ に根がない）。代数閉体は必ず無限体である。

局所環 $(A,M)$ の部分体 $K$ で、 $A\to A/M$ を $K$ に制限すると同型 $K\cong A/M$ になるもの。例： $k[[x,y]]$ の定数の体 $k$ 。剰余体と同じ体が $A$ の中に入っている、ということ。

各点の上に1次元のファイバー（直線）が乗り、局所的には直積 $U\times\mathbb{A}^1$ の形をした空間。その切断の層が可逆層（局所的に $\mathcal{O}_X$ と同型な $\mathcal{O}_X$ 加群）で、2つはよく同じものとして扱われる。連載第11回で扱う。

参考文献

OpenAI, openai/math: mathematical manuscripts and supporting proof artifacts, GitHub, 2026.
OpenAI, Commuting Division-Coefficient Forms and the Artinian Eisenbud–Green–Harris Conjecture, OpenAI Math Release preprint, September 23, 2026.
OpenAI, The Artinian Lex-Plus-Powers Betti Theorem, OpenAI Math Release preprint, September 23, 2026.
後藤四郎, 渡辺敬一, 『可換環論』, 日本評論社, 2011.
F. S. Macaulay, Some properties of enumeration in the theory of modular systems, Proc. London Math. Soc. (2) 26 (1927), 531–555.
松村英之, 『復刊可換環論』, 共立出版, 2000.
G. F. Clements, B. Lindström, A generalization of a combinatorial theorem of Macaulay, J. Combin. Theory 7 (1969), 230–238.
D. Eisenbud, M. Green, J. Harris, Higher Castelnuovo theory, Astérisque 218 (1993), 187–202.
R.-X. Chen, Some special cases of the Eisenbud–Green–Harris conjecture, Illinois J. Math. 56 (2012), 661–675.
D. Eisenbud, M. Green, J. Harris, Cayley–Bacharach theorems and conjectures, Bull. Amer. Math. Soc. 33 (1996), 295–324.
A. M. Bigatti, Upper bounds for the Betti numbers of a given Hilbert function, Comm. Algebra 21 (1993), 2317–2334.
H. A. Hulett, Maximum Betti numbers of homogeneous ideals with a given Hilbert function, Comm. Algebra 21 (1993), 2335–2350.
K. Pardue, Deformation classes of graded modules and maximal Betti numbers, Illinois J. Math. 40 (1996), 564–585.
C. A. Francisco, Almost complete intersections and the lex-plus-powers conjecture, J. Algebra 276 (2004), 737–760.
G. Caviglia, A. De Stefani, E. Sbarra, The Eisenbud–Green–Harris conjecture, in Commutative Algebra (I. Peeva ed.), Springer, 2021, 159–187.
G. Caviglia, D. Maclagan, Some cases of the Eisenbud–Green–Harris conjecture, Math. Res. Lett. 15 (2008), 427–433.
G. Caviglia, A. De Stefani, The Eisenbud–Green–Harris conjecture for fast-growing degree sequences, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 25 (2024), 1753–1762.
S. Güntürkün, M. Hochster, The Eisenbud–Green–Harris conjecture for defect two quadratic ideals, Math. Res. Lett. 27 (2020), 1341–1365.
A. Abedelfatah, Quadratic ideals in six variables and the Eisenbud–Green–Harris conjecture, arXiv:2607.20035, 2026.
A. Abedelfatah, On the Eisenbud–Green–Harris conjecture, Proc. Amer. Math. Soc. 143 (2015), 105–115.
S. M. Cooper, Subsets of complete intersections and the EGH conjecture, in Progress in Commutative Algebra 1, de Gruyter, 2012, 167–198.
K. F. E. Chong, An application of liaison theory to the Eisenbud–Green–Harris conjecture, J. Algebra 445 (2016), 221–231.
J. Mermin, I. Peeva, M. Stillman, Ideals containing the squares of the variables, Adv. Math. 217 (2008), 2206–2230.
J. Mermin, S. Murai, The lex-plus-powers conjecture holds for pure powers, Adv. Math. 226 (2011), 3511–3539.
G. Caviglia, A. Sammartano, On the lex-plus-powers conjecture, Adv. Math. 340 (2018), 284–299.
G. Caviglia, M. Kummini, Poset embeddings of Hilbert functions and Betti numbers, J. Algebra 410 (2014), 244–257.
OpenAI, openai/math: History, GitHub, 2026.