この記事の要点
重複度 曲線や曲面が1点でどれだけ「とがって」いるかを測る数です。滑らかな点では 1 1 1 2本の枝が交わる点や y 2 = x 3 y^2=x^3 y 2 = x 3 尖点では 2 2 2 なります。
レックの予想 1960年にレックが出した予想で、平坦 な写像（おおまかには、ファイバーが連続的に並ぶ写像）で移った先の重複度は、もとの重複度より小さくならない、という主張です。2次元以下と、等標数 の3次元などの場合が知られていました。
今回の結果 OpenAIのモデルが書いた論文が、次元・標数 ・剰余体に何の仮定も置かずに、この予想を証明したと主張しています。
確かさ Leanで形式化されているのは、主定理の証明には使わない標数 p p p 副産物（系5.4）だけで、主定理は含まれていません。論文は査読前のプレプリントです。
この記事で読む論文
Lech's multiplicity conjecture
OpenAI 2026年9月23日付 プレプリント（査読前） 41ページ PDF 0.5MB
PDFは2026年10月12日にGitHubから取得した版のコピーで、Apache License 2.0（全文 ）に従って掲載しています。修正版が出た場合は、GitHubのほうが新しくなります。
定義・命題の下の「証明」は、開くとステップが並びます。もう少し詳しく は大学1〜2年程度の数学の補足、専門的な話 は論文の中身に踏み込む補足です。どちらも開かずに読み進められます。
平坦な写像で重複度は減らない
2026年10月6日、OpenAIは未公開の社内モデルが書いた数学の論文をGitHubのリポジトリ openai/math で公開しました[1 ] 。その194番が、この記事で読む「Lech's multiplicity conjecture」です[2 ] 。
テーマは、図形の1点がどれだけとがっているかを測る「重複度」です。滑らかな点の重複度は 1 1 1 強いほど大きくなります。レックは1960年に、平坦 な写像で移った先の重複度は、もとの重複度より小さくならないと予想しました。
以下では、重複度の数え方から始めて、平坦 な写像とは何か、予想の主張と具体例、これまでに分かっていたこと、今回の定理と証明の考え方を順に見ます。
この論文は、10月7日付の修正・取り下げには含まれていません。リポジトリの更新は修正と取り下げの記録 にまとめています。
とがり具合を数える：重複度
平面曲線の原点を例にします。接線の向きを避けた一般の直線を原点の少し脇に引くと、曲線と原点の近くで何回交わるか（複素数の点も数えて）が決まります。滑らかな点なら1回、2本の枝が交わる結節点なら2回です。
y 2 = x 2 ( x + 1 ) y^2=x^2(x+1) y 2 = x 2 ( x + 1 ) y ( y 2 − 3 x 2 ) = 0 y(y^2-3x^2)=0 y ( y 2 − 3 x 2 ) = 0 図1 具体例 原点（黒い点）の近くを通る直線（橙の点線）が、曲線と原点の近くで交わる点です。左から、滑らかな点 y = x 2 y=x^2 y = x 2 y 2 = x 2 ( x + 1 ) y^2=x^2(x+1) y 2 = x 2 ( x + 1 ) y 2 = x 3 y^2=x^3 y 2 = x 3 y ( y 2 − 3 x 2 ) = 0 y(y^2-3x^2)=0 y ( y 2 − 3 x 2 ) = 0 1 , 2 , 2 , 3 1,2,2,3 1 , 2 , 2 , 3 x < 0 x<0 x < 0 x > 0 x>0 x > 0
この「近くの直線との交点の数」を、図に頼らずに環の計算で決めるのが重複度です。原点の近くだけを見るために、セールの正値性予想の記事 と同じく、原点で 0 0 0 ならない多項式で割ることを許した局所環 を使います。
定義1 ヒルベルト・サミュエルの重複度 [3 , 公式14.1, p.130]
( R , m ) (R,\mathfrak{m}) ( R , m ) d d d ネーター局所環 とする。ℓ ( R / m N ) \ell(R/\mathfrak{m}^N) ℓ ( R / m N ) R / m N R/\mathfrak{m}^N R / m N 長さとして、次の極限を R R R 重複度という。
e ( R ) = lim N → ∞ d ! ℓ ( R / m N ) N d e(R)=\lim_{N\to\infty}\frac{d!\,\ell(R/\mathfrak{m}^N)}{N^d} e ( R ) = N → ∞ lim N d d ! ℓ ( R / m N ) e ( R ) = lim N → ∞ d ! ℓ ( R / m N ) N d \begin{aligned}e(R) &= \lim_{N\to\infty}\frac{d!\,\ell(R/\mathfrak{m}^N)}{N^d}\end{aligned} e ( R ) = N → ∞ lim N d d ! ℓ ( R / m N )
ℓ ( R / m N ) \ell(R/\mathfrak{m}^N) ℓ ( R / m N ) ここで扱う例ではどれも C \mathbb{C} C 次元で、「N N N 項を無視したときに残る式の自由度」です。N N N 大きくすると N d N^d N d 速さで増え、その先頭の係数に d ! d! d ! 掛けたものが重複度です。d = 1 d=1 d = 1 ℓ ( R / m N ) \ell(R/\mathfrak{m}^N) ℓ ( R / m N ) N N N ついて増える傾きになります。
例2 平面曲線の重複度
R = C [ x , y ] ( x , y ) / ( f ) R=\mathbb{C}[x,y]_{(x,y)}/(f) R = C [ x , y ] ( x , y ) / ( f ) （f f f 原点で 0 0 0 なる 0 0 0 多項式）、f f f いちばん低い次数の項の次数を m m m する。N ≥ m N\ge m N ≥ m
ℓ ( R / m N ) = m N − m ( m − 1 ) 2 \ell(R/\mathfrak{m}^N)=mN-\frac{m(m-1)}{2} ℓ ( R / m N ) = m N − 2 m ( m − 1 ) ℓ ( R / m N ) = m N − m ( m − 1 ) 2 \begin{aligned}\ell(R/\mathfrak{m}^N) &= mN-\frac{m(m-1)}{2}\end{aligned} ℓ ( R / m N ) = m N − 2 m ( m − 1 ) となり、e ( R ) = m e(R)=m e ( R ) = m たとえば y = x 2 y=x^2 y = x 2 m = 1 m=1 m = 1 y 2 = x 2 ( x + 1 ) y^2=x^2(x+1) y 2 = x 2 ( x + 1 ) y 2 = x 3 y^2=x^3 y 2 = x 3 m = 2 m=2 m = 2 y ( y 2 − 3 x 2 ) y(y^2-3x^2) y ( y 2 − 3 x 2 ) m = 3 m=3 m = 3
証明 開く 閉じる すべて開く すべて閉じる R / m N = C [ x , y ] / ( ( f ) + ( x , y ) N ) R/\mathfrak{m}^N=\mathbb{C}[x,y]/\bigl((f)+(x,y)^N\bigr) R / m N = C [ x , y ] / ( ( f ) + ( x , y ) N ) である。
N N N 次未満の
単項式は N ( N + 1 ) / 2 N(N+1)/2 N ( N + 1 ) /2 ( f ) + ( x , y ) N (f)+(x,y)^N ( f ) + ( x , y ) N N N N 部分で張る空間は、f f f N − m N-m N − m 単項式を掛けたものが張る。f f f 最低次の項が m m m これらは1次独立で、( N − m ) ( N − m + 1 ) / 2 (N-m)(N-m+1)/2 ( N − m ) ( N − m + 1 ) /2 詳しく 閉じる
単項式
x a y b x^ay^b x a y b を
掛けた x a y b f x^ay^bf x a y b f 最低次の部分は、f f f 最低次の部分 f m f_m f m x a y b x^ay^b x a y b 掛けたものである。次数ごとに見ると、f m f_m f m 掛ける写像は単射なので、それらは1次独立である。 差を
とると N ( N + 1 ) / 2 − ( N − m ) ( N − m + 1 ) / 2 = m N − m ( m − 1 ) / 2 N(N+1)/2-(N-m)(N-m+1)/2=mN-m(m-1)/2 N ( N + 1 ) /2 − ( N − m ) ( N − m + 1 ) /2 = m N − m ( m − 1 ) /2 傾きが m m m e ( R ) = m e(R)=m e ( R ) = m
ℓ ( R / m N ) \ell(R/\mathfrak{m}^N) ℓ ( R / m N ) 図2 具体例 図1の曲線の局所環 R R R N = 1 , … , 6 N=1,\dots,6 N = 1 , … , 6 ℓ ( R / m N ) \ell(R/\mathfrak{m}^N) ℓ ( R / m N ) N N N 2 N − 1 2N-1 2 N − 1 N ≥ 3 N\ge3 N ≥ 3 3 N − 3 3N-3 3 N − 3
2次元の例も1つ見ておきます。錐面 x y = z 2 xy=z^2 x y = z 2 原点の局所環 では ℓ ( R / m N ) = N 2 \ell(R/\mathfrak{m}^N)=N^2 ℓ ( R / m N ) = N 2 e = 2 ! ⋅ N 2 / N 2 = 2 e=2!\cdot N^2/N^2=2 e = 2 ! ⋅ N 2 / N 2 = 2 一般に、正則局所環 （図形でいえば滑らかな点）の重複度は 1 1 1 [3 , p.130] 。逆向きについては、永田雅宜の定理があります。
定理3 永田 [4 , 定理8.29, p.264]
ネーター局所環 R R R 非混合的（完備化 のどの随伴素イデアル p \mathfrak{p} p dim R ^ / p = dim R \dim\widehat R/\mathfrak{p}=\dim R dim R / p = dim R e ( R ) = 1 e(R)=1 e ( R ) = 1 R R R 正則である。
非混合的という仮定があれば、重複度 1 1 1 「滑らかな点」とちょうど同じ意味になります。重複度は、滑らかさからどれだけ離れているかを測る数だといえます。
平坦な写像
レックの予想は、局所環 の局所的な準同型 R → S R\to S R → S R R R 極大イデアル m \mathfrak{m} m S S S 極大イデアル n \mathfrak{n} n 移すもの）で、S S S R R R 上で平坦 なものを扱います。
平坦 の定義は「R R R 加群 の単射にテンソル積 ⊗ R S \otimes_RS ⊗ R S しても単射のまま」ですが、R R R C [ [ x ] ] \mathbb{C}[[x]] C [[ x ]] 1変数のべき級数環なら、もっと分かりやすい言い換えがあります。S S S 0 0 0 元に x x x 掛けて 0 0 0 なることがない（ねじれがない）ことです。図形の言葉では、おおまかには、Spec S → Spec R \operatorname{Spec}S\to\operatorname{Spec}R Spec S → Spec R ファイバーが連続的に並び、x = 0 x=0 x = 0 上だけに乗る余分な部分（x x x 掛けると消える元）がないことにあたります。
例4 平坦な写像と重複度
(1) R = C [ [ x ] ] → S = C [ [ x , y ] ] / ( y 2 − x 3 ) R=\mathbb{C}[[x]]\to S=\mathbb{C}[[x,y]]/(y^2-x^3) R = C [[ x ]] → S = C [[ x , y ]] / ( y 2 − x 3 ) 曲線）は平坦 で、e ( R ) = 1 < e ( S ) = 2 e(R)=1<e(S)=2 e ( R ) = 1 < e ( S ) = 2
(2) R = C [ [ x ] ] → S = C [ [ y ] ] R=\mathbb{C}[[x]]\to S=\mathbb{C}[[y]] R = C [[ x ]] → S = C [[ y ]] x ↦ y 2 x\mapsto y^2 x ↦ y 2 平坦 で、e ( R ) = e ( S ) = 1 e(R)=e(S)=1 e ( R ) = e ( S ) = 1
(3) 任意のネーター局所環 R R R ついて、変数を足した R → R [ [ t ] ] R\to R[[t]] R → R [[ t ]] 完備化 R → R ^ R\to\widehat R R → R 平坦 で、重複度は変わらない。
証明 開く 閉じる (1)
S S S の
元は y 2 = x 3 y^2=x^3 y 2 = x 3 使って g ( x ) + y h ( x ) g(x)+y\,h(x) g ( x ) + y h ( x ) 一通りに書けるので、S S S R R R 上で 1 , y 1,y 1 , y 基底とする自由加群 である。自由加群 は平坦 である。重複度は例2 で m = 2 m=2 m = 2 (2)
S = C [ [ y ] ] S=\mathbb{C}[[y]] S = C [[ y ]] は
R = C [ [ y 2 ] ] R=\mathbb{C}[[y^2]] R = C [[ y 2 ]] の
上で 1 , y 1,y 1 , y 基底とする自由加群 なので平坦 。R , S R,S R , S どちらも正則なので重複度は 1 1 1 (3)
R [ [ t ] ] R[[t]] R [[ t ]] の
m + ( t ) \mathfrak{m}+(t) m + ( t ) の
べきで割った長さは、R R R 長さを t t t 次数ごとに足したもの ∑ k ≤ N ℓ ( R / m k ) \sum_{k\le N}\ell(R/\mathfrak{m}^k) ∑ k ≤ N ℓ ( R / m k ) なる。和をとると N N N 次数が1つ上がり、( d + 1 ) ! (d+1)! ( d + 1 )! 掛けると同じ e ( R ) e(R) e ( R ) なる。完備化 では ℓ ( R ^ / m ^ N ) = ℓ ( R / m N ) \ell(\widehat R/\widehat{\mathfrak{m}}^N)=\ell(R/\mathfrak{m}^N) ℓ ( R / m N ) = ℓ ( R / m N ) そのまま成り立つ[2 , Lemma 4.2, Prop. 4.3] 。
y = ± c 3 / 2 y=\pm c^{3/2} y = ± c 3/2 図3 概念図 例4 (1)を、尖った曲線 y 2 = x 3 y^2=x^3 y 2 = x 3 x x x x = c x=c x = c c ≠ 0 c\ne0 c = 0 c = 0 c=0 c = 0 c < 0 c<0 c < 0 S S S 2 2 2 例4 (2)の y 2 = x y^2=x y 2 = x
(2) の例は注意が要ります。x = 0 x=0 x = 0 上のファイバー S / x S = C [ y ] / ( y 2 ) S/xS=\mathbb{C}[y]/(y^2) S / x S = C [ y ] / ( y 2 ) 長さ 2 2 2 S S S 重複度は 1 1 1 平坦 性が教えてくれるのは m S = ( y 2 ) \mathfrak{m}S=(y^2) m S = ( y 2 ) べきでの割り算ですが、重複度は n = ( y ) \mathfrak{n}=(y) n = ( y ) べきで決まります。この食い違いのせいで、2つの重複度を直接比べることはできません[2 , §1] 。
平坦 性を外すと、重複度は減ることがあります。尖った曲線の環 C [ [ t 2 , t 3 ] ] \mathbb{C}[[t^2,t^3]] C [[ t 2 , t 3 ]] 2 2 2 その正規化 C [ [ t ] ] \mathbb{C}[[t]] C [[ t ]] 1 1 1 埋め込む写像がその例です。局所環 の上の有限生成加群 では、平坦 であることと自由であることは同じです。C [ [ t ] ] \mathbb{C}[[t]] C [[ t ]] 生成元が 1 , t 1,t 1 , t 2つ必要なのに階数は 1 1 1 自由加群 でなく、平坦 でもありません。
レックの予想
レックは1960年の論文で、2次元以下の場合の証明と、一般の場合の弱い不等式を示したあとで、次のように予想しました[5 , p.82] 。
予想5 レック, 1960 [5 , p.63, p.82]
( R , m ) → ( S , n ) (R,\mathfrak{m})\to(S,\mathfrak{n}) ( R , m ) → ( S , n ) ネーター局所環 の平坦 な局所的準同型とする。このとき次が成り立つ。
e ( R ) ≤ e ( S ) e(R)\le e(S) e ( R ) ≤ e ( S ) e ( R ) ≤ e ( S ) \begin{aligned}e(R) &\le e(S)\end{aligned} e ( R ) ≤ e ( S )
論文での書き方は「I hazard the conjecture」（あえて予想する）で、同じ年の4月のパリのセミナーでは「いつも e ( A 0 ) ≤ e ( A ) e(A_0)\le e(A) e ( A 0 ) ≤ e ( A ) なるか」という問題（PROBLÈME）として述べています[6 , p.19-02] 。
レックが動機として挙げたのは、局所化についての不等式です。局所環 R R R 素イデアル p \mathfrak{p} p 局所化した R p R_\mathfrak{p} R p 図形でいえば「点 m \mathfrak{m} m 通る部分図形の、一般の点」での環です。とがった点を通る曲線の上の一般の点は、ふつうその点ほどはとがっていないので、dim R / p + dim R p = dim R \dim R/\mathfrak{p}+\dim R_\mathfrak{p}=\dim R dim R / p + dim R p = dim R とき e ( R p ) ≤ e ( R ) e(R_\mathfrak{p})\le e(R) e ( R p ) ≤ e ( R ) 期待されます（この条件がないと成り立たない例があります）。永田はこれを完備な R R R 示していて、予想が正しければ、完備化 への平坦 な写像を通して一般の R R R 移せる、とレックは書いています[5 , p.63] 。セミナーでは、正則局所環 を素イデアルで局所化しても正則のまま、というセールの定理の量的な形として説明しています[6 ] 。
次の定理から、S S S 正則な場合の予想が従います。
定理6 正則性の降下 [3 , 定理23.7 i), p.221–222]
ネーター局所環 の平坦 な局所的準同型 R → S R\to S R → S S S S 正則なら R R R 正則である。
S S S 正則なら e ( S ) = 1 e(S)=1 e ( S ) = 1 予想は e ( R ) ≤ 1 e(R)\le1 e ( R ) ≤ 1 つまり e ( R ) = 1 e(R)=1 e ( R ) = 1 言っています。定理6 は「行き先が滑らかなら、もとも滑らか」という主張で、予想はそれを「行き先のとがり具合は、もとのとがり具合以上」という量の主張に広げたものと読めます。
逆向きの不等式は成り立ちません。例4 (1)のように、平坦 な写像の先で重複度が増えることはふつうにあります。ただし、増え方はファイバーの長さでは決まりません。例4 (2)ではファイバーの長さが 2 2 2 重複度は増えていません。
もう少し詳しく 次元のそろった形に直せる
平坦 な局所的準同型では、次元について dim S = dim R + dim S / m S \dim S=\dim R+\dim S/\mathfrak{m}S dim S = dim R + dim S / m S 成り立ちます[3 , 定理15.1, p.140] 。レックは論文で、まず dim R = dim S \dim R=\dim S dim R = dim S 場合（ファイバー S / m S S/\mathfrak{m}S S / m S 0次元で、点が1つ）を予想し、それが一般の場合を導くと注意しています[5 , p.82] 。今回の論文も、§4で同じ方向の帰着をしています[2 , Lemma 4.2] 。
これまでに分かっていたこと
ここでは、レックの2本の論文、マの2本の論文、今回の論文の序論をもとにまとめます[5 ,7 ,8 ,9 ] 。
1960年（レック）： dim R ≤ 2 \dim R\le2 dim R ≤ 2 予想が成り立つことを示しました（定理4）。R R R S S S 同じ次元 d d d 弱い不等式 e ( R ) ≤ d ! e ( S ) e(R)\le d!\,e(S) e ( R ) ≤ d ! e ( S ) 成り立つことも示しました[5 , p.75] 。ファイバーが完全交叉 で等標数 の場合も、証明の概略を書いています[5 , p.79] 。 1964年（レック）： ヒルベルト関数についての強い形を考え、ファイバーが完全交叉 の場合を概略つきで扱いました[7 , p.72, p.87] 。 1991年・1999年： R R R 上に「ウルリッヒ加群 」（下の補足）があれば予想が従うことを、ホックスターとヒューニッケ、ヘインズ（1999年の学位論文）が注意しました[9 , §1] 。ヘルツォーク、ウルリッヒ、バックリンが「強い完全交叉 」の上にウルリッヒ加群 を作っていたので、その場合に予想が成り立ちます[10 ] [8 , p.2] 。ヘインズは1999年の学位論文で、完全体の上の3次元の標準次数付き環（標数 p p p 場合を示しました[8 , p.2] 。 2017年（マ）： 等標数 で dim R = 3 \dim R=3 dim R = 3 場合を証明しました。あわせて、等標数 の一般の次元で e ( R ) ≤ max { 1 , d ! / 2 d } e ( S ) e(R)\le\max\{1,\,d!/2^d\}\,e(S) e ( R ) ≤ max { 1 , d ! / 2 d } e ( S ) 示しました[8 , Thm 1.2, 1.3] 。 2023年（マ）： R R R 完全体の上の標準次数付き環を斉次極大イデアルで局所化したものなら、どの次元でも予想が成り立つことを示しました。S S S 次数付きでなくてかまいません[9 , Thm 3.8] 。 2025年（メン）： dim R = dim S \dim R=\dim S dim R = dim S 完備化 すると S S S 標準次数付きになり m S \mathfrak{m}S m S 斉次になる場合を示しました[11 , Thm 5.13] 。
図4 概念図 不等式 e ( R ) ≤ c ⋅ e ( S ) e(R)\le c\cdot e(S) e ( R ) ≤ c ⋅ e ( S ) c c c d d d d ! d! d ! d ≤ 2 d\le2 d ≤ 2 1 1 1 標数 でのマの max { 1 , d ! / 2 d } \max\{1,d!/2^d\} max { 1 , d ! / 2 d } d ≤ 3 d\le3 d ≤ 3 1 1 1 標数 の3次元の定理です。d ≥ 4 d\ge4 d ≥ 4 1 1 1
マは2023年の論文で、この予想は「dim R > 3 \dim R>3 dim R > 3 等標数 でも大きく未解決（wide open）」と書いています[9 , Abstract] 。混標数 （R R R 標数 0 0 0 剰余体が標数 p p p ついては、今回の論文の序論も3次元の結果を挙げていません[2 , §1] 。
専門的な話 ウルリッヒ加群による方法と、その限界
ウルリッヒ加群 は、極大コーエン・マコーレー加群 M M M 重複度 e ( M ) e(M) e ( M ) 生成元の個数に等しいものです。生成元の個数は平坦 な写像で変わらないので、重複度を生成元の個数に置き換えて比べられます。ヘインズはこの方法を発展させ、マは加群 の列で同じことをする「弱いlimウルリッヒ列」を導入して、そのような列をもつ局所整域 では予想が成り立つことを示しました[9 , Thm 2.11] 。
ただし、この方法はすべての環には使えません。イーは、ウルリッヒ加群 も弱いlimウルリッヒ列ももたない2次元の完備局所整域 を作りました[12 ] 。さらに、今回のレックの論文と同じ日付のOpenAIの論文は、有限生成の極大コーエン・マコーレー加群 を1つももたない3次元の完備正規局所整域 を作りました（小さいコーエン・マコーレー加群予想の反例の記事 ）。どの環にも加群 があることを前提にする方法は、一般の場合には使えないことになります[2 , §1] 。
アイエンガー、マ、ウォーカーは2022年に、加群 の代わりに短い自由複体を使う道筋を示しました[13 , Prop. 8.3] 。今回の論文は、その構成を直接の先行例として挙げています[2 , §1] 。
今回の定理
定理7 OpenAI, 2026 [2 , Theorem 1.1]
( R , m ) → ( S , n ) (R,\mathfrak{m})\to(S,\mathfrak{n}) ( R , m ) → ( S , n ) 0 0 0 ネーター局所環 の平坦 な局所的準同型とする。このとき
e ( R ) ≤ e ( S ) e(R)\le e(S) e ( R ) ≤ e ( S ) e ( R ) ≤ e ( S ) \begin{aligned}e(R) &\le e(S)\end{aligned} e ( R ) ≤ e ( S ) が成り立つ。次元、剰余体、標数 についての仮定はない。
論文が正しければ、予想5 は正しいことになります。等標数 の dim R ≥ 4 \dim R\ge4 dim R ≥ 4 混標数 のすべての次元も含みます。
証明の考え方
証明は41ページで、場合分けは剰余体の標数 で行います。以下は、論文の序論と各節の主張に沿った骨組みです[2 , §1, §8] 。
1 扱いやすい形に直す 完備化 しても重複度は変わらない。素イデアルによるフィルトレーションと重複度の加法性を使い、R , S R,S R , S 完備、R R R 整域 、dim R = dim S > 0 \dim R=\dim S>0 dim R = dim S > 0 S S S 剰余体が代数閉体 の場合に帰着する（補題4.2）。
2 コーエン分解で複体を作る 剰余体の標数 が p > 0 p>0 p > 0 とき、R → T → S = T / J R\to T\to S=T/J R → T → S = T / J 分解し、e ( T ) = e ( R ) e(T)=e(R) e ( T ) = e ( R ) J J J 完全イデアルになるようにする。S S S T T T 自由分解と、パラメーターのコシュル複体のテンソル積 で、短い自由複体 F F F 作る（命題4.3）。
3 複体の一様な評価 長さの関数 λ \lambda λ 成分が深い（イデアル I I I 高いべき I s I^s I s 入る）自由複体について、0次のホモロジーの長さを階数で下から押さえる不等式を示す（定理2.1）。定数は環によらない。
4 標数 p p p 深くする 成分を p n p^n p n F F F 深くし、評価をヒルベルト・クンツ重複度で読む。マの恒等式と結合公式で、和が e ( S ) e(S) e ( S ) 一致し、e ( S ) ≥ e ( R ) e(S)\ge e(R) e ( S ) ≥ e ( R ) 得る（定理5.2）。
5 混標数 ：根を足して深くする フロベニウスの代わりに、パラメーターのべき根（q q q 足した拡大と、ハイトマンの積分拡大でのブリアンソン・スコダ型定理を使う。長さはパーフェクトイドの正規化した長さで測る（定理6.3）。
6 剰余体の標数 0 0 0 標数 に落とす 反例があったとすると、その性質を有限個の多項式の恒等式に書ける。アルティン近似と特殊化で、その恒等式を正標数 に移すと、手順4に反する（定理7.4）。
論文は、一般の次元で係数を 1 1 1 保つことと、混標数 での長さの評価を、残っていた2つの難点に挙げています。手順3の評価は定数が環や長さの取り方によらず、誤差が 1 / s 1/s 1/ s 程度に抑えられるので、標数 p p p 混標数 の両方で係数 1 1 1 保てる、と説明しています[2 , §1] 。
専門的な話 手順3の評価とベクトル束
定理2.1は、イデアル I = ( z 1 , … , z h ) I=(z_1,\dots,z_h) I = ( z 1 , … , z h ) べき ( z 1 a , … , z h a ) (z_1^a,\dots,z_h^a) ( z 1 a , … , z h a ) 割った長さが a h λ ( C / I ) a^h\lambda(C/I) a h λ ( C / I ) なる長さ λ \lambda λ ついて、Spec C ∖ V ( I ) \operatorname{Spec}C\setminus V(I) Spec C ∖ V ( I ) 上で局所的に可縮で、階数の交代和 ∑ i ( − 1 ) i rank F i \sum_i(-1)^i\operatorname{rank}F_i ∑ i ( − 1 ) i rank F i 0 0 0 成分が I s I^s I s 入る長さ h h h 自由複体 F F F
λ ( H 0 F ) ≥ λ ( C / I ) s h ( rank F 0 − A h ∑ i rank F i s ) \lambda(H_0F)\ \ge\ \lambda(C/I)\,s^h\Bigl(\operatorname{rank}F_0-\frac{A_h\sum_i\operatorname{rank}F_i}{s}\Bigr) λ ( H 0 F ) ≥ λ ( C / I ) s h ( rank F 0 − s A h ∑ i rank F i ) λ ( H 0 F ) ≥ λ ( C / I ) s h ( rank F 0 − A h ∑ i rank F i s ) \begin{aligned}\lambda(H_0F) &\ge \lambda(C/I)\,s^h\Bigl(\operatorname{rank}F_0-\frac{A_h\sum_i\operatorname{rank}F_i}{s}\Bigr)\end{aligned} λ ( H 0 F ) ≥ λ ( C / I ) s h ( rank F 0 − s A h ∑ i rank F i ) をみたすことを示します（長さ λ \lambda λ 正の次数のコシュル・ホモロジーの長さが 0 0 0 なることなどの条件も付きます）。環 C C C ネーター環 でなくてよく、定数 A h A_h A h h h h 決まります。証明では I I I ブローアップし、アイゼンバッドとシュライアーのベクトル束（コホモロジーが1つの次数にだけ現れるもの）とテンソルして、オイラー標数 が負にならないことを使います[2 , §2] 。
標数 p p p この評価から、完備局所整域 D D D 上の短い複体のダッタ重複度が e ( D ) e(D) e ( D ) ことも従います（系5.4）。これはアイエンガー、マ、ウォーカーの予想の、標数 p p p 完備局所整域 の場合です[13 , Conj. 8.1] [2 , Cor. 5.4] 。
どこまで確かなのか
論文は2026年9月23日付のプレプリントで、査読はまだです[2 ] 。
Leanで形式化されているのは、標数 p p p 完備局所整域 についての系5.4の形の主張（フロベニウスで作った列がダッタ重複度に収束し、その値が重複度以上であること）だけです。定理7 そのものは形式化の範囲に入っていません[14 ] 。
2026年10月7日付の更新では、この論文は修正も取り下げもされていません[15 ] 。
この記事の例2 と図2の長さは、記事の生成のときに線形代数で計算して確かめています。論文の証明そのものは、筆者は検証していません。
残された問題
独立した検証： 複体の一様な評価、パーフェクトイドの長さ、正標数 への特殊化を組み合わせた41ページの議論なので、専門家による確認が待たれます。 ヒルベルト関数の形： レックは1964年に、重複度だけでなくヒルベルト関数そのものを比べる強い形も考え、どれが成り立つかは「はっきりした意見がない」と書いています[7 , p.87] 。今回の論文が示したのは重複度の不等式です。 レックの不等式との区別： レックの1960年の論文の定理3（e ( I ) ≤ d ! e ( R ) ℓ ( R / I ) e(I)\le d!\,e(R)\,\ell(R/I) e ( I ) ≤ d ! e ( R ) ℓ ( R / I ) いまは「レックの不等式」と呼ばれる）は、この予想とは別の主張で、その改良は別に研究されています[5 , p.74] [16 ] 。
OpenAIの数学論文には、同じ可換環論の小さいコーエン・マコーレー加群予想の反例 、セールの正値性予想 、ガーステン予想の反例 の記事もあります。
環の準同型 B → A B\to A B → A 平坦とは、B B B 単射 N ′ → N N'\to N N ′ → N 作った A ⊗ B N ′ → A ⊗ B N A\otimes_BN'\to A\otimes_BN A ⊗ B N ′ → A ⊗ B N 必ず単射になること。底が k [ t ] k[t] k [ t ] Z \mathbb{Z} Z A A A ねじれ（b a = 0 ba=0 ba = 0 なる 0 0 0 b ∈ B b\in B b ∈ B a ∈ A a\in A a ∈ A ないことと同じ。
体 k k k 1 + 1 + ⋯ + 1 1+1+\dots+1 1 + 1 + ⋯ + 1 p p p = 0 =0 = 0 なる最小の正の整数 p p p そのような p p p なければ標数0と言う。標数は0か素数で、F p \mathbb{F}_p F p 標数は p p p Q , R , C \mathbb{Q},\mathbb{R},\mathbb{C} Q , R , C 標数は0。体でない環でも同じように定める（Z \mathbb{Z} Z 標数は0、Z / 6 \mathbb{Z}/6 Z /6 標数は6）。0か素数になるのは体や整域の場合。
極大イデアルがただ1つの可換環。極大イデアルに入らない元はすべて単元になる。例：素イデアル P P P 局所化 A P A_P A P a / s a/s a / s a ∈ P a\in P a ∈ P 全体）、k [ x ] / ( x 2 ) k[x]/(x^2) k [ x ] / ( x 2 ) Z / 4 Z \mathbb{Z}/4\mathbb{Z} Z /4 Z
局所環 A A A その極大イデアル M M M ついて、A / M n A/M^n A / M n n = 1 , 2 , … n=1,2,\dots n = 1 , 2 , … 極限としてできる環 A ^ \hat A A ^ 点のごく近くだけを見ることに当たる。例：k [ x , y ] ( x , y ) k[x,y]_{(x,y)} k [ x , y ] ( x , y ) 完備化は形式的べき級数環 k [ [ x , y ] ] k[[x,y]] k [[ x , y ]]
環 A A A 上の加群（A A A 足し算について可換群で、A A A 元を掛けられ、分配法則などベクトル空間と同じ規則をみたすもの。体の上の加群はベクトル空間で、A A A イデアルも A A A
環の準同型 B → A B\to A B → A B → C B\to C B → C 作る環 A ⊗ B C A\otimes_BC A ⊗ B C a ⊗ c a\otimes c a ⊗ c 形の元の和からなり、b ∈ B b\in B b ∈ B ついて ( b a ) ⊗ c = a ⊗ ( b c ) (ba)\otimes c=a\otimes(bc) ( ba ) ⊗ c = a ⊗ ( b c ) 例：B [ x ] ⊗ B C ≅ C [ x ] B[x]\otimes_BC\cong C[x] B [ x ] ⊗ B C ≅ C [ x ] A ⊗ B ( B / J ) ≅ A / J A A\otimes_B(B/J)\cong A/JA A ⊗ B ( B / J ) ≅ A / J A 加群 M , N M,N M , N ついても同じように M ⊗ B N M\otimes_BN M ⊗ B N 作る。
余次元 r r r 図形で、そのイデアルが r r r 元で生成されるもの（r r r 式でちょうど切り出せるもの）。例：ねじれ3次曲線 V ( y − x 2 , z − x 3 ) ⊆ A 3 V(y-x^2,\ z-x^3)\subseteq\mathbb{A}^3 V ( y − x 2 , z − x 3 ) ⊆ A 3 曲線 ( t 3 , t 4 , t 5 ) (t^3,t^4,t^5) ( t 3 , t 4 , t 5 ) イデアルは高さ2だが2個の元で生成されず、完全交叉でない。
0 でない元どうしの積が0にならない可換環（a b = 0 ab=0 ab = 0 a = 0 a=0 a = 0 b = 0 b=0 b = 0 例：Z \mathbb{Z} Z 体上の多項式環。A / P A/P A / P 整域であることと、P P P 素イデアルであることは同値。
定数でない1変数多項式が、必ずその体の中に根をもつ体。例：C \mathbb{C} C R \mathbb{R} R 代数閉体ではない（x 2 + 1 x^2+1 x 2 + 1 根がない）。代数閉体は必ず無限体である。
すべてのイデアルが有限個の元で生成される可換環。イデアルの増大列 J 1 ⊆ J 2 ⊆ ⋯ J_1\subseteq J_2\subseteq\cdots J 1 ⊆ J 2 ⊆ ⋯ 必ずどこかで止まる、と言っても同じ。
参考文献
OpenAI , openai/math: mathematical manuscripts and supporting proof artifacts , GitHub, 2026 .OpenAI , Lech's multiplicity conjecture , OpenAI Math Release preprint, September 23, 2026 .松村英之 , 『復刊 可換環論』 , 共立出版, 2000 .後藤四郎, 渡辺敬一 , 『可換環論』 , 日本評論社, 2011 .C. Lech , Note on multiplicities of ideals , Ark. Mat. 4 (1960), 63–86 .C. Lech , Un problème concernant les multiplicités d'anneaux locaux formant des couples plats , Séminaire Dubreil, Algèbre et théorie des nombres 13 (1959–1960), no. 2, exp. 19 .C. Lech , Inequalities related to certain couples of local rings , Acta Math. 112 (1964), 69–89 .L. Ma , Lech's conjecture in dimension three , Adv. Math. 322 (2017), 940–970 .L. Ma , Lim Ulrich sequences and Lech's conjecture , Invent. Math. 231 (2023), 407–429 .J. Herzog, B. Ulrich, J. Backelin , Linear maximal Cohen–Macaulay modules over strict complete intersections , J. Pure Appl. Algebra 71 (1991), 187–202 .C. Meng , Strongly Lech-independent ideals and Lech's conjecture , Trans. Amer. Math. Soc. 379 (2025), 1627–1647 .F. C. Yhee , Ulrich modules and weakly lim Ulrich sequences do not always exist , Forum Math. Sigma 11 (2023), e71 .S. B. Iyengar, L. Ma, M. E. Walker , Multiplicities and Betti numbers in local algebra via lim Ulrich points , Algebra Number Theory 16 (2022), 1213–1257 .OpenAI , openai/math: lean/docs/194.md (Lech's multiplicity conjecture, scope of the formalization) , GitHub, 2026 .OpenAI , openai/math: History , GitHub, 2026 .P. Klein, L. Ma, P. H. Quy, I. Smirnov, Y. Yao , Lech's inequality, the Stückrad–Vogel conjecture, and uniform behavior of Koszul homology , Adv. Math. 347 (2019), 442–472 .