アルティン多様体
| 名称 | アルティン多様体 |
|---|---|
| 別名 | Artin space, 局所整合多様体 |
| 分野 | 代数幾何学、位相幾何学、圏論 |
| 提唱者 | カール・F・アルティン |
| 提唱年 | 1931年 |
| 主要発展 | 1948年 - 1967年 |
| 研究拠点 | ウィーン、レニングラード、京都 |
| 特徴 | 局所座標が半径3.7の有理球面で貼り合わされる |
| 関連定理 | 折返し補題、準可縮性定理 |
アルティン多様体（あるてぃんたようたい、英: Artin manifold）は、との境界領域に現れるとされる、特定のを備えた多様体である。20世紀前半にの寒冷実験室から着想を得て発展したとされ、のちにとの研究者によって体系化された[1]。
概要[編集]
アルティン多様体は、通常のと異なり、各点の近傍が単純なユークリッド開集合ではなく、可換環のスペクトルを三層に重ねた「準局所パッチ」によって記述される構造であるとされる。現代の文献では、滑らかさよりも貼り合わせの安定性を重視する対象として扱われ、特にとの中間に位置づけられている[2]。
名称はに由来するとされるが、実際には彼自身がこの語を用いた形跡はほとんどなく、弟子筋のが1937年の講義録で初めて「Artin manifold」と記したのが定説である。ただし、この講義録は戦時中にの古書店から一度消失しており、再発見時には余白にコーヒー染みが32か所あったという[3]。
歴史[編集]
ウィーン期の萌芽[編集]
起源は、ウィーン大学付属の冬期数学研究室で行われた「冷却座標系実験」に求められることが多い。これは、氷点下で収縮する黒板チョークの座標変換を観察することで、空間の局所性が温度依存で変化することを示そうとした試みであり、ここで得られた歪みの記録が後のアルティン多様体の原型になったとされる[1]。
当時の研究班には、、そして若きが含まれていたとされるが、アルティン自身は記録係に近く、理論化はむしろレーマンが主導したという見方もある。なお、実験ノートには「局所環は常に四角い」との謎の書き込みがあり、後年の研究者を半世紀にわたって悩ませた。
レニングラード標準形の成立[編集]
、数学研究所のは、アルティン多様体を位相的に分類するための標準形を提案した。これがいわゆる「ベレズキン標準形」で、各局所パッチを半径3.7の有理球面に変形し、境界の接続角を12度刻みに揃える手法である[4]。
この標準形は計算上きわめて扱いやすかったため、当時の研究者の間では大いに歓迎されたが、同時に「多様体の見た目がほぼ蒸し饅頭になる」として批判もあった。実際、1952年の合同研究会では、会場の黒板が5枚とも同じ図式で埋まり、参加者の3割が「自分がどの次元を見ているのか分からなくなった」と報告している。
日本への導入と再解釈[編集]
頃にはのらがこの概念を輸入し、代数曲面の貼り合わせ問題に応用した。高瀬はアルティン多様体を「局所の失敗を積極的に保存した幾何学」と表現し、以後、この分野では“欠陥を消すのではなく制御する”という姿勢が広まったとされる[5]。
京都での研究は、沿いの喫茶店「セミナー」で非公式に進んだと伝えられ、常連客の目撃談では、研究者たちはコーヒー一杯で6時間にわたり圏論の貼り合わせ条件を議論していたという。もっとも、当時の領収書が現存しているのは4枚だけであり、この逸話の一部は後世の脚色と考えられている。
定義と性質[編集]
アルティン多様体の定義は文献により揺れがあるが、一般には「局所的には整合環のスペクトルとして現れ、遷移写像が準有限かつ折返し可能である空間」と説明される。特に重要なのは、通常の多様体が点の近傍の滑らかさを問題にするのに対し、アルティン多様体では近傍どうしの“相性”が主眼になることである[6]。
性質としては、第一に、特定の条件下で局所コホモロジー群が周期37で安定すること、第二に、自己同型群がしばしば楕円型ではなく「鈍角型」に分類されることが知られている。第三に、境界成分が奇数個のとき、折返し補題により全体が一度だけ“裏返る”という現象が起こるとされるが、この点は現在も議論が続いている。
一方で、1950年代の初期論文には、アルティン多様体の判定に用いる「温度補正係数」が明記されており、これは当時の実験的気風を色濃く示している。後年の厳密化によりこの係数は削除されたが、古典的な講義ノートでは今なお注釈付きで残されていることがある。
主要人物[編集]
カール・F・アルティン[編集]
は、概念の名祖とされる出身の数学者である。実際には代数的な定義づけよりも、共同研究の整理と用語統一に力を注いだ人物で、研究会ではしばしば「定理の前に黒板を拭く男」と呼ばれていた[2]。
彼の残した最も有名なメモは「空間は計算できるが、貼り合わせは説得である」という一文であり、これは後に研究者の間で格言化した。なお、彼は生涯で17回転居したが、どの住所にも必ず同じ木製定規を持ち歩いていたという。
エリーザ・ノイマン[編集]
はの講義録を書き留めた編集者・研究者であり、アルティン多様体を概念として定着させた影の立役者である。彼女は用語の選定にきわめて厳格で、同僚が「準局所」と書くたびに赤鉛筆で「半局所でも可」と添削した逸話がある[3]。
ノイマンのノートには、定義の末尾に「ただし、冬場は収束が遅い」と記されていた箇所があり、この一文をめぐって後年まで真意の解釈が割れた。現在では比喩表現とみなされることが多いが、の一部の研究会では実験条件の記述だとする説も根強い。
応用[編集]
アルティン多様体は純粋数学の対象である一方、意外にもやのモデル化に用いられた時期がある。とりわけのの報告では、局所的な欠陥を意図的に残すことで、通信路のノイズに強い符号が設計できると主張された[7]。
また、では、複数の異なる平面図を無理なく接続するための比喩として引用され、前後の展示設計に影響を与えたとされる。もっとも、実際に採用されたのは概念の名前だけで、施工担当者は最後まで「貼り合わせが多すぎる」と不満を述べていたらしい。
さらに、1980年代には研究でも、状態空間をアルティン多様体的に圧縮する発想が一部で試みられた。これは後に「過剰な抽象化の典型例」として半ば伝説化したが、当時の学会要旨にはページ番号が振られており、完全な冗談ではなかったことが分かる。
批判と論争[編集]
アルティン多様体に対する批判は、主として定義の曖昧さと、研究者ごとに異なる“標準形”の存在に向けられてきた。特にの国際数学会では、同じ黒板上で三つの定義が同時に成立し、司会者が「いずれも正しいが、互換性はない」と述べて会場が静まり返ったという[8]。
また、折返し補題の証明に用いられる「連続的な茶葉観察法」は再現性が低いとして批判された。これは、茶葉が沈む角度から局所座標の自己整合性を読み取るという手法であるが、試料の水温が1.5度違うだけで結果が変わるため、現在では教育目的以外ではほとんど用いられない。
一方で、批判の多さそのものがこの概念の豊かさを示しているという意見もある。実際、アルティン多様体は「定義するたびに少しだけ逃げる対象」として知られ、数学者の忍耐力を測る装置として半ば文化的な地位を得ている。
脚注[編集]
関連項目[編集]
脚注
- ^ G. Lehmann, E. Neumann『On Cold Coordinate Patches and Artin Manifolds』Mathematical Proceedings of Vienna Vol. 12, No. 3, 1932, pp. 41-68.
- ^ N. Berezkin『Standard Forms for Foldable Local Rings』Proceedings of the Leningrad Institute of Mathematics 第7巻第2号, 1949, pp. 113-149.
- ^ 高瀬真一郎『局所の失敗を保存する幾何学』京都大学数理報告 第18巻第1号, 1961, pp. 5-39.
- ^ M. von Esser『Zur Topologie der Artinischen Räume』Wiener Annalen für Reine Mathematik Vol. 21, No. 4, 1938, pp. 201-230.
- ^ A. Kobayashi, T. Murase『Gluing Instability in Quasi-Local Schemes』Journal of Abstract Structures Vol. 9, No. 1, 1968, pp. 77-102.
- ^ P. Dubois『Sur les variétés d’Artin et la soupe de Cayley』Comptes Rendus de l’Académie des Sciences Vol. 244, No. 18, 1957, pp. 902-915.
- ^ S. Bennett『Temperature Corrections in Manifold Patching』Annals of Imaginary Geometry Vol. 4, No. 2, 1974, pp. 1-26.
- ^ 山本信彦『折返し補題と茶葉観察法』数学教育季報 第3巻第6号, 1982, pp. 88-94.
- ^ L. Sokolov『About the Strange Stability Period 37 in Local Cohomology』Moscow Algebra Letters Vol. 15, No. 1, 1960, pp. 3-17.
- ^ E. Neumann『講義録断片：半局所と冬場の収束』未刊草稿集 第2巻, 1937, pp. 14-29.
外部リンク
- 日本アルティン多様体学会
- Vienna Archive of Quasi-Local Geometry
- Leningrad Institute Reprint Series
- 京都数理資料館デジタルコレクション
- Artin Manifold Review