OpenAIのAIが見つけた「ザリスキの消去問題」の反例：直線を掛けると5次元空間になるのに、それ自身は4次元空間でない図形

この記事の要点

ザリスキの消去問題: 多項式環に変数を1つ足した環 $A[w]$ が多項式環なら、もとの $A$ も多項式環か、という問題です。図形の言葉では「 $X\times\mathbb{C}$ が $\mathbb{C}^{n+1}$ と同じ形なら、 $X$ は $\mathbb{C}^n$ と同じ形か」と問います。
今回の結果: OpenAIのモデルが書いた論文が、複素数の上の $n=4$ の反例を具体的な式で作りました。5変数の多項式 $H$ で割った環 $A$ は、変数を1つ足すと5変数の多項式環になりますが、 $A$ 自身は4変数の多項式環ではありません。
まだ分からないこと: 複素数の上の $n=3$ と $n\ge5$ は、この論文では扱っておらず、未解決のままです。
確かさ: 主定理はLeanで証明が書かれ、リポジトリの照合（Comparator）の対象になっています。論文は査読前のプレプリントです。

この記事で読む論文

An explicit failure of complex affine-space cancellation

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

論文のPDFを読む GitHubで見る（LaTeXソース・BibTeX） Leanの形式化の範囲を見る

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

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

長く未解決だった問いに、具体的な式で答えが出た

2026年10月6日、OpenAIは未公開の社内モデルが書いた数学の論文をGitHubのリポジトリ openai/math で公開しました^[1]。その047番が、この記事で読む「An explicit failure of complex affine-space cancellation」です^[2]。

扱うのは、多項式環についての素朴な問いです。「 $A$ に変数 $w$ を1つ足した環 $A[w]$ が多項式環なら、 $w$ を消した $A$ も多項式環か」。この問いはザリスキの消去問題と呼ばれ、複素数の上では、3変数以上の場合が長く未解決でした。

論文は、5つの変数 $p,s,u,F,J$ の多項式 $H$ を1つ書き下し、 $A=\mathbb{C}[p,s,u,F,J]/(H)$ が $n=4$ の反例になることを示しました。この記事では、多項式環の同型とは何かから始めて、問題の意味、これまでに分かっていたこと、反例の式と、なぜ反例になるのかを順に見ます。

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

多項式環が「同じ」とは

この記事では、係数はすべて複素数 $\mathbb{C}$ とします。 $\mathbb{C}[x_1,\dots,x_n]$ は $n$ 個の変数の多項式全体で、足し算と掛け算ができる環です。これを $\mathbb{C}^{[n]}$ とも書きます。

2つの環が「同じ」というのは、次の意味です。

定義1 $\mathbb{C}$ 代数の同型

$\mathbb{C}$ を含む可換環 $A,B$ について、写像 $\varphi\colon A\to B$ が $\mathbb{C}$ 代数の同型であるとは、全単射で、次をみたすことをいう。

\begin{gathered} \varphi(a+a')=\varphi(a)+\varphi(a')\qquad \varphi(aa')=\varphi(a)\varphi(a')\\ \varphi(c)=c\quad(c\in\mathbb{C}) \end{gathered}

\begin{gathered}\varphi(a+a')=\varphi(a)+\varphi(a')\\\varphi(aa')=\varphi(a)\varphi(a')\\\varphi(c)=c\\(c\in\mathbb{C})\end{gathered}

\begin{aligned}\varphi(a+a') &= \varphi(a)+\varphi(a')\\[4pt]\varphi(aa') &= \varphi(a)\varphi(a')\\[4pt]\varphi(c) &= c\\[4pt]&(c\in\mathbb{C})\end{aligned}

このような $\varphi$ があるとき $A\cong B$ と書く。

同型は、変数の取り替え（座標変換）を一般にしたものです。次の例のように、見た目の違う式でも同じ環になることがあります。

例2 座標の取り替え

$\mathbb{C}[x,y]$ で $X=x,\ Y=y+x^2$ とおく。逆に $x=X,\ y=Y-X^2$ と戻せるので、どの多項式も $X,Y$ の多項式で書ける。

\mathbb{C}[x,y]=\mathbb{C}[X,Y]\qquad x^2y+x^4=X^2Y

\begin{gathered}\mathbb{C}[x,y]=\mathbb{C}[X,Y]\\x^2y+x^4=X^2Y\end{gathered}

\begin{aligned}\mathbb{C}[x,y] &= \mathbb{C}[X,Y]\\[4pt]x^2y+x^4 &= X^2Y\end{aligned}

$X,Y$ のあいだに多項式の関係はないので、 $(X,Y)$ は $\mathbb{C}[x,y]$ の新しい座標になる。このように、多項式環を生成し、互いに関係をもたない元の組を座標系と呼ぶ。

座標系の1つの元になれる多項式を座標と呼びます。上の例の $y+x^2$ は座標です。一方 $x^2$ は座標になれません。座標系 $(X,Y)$ では、連鎖律からヤコビ行列式 $\partial(X,Y)/\partial(x,y)$ が $0$ でない定数になります。ところが $X=x^2$ なら、どんな $Y$ をとってもヤコビ行列式は $2x\,\partial Y/\partial y$ で、 $x=0$ で $0$ になります。

環で割ると、方程式で決まる図形の環が得られます。図形 $X\subset\mathbb{C}^m$ の上の多項式関数の環を、 $X$ の座標環と呼びます。

例3 放物線は直線と同じ形

放物線 $y=x^2$ の座標環は $\mathbb{C}[x,y]/(y-x^2)$ である。 $y$ を $x^2$ に置き換える写像で、これは $\mathbb{C}[x]$ と同型になる。

\mathbb{C}[x,y]/(y-x^2)\xrightarrow{\ \sim\ }\mathbb{C}[x]\qquad f(x,y)\mapsto f(x,x^2)

\begin{gathered}\mathbb{C}[x,y]/(y-x^2)\xrightarrow{\ \sim\ }\mathbb{C}[x]\\f(x,y)\mapsto f(x,x^2)\end{gathered}

\begin{aligned}&\mathbb{C}[x,y]/(y-x^2)\xrightarrow{\ \sim\ }\mathbb{C}[x]\\[4pt]f(x,y) &\mapsto f(x,x^2)\end{aligned}

図形の言葉では、 $(x,y)=(t,t^2)$ が放物線と直線 $\mathbb{C}$ を多項式で1対1に対応させている。

例4 尖った曲線は直線と違う形

曲線 $y^2=x^3$ の座標環 $B=\mathbb{C}[x,y]/(y^2-x^3)$ は、 $\mathbb{C}[t]$ と同型でない。

証明

$x\mapsto t^2,\ y\mapsto t^3$ で、 $B$ は $\mathbb{C}[t]$ の部分環 $\mathbb{C}[t^2,t^3]$ と同型になる。

$f(x,y)$ は $y^2=x^3$ を使って $f=g(x)+y\,h(x)$ の形にできる。 $g(t^2)+t^3h(t^2)=0$ なら、偶数次と奇数次の項を比べて $g=h=0$ である。よって写像は単射で、像は $t$ の1次の項をもたない多項式全体 $\mathbb{C}[t^2,t^3]$ である。
$\mathbb{C}[t^2,t^3]$ の商体には $t=t^3/t^2$ が入り、 $t$ は方程式 $T^2-t^2=0$ （係数は $\mathbb{C}[t^2,t^3]$ の元）をみたす。しかし $t$ 自身は $\mathbb{C}[t^2,t^3]$ に入らない。つまり $\mathbb{C}[t^2,t^3]$ は整閉でない。
多項式環 $\mathbb{C}[s]$ は一意分解整域なので整閉である。整閉かどうかは同型で変わらないので、 $B\not\cong\mathbb{C}[s]$ 。

図形の側では、原点で尖っていることがこの違いに対応します。ただ、尖りのような「目に見える違い」がないのに同型でない、という場合もあります。今回の反例はまさにそういう例です。

おさらい図形と環の対応

多項式の方程式で決まる図形（アフィン多様体） $X$ には座標環 $\mathbb{C}[X]$ が対応し、図形のあいだの多項式写像 $X\to Y$ には、向きが逆の環の準同型 $\mathbb{C}[Y]\to\mathbb{C}[X]$ （関数を引き戻す写像）が対応します。

\begin{CD} X @>{\phi}>> Y \\ @. @. \\ \mathbb{C}[X] @<<{\phi^*}< \mathbb{C}[Y] \end{CD} \qquad \phi^*(g)=g\circ\phi

この対応で、 $X$ と $Y$ が多項式写像で同型であることと、 $\mathbb{C}[X]\cong\mathbb{C}[Y]$ が同値です[3, 系3.7, p.27; 3, 系3.8, p.28]。積 $X\times\mathbb{C}$ の座標環は $\mathbb{C}[X][w]$ で、 $\mathbb{C}^n$ の座標環は $\mathbb{C}^{[n]}$ です。

ザリスキの消去問題

$A$ を、有限個の元で生成される $\mathbb{C}$ 上の可換環とします。 $A$ に新しい変数 $w$ を1つ足した多項式環を $A[w]$ と書きます。

問い5 ザリスキの消去問題 [2, §1][4, Question 2′, p.868]

$n\ge1$ とする。 $\mathbb{C}$ 代数の同型 $A[w]\cong\mathbb{C}^{[n+1]}$ があれば、 $A\cong\mathbb{C}^{[n]}$ か。

図形の言葉では、アフィン多様体 $X$ について $X\times\mathbb{C}\cong\mathbb{C}^{n+1}$ ならば $X\cong\mathbb{C}^n$ か。

答えは「はい」になりそうに見えます。 $A=\mathbb{C}^{[n]}$ なら $A[w]=\mathbb{C}^{[n+1]}$ なので、逆に $A[w]$ の座標系の中から $w$ を「取り除けば」 $A$ の座標系が残りそうに思えるからです。

ところが、これはうまくいきません。同型 $A[w]\cong\mathbb{C}^{[n+1]}$ が、 $w$ を座標の1つに送るとは限らないからです[2, §1]。 $A[w]$ の座標系の中で $A$ がどこにあるかは、同型があるというだけでは分かりません。

n=1

n=2

n=3

n=4

n\ge5

標数

0

（

\mathbb{C}

など）

標数

p>0

成り立つ

AEH 1972

成り立つ

AEH 1972

成り立つ

藤田, 宮西・杉江

成り立つ

Russell ほか

未解決

成り立たない

Gupta 2014

成り立たない

今回 2026

成り立たない

Gupta 2014

未解決

成り立たない

Gupta 2014

図1概念図消去問題の答えを、次元

n

と係数の体の標数で分けた表です。緑は「成り立つ」、赤と橙は「成り立たない」（反例がある）、灰色は未解決です。橙の枠が今回の論文の結果です。標数

p>0

の段は、どの体でも成り立つ（または、どの体でも反例がある）ことを示した仕事を挙げています。

標数は、 $1+1+\cdots+1$ が $0$ になるかどうかで体を分けたものです。 $\mathbb{C}$ や有理数体 $\mathbb{Q}$ は標数 $0$ 、 $p$ 個の元からなる有限体は標数 $p$ です。表の上の段が、この記事で主に扱う複素数の場合です。

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

ここでは、論文の序論と、この問題の第一人者グプタによる2つの概説^[4,5]に沿って、これまでの流れをまとめます。

問題の始まり

1949年、ザリスキはパリでの代数と数論の国際会議で、体についての問いを出しました。体 $L,L'$ について、変数を1つ足した有理関数体 $L(x)$ と $L'(x)$ が同型なら、 $L\cong L'$ か、という問いです[4, p.866]。

この体の版は、1985年にボーヴィル、コリオ＝テレーヌ、サンスック、スウィナートン＝ダイアーが反例を作り、否定されました^[6][4, p.867]。一方、多項式環の版（問い5）のほうは、その後「ザリスキの消去問題」と呼ばれるようになりました[4, p.868]。1979年の藤田の論文の題名は、すでに「On Zariski problem」です^[7]。

一般の図形では消去は成り立たない

$\mathbb{C}^n$ に限らず「 $X\times\mathbb{C}\cong Y\times\mathbb{C}$ なら $X\cong Y$ か」と問うと、答えは否定的です。最初の反例は1972年にホックスターが実数の上で作りました。2次元球面の接束が自明でないことを使った、4次元の例です^[8][4, p.867]。

複素数の上では、1989年のダニエレフスキーの曲面が有名です^[9]^[5]。

例6 ダニエレフスキーの曲面 [9, §1]

$\mathbb{C}^3$ の2つの曲面

S_1=\{xy=z^2-1\}\qquad S_2=\{x^2y=z^2-1\}

\begin{gathered}S_1=\{xy=z^2-1\}\\S_2=\{x^2y=z^2-1\}\end{gathered}

\begin{aligned}S_1 &= \{xy=z^2-1\}\\[4pt]S_2 &= \{x^2y=z^2-1\}\end{aligned}

は同型でないが、直線を掛けた $S_1\times\mathbb{C}$ と $S_2\times\mathbb{C}$ は同型である。

2つの曲面は、 $x$ 座標で見るとよく似ています。 $x=c\ne0$ の上では、 $y$ が $z$ で決まるので、どちらもファイバーは直線1本です。 $x=0$ の上では $z=\pm1$ で $y$ が自由なので、どちらも平行な直線2本です。違いは $x=0$ の近くでのつながり方（ $x$ と $x^2$ ）だけで、それが曲面を区別します。ところが直線を1本掛けると、その違いが消えてしまいます。

だから消去問題の核心は、「 $\mathbb{C}^n$ は特別か」という点にあります。 $X\times\mathbb{C}$ が $\mathbb{C}^{n+1}$ なら、 $X$ は $\mathbb{C}^n$ の性質を多く受け継ぎます。たとえば $X$ は可縮で、 $X$ の座標環は一意分解整域になり、可逆元は定数だけです^[5]。それでも $X\cong\mathbb{C}^n$ と言えるかが問われていました。

1次元と2次元では成り立つ

$n=1$ ：1972年にアビヤンカー、ハインツァー、イーキンが、どの体の上でも成り立つことを示しました^[10][4, p.867–868]。
$n=2$ 、標数 $0$ ：1979〜80年に藤田、宮西・杉江が示しました^[7,11]。
$n=2$ 、標数 $p>0$ ：1981年にラッセルが完全体の上で示し^[12]、2015年にバトワデーカルとグプタが完全体の仮定を外しました^[13]。

正の標数では3次元以上で成り立たない

1987年に浅沼は、正の標数の体の上の3次元の環で、変数を1つ足すと4変数の多項式環になるものを作りました^[14]。この環が多項式環でないかどうかは、しばらく分かりませんでした。

2014年、グプタは浅沼の環の族のうち適当なものが多項式環でないことを示し、正の標数で $n=3$ の反例を得ました^[15]。3次元の反例に変数を足しても高い次元の反例にはならないので[2, §1]、グプタは続けて別の族を使い、 $n\ge3$ のすべてで反例を作りました^[16]。2021年のDST-ICTP-IMUラマヌジャン賞の授賞理由には、この仕事が挙げられています^[17]。

標数0、3次元以上は未解決だった

標数 $0$ で $n\ge3$ の場合は、グプタの2015年と2022年の概説でも未解決とされ^[4,5]、2026年7月のガイフリンとペトロフのプレプリントでも未解決と書かれています[18, p.1]。今回の論文は、そのうち $n=4$ を解決しました。

関連する有名な例に、ラッセルの3次超曲面 $x+x^2y+z^2+t^3=0$ があります。これは $\mathbb{C}^3$ とよく似た性質を多くもちますが、1996年にマカール＝リマノフが $\mathbb{C}^3$ と同型でないことを示しました^[19]^[5]。この超曲面に直線を掛けたものが $\mathbb{C}^4$ になるかどうかは、今も分かっていません^[9]^[5]。もし $\mathbb{C}^4$ になれば $n=3$ の反例です。今回の論文はこの問いには答えていません。

反例の式

論文の反例は、5つの変数 $p,s,u,F,J$ の多項式環 $P=\mathbb{C}[p,s,u,F,J]$ の中の、次の多項式 $H$ で決まります[2, (1.2)]。 $x$ は式を短く書くための略記で、新しい変数ではありません。

\begin{aligned} x&=s^2+u^3+p^2F\\ H&=x^2F-(1+2sx)J-p^2J^2-pu\\ A&=P/(H)\end{aligned}

$A$ は、5次元の空間 $\mathbb{C}^5$ の中の超曲面 $X=\{H=0\}$ の座標環です。主定理は次のとおりです。

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

$A$ は4次元の整域で、変数 $w$ を足すと

A[w]\cong\mathbb{C}^{[5]}\qquad A\not\cong\mathbb{C}^{[4]}

\begin{gathered}A[w]\cong\mathbb{C}^{[5]}\\A\not\cong\mathbb{C}^{[4]}\end{gathered}

\begin{aligned}A[w] &\cong \mathbb{C}^{[5]}\\[4pt]A\not &\cong \mathbb{C}^{[4]}\end{aligned}

となる。よって、複素数の上のザリスキの消去問題は $n=4$ で否定的に解決する。

図形の言葉では、超曲面 $X$ は $\mathbb{C}^4$ と同じ形ではないのに、直線 $\mathbb{C}$ を掛けた $X\times\mathbb{C}$ は $\mathbb{C}^5$ と同じ形になります。問い5の答えは、 $n=4$ では「いいえ」です。

以下では、この $H$ がどういう式なのかを、手で確かめられる部分から見ていきます。

鍵になる恒等式

$H$ の形の意味は、 $x$ に加えて次の2つの略記を入れると見えてきます[2, (2.1)]。

y=s+x(x-u^3)\qquad z=sx+p^2J

\begin{gathered}y=s+x(x-u^3)\\z=sx+p^2J\end{gathered}

\begin{aligned}y &= s+x(x-u^3)\\[4pt]z &= sx+p^2J\end{aligned}

命題8 $H$ と $xy-z(z+1)$ [2, (2.2)]

$P$ の中で次の恒等式が成り立つ。

xy-z(z+1)=p^2\bigl(H+pu\bigr)

\begin{aligned}xy-z(z+1) &= p^2\bigl(H+pu\bigr)\end{aligned}

証明

左辺を展開する。 $xy=sx+x^2(x-u^3)$ 、 $z(z+1)=s^2x^2+2sxp^2J+p^4J^2+sx+p^2J$ である。
差をとると $sx$ が消え、次が残る。 $xy-z(z+1)=x^2(x-u^3-s^2)-p^2(1+2sx)J-p^4J^2$ $\begin{aligned}xy-z(z+1) &= x^2(x-u^3-s^2)-p^2(1+2sx)J-p^4J^2\end{aligned}$ $\begin{aligned}xy-z(z+1) &= x^2(x-u^3-s^2)-p^2(1+2sx)J\\&\phantom{=}{} -p^4J^2\end{aligned}$ $\begin{aligned}xy-z(z+1) &= x^2(x-u^3-s^2)\\&\phantom{=}{} -p^2(1+2sx)J\\&\phantom{=}{} -p^4J^2\end{aligned}$
$x$ の定義から $x-u^3-s^2=p^2F$ なので、右辺は $p^2\bigl(x^2F-(1+2sx)J-p^2J^2\bigr)=p^2(H+pu)$ になる。

つまり $H$ は、2次式 $xy-z(z+1)$ を $p^2$ で割って $pu$ を引いたもの、と読めます。

H=\frac{xy-z(z+1)}{p^2}-pu

\begin{aligned}H &= \frac{xy-z(z+1)}{p^2}-pu\end{aligned}

$p$ を止めると $\mathbb{C}^3$ が現れる

$X$ の点の $p$ 座標を取り出す写像 $X\to\mathbb{C}$ を考えます。各点 $p=c$ の上にある部分（ファイバー）は、どれも3次元の空間 $\mathbb{C}^3$ と同じ形です。

命題9 ファイバーはすべて $\mathbb{C}^3$ [2, Lemma 2.1, Corollary 7.1]

(1)　 $p$ を可逆にすると、 $A[p^{-1}]=\mathbb{C}[p,p^{-1},x,y,z]$ となる（ $p,x,y,z$ は互いに関係をもたない）。とくに $c\ne0$ なら $A/(p-c)\cong\mathbb{C}[x,y,z]$ である。

(2)　 $p=0$ では、 $x_0=s^2+u^3$ として次の $L,M$ が $F,J$ の代わりの座標になり、 $A/(p)\cong\mathbb{C}[s,u,M]$ となる。

\begin{aligned} L&=x_0^2F-(1+2sx_0)J\\ M&=(1-2sx_0)F+4s^2J\end{aligned}

証明

(1) $p$ が可逆なら、 $s,F,J$ は $x,y,z,u$ で書ける。よって $p,x,y,z,u$ は $P[p^{-1}]$ の座標系である。

$y$ の定義から $s=y-x(x-u^3)$ 。 $x,z$ の定義から次のように書ける。
$F=\frac{x-s^2-u^3}{p^2}\qquad J=\frac{z-sx}{p^2}$ $\begin{gathered}F=\frac{x-s^2-u^3}{p^2}\\J=\frac{z-sx}{p^2}\end{gathered}$ $\begin{aligned}F &= \frac{x-s^2-u^3}{p^2}\\[4pt]J &= \frac{z-sx}{p^2}\end{aligned}$
逆に $x,y,z$ は $p,s,u,F,J$ の多項式なので、2組の変数は互いに書き合える。
この座標では $H=p^{-2}\bigl(xy-z(z+1)\bigr)-pu$ である（命題8）。 $u$ の係数 $-p$ が可逆なので、 $u$ の代わりに $H$ を座標にとれる。
$H$ で割ると $H$ の座標が消え、 $A[p^{-1}]=\mathbb{C}[p,p^{-1},x,y,z]$ が残る。 $u$ は $u=p^{-3}\bigl(xy-z(z+1)\bigr)$ で決まる。さらに $p=c\ne0$ とおけば $\mathbb{C}[x,y,z]$ になる。
(2) $p=0$ とおくと、 $x$ は $x_0$ になり、 $H$ は $L=x_0^2F-(1+2sx_0)J$ になる。
$F,J$ から $L,M$ への変換は $F,J$ について1次で、行列式が $1$ なので、逆も多項式で書ける。

変換の行列式は次のとおりである。
$\det\begin{pmatrix} x_0^2 & -(1+2sx_0)\\ 1-2sx_0 & 4s^2 \end{pmatrix}=4s^2x_0^2+(1-4s^2x_0^2)=1$
逆の変換は $F=4s^2L+(1+2sx_0)M,\ J=-(1-2sx_0)L+x_0^2M$ で、どちらも多項式である。
よって $s,u,L,M$ は $\mathbb{C}[s,u,F,J]$ の座標系で、 $L$ で割ると $A/(p)\cong\mathbb{C}[s,u,M]$ となる。

p

\mathbb{C}^3

座標

(x,y,z)

p=-2

\mathbb{C}^3

座標

(x,y,z)

p=-1

\mathbb{C}^3

座標

(s,u,M)

p=0

\mathbb{C}^3

座標

(x,y,z)

p=1

\mathbb{C}^3

座標

(x,y,z)

p=2

どの

p

の上のファイバーも

\mathbb{C}^3

図2概念図4次元の

X

を、

p

座標で直線

\mathbb{C}

の上に並べた図です。箱は各点

p=c

の上のファイバーを表し、どれも

\mathbb{C}^3

です（命題9）。座標の取り方は

p\ne0

と

p=0

で違い、

p\ne0

では

(x,y,z)

、

p=0

では

(s,u,M)

です。箱の大きさや位置に意味はありません。

どのファイバーも $\mathbb{C}^3$ なので、 $X$ は $\mathbb{C}\times\mathbb{C}^3=\mathbb{C}^4$ と同じ形のように見えます。ところが主定理によれば $X\not\cong\mathbb{C}^4$ です。ファイバーを1枚ずつ見ても分からない違いが、ファイバーどうしのつながり方、とくに $p=0$ のまわりにあります。後で見る証明も、 $p=0$ に沿った様子を調べます。

直線を掛けると $\mathbb{C}^5$ になる理由

$A[w]\cong\mathbb{C}^{[5]}$ の証明には、局所冪零導分という道具を使います。まず定義と、いちばん簡単な例を見ます。

定義10 局所冪零導分

環 $B$ の写像 $D\colon B\to B$ が導分であるとは、次をみたすことをいう。

D(f+g)=D(f)+D(g)\qquad D(fg)=D(f)\,g+f\,D(g)\qquad D(c)=0\quad(c\in\mathbb{C})

\begin{gathered}D(f+g)=D(f)+D(g)\\D(fg)=D(f)\,g+f\,D(g)\\D(c)=0\\(c\in\mathbb{C})\end{gathered}

\begin{aligned}D(f+g) &= D(f)+D(g)\\[4pt]D(fg) &= D(f)\,g+f\,D(g)\\[4pt]D(c) &= 0\\[4pt]&(c\in\mathbb{C})\end{aligned}

さらに、どの $f$ にも $D^m(f)=0$ となる $m$ があるとき、 $D$ を局所冪零という。

例11 偏微分は平行移動を生む

$\mathbb{C}[x,y]$ で $D=\partial/\partial x$ は局所冪零導分である。 $x$ について $k$ 次の多項式は $k+1$ 回微分すると $0$ になるからである。指数関数の級数で $\exp(tD)$ を作ると、テイラー展開から次のようになる。

\exp(tD)f=\sum_{i\ge0}\frac{t^i}{i!}\frac{\partial^if}{\partial x^i}=f(x+t,\,y)

\begin{aligned}\exp(tD)f &= \sum_{i\ge0}\frac{t^i}{i!}\frac{\partial^if}{\partial x^i}\\&= f(x+t,\,y)\end{aligned}

和は有限項で終わり、 $\exp(tD)$ は $x$ 方向の平行移動になる。たとえば $f=x^2y$ なら $f+2txy+t^2y=(x+t)^2y$ である。

平行移動は、足し算と掛け算を保つ写像（環の自己同型）です。一般に、局所冪零導分 $D$ の $\exp(tD)$ は環の自己同型になり、逆写像は $\exp(-tD)$ です。

論文は、命題9の座標 $p,x,y,z,u$ で、 $p,x,y,z$ を止めて $u$ だけを動かす導分を使います。

\Delta=-p^2\frac{\partial}{\partial u}

\begin{aligned}\Delta &= -p^2\frac{\partial}{\partial u}\end{aligned}

この $\Delta$ は、 $p$ を可逆にした環で定義したものです。しかし、もとの変数 $p,s,u,F,J$ に作用させると、値がすべて多項式になります。

命題12 $\Delta$ の値 [2, (2.4), (2.5)]

$\Delta$ は $P=\mathbb{C}[p,s,u,F,J]$ の局所冪零導分で、変数での値は次のとおりである。

\begin{gathered} \Delta p=0\qquad \Delta u=-p^2\qquad \Delta s=-3p^2xu^2\\ \Delta F=(6sx+3)u^2\qquad \Delta J=3x^2u^2\end{gathered}

\begin{gathered}\Delta p=0\\\Delta u=-p^2\\\Delta s=-3p^2xu^2\\\Delta F=(6sx+3)u^2\\\Delta J=3x^2u^2\end{gathered}

\begin{aligned}\Delta p &= 0\\[4pt]\Delta u &= -p^2\\[4pt]\Delta s &= -3p^2xu^2\\[4pt]\Delta F &= (6sx+3)u^2\\[4pt]\Delta J &= 3x^2u^2\end{aligned}

さらに $\Delta H=p^3,\ \Delta^2H=0$ である。

証明

$s=y-x(x-u^3)$ を $u$ で微分して $-p^2$ を掛けると $\Delta s=-3p^2xu^2$ 。 $F=p^{-2}(x-s^2-u^3)$ 、 $J=p^{-2}(z-sx)$ も同じように計算すると、上の値になる。

$\Delta x=\Delta y=\Delta z=0$ と積の規則から、次のように計算できる。
$\begin{aligned} \Delta F&=p^{-2}\bigl(-2s\,\Delta s-3u^2\,\Delta u\bigr)=p^{-2}\bigl(6p^2sxu^2+3p^2u^2\bigr)=(6sx+3)u^2\\ \Delta J&=p^{-2}\bigl(-x\,\Delta s\bigr)=3x^2u^2\end{aligned}$
分母の $p^2$ が打ち消し合い、値は $P$ に入る。
値が多項式なので、 $\Delta$ は $P$ を $P$ に移す。 $p,x,y,z$ を止めて $u$ について微分するだけなので、局所冪零である。
$H=p^{-2}\bigl(xy-z(z+1)\bigr)-pu$ の右辺で $u$ を含むのは $-pu$ だけなので、 $\Delta H=-p\cdot(-p^2)=p^3$ 、 $\Delta^2H=\Delta(p^3)=0$ 。

p

u

p=0

では

u

の速さが

0

長さ

p^2

で下へ

図3概念図

\mathbb{C}^5

の上の流れ

\exp(t\Delta)

を、

p\ne0

の部分で座標

p,x,y,z,u

を使って描いた図です。横軸が

p

、縦軸が

u

で、

x,y,z

は止めています。各点は

u

方向に

-p^2t

だけ動き、

p

が

0

に近づくほど遅くなります。

p=0

では

u

の速さが

0

になります（橙の点）。ただし

p=0

でも

u\ne0

の点は

F,J

の方向に動くので、止まるわけではありません（

p=u=0

の点だけは動きません）。この座標は

p=0

では使えないので、その動きは図に表れません。矢印の長さは

p^2

に比例するように計算して描いています。

命題12から、 $A[w]$ を扱いやすい形に書き換えられます。 $P[w]$ で $\Delta w=0$ とし、自己同型 $\Phi=\exp(w\Delta)$ を作ると、 $\Delta^2H=0$ なので級数は2項で終わります。

\Phi(H)=H+w\,\Delta H=H+p^3w

\begin{aligned}\Phi(H) &= H+w\,\Delta H\\&= H+p^3w\end{aligned}

$\Phi$ は $H$ を $H+p^3w$ に移す自己同型なので、それぞれで割った環は同型です[2, (2.6)]。

A[w]=P[w]/(H)\ \xrightarrow[\ \Phi\ ]{\ \sim\ }\ T=P[w]/(H+p^3w)

\begin{aligned}A[w] &= P[w]/(H)\ \xrightarrow[\ \Phi\ ]{\ \sim\ }\ T\\&= P[w]/(H+p^3w)\end{aligned}

$T$ の関係式 $H+p^3w=0$ は、 $p\ne0$ なら $w=-H/p^3$ と解けて、 $w$ を消せます。問題は $p=0$ のところです。論文は、 $p=0$ でも使える5つ目の座標 $e$ を具体的な式で書き、 $T=\mathbb{C}[p,s,u,M,e]$ を示します。

命題13 $A[w]$ は5変数の多項式環 [2, Proposition 2.2]

$A[w]\cong\mathbb{C}^{[5]}$ である。

証明

上で見たように $A[w]\cong T=P[w]/(H+p^3w)$ である。
命題9(2)の $L,M$ を座標にとると $P=B[L]$ 、 $B=\mathbb{C}[p,s,u,M]$ と書ける。 $H$ を $L$ の多項式とみると、 $p$ の次数で並べて $H=L-pu+p^2(\cdots)$ の形になる。
$B$ の元 $L_*$ と $T$ の元 $e$ で $p^3e=L-L_*$ をみたすものを、具体的に作る。

論文の (2.9)〜(2.12) で、 $Q(L)=2x_0F^2-2sFJ-J^2$ （ $F,J$ は $L,M$ で書いたもの）、 $C=Q(0)$ 、 $Q_1(L)=(Q(L)-C)/L$ 、 $L_*=pu-p^2C$ とおく。さらに次のように定める。
$\begin{aligned} h&=u-pQ(L)-p^3F^3-p^2w\\ e_0&=-w-pF^3-Q_1(L)\,h\end{aligned}$
このとき、多項式の恒等式
$p^3e_0-(L-L_*)=\bigl(p^2Q_1(L)-1\bigr)\bigl(H+p^3w\bigr)$ $\begin{aligned}p^3e_0-(L-L_*) &= \bigl(p^2Q_1(L)-1\bigr)\bigl(H+p^3w\bigr)\end{aligned}$
が成り立つ。右辺は $T$ で $0$ なので、 $e_0$ の像 $e$ は $p^3e=L-L_*$ をみたす。
$L=L_*+p^3e$ を $H+p^3w=0$ に代入すると $p^3$ で割り切れ、 $w$ が $B$ と $e$ の多項式で書ける。よって $T$ は $B$ と $e$ で生成される。
$p$ を可逆にした環では $e=p^{-3}(L-L_*)$ は $L$ の1次式なので、 $e$ は $B$ の上で代数的に独立である。よって $T=B[e]=\mathbb{C}[p,s,u,M,e]\cong\mathbb{C}^{[5]}$ 。

このやり方は、論文が引用するエル・カウイとウアリの方法を具体的な式で実行したものです[2, §2]。

$A$ 自身が多項式環でない理由

難しいのは $A\not\cong\mathbb{C}^{[4]}$ のほうです。「多項式環でない」ことを示すには、多項式環なら必ずもつ性質を見つけ、 $A$ がそれをもたないことを示す必要があります。

ここでも局所冪零導分が使われます。 $\mathbb{C}^{[4]}$ には $\partial/\partial x_1,\dots,\partial/\partial x_4$ のように、局所冪零導分がたくさんあります。 $A$ の上の局所冪零導分には強い制限があり、多項式環の豊富さと両立しないことを示すのが方針です。

局所冪零導分で多様体を区別する方法は、マカール＝リマノフがラッセルの3次超曲面を調べたときに使ったものです[2, §1]^[19]。すべての局所冪零導分で $0$ になる元の全体（マカール＝リマノフ不変量）は、 $\mathbb{C}^n$ では定数 $\mathbb{C}$ だけですが、ラッセルの3次超曲面では $\mathbb{C}[x]$ になります。これで2つが区別されました^[5]。

ただし、この不変量は直線を掛けると区別の力を失うことがあります。ラッセルの3次超曲面に直線を掛けたものでは、不変量が $\mathbb{C}$ になることが知られています^[20]。今回の論文は、もっと細かい道具を組み合わせています。

論文の議論は3段階に分かれています[2, §1, §3〜§6]。

1
$p=0$ に沿った次数で $A$ を粗く見る
補助の環 $S=\{xy-z(z+1)=p^3u\}$ （ $A$ の部分環で、 $p$ を可逆にすると $A$ と同じになる）の中で $p$ で何回割れるか（位数）をもとに、 $A$ の元に次数を入れる。 $A$ の元は負の位数ももちうる。そのうえで最高次の部分だけを取り出した環 $G$ を作る。 $G$ は、変数の重みを $(p,s,u,F,J)=(-1,0,0,2,2)$ としたときの $H$ の最高次の部分 $H_{\mathrm{top}}=x^2F-(1+2sx)J-p^2J^2$ で割った環になる。
2
多項式環なら $G$ に特別な導分がある
$A\cong\mathbb{C}^{[4]}$ と仮定すると、 $A$ の座標のどれかは正の次数をもつ。別の座標での偏微分から、 $G$ の上に、次数を一定の数だけずらす（斉次な）0でない局所冪零導分で、正の次数の元を $0$ に送るものが得られる。
3
直線束に持ち上げて矛盾を導く
この導分を、直線束から零切断を除いた空間の環 $\widetilde G$ に持ち上げ、そこから $\mathrm{SL}_2$ の行列の環 $\widetilde R=\mathbb{C}[a,b,c,d,u]/(ac-bd-1)$ の上の0でない局所冪零導分 $E$ を取り出す。 $E$ は「ファイバー方向の重み」を $0$ 以下の一定の数だけずらす斉次な導分で、 $E^2(v)=0$ （ $v=a^3b-a^2u^3-d^2$ ）をみたす。多項式の $abc$ 定理（メイソン・ストーサーズの定理）を使うと、そのような $E$ はないことが分かる。

1の $H_{\mathrm{top}}$ は $H$ から $-pu$ を落としたものです。重みを足すと、 $x^2F$ 、 $sxJ$ 、 $J$ 、 $p^2J^2$ はどれも $2$ で、 $pu$ だけが $-1$ になります（ $x$ の重みは $0$ ）。

もう少し詳しく多項式の

abc

定理

標数 $0$ の体の上の多項式 $X,Y,Z$ が、どの2つも共通因子をもたず $X+Y=Z$ をみたし、少なくとも1つは定数でないとします。このとき次が成り立ちます[2, Lemma 6.1]。

\max\{\deg X,\deg Y,\deg Z\}\le r(XYZ)-1

\begin{aligned}\max\{\deg X,\deg Y,\deg Z\} &\le r(XYZ)-1\end{aligned}

ここで $r(XYZ)$ は、 $XYZ$ の相異なる根の個数です。

例として $X=(t+1)^2,\ Y=-t^2,\ Z=2t+1$ をとると $X+Y=Z$ です。 $XYZ$ の相異なる根は $-1,0,-1/2$ の3つで、最大次数 $2$ はちょうど $3-1$ に等しくなります。

次数の高い多項式どうしで、少ない根の積だけを使った関係 $X+Y=Z$ は作れない、という主張です。論文は、補助の次数で $E$ の最高次の成分 $E_{\mathrm{top}}$ をとり、 $E_{\mathrm{top}}$ が $d^2+a^2u^3$ を動かす様子をこの不等式で縛って $u$ が動かないことを導き、さらに $-u^3$ が平方でないことから $a,d$ も動かないことを導きます。すると行列式の関係 $ac-bd=1$ から $E_{\mathrm{top}}$ のファイバー方向の重みのずれが正になり、ステップ3の「 $0$ 以下」と矛盾します[2, §6]。重みの条件は欠かせません。ずれが正の導分なら、 $E^2(v)=0$ をみたす0でないものがあると論文は注意しています[2, Remark 5.3]。

専門的な話環

G

と直線束

論文は補助の部分環 $S=\mathbb{C}[p,x,y,z,u]/\bigl(xy-z(z+1)-p^3u\bigr)$ を $A$ の中にとり、 $S[p^{-1}]=A[p^{-1}]$ を使って $p=0$ に沿った離散付値 $\operatorname{ord}_p$ を定めます。次数 $\deg h=-\operatorname{ord}_p(h)$ による随伴次数環は、 $R=\mathbb{C}[x,y,z,u]/\bigl(xy-z(z+1)\bigr)$ と、ある2元生成のイデアル $I\subset R$ を使って $G=R[\tau,I/\tau^2]$ と正確に書けます（命題3.2）。これはカリマンとザイデンベルクの意味のアフィン変形です。

2次曲面 $xy=z(z+1)$ は $\mathrm{SL}_2$ をトーラスで割ったもので、その上の主 $\mathbb{C}^\times$ 束 $\mathrm{SL}_2\to\{xy=z(z+1)\}$ （ $x=ab,\ y=dc,\ z=db$ ）に変数 $u$ をそのまま足したもので引き戻すと、イデアル $I$ が単項 $(v)$ になります。 $\mathbb{G}_a$ 作用は、ファイバーの上で線形で単位元では恒等写像になる形でなら、直線束にただ1通りに持ち上がる（命題4.2）ので、ステップ2の導分が $\widetilde G=\widetilde R[\tau,V]/(\tau^2V-v)$ の導分に持ち上がり、そこから、ファイバー方向の重みのずれが $0$ 以下で $E^2(v)=0$ をみたす、 $\widetilde R$ の0でない導分 $E$ が取り出されます（命題5.2）。

最後の命題6.3が、そのような $E$ （重みのずれが $0$ 以下のもの）の非存在です。ここで、 $-u^3$ が $\widetilde R$ の商体で平方でないことを使います。

同時に否定された2つの予想

同じ $H$ から、関連する2つの予想の反例も得られます。

予想14 安定座標予想 [2, §1]

$f\in\mathbb{C}^{[n]}$ が、変数を1つ足した $\mathbb{C}^{[n+1]}$ で座標になるなら、 $f$ はもとの $\mathbb{C}^{[n]}$ ですでに座標である。

系15 OpenAI, 2026 [2, Corollary 1.2]

$H$ は $P=\mathbb{C}[p,s,u,F,J]$ の座標ではないが、 $P[w]$ の座標である。よって予想14は $n=5$ で成り立たない。

証明

$H$ を含む $P[w]$ の座標系がある。これは命題13からは直接は出ず、 $H$ の性質（ $p$ にどの複素数を入れても、また $p$ を有理関数体の元とみても座標になる「残余座標」であること）とダッタ・ラヒリの定理から従う。
論文は、ダッタとラヒリの定理を $R=\mathbb{C}[p]$ で使って、 $P[w]=\mathbb{C}[p,H,G_2,G_3,G_4,G_5]$ となる $G_i$ の存在を示している。命題13の証明が示すのは商 $P[w]/(H+p^3w)$ が多項式環になることで、それだけでは $H$ が $P[w]$ の座標であることは出ない。
もし $H$ が $P$ の座標なら、 $H$ を含む $P$ の座標系で $H$ を割ると、 $A=P/(H)\cong\mathbb{C}^{[4]}$ になる。これは定理7に反する。

もう1つは、命題9で見た「どのファイバーも $\mathbb{C}^3$ 」という性質にかかわります。ドルガチェフとヴァイスフェイラーは、局所ネーターで正規な整の底空間の上のアフィン射で、どのファイバーも剰余体 $\kappa$ の上のアフィン空間 $\mathbb{A}^r_\kappa$ であるものは、底空間を小さな開集合に分ければ積 $U\times\mathbb{A}^r$ になる（ザリスキ局所自明）と予想しました[2, §1]。

系16 OpenAI, 2026 [2, Corollary 7.1]

写像 $p\colon X\to\mathbb{C}$ と $(p,H)\colon\mathbb{C}^5\to\mathbb{C}^2$ は、どちらも滑らかで全射で、すべてのファイバーが $\mathbb{C}^3$ だが、ザリスキ局所自明ではない。よって、ドルガチェフとヴァイスフェイラーの予想は、ファイバーが $\mathbb{C}^3$ （相対次元3）の場合に、底空間が $\mathbb{C}$ と $\mathbb{C}^2$ で成り立たない。

この系は、相対次元1と2の場合には何も言っていません。

$p\colon X\to\mathbb{C}$ が局所自明でないことは、主定理から従います。もし局所自明なら、バス・コネル・ライトの定理とキレン・ススリンの定理から $A\cong\mathbb{C}[p]^{[3]}=\mathbb{C}^{[4]}$ となり、定理7に反するからです。 $(p,H)$ のほうは、同じ議論で $H$ が $P$ の座標になってしまい、系15に反します[2, §7]。

どこまで確かなのか

論文は2026年9月23日付のプレプリントで、査読はまだです^[2]。
リポジトリの照合（Comparator）の設定で、主定理 OAI.ComplexCancellation.main が検査の対象になっています^[21]。主張は「 $A$ は有限生成で整域、クルル次元が $4$ 、 $A[w]\cong\mathbb{C}^{[5]}$ 、 $A\not\cong\mathbb{C}^{[4]}$ 」の5つをまとめたもので、多項式 $H$ は照合用のファイルに論文と同じ式で書かれています。許可された公理は、Leanで標準的な propext、Quot.sound、Classical.choice の3つです。
形式化の範囲の説明では、系15と、直線束への持ち上げの一般的な主張は含まれないとされています^[22]。系16も照合の対象ではありません。
2026年10月7日付の更新では、この論文は修正も取り下げもされていません^[23]。

Leanで照合される主張は次のとおりです。MvPolynomial (Fin 5) ℂ は5変数の多項式環 $\mathbb{C}^{[5]}$ 、Polynomial A は $A[w]$ 、≃ₐ[ℂ] は $\mathbb{C}$ 代数の同型です。

def MainStatement : Prop :=
  Algebra.FiniteType ℂ A ∧ IsDomain A ∧ ringKrullDim A = 4 ∧
  Nonempty (Polynomial A ≃ₐ[ℂ] MvPolynomial (Fin 5) ℂ) ∧
  ¬ Nonempty (A ≃ₐ[ℂ] MvPolynomial (Fin 4) ℂ)

Leanの照合が通っていれば、主張と定義が正しく書かれている限り、証明に誤りはないことになります。筆者はこの記事を書いた時点で、Leanの検査を手元で再実行していません。この記事の命題8・命題12の恒等式と、命題9の行列式は、記事の生成のときに多項式の計算で確かめています。命題13の証明の恒等式は、sympy で展開して確かめました。

残された問題

$n=3$ ：複素数（標数 $0$ ）の上で $X\times\mathbb{C}\cong\mathbb{C}^4$ なら $X\cong\mathbb{C}^3$ か、は未解決のままです。
$n\ge5$ ：今回の反例に変数を足しても、高い次元の反例にはなりません。 $A[w]$ はすでに $\mathbb{C}^{[5]}$ だからです。 $n\ge5$ について論文は何も主張していません。
有理数体の上では：論文の主張は $\mathbb{C}$ の上のものです。論文には書かれていませんが、有理数体 $\mathbb{Q}$ の上でも同じ式が反例になることはすぐ分かります。命題13の構成の係数はすべて有理数なので $A_{\mathbb{Q}}[w]\cong\mathbb{Q}^{[5]}$ で、もし $A_{\mathbb{Q}}\cong\mathbb{Q}^{[4]}$ なら係数を $\mathbb{C}$ に広げて $A\cong\mathbb{C}^{[4]}$ となり、主定理に反するからです。
ラッセルの3次超曲面：直線を掛けると $\mathbb{C}^4$ になるかどうかは未解決です。

整域 $A$ の元の分数 $a/b$ （ $b\neq0$ ）全体がなす体。 $\operatorname{Frac}A$ と書く。例： $\mathbb{Z}$ の商体は $\mathbb{Q}$ 、 $k[x]$ の商体は有理関数体 $k(x)$ 。

整域 $A$ が整閉とは、商体の元 $x$ が $A$ 係数の最高次の係数1の多項式の根になるなら $x\in A$ となること。例： $\mathbb{Z}$ や $k[t]$ は整閉。 $k[t^2,t^3]$ は、 $t$ が $x^2-t^2$ の根なのに $t$ を含まないので整閉でない。

0 でも単元でもない元が、既約元の積に、順番と単元倍を除いて一通りに分解できる整域。例： $\mathbb{Z}$ 、体上の多項式環 $k[x_1,\dots,x_n]$ 。ここでは既約元が生成するイデアルは素イデアルになる。

体 $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か素数になるのは体や整域の場合。

元が有限個の体。素数 $r$ で割った余りの体 $\mathbb{F}_r$ のほか、各 $d\ge1$ について元がちょうど $r^d$ 個の体 $\mathbb{F}_{r^d}$ が（同型を除いて）ただ1つある。 $\mathbb{F}_{r^d}$ は $\mathbb{F}_r$ 上の $d$ 次元のベクトル空間である。

多様体 $X$ の上の有理関数（空でない開集合の上の正則関数を、重なりで一致するものどうし同じとみなしたもの）全体の体 $k(X)$ 。アフィン多様体なら座標環の商体に等しい。例： $k(\mathbb{A}^1)=k(t)$ 。

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

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

体 $k$ を含む環の元 $y_1,\dots,y_d$ が $k$ 上代数的に独立とは、0 でない多項式 $g$ で $g(y_1,\dots,y_d)=0$ となるものがないこと。このとき $k[y_1,\dots,y_d]$ は $d$ 変数の多項式環と同じものになる。

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

環 $A$ とイデアル $q$ から作る次数付き環 $G_q(A)=\bigoplus_{n\ge0}q^n/q^{n+1}$ 。積は代表元の積で定める。例： $A=k[x,y]_{(x,y)}$ 、 $q=(x,y)$ なら $G_q(A)\cong k[x,y]$ 。

環 $A$ の素イデアルの真に増える鎖 $P_0\subsetneq P_1\subsetneq\cdots\subsetneq P_n$ の長さ $n$ の最大値。 $\dim A$ と書く。例： $\dim k[x_1,\dots,x_n]=n$ 、 $\dim\mathbb{Z}=1$ 、体の次元は0。

参考文献

OpenAI, openai/math: mathematical manuscripts and supporting proof artifacts, GitHub, 2026.
OpenAI, An explicit failure of complex affine-space cancellation, OpenAI Math Release preprint, September 23, 2026.
R. ハーツホーン（高橋宣能・松下大介訳）, 『代数幾何学 1』, 丸善出版, 2013.
N. Gupta, A survey on Zariski cancellation problem, Indian J. Pure Appl. Math. 46 (2015), 865–877.
N. Gupta, The Zariski cancellation problem and related problems in affine algebraic geometry, Proc. ICM 2022, vol. 3, EMS Press, 2023, 1578–1598.
A. Beauville, J.-L. Colliot-Thélène, J.-J. Sansuc, P. Swinnerton-Dyer, Variétés stablement rationnelles non rationnelles, Ann. of Math. 121 (1985), 283–318.
T. Fujita, On Zariski problem, Proc. Japan Acad. Ser. A 55 (1979), 106–110.
M. Hochster, Nonuniqueness of coefficient rings in a polynomial ring, Proc. Amer. Math. Soc. 34 (1972), 81–82.
A. Dubouloz, L. Moser-Jauslin, P.-M. Poloni, Non cancellation for smooth contractible affine threefolds, arXiv:1004.4723.
S. S. Abhyankar, W. Heinzer, P. Eakin, On the uniqueness of the coefficient ring in a polynomial ring, J. Algebra 23 (1972), 310–342.
M. Miyanishi, T. Sugie, Affine surfaces containing cylinderlike open sets, J. Math. Kyoto Univ. 20 (1980), 11–42.
P. Russell, On affine-ruled rational surfaces, Math. Ann. 255 (1981), 287–302.
S. M. Bhatwadekar, N. Gupta, A note on the cancellation property of k[X,Y], J. Algebra Appl. 14 (2015), 1540007.
T. Asanuma, Polynomial fibre rings of algebras over Noetherian rings, Invent. Math. 87 (1987), 101–127.
N. Gupta, On the cancellation problem for the affine space A³ in characteristic p, Invent. Math. 195 (2014), 279–288.
N. Gupta, On Zariski's cancellation problem in positive characteristic, Adv. Math. 264 (2014), 296–307.
ICTP, Mathematics prize announced (2021 DST-ICTP-IMU Ramanujan Prize), ICTP, 2021.
S. Gaifullin, M. Petrov, Non-cancellative varieties, maximal tori, and the Makar-Limanov invariant, arXiv:2607.13593, 2026.
L. Makar-Limanov, On the hypersurface x + x²y + z² + t³ = 0 in C⁴ or a C³-like threefold which is not C³, Israel J. Math. 96 (1996), 419–429.
A. Dubouloz, The cylinder over the Koras–Russell cubic threefold has a trivial Makar-Limanov invariant, Transform. Groups 14 (2009), 531–539.
OpenAI, Lean formalization: ComparatorChallenges/ComplexCancellation.lean and .json (solution module OAI.Algebra.AffineCancellation.Main), openai/math, 2026.
OpenAI, Lean formalization scope: Zariski cancellation and affine fibrations over the complex numbers, openai/math, lean/docs/047.md, 2026.
OpenAI, openai/math: History, GitHub, 2026.

長く未解決だった問いに、具体的な式で答えが出た

多項式環が「同じ」とは

ザリスキの消去問題

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

問題の始まり

一般の図形では消去は成り立たない

1次元と2次元では成り立つ

正の標数では3次元以上で成り立たない

標数0、3次元以上は未解決だった

反例の式

鍵になる恒等式

ppp を止めると C3\mathbb{C}^3C3 が現れる

直線を掛けると C5\mathbb{C}^5C5 になる理由

AAA 自身が多項式環でない理由

同時に否定された2つの予想

どこまで確かなのか

残された問題

参考文献

$p$ を止めると $\mathbb{C}^3$ が現れる

直線を掛けると $\mathbb{C}^5$ になる理由

$A$ 自身が多項式環でない理由