数学ビジュアライズ

AI数学単発記事

OpenAIのAIが見つけた「ガーステン予想」の反例：K群の元が分数体に移すと消える

正則局所環のK群は分数体のK群につぶれずに入る、という1973年からのガーステン予想は、等標数では証明され、混標数が残っていました。OpenAIのモデルが、分岐した混標数(0,5)の環で K_5 と K_3 の反例を作った2本の論文を、K_0・K_1 と一意分解整域の話から解説します。

目次
  1. K群が分数体でつぶれる例
  2. と
  3. と、その先
  4. ガーステン予想
  5. これまでに分かっていたこと
  6. 反例の2つの環
  7. 今回の定理
  8. 証明の考え方
  9. どこまで確かなのか
  10. 残された問題
  11. 参考文献
この記事の要点
K群
環から作るアーベル群の列 K0,K1,K2,…K_0,K_1,K_2,\dots です。局所環では K0K_0 は整数、K1K_1 は可逆元の群で、K3K_3 から先は位相幾何の方法で定義されます。
ガーステン予想
正則局所環 AA の K群は、分数体の K群に「つぶれずに」入る（そこから始まる列が完全になる）、という1973年からの予想です。等標数の場合は証明されていて、混標数の場合が残っていました。
今回の結果
OpenAIのモデルが書いた2本の論文が、分岐した混標数 (0,5)(0,5) の2次元の正則局所環で、K5K_5 と K3K_3 の 00 でない元で、分数体に移すと 00 になるものを作ったと主張しています。整数係数のままの予想は成り立たないことになります。
確かさ
Leanの形式化はありません。2本とも査読前のプレプリントです。

この記事で読む論文

An integral counterexample to Gersten's conjecture

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

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

An integral degree-three Gersten counterexample

OpenAI　2026年9月26日付　プレプリント（査読前）　10ページ　PDF 0.3MB

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

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

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

K群が分数体でつぶれる例

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

テーマは代数的K理論です。正則局所環 AA の K群 Kn(A)K_n(A) は、分数体 FF の K群 Kn(F)K_n(F) に写ります。ガーステン予想は、この写像が単射で、さらにその先に続く列が完全になる、という予想です。2本の論文は、混標数 (0,5)(0,5) の特別な環で、n=5n=5 と n=3n=3 のときに単射でない例を作りました。

K群のうち初歩の範囲で書けるのは K0,K1,K2K_0,K_1,K_2 までで、K3K_3 から先は位相幾何の道具が要ります。以下では、K0,K1K_0,K_1 で予想の形を確かめるところから始め、予想の主張、これまでに分かっていたこと、反例の環と証明の考え方を順に見ます。

openai/math には、群論の別の「ガーステン予想」（1関係子群についてのもの）を扱った258番もありますが、この記事とは関係ありません。2本の論文は、10月7日付の修正・取り下げには含まれていません。リポジトリの更新は修正と取り下げの記録にまとめています。

K0K_0 と K1K_1

環 RR の K0(R)K_0(R) は、有限生成射影加群（自由加群の直和因子）を「足し算」で集めた群です。局所環の上の有限生成射影加群はすべて自由加群 RpR^p なので、局所環では K0(R)=ZK_0(R)=\mathbb{Z} になります（階数 pp を数えるだけ）[4, Lemma I.2.2, II.1]。

K1(R)K_1(R) は、可逆行列の群 GL(R)\mathrm{GL}(R) を、基本変形の行列で割ったものです。可換な局所環では、行列式をとる写像で可逆元の群と同じになります[4, Lemma III.1.4]。

K1(R)=R×(R は可換な局所環)K_1(R)=R^\times\qquad(R\text{ は可換な局所環})K1(R)=R×(R は可換な局所環)\begin{gathered}K_1(R)=R^\times\\(R\text{ は可換な局所環})\end{gathered}K1(R)=R×(R は可換な局所環)\begin{aligned}K_1(R) &= R^\times\\[4pt]&(R\text{ は可換な局所環})\end{aligned}

正則局所環 AA と分数体 FF について、K0(A)=Z→K0(F)=ZK_0(A)=\mathbb{Z}\to K_0(F)=\mathbb{Z} は同型で、K1(A)=A×→K1(F)=F×K_1(A)=A^\times\to K_1(F)=F^\times は可逆元の包含なので単射です。n=0,1n=0,1 では、予想の「単射」の部分は当たり前に成り立ちます。

予想は単射のその先も述べています。n=1n=1 で見てみます。

例1 離散付値環の n=1n=1 の列

A=Z(5)A=\mathbb{Z}_{(5)}（分母が 55 で割れない有理数の環）、F=QF=\mathbb{Q} とする。v5v_5 を、有理数が 55 で何回割れるかを数える写像とすると、次の列は完全である。

0→A×→Q×→ v5 Z→00\to A^\times\to\mathbb{Q}^\times\xrightarrow{\ v_5\ }\mathbb{Z}\to00→A×→Q×→ v5 Z→0\begin{aligned}0 &\to A^\times\\&\to \mathbb{Q}^\times\xrightarrow{\ v_5\ }\mathbb{Z}\\&\to 0\end{aligned}

たとえば v5(50/3)=2v_5(50/3)=2、v5(−7/15)=−1v_5(-7/15)=-1、v5(12/7)=0v_5(12/7)=0 で、v5v_5 が 00 の有理数がちょうど AA の可逆元である。

2次元の正則局所環では、高さ 11 の素イデアル（図形でいえば原点を通る曲線）ごとに、そこでの零点・極の位数を数えます。

命題2 n=1n=1 の列

AA を正則局所環、FF をその分数体とする。各 f∈F×f\in F^\times に、高さ 11 の素イデアル p\mathfrak{p} での位数 vp(f)v_\mathfrak{p}(f) の組を対応させると、次の列は完全である。

0→A×→F×→⨁ht⁡p=1Z→00\to A^\times\to F^\times\to\bigoplus_{\operatorname{ht}\mathfrak{p}=1}\mathbb{Z}\to00→A×→F×→⨁ht⁡p=1Z→0\begin{aligned}0 &\to A^\times\\&\to F^\times\\&\to \bigoplus_{\operatorname{ht}\mathfrak{p}=1}\mathbb{Z}\\&\to 0\end{aligned}
証明
  1. 正則局所環は一意分解整域である[5, 定理20.3, p.197]。とくに整閉で、高さ 11 の素イデアル p\mathfrak{p} での局所化 ApA_\mathfrak{p} は離散付値環なので、vpv_\mathfrak{p} が定まる。
  2. f∈F×f\in F^\times を a/ba/b（a,b∈Aa,b\in A）と書くと、vp(f)≠0v_\mathfrak{p}(f)\ne0 となるのは aa か bb の素因数が生成する有限個の p\mathfrak{p} だけなので、像は直和に入る。可逆元はすべての位数が 00 なので、A×A^\times は核に入る。
  3. F×F^\times で完全：vp(f)=0v_\mathfrak{p}(f)=0 がすべての p\mathfrak{p} で成り立てば、ff も f−1f^{-1} も ⋂pAp=A\bigcap_{\mathfrak{p}}A_\mathfrak{p}=A に入るので、f∈A×f\in A^\times[5, 定理11.5 系, p.99]。
  4. 右端の全射：一意分解整域では、高さ 11 の素イデアルは素元 π\pi で生成される単項イデアル (π)(\pi) で、v(π)(π)=1v_{(\pi)}(\pi)=1、ほかの p\mathfrak{p} では 00 である。

つまり n=1n=1 の列が完全であることは、「正則局所環は一意分解整域」という古典的な定理とほぼ同じ内容です。ガーステン予想は、これを高い nn に広げたものです。

K2K_2 と、その先

体 FF の K2(F)K_2(F) には、松本の定理による具体的な表し方があります。F×F^\times の元の組 {a,b}\{a,b\}（記号）で生成され、関係は双線形性と次のスタインバーグの関係だけです[4, Theorem III.6.1][6]。

{a, 1−a}=0(a≠0,1)\{a,\,1-a\}=0\qquad(a\ne0,1){a, 1−a}=0(a≠0,1)\begin{gathered}\{a,\,1-a\}=0\\(a\ne0,1)\end{gathered}{a, 1−a}=0(a≠0,1)\begin{aligned}\{a,\,1-a\} &= 0\\[4pt]&(a\ne0,1)\end{aligned}

K3K_3 から先は、このような元の表し方がありません。キレンは1969年ごろ、GL(R)\mathrm{GL}(R) から位相空間 BGL(R)+B\mathrm{GL}(R)^+ を作り、そのホモトピー群として Kn(R)K_n(R) を定義することを提案しました。1973年の論文では、もっと一般の「Q構成」で定義し直しています[4, IV.1, Definition IV.1.1][7]。以下では K3,K5K_3,K_5 の中身には立ち入らず、K群のあいだの写像の性質だけを使います。たとえば有限体については、キレンの計算で n>0n>0 が偶数なら Kn(Fq)=0K_n(\mathbb{F}_q)=0 です[4, Corollary IV.1.13][8]。2本の論文はこれを使います。

離散付値環 AA（剰余体 kk、分数体 FF）では、キレンの局所化完全列があります[4, V.6.6, V.6.9]。

⋯→Kn(k)→Kn(A)→Kn(F)→Kn−1(k)→⋯\cdots\to K_n(k)\to K_n(A)\to K_n(F)\to K_{n-1}(k)\to\cdots⋯→Kn(k)→Kn(A)→Kn(F)→Kn−1(k)→⋯\begin{aligned}\cdots &\to K_n(k)\\&\to K_n(A)\\&\to K_n(F)\\&\to K_{n-1}(k)\\&\to \cdots\end{aligned}

Kn(A)→Kn(F)K_n(A)\to K_n(F) で 00 になる元は、剰余体 kk からの写像（転送）の像にあたります。剰余体に「載っている」元が、分数体に移すと消えるかどうかが問題になります。

ガーステン予想

ガーステンは1973年、K理論の完全列の研究の中で、正則局所環について次の主張をいくつかの場合に確かめていました。キレンは同じ論文集で、それを「Conjecture 5.10（Gersten）」として述べています[7, §7.5, p.132]。

予想3 ガーステン, 1973 [7, Conjecture 5.10]

AA を正則局所環、FF をその分数体とする。すべての n≥0n\ge0 について、次の列は完全である。

0→Kn(A)→Kn(F)→⨁ht⁡p=1Kn−1(κ(p))→⨁ht⁡p=2Kn−2(κ(p))→⋯0\to K_n(A)\to K_n(F)\to\bigoplus_{\operatorname{ht}\mathfrak{p}=1}K_{n-1}\bigl(\kappa(\mathfrak{p})\bigr)\to\bigoplus_{\operatorname{ht}\mathfrak{p}=2}K_{n-2}\bigl(\kappa(\mathfrak{p})\bigr)\to\cdots0→Kn(A)→Kn(F)→⨁ht⁡p=1Kn−1(κ(p))→⨁ht⁡p=2Kn−2(κ(p))→⋯\begin{aligned}0 &\to K_n(A)\\&\to K_n(F)\\&\to \bigoplus_{\operatorname{ht}\mathfrak{p}=1}K_{n-1}\bigl(\kappa(\mathfrak{p})\bigr)\\&\to \bigoplus_{\operatorname{ht}\mathfrak{p}=2}K_{n-2}\bigl(\kappa(\mathfrak{p})\bigr)\\&\to \cdots\end{aligned}

ここで κ(p)\kappa(\mathfrak{p}) は素イデアル p\mathfrak{p} の剰余体である。とくに Kn(A)→Kn(F)K_n(A)\to K_n(F) は単射である。

命題2は、この列の n=1n=1 の場合です（K−1=0K_{-1}=0 なので、そこで列が終わります）。

この予想が重視されたのは、図形の部分多様体の集まり（チャウ群）をK理論で計算する「ブロックの公式」と結びついているからです。体の上の滑らかな多様体については、キレンが証明した場合（下の1973年の結果）からこの公式が導かれ、予想が成り立てばもっと広い正則なスキームに広がります[7, §7.5][4, V.9]。

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

ここでは、2本の論文の序論、ワイベルの教科書、望月哲史の概説をもとにまとめます[2,3,4,9]。正則局所環は、標数の様子で3種類に分かれます（セールの正値性予想の記事の正則局所環の節を参照）。

  • 1973年（キレン）：体の上の有限型の環から作った正則局所環（図形の正則な点の環）で予想を証明しました[7, Theorem 5.11]。
  • 2003年（パニン）：等標数（環と剰余体の標数が同じ）のすべての正則局所環で証明しました[10]。
  • 低い次数：n=0,1n=0,1 は上で見たとおりで、n=2n=2 は離散付値環でデニスとスタインが示しています[11]。
  • 有限係数：K群を Z/ℓ\mathbb{Z}/\ell 係数にした版では、混標数でも多くが分かっています。離散付値環で ℓ\ell が剰余体の標数と素な場合はギレ（1986年）、ℓ\ell が剰余体の標数のべきの場合も含めて離散付値環の上で滑らかな環ではガイサーとレヴィン（2000年）、不分岐な混標数のすべての正則局所環でスカリット（2017年）です[12,13,14]。
  • 整数係数の混標数：ギレとレヴィンは、離散付値環の上で滑らかな場合を、離散付値環そのものの場合に帰着させました[15]。ところが、混標数の離散付値環そのものの場合は、剰余体が有限体などの特別な場合を除いて、2013年のワイベルの教科書で「一般には分かっていない」とされています[4, V.6.9, Corollary V.6.9.2]。スカリットは、不分岐な場合を、ある種の離散付値環についての予想に帰着させています[14, Thm 5.4]。
有限係数 Z/ℓ\mathbb{Z}/\ell
整数係数
等標数
混標数・不分岐
混標数・分岐
成り立つ
キレン, パニン
成り立つ
パニン 2003
成り立つ
スカリット 2017
一般には未解決
成り立たない
フェルド 2026
成り立たない
今回 2026
図1概念図正則局所環の種類と係数で分けた、予想の状況です。緑は「成り立つ」、赤と橙は「成り立たない」（反例がある）、灰色は一般には未解決です。橙の枠が今回の論文の結果です。「成り立たない」の2マスは、どちらも査読前のプレプリントの主張です。分岐した混標数とは、剰余体の標数 pp が極大イデアルの2乗に入る場合です。

直接の先行例は、2026年8月のフェルドのプレプリントです。フェルドは、分岐した混標数 (0,3)(0,3) の2次元の正則局所環で、Z/3\mathbb{Z}/3 係数の K2K_2 が単射でない例を作りました。ただしその環でも、整数係数の K2K_2 は単射のままです[16]。有限係数で破れても、整数係数で破れるとは限りません。今回の2本は、整数係数のK群のままで予想が破れることを示したと主張しています。

反例の2つの環

どちらの環も、混標数 (0,5)(0,5)（環は標数 00、剰余体は標数 55）の2次元の正則局所環で、しかも 55 が極大イデアルの高いべきに入る「分岐した」環です。どちらも VV の上で滑らかでもありません（特殊ファイバーが閉点で特異）。混標数であることで等標数の結果を、分岐していることでスカリットの結果を、VV 上で滑らかでないことでギレ・レヴィンやガイサー・レヴィンの結果を避けています[2, §1][3, §1]。

命題4 次数5の論文の環 [2, Theorem 1.1, Lemma 6.1]

VV を、5進数体 Q5\mathbb{Q}_5 の次数 88 の不分岐拡大の整数環とし、

A=(V[x,y]/(5+x4+y4))(5,x,y)A=\bigl(V[x,y]/(5+x^4+y^4)\bigr)_{(5,x,y)}A=(V[x,y]/(5+x4+y4))(5,x,y)\begin{aligned}A &= \bigl(V[x,y]/(5+x^4+y^4)\bigr)_{(5,x,y)}\end{aligned}

とおく。AA は2次元の正則局所整域で、極大イデアルは m=(x,y)\mathfrak{m}=(x,y)、5∈m45\in\mathfrak{m}^4 である。

証明
  1. V[x,y]V[x,y] を (5,x,y)(5,x,y) で局所化した環は3次元の正則局所環で、5,x,y5,x,y が極大イデアルの生成元である（VV は不分岐なので 55 が素元）。
  2. 5+x4+y45+x^4+y^4 は、極大イデアルの2乗を法として 55 に等しく、2乗に入らない。正則局所環を、極大イデアルの2乗に入らない元で割ると、1次元低い正則局所環になる。よって AA は2次元の正則局所環で、整域でもある。
  3. AA の中では 5=−(x4+y4)5=-(x^4+y^4) なので、5∈(x,y)45\in(x,y)^4、とくに m=(5,x,y)=(x,y)\mathfrak{m}=(5,x,y)=(x,y) である。

命題5 次数3の論文の環 [3, Theorem 1.1, Lemma 2.1]

ζ\zeta を1の原始5乗根、L=Q5(ζ)L=\mathbb{Q}_5(\zeta)、VV をその整数環、π=1−ζ\pi=1-\zeta とする。VV 上の射影平面 PV2\mathbb{P}^2_V の中の超曲面（一般ファイバーは曲線で、全体は2次元）

(X−Z)5−XY4+Y5+ζZ5=0(X-Z)^5-XY^4+Y^5+\zeta Z^5=0(X−Z)5−XY4+Y5+ζZ5=0\begin{aligned}(X-Z)^5-XY^4+Y^5+\zeta Z^5 &= 0\end{aligned}

の、剰余体の上の点 [0:0:1][0:0:1] での局所環 AA は、2次元の正則局所整域で、π∈m2\pi\in\mathfrak{m}^2 である。

証明
  1. Φ5(1−T)=T4−5T3+10T2−10T+5\Phi_5(1-T)=T^4-5T^3+10T^2-10T+5 は 55 についてのアイゼンシュタイン多項式なので、π=1−ζ\pi=1-\zeta は VV の素元で、5=uπ45=u\pi^4（uu は可逆元）となる。
  2. x=X/Z, y=Y/Zx=X/Z,\ y=Y/Z とし F=(x−1)5−xy4+y5+ζF=(x-1)^5-xy^4+y^5+\zeta とおく。(x−1)5=x5−5x4+10x3−10x2+5x−1(x-1)^5=x^5-5x^4+10x^3-10x^2+5x-1 なので、F≡−πF\equiv-\pi を極大イデアル (π,x,y)(\pi,x,y) の2乗を法として得る。前の命題と同じ理由で、AA は2次元の正則局所環である。
  3. F=0F=0 を π\pi について解くと π=x5−5x4+10x3−10x2+5x−xy4+y5\pi=x^5-5x^4+10x^3-10x^2+5x-xy^4+y^5。右辺の各項は xx か yy を含むので π∈(x,y)\pi\in(x,y)、よって m=(x,y)\mathfrak{m}=(x,y)。55 は π\pi で割れるので 5x∈m25x\in\mathfrak{m}^2 で、ほかの項も m2\mathfrak{m}^2 に入る。よって π∈m2\pi\in\mathfrak{m}^2。

次数3の論文では、曲線の式を π\pi を法として（π=0\pi=0 として）F5\mathbb{F}_5 の上で見た特殊ファイバー X5−XY4+Y5=0X^5-XY^4+Y^5=0 が重要な役割をします（ζ≡1\zeta\equiv1、(X−Z)5≡X5−Z5(X-Z)^5\equiv X^5-Z^5 を使う）。s=X/Ys=X/Y とおくと s5−s+1s^5-s+1 で、これは F5\mathbb{F}_5 の上で既約です。根 α\alpha は α5=α−1\alpha^5=\alpha-1 をみたすので、フロベニウス写像 a↦a5a\mapsto a^5 は α\alpha を α−1\alpha-1 に移します。α,α−1,…,α−4\alpha,\alpha-1,\dots,\alpha-4 と進んで5回目で初めて元に戻るので、α\alpha の F5\mathbb{F}_5 上の共役は5個あり、最小多項式の次数は 55 です[3, Lemma 2.1]。このため、曲線の閉点 qq のうち点 [0:0:1][0:0:1] 以外に特殊化するものは、剰余次数（局所体 κ(q)\kappa(q) の剰余体の F5\mathbb{F}_5 上の次数）が 55 で割り切れます。この性質が、あとで元が 00 でないことを見分けるのに使われます。

今回の定理

定理6 OpenAI, 2026年9月25日 [2, Theorem 1.1]

命題4の環 AA について、K5(A)→K5(Frac⁡A)K_5(A)\to K_5(\operatorname{Frac}A) の核は 00 でない。

定理7 OpenAI, 2026年9月26日 [3, Theorem 1.1]

命題5の環 AA には、K3(Frac⁡A)K_3(\operatorname{Frac}A) に移すと 00 になり、A[1/π]A[1/\pi] に制限して Z/5\mathbb{Z}/5 係数にしても 00 にならない c∈K3(A)c\in K_3(A) がある。とくに K3(A)→K3(Frac⁡A)K_3(A)\to K_3(\operatorname{Frac}A) は単射でない。

論文が正しければ、予想3は、整数係数のK群のままでは一般の正則局所環で成り立たないことになります。2本は互いの結果を使っておらず、別々の環と別々の方法で示されています[2, §1][3, §1]。

証明の考え方

2本とも、同じ2段の構成をとります。まず、AA の中の曲線（高さ 11 の素イデアル）の上にだけ載っている元を作ります。そのような元は、分数体に移すと必ず 00 になります。次に、その元が AA の上では 00 でないことを、Z/5\mathbb{Z}/5 係数に落として見分けます。

閉点 m\mathfrak{m}
曲線
Spec⁡A\operatorname{Spec}A（2次元）
分数体へ
Frac⁡A\operatorname{Frac}A
曲線の上の情報は消える
図2概念図2次元の局所環 AA の Spec⁡\operatorname{Spec} を楕円で、その中の曲線を橙で描いた模式図です（次数3の論文では曲線 y=0y=0、次数5の論文では Y0x−X0y=0Y_0x-X_0y=0）。曲線の上にだけ載っているK群の元は、分数体 Frac⁡A\operatorname{Frac}A に移すと 00 になります。反例は、そのような元が AA の上では 00 でないことを示します。点線はほかの曲線です。

次数3の論文の流れは次のとおりです[3, §1–§5]。

  1. 1
    曲線 y=0y=0 を選ぶ

    S=A/yAS=A/yA は離散付値環で、分数体 DD は LL の次数5の完全分岐拡大になる。t=x mod yt=x\bmod y は (1−t)5=ζ(1-t)^5=\zeta と、ノルム ND/L(t)=πN_{D/L}(t)=\pi をみたす。

  2. 2
    Z/5\mathbb{Z}/5 係数の元を作る

    Z/5\mathbb{Z}/5 係数の K2(L;Z/5)K_2(L;\mathbb{Z}/5) から、境界が [ζ][\zeta] になる元 β\beta をとり、aD=βD⋅[t]∈K3(D;Z/5)a_D=\beta_D\cdot[t]\in K_3(D;\mathbb{Z}/5) とおく。

  3. 3
    スタインバーグの関係で整数係数に持ち上げる

    (1−t)5=ζ(1-t)^5=\zeta とスタインバーグの関係 {1−t,t}=0\{1-t,t\}=0 から、aDa_D の境界が消え、整数係数の K3(D)K_3(D) に持ち上がる。K2(F5)=0K_2(\mathbb{F}_5)=0 を使って K3(S)K_3(S) に延ばし、AA に押し出して c∈K3(A)c\in K_3(A) を得る。曲線の上の元なので、分数体では 00。

  4. 4
    ノルムの位数で見分ける

    LL の有限次拡大 EE では、βE\beta_E を掛ける写像で Z/5\mathbb{Z}/5 係数の K3K_3 が E×/E×5E^\times/E^{\times5} と同じになり、転送はノルムに対応する。点 mm 以外に特殊化する点は剰余次数が 55 で割れるので、そこからの寄与はノルムの位数が 55 の倍数になる。一方、曲線 y=0y=0 の点 q0q_0 は剰余次数が 11 で、寄与は ND/L(t)=πN_{D/L}(t)=\pi の位数 11 である。cc を A[1/π]A[1/\pi] に制限した Z/5\mathbb{Z}/5 係数の元が 00 だとすると、この位数の合計が合わず、矛盾する。

専門的な話次数5の論文の方法

次数5の論文は、S=Z[ζ,1/5]S=\mathbb{Z}[\zeta,1/5] の上の Z/5\mathbb{Z}/5 係数のボット元 β\beta を2回掛けた元 b2[ζ−1]5b^2[\zeta-1]_5 を整数係数の K5(S)K_5(S) に持ち上げます。持ち上げの障害 K4(S)[5]K_4(S)[5] が 00 であることを、ブラウアー群の相互律とキレンの有限生成定理で示します。SS では 55 が可逆なので、SS から直接 AA の側には行けません。そこでこの元を体 L1=H0(ζ)L_1=H_0(\zeta)（H0H_0 は VV の分数体）に制限し、K4(F58)=0K_4(\mathbb{F}_{5^8})=0 を使って L1L_1 の付値環 O\mathcal{O} の上の元に持ち上げ、全射 A→OA\to\mathcal{O} で決まる曲線に押し出します。これが反例の元です[2, §3, §6, §7]。

見分けるには、VV を L1L_1 の付値環まで広げて曲線をフェルマー4次曲線 X4+Y4=Z4X^4+Y^4=Z^4 の4つの有理点に分け、2つのボット因子を外して普通の記号に戻し、特殊ファイバーのピカール群への写像で調べます。フェルマー4次曲線から種数1の曲線 w2=s4+1w^2=s^4+1 への次数2の写像を使い、4つの点の寄与の和が E(k)/5E(k)E(k)/5E(k) の中で 4Q≠04Q\ne0 になることで、元が 00 でないことが分かります[2, §4, §5]。4つの点の位数はどれも 11 で、符号（円分指標の2乗から来る ±1\pm1、 mod 5\bmod 5 で 1,4,4,11,4,4,1）を付けて足すだけだと 1+4+4+1≡0(mod5)1+4+4+1\equiv0\pmod5 となり、この見方では区別できない、と論文は注意しています。ほかの数の見方すべてについては、何も主張していません[2, §7]。

この論文の付録は、望月哲史のプレプリント（第8版）の定理5を取り上げています。その定理は、今回の元が 00 になることを意味してしまうので、論文が正しければ定理5は成り立ちません。付録は、定理5の証明が使う補題13(III)の主張に、具体的な反例を挙げています。ただし、それだけで定理5の主張そのものを否定したことにはならない、と書いています[2, Appendix A][17]。

どこまで確かなのか

  • 2本とも2026年9月25日・26日付のプレプリントで、査読はまだです[2,3]。
  • この結果にはLeanの形式化がありません。リポジトリの形式化の一覧に、この2本の項目はありません。
  • 2026年10月7日付の更新では、2本とも修正も取り下げもされていません[18]。
  • 次数5の論文は、望月のプレプリント（第8版）の定理5と食い違います（上の補足）。定理5は、混標数の離散付値環での予想などを導くのに使われている一般的な定理です[17]。どちらが正しいかは、専門家の検証を待つことになります。

この記事の例1の位数と、命題5の証明の多項式の展開、s5−s+1s^5-s+1 が F5\mathbb{F}_5 上で既約であることは、記事の生成のときに計算して確かめています。論文の証明そのものは、筆者は検証していません。

残された問題

  • 有理数係数：反例の元の位数（何倍すると 00 になるか）は分かっておらず、K群を有理数係数にした版の予想は決着していません[2, §1][3, §1]。
  • 不分岐な場合：今回の環はどちらも分岐しています。不分岐な混標数の正則局所環や、混標数の離散付値環そのもの（剰余体が有限体などの場合を除く）での整数係数の予想は、2013年・2017年の文献では一般には未解決とされています[14][4, V.6.9]。望月のプレプリントは離散付値環の場合を証明したと主張していますが、上で見たとおり今回の論文と食い違っています[17]。
  • いちばん低い次数：2本は n=5n=5 と n=3n=3 の例ですが、どの次数から破れうるかは決めていない、と論文は書いています[3, §1]。

OpenAIの数学論文には、同じ可換環論のレックの予想、小さいコーエン・マコーレー加群予想の反例、セールの正値性予想の記事もあります。

参考文献

  1. OpenAI, openai/math: mathematical manuscripts and supporting proof artifacts, GitHub, 2026.
  2. OpenAI, An integral counterexample to Gersten's conjecture, OpenAI Math Release preprint, September 25, 2026.
  3. OpenAI, An integral degree-three Gersten counterexample, OpenAI Math Release preprint, September 26, 2026.
  4. C. A. Weibel, The K-book: An introduction to algebraic K-theory, Graduate Studies in Math. 145, AMS, 2013（番号は著者公開版）.
  5. 松村英之, 『復刊 可換環論』, 共立出版, 2000.
  6. H. Matsumoto, Sur les sous-groupes arithmétiques des groupes semi-simples déployés, Ann. Sci. ÉNS (4) 2 (1969), 1–62.
  7. D. Quillen, Higher algebraic K-theory: I, in Algebraic K-theory I, Lecture Notes in Math. 341, Springer, 1973, 85–147.
  8. D. Quillen, On the cohomology and K-theory of the general linear groups over a finite field, Ann. of Math. 96 (1972), 552–586.
  9. S. Mochizuki, A survey of Gersten's conjecture, arXiv:1608.08114, 2016.
  10. I. A. Panin, The equicharacteristic case of the Gersten conjecture, Proc. Steklov Inst. Math. 241 (2003), 154–163.
  11. R. K. Dennis, M. R. Stein, K₂ of discrete valuation rings, Adv. Math. 18 (1975), 182–238.
  12. H. Gillet, Gersten's conjecture for the K-theory with torsion coefficients of a discrete valuation ring, J. Algebra 103 (1986), 377–380.
  13. T. Geisser, M. Levine, The K-theory of fields in characteristic p, Invent. Math. 139 (2000), 459–493.
  14. C. Skalit, Regular morphisms and Gersten's conjecture, arXiv:1710.00303, 2017.
  15. H. Gillet, M. Levine, The relative form of Gersten's conjecture over a discrete valuation ring: the smooth case, J. Pure Appl. Algebra 46 (1987), 59–71.
  16. N. Feld, Finite-coefficient Gersten injectivity fails in ramified mixed characteristic, arXiv:2608.05005, 2026.
  17. S. Mochizuki, Local Gersten's conjecture for regular system of parameters, arXiv:1503.07966 (v8), 2020.
  18. OpenAI, openai/math: History, GitHub, 2026.