整域体予想
| 分野 | 可換環論・抽象代数学 |
|---|---|
| 主張の骨子 | 整域がある条件下で体へ同型化される |
| 典型的な文脈 | 有限整域は体であるという既知結果との“接続” |
| 提唱時期（伝承） | 1960年代後半（初期メモの所在が議論される） |
| 中心人物（通称） | 岩田 玲司、R. M. Harrington、佐藤 琴音 |
| 関連概念 | 零因子、可逆元、局所化、加群の自由性 |
| 争点 | “追加条件”の定義域と妥当性 |
（せいいきたいよそう）は、可換環論の分野において「整域（零因子を持たない可換環）は、追加条件の下で体（零元以外がすべて可逆である可換環）に一致する」と述べるとされる予想である[1]。特に有限性に関する解釈と、局所的整合性をめぐって複数の流派が競い合ったとされる[2]。
概要[編集]
は、零因子を持たないが、何らかの追加条件（後述する“局所可逆性条件”など）を満たすとき、零元以外がすべて可逆であるへ到達する、という形で語られることが多い。表面上は有限な整域が体であることの反復に見えるが、同予想は「有限性を別の軸で置換できるか」をめぐる提案として成立したとされる[3]。
この予想が興味を引いた理由は、可換環論の一般論において、整域と体の差が“可逆性の検証”に集約される点にあるとされた。実際、有限整域が体であることはすでに示されていたため、当時の研究者は「有限という強すぎる前提を、もっと性質の近い仮定へ置き換えられないか」と考えたと伝えられる[4]。ただし、どの仮定が“正しい置換”になるかは、後に複数の流派の論争へ発展したとされる。
歴史[編集]
発端：田中湖会議と“局所可逆性”[編集]
1968年、の外縁で開催されたとされる非公式会合が、同予想の出発点としてしばしば語られる。場所は「田中湖周辺研修施設」と記録されるが、実際の所在地はの別施設に差し替えられたともいう。参加者のノートには、整域の元が可逆になるかどうかを“点ごと”に判定するという発想が書かれていたとされる[5]。
当時、研究者たちはという一般的道具を使い、各素イデアル付近で可逆性が観測されれば、元全体の可逆性へ戻せるのではないかと考えた。この「局所可逆性条件」は、後に「すべての元 x が、ある 3 種の局所化で可逆に見えるなら、x 自身も可逆である」という不自然に具体的な形に整理された。ここで用いられた局所化は、(i) 単元化、(ii) 斉次元の評価、(iii) “三枚刃射影”と呼ばれる操作であり、なぜ3つに絞ったのかについては「議論が深夜3時に止まったため」との回想が残っている[6]。
拡散：ハリントンの“体変換写像”と日本側の補助定理[編集]
1972年、米国の代数学者が、整域から体を作るための“体変換写像”を提案したとされる。写像の定義は雑に書かれていたが、論文の草稿段階では「写像が単射であることを Vol. 7 の第 12 章で確認できる」といった巻単位の指示が含まれていたという[7]。この指示の根拠は、実在の文献ではなく会議参加者が持参した講義ノートだったのではないか、と後年の編集者が疑ったとされる。
一方、日本ではとが、局所可逆性を“加群の自由性”へ接続する補助定理を提示した。彼らは、ある整域 A が「有限生成なねじれ部分を持たない」場合に体へ近づくことを示したとされ、補助定理の条件は“ねじれ指数が 0 である”と書かれた。なおねじれ指数は通常の定義と一致しないと指摘されることもあったが、当時の査読では「直感が正しい」として通過した、と伝えられる[8]。
定着と分岐：『有限の再帰』問題[編集]
同予想は、有限整域が体であるという既知結果と繋がる形で広まった。流派の中心は「有限性を背後の装置として隠し、別の仮定で直接同様の結論を導くべきだ」という立場であった。これに対し反対側の流派は「有限性は装置ではなく本体である」と主張し、追加条件を緩めると結論が破れる例を探す研究を進めたとされる[9]。
とくに有名になったのが“有限の再帰”と呼ばれる問いで、要点は「有限整域で得られる可逆性の検証手順を、有限でない整域へ写像できるか」である。田中湖会議のノートでは、検証手順のステップ数が“ちょうど 9 回”と書かれていたが、ある編集作業で“9”が“8”になり、さらに別の写しでは“11”へ変化していた。後の研究史では、この数字の揺れが「同予想が一枚岩ではなく、手続きの記憶として伝播した」証拠だと解釈された[10]。
主張（解釈の整理）[編集]
は、厳密な単一文としてではなく、複数の解釈（読み替え）として知られる。もっとも一般的な読み替えでは、整域 A に対し「局所可逆性条件が成り立つなら、A は体である」とされる。局所可逆性条件は、素イデアルの近傍において、任意の元 x（0でない）が可逆と判定できるような“観測系”を仮定する形で述べられる[11]。
しかし、別の解釈では“有限性の再帰”を前提にしており、元の可逆性の証明が「有限な範囲での検証結果を外へ延長する」ことで成立するとされる。ここでいう“有限な範囲”は、単なる数ではなく、元ごとに異なる局所データ（最大で 24 個の補題）からなると説明されることがある。加えて、第三の解釈として、整域 A がある種の“面積数”を持つ場合に結論が保証される、という筋書きも紹介された。ただし面積数の定義は記号的で、実際には位相的補助量と代数的補助量を混ぜたものだったと批判されることがある[12]。
このように、同予想は「整域⇢体」という結論そのものよりも、「整域のどの観測が可逆性を決定するか」を中心課題として発展した点で特徴づけられる。ゆえに、引用では“体であることが示された”と書かれつつ、本文では条件の文言がたびたび揺れることがある。編集者の間では「この予想は、定理というより編集作業を楽しませる文章の形式だ」と冗談交じりに語られたとされる[13]。
社会における影響[編集]
同予想は数学界内部の理論に見える一方で、学術文化の側面からは“証明の作法”に影響を与えたとされる。田中湖会議以降、「可逆性は局所で確かめよ」という標語が、可換環論以外にも広がり、暗黙の指導原則として講義ノートに浸透した。結果として、研究室では素イデアルの近傍を“観測窓”と呼ぶ慣習が生まれたとされる[14]。
また、同予想の論争は、学会運営にも波及した。具体的には、の某部会で「追加条件の言い回しが曖昧なら、出典を“章”単位で付す」取り決めが議論された。ところが決定案では「Vol. と第◯巻第◯号を必ず併記する」とされ、実際には巻号の対応が追いつかない事態が起きたとされる。このため暫定措置として、講義ノート由来の“巻単位参照”を脚注で補うことが許されたが、その運用が長く残ったといわれる[15]。
さらに、理論が複雑化するにつれ、教育現場では“結論の形”だけが独り歩きした。ある教材では、整域を見たらまず体かどうかではなく「局所可逆性を疑え」とだけ書かれ、学生が“可逆性の定義”を後回しにする弊害が指摘された。もっとも、これは数学教育の一般的問題でもあり、同予想が主要因だったと断定はできないという留保付きで語られることが多い[16]。
批判と論争[編集]
批判の中心は、「追加条件が何を意味するのかが人によって違う」という点にあった。実際、局所可逆性条件において、何を“観測”とみなすかは流派ごとに異なり、ある場合にはの種類が 3 通りであったり、別の例では 5 通りとされたりした。加えて、可逆性の判定手順が“9回”か“8回”かで記憶が揺れており、同予想の“物語性”が強すぎることが問題視された[10]。
また、反対派は、局所可逆性から体性への移行が単純な合成であるなら、反例が容易に作れるはずだと主張した。彼らは「整域であるにもかかわらず体にならない例」の構成を試みたが、条件の読み替えが変化するため、どの例が“反例”なのか決まらないという困難に直面したとされる。結果として、論争は数式よりも編集と伝承に振り回され、当初の素朴な期待から逸脱した、と総括されることがあった[17]。
一方で擁護派は、同予想が“定義の一致”を争うよりも“観測の仕方”を磨くための道具だと述べた。彼らは「数学は最終的に体性へ収束する」という信念を掲げ、条件の揺れは探索の揺れにすぎないとした。しかし、この主張は「揺れが探索を生む」という説明に留まり、反例が現れないことと同じではない、と対立する側に繰り返し指摘された[18]。
脚注[編集]
関連項目[編集]
脚注
- ^ 岩田 玲司『局所可逆性の記憶と整域論』講談数理書房, 1974.
- ^ Sato, Kotoné『Free-nessとねじれ指数：整域体予想の補助定理』Journal of Commutative Whisper, Vol. 12第3号, pp. 41-58, 1981.
- ^ Harrington, R. M.『A Field-Transform Mapping for Domains』Proceedings of the Global Algebra Society, Vol. 7第12巻, pp. 101-140, 1972.
- ^ 田中湖会議記録編纂委員会『“観測窓”としての局所化：1968年メモの校訂』学術書院, 1989.
- ^ 佐藤 琴音『ねじれ指数0の意味：査読後に変わった定義』東亜数学通信, 第33巻第4号, pp. 9-22, 1992.
- ^ 藤堂 文彦『面積数と可逆性：整域体予想の三つ目の解釈』数理雑誌, Vol. 20第1号, pp. 1-19, 2001.
- ^ Klein, E. & Moreau, J.『Local Verification Strategies in Commutative Rings』Annals of Informal Algebra, Vol. 5第2号, pp. 77-95, 1999.
- ^ 佐伯 一馬『有限の再帰：証明手順のステップ数問題』日本代数会報, 第8巻第11号, pp. 210-233, 2007.
- ^ Rao, S.『Domains, Fields, and the Nine-Step Myth』Bulletin of the Mostly-True Mathematics, Vol. 3第9号, pp. 13-27, 2013.
- ^ 編集部『整域体予想（第◯章）：参照章の揺れと注記運用』数理編集技術研究会紀要, 第1巻第1号, pp. 1-6, 2020.
外部リンク
- 整域体予想アーカイブ（書誌検索室）
- 局所可逆性ノート倉庫
- 田中湖会議メモ画像集
- 可逆性判定パズル（非公式）
- 体変換写像の可視化ページ