はてなキーワード: 望月新一とは
Amazonのレビューなどに書くと過去のレビューから身バレする可能性があるのと、わざわざ別アカウントを作ってまで批評するほどのものではないと思ったので、こちらに書きます。
初めに断っておきますが、本稿は別に加藤文元先生の人格や業績などを否定しているわけではありません。また、IUT理論やその研究者に対する批判でもありません。「IUT理論が間違っている」とか「望月論文の査読体制に問題がある」などと言う話と本稿は全く無関係です。単純にこの本に対する感想でしかありません。
----
加藤文元先生の「宇宙と宇宙をつなぐ数学 - IUT理論の衝撃」を読みました。結論から言って、読む価値の無い本でした。その理由は、
「ほとんど内容がない」
本書は、RIMS(京都大学数理解析研究所)の望月新一教授が発表した数学の理論である、IUT理論(宇宙際タイヒミューラー理論)の一般向けの解説書です。
1~3章では、数学の研究活動一般の説明や、著者と望月教授の交流の話をし、それを踏まえて、IUT理論が画期的であること、またそれ故に多くの数学者には容易には受け入れられないことなどを説明しています。
4~7章では、IUT理論の基本理念(だと著者が考えているアイデア)を説明しています。技術的な詳細には立ち入らず、アイデアを象徴する用語やフレーズを多用し、それに対する概念的な説明や喩えを与えています。
まず、数学科の学部3年生以上の予備知識がある人は、8章だけ読めばいいです。1~7章を読んで得られるものはありません。これはつまり「本書の大部分は、IUT理論と本質的に関係ない」ということです。これについては後述します。
1~3章は、論文が受理されるまでの流れなどの一般向けに興味深そうな内容もありましたが、本質的には「言い訳」をしているだけです。
などの言い訳が繰り返し述べられているだけであり、前述の論文発表の流れなどもその補足のために書かれているに過ぎません。こういうことは、数学者コミュニティの中でIUT理論に懐疑的な人達に説明すればいい話であって、一般人に長々と説明するような内容ではないと思います。もっとも、著者が一般大衆も含めほとんどの人がIUT理論に懐疑的であると認識して本書を書いたのなら話は別ですが。
4~7章は、「足し算と掛け算の『正則構造』を分離する」とか「複数の『舞台』の間で対称性通信を行う」などの抽象的なフレーズが繰り返し出てくるだけで、それ自体の内容は実質的に説明されていません。
のように、そこに出てくる「用語」にごく初等的な喩えを与えているだけであり、それが理論の中で具体的にどう用いられるのかは全く分かりません(これに関して何が問題なのかは後述します)。そもそも、本書を手に取るような人、特に1~3章の背景に共感できるような人は、ここに書いてあるようなことは既に理解しているのではないでしょうか。特に6~7章などは、多くのページを費やしているわりに、数学書に換算して1~2ページ程度の内容しか無く(誇張ではなく)、極めて退屈でした。
8章はIUT理論の解説ですが、前章までに述べたことを形式的につなぎ合わせただけで、実質的な内容はありません。つまり、既に述べたことを並べて再掲して「こういう順番で議論が進みます」と言っているだけであり、ほとんど新しい情報は出て来ません。この章で新しく出てくる、あるいはより詳しく解説される部分にしても、
複数の数学の舞台で対称性通信をすることで、「N logΘ ≦ log(q) + c」という不等式が示されます。Θやqの意味は分からなくてもいいです。
今まで述べたことは局所的な話です。局所的な結果を束ねて大域的な結果にする必要があります。しかし、これ以上は技術的になるので説明できません。
のような調子で話が進みます。いくら専門書ではないとはいえ、これが許されるなら何書いてもいいってことにならないでしょうか。力学の解説書で「F = maという式が成り立ちます。Fやmなどの意味は分からなくていいです」と言っているようなものだと思います。
本書の最大の問題点は、「本書の大部分がIUT理論と本質的に関係ない」ということです(少なくとも、私にはそうとしか思えません)。もちろん、どちらも「数学である」という程度の意味では関係がありますが、それだけなのです。これがどういうことか、少し説明します。
たとえば、日本には「類体論」の一般向けの解説書がたくさんあります。そして、そのほとんどの本には、たとえば
奇素数pに対して、√pは三角関数の特殊値の和で表される。(たとえば、√5 = cos(2π/5) - cos(4π/5) - cos(6π/5) + cos(8π/5)、√7 = sin(2π/7) + sin(4π/7) - sin(6π/7) + sin(8π/7) - sin(10π/7) - sin(12π/7))
4で割って1あまる素数pは、p = x^2 + y^2の形に表される。(たとえば、5 = 1^2 + 2^2、13 = 2^2 + 3^2)
のような例が載っていると思います。なぜこういう例を載せるかと言えば、それが類体論の典型的で重要な例だからです。もちろん、これらはごく特殊な例に過ぎず、類体論の一般論を説明し尽くしているわけではありません。また、類体論の一般的な定理の証明に伴う困難は、これらの例とはほとんど関係ありません。そういう意味では、これらの例は類体論の理論的な本質を示しているわけではありません。しかし、これらの例を通じて「類体論が論ずる典型的な現象」は説明できるわけです。
もう一つ、より初等的な例を出しましょう。理系なら誰でも知っている微分積分です。何回でも微分可能な実関数fをとります。そして、fが仮に以下のような無限級数に展開できたとします。
f(x) = a_0 + a_1 x + a_2 x^2 + ... (a_n ∈ ℝ)
このとき、両辺を微分して比較すれば、各係数a_nは決まります。「a_n = (d^n f/dx^n (0))/n!」です。右辺の級数を項別に微分したり積分したりしていい場合、これはかなり豊かな理論を生みます。たとえば、等比級数の和の公式から
1/(1 + x^2) = 1 - x^2 + x^4 - x^6 + ... (|x| < 1)
arctan(x) = x - x^3/3 + x^5/5 - x^7/7 + ...
π/4 = 1 -1/3 + 1/5 - 1/7 + ...
のような非自明な等式を得ることができます。これは実際に正しい式です。また、たとえば
dy/dx - Ay = B (A, B ∈ ℝ、A≠0)
のような微分方程式も「y(x) = a_0 + a_1 x + a_2 x^2 + ...」のように展開できて項別に微分していいとすれば、
よって、
a_0 = -B/A + C (Cは任意の定数)とおけば、
- a_n = C A^n/n! (n ≧ 1)
「e^x = Σx^n/n!」なので、これを満たすのは「y = -B/A + Ce^(Ax)」と分かります。
上の計算を正当化する過程で最も困難な箇所は、このような級数が収束するかどうか、または項別に微分や積分ができるかどうかを論ずるところです。当然、これを数学科向けに説明するならば、そこが最も本質的な箇所になります。しかし、そのような厳密な議論とは独立に「微分積分が論ずる典型的な現象」を説明することはできるわけです。
一般向けの数学の本に期待されることは、この「典型的な現象」を示すことだと思います。ところが、本書では「IUT理論が論ずる典型的な現象」が数学的に意味のある形では全く示されていません。その代わり、「足し算と掛け算を分離する」とか「宇宙間の対称性通信を行う」などの抽象的なフレーズと、それに対するたとえ話が羅列されているだけです。本書にも群論などの解説は出て来ますが、これは単に上のフレーズに出てくる単語の注釈でしかなく、「実際にIUT理論の中でこういう例を考える」という解説ではありません。これは、上の類体論の例で言えば、二次体も円分体も登場せず、「剰余とは、たとえば13 = 4 * 3 + 1の1のことです」とか「素因数分解ができるとは、たとえば60 = 2^2 * 3 * 5のように書けるということです」のような本質的に関係のない解説しかないようなものです。
もちろん、「本書はそういう方針で書く」ということは本文中で繰り返し述べられていますから、そこを批判するのはお門違いなのかも知れません。しかし、それを考慮しても本書はあまりにも内容が薄いです。上に述べたように、誇張でも何でもなく、数学的に意味のある内容は数学書に換算して数ページ程度しか書かれていません。一般向けの数学の本でも、たとえば高木貞治の「近世数学史談」などは平易な言葉で書かれつつも非常に内容が豊富です。そういう内容を期待しているなら、本書を読む意味はありません。
繰り返し述べるように本書には数学的に意味のある内容はほとんどありません。だから、極端なことを言えば「1 + 1 = 2」や「1 + 2 = 3」のような自明な式を「宇宙と宇宙をつなぐ」「正則構造を変形する」みたいに言い換えたとしても、本書と形式的に同じものが書けてしまうでしょう。いやもっと言えば、そのような言い換えの裏にあるものが数学的に正しい命題・意味のある命題である必要すらありません。本書は少なくとも著者以外にはそういうものと区別が付きません。
ここまでネガティブなことを書いておいて、何食わぬ顔でTwitterで加藤先生のツイートを拝見したり、東工大や京大に出向いたりするのは、人としての信義に反する気がするので、前向きなことも書いておきます。
まず、私は加藤先生のファンなので、本書の続編が出たら買って読むと思います。まあ、ご本人はこんな記事は読んでいないでしょうが、私の考えが人づてに伝わることはあるかも知れませんから、「続編が出るならこんなことを書いてほしい」ということを書きます。
まず、上にも書いたような「IUT理論が論ずる典型的な現象」を数学的に意味のある形で書いていただきたいです。類体論で言う、二次体や円分体における素イデアル分解などに相当するものです。
そして、IUT理論と既存の数学との繋がりを明確にしていただきたいです。これは論理的な側面と直感的な側面の両方を意味します。
論理的な側面は単純です。つまり、IUT理論に用いられる既存の重要な定理、およびIUT理論から導かれる重要な定理を、正式なステートメントで証明抜きで紹介していただきたいです。これはたとえば、Weil予想からRamanujan予想が従うとか、谷山-志村予想からFermatの最終定理が従うとか、そういう類のものです。
直感的な側面は、既存の数学からのアナロジーの部分をより専門的に解説していただきたいです。たとえば、楕円曲線のTate加群が1次のホモロジー群のl進類似であるとか、Galois理論が位相空間における被覆空間の理論の類似になっているとか、そういう類のものです。
以上です。
加藤文元先生、望月新一先生、およびIUT理論の研究・普及に努めていらっしゃるすべての方々の益々のご健勝とご活躍を心からお祈り申し上げます。
時間 | 記事数 | 文字数 | 文字数平均 | 文字数中央値 |
---|---|---|---|---|
00 | 134 | 13627 | 101.7 | 48 |
01 | 87 | 7389 | 84.9 | 48 |
02 | 47 | 4620 | 98.3 | 55 |
03 | 32 | 3243 | 101.3 | 46 |
04 | 32 | 3848 | 120.3 | 76 |
05 | 67 | 3441 | 51.4 | 25 |
06 | 57 | 5023 | 88.1 | 49 |
07 | 58 | 9454 | 163.0 | 42.5 |
08 | 60 | 4404 | 73.4 | 42.5 |
09 | 134 | 11220 | 83.7 | 43 |
10 | 200 | 16636 | 83.2 | 35 |
11 | 171 | 15594 | 91.2 | 33 |
12 | 135 | 13171 | 97.6 | 42 |
13 | 174 | 12950 | 74.4 | 27 |
14 | 186 | 16451 | 88.4 | 31 |
15 | 162 | 11851 | 73.2 | 35 |
16 | 167 | 9463 | 56.7 | 33 |
17 | 135 | 14005 | 103.7 | 38 |
18 | 184 | 10587 | 57.5 | 32 |
19 | 119 | 8281 | 69.6 | 37 |
20 | 183 | 14075 | 76.9 | 36 |
21 | 171 | 11372 | 66.5 | 33 |
22 | 155 | 13506 | 87.1 | 31 |
23 | 195 | 11982 | 61.4 | 31 |
1日 | 3045 | 246193 | 80.9 | 36 |
アベノマスク(12), 圏論(4), 追悼番組(5), 望月新一(3), 浦沢(3), ABC予想(7), 浦沢直樹(6), 力道山(3), 4月3日(4), 早い者勝ち(3), ロックダウン(44), 緊急事態(22), 布(26), 給付(12), 2枚(13), 自粛(58), 30万(13), 世帯(23), 封鎖(14), 濃厚接触(11), 配布(21), リモート(18), マスク(108), コロナ(218), 感染者(46), WHO(13), 補償(13), 外出(38), 感染(123), ウイルス(35), 婚活(31), 宣言(26), 新型(21)
■婚活している全男性に気をつけていただきたい事 /20200402213732(57), ■放置戦略とロックダウン戦略 /20200403214355(16), ■頭が良いキャラは何故かわいくないのか /20200403191313(13), ■「ウイルスを除菌」ておかしくない? /20200403220354(9), ■チン◯コのサイズっていつ誰がどこで何でどうやって測るの? /20200404120751(9), ■ABC予想について取り急ぎ /20200403180713(8), ■バカは罪、出勤は罰。バカだけど通勤したくない /20200404113709(6), ■爪切りって自分でやるものなの? /20200403233232(6), ■ /20200404102523(6), ■ /20200404114336(6), ■確かに頭の良さと可愛さは基本相性が悪い /20200404135257(6), ■結婚しないの?という煽り /20200404145940(6), ■ /20200404183124(6), ■こういうときに読むべき終末作品5選 /20200402223101(5), ■「俺スマホ持ってない」って言ったらみんなキレる /20200404202404(5), ■ /20200404120548(5), ■ /20200402222058(5), ■「00line」みたいな表記 /20200404133431(5), ■新型コロナと放射能の流れって似てね? /20200404214030(5), ■マスクしてなかったら、みんな1メートル以内に近づいてこなくてワロタ /20200404143724(5), ■この歴史的現象の中で /20200404230237(5), ■江口や浦沢が書くのはいいわ /20200404154059(5), ■政治発言をしないクリエイターは3流 /20200403235359(5), ■個人事業主に100万円だとよ(笑) /20200404001730(5), ■外出制限、ロックダウンを意地でもしない理由 /20200404091321(5), ■ /20200404101218(5), ■日本三大三つの密 /20200404233118(5)
フェセンコは、望月新一の宇宙際タイヒミューラー理論(英語版)(Inter-universal Teichmüller theory、IUT)の研究を整頓するうえで積極的な役割を果たした。フェセンコは同研究のサーベイ論文[pub 19]及び一般論説[pub 20]の著者であり、数学界の難問ABC予想を証明できたとする望月の論文(2012年)に関して「証明内容に誤りは無い」と後押しする主張を行った数学者の1人である。フェセンコは、IUTに関する(同理論を理解したいと考える数学者に向けて内容を説明する)2つの国際ワークショップを共同開催した
フェセンコが言うなら間違いないだろう。
日本人数学者が彼の分野で最も重要な問題のうちの一つを解いたと主張している。困ったことに、彼が正しいのかどうか殆ど誰も分からないことだ。
2015年10月8日 Davide Castelvecchi
2012年8月30日の或る時、望月新一は静かに彼のウエブサイトに4つの論文をポストした。
論文は膨大(総計して500ページを超える)で密に記号が詰められており、10年以上の孤独な研究の絶頂だった。それらの論文はまた学界の突発的事件となる可能性を持っていた。論文の中で望月はabc予想を解いたと主張した。abc予想は数論において他の誰も解決に近づかなかった27年目の問題だった。彼の証明が正しければ、今世紀で数学の最も驚異な業績となるであろうし、整数を持つ方程式の研究を完全に変革するであろう。
しかし、望月は自身の証明について騒ぎ立てなかった。その有名な数学者は日本の京都大学数理解析研究所(RIMS)で研究に従事しているが、自身の研究を世界のどの仲間にも知らせなかった。彼はただ論文をポストして、世界が見つけるのを待っているのに過ぎなかった。
おそらく論文群を最初に注目したのはRIMSで望月の同僚である玉川安騎男だった。他の研究者達と同様に彼は望月が何年間その予想について研究していて、とうとう研究を終えたことを知った。同じ日に玉川は彼の共同研究者の一人である英国ノッティンガム大学の数論学者イヴァン・フェセンコにそのニューズを電子メールで送った。フェセンコはすぐに論文群をダウンロードし読み始めた。しかし、彼はすぐに"当惑した。それらを理解することは不可能だった"と言う。
フェセンコは数論幾何学という望月の分野の何人かのトップエキスパートに電子メールした。証明の知らせは急速に拡がった。数日内に、熱のこもったおしゃべりが数学ブログやオンラインフォーラムで始まった(Nature http://doi.org/725; 2012を見よ)。だが、多くの研究者達にとって証明に関する早期の意気揚々が急速に懐疑へと変わった。すべての人々(専門分野が望月のものと最も近い人々さえも)はフェセンコと全く同じように論文群に面食らった。証明を仕上げるため望月は彼の分野でも新しい分科をこしらえたが、純粋数学の水準においてさえも驚くほど抽象的なものである。"それを見れば、未来からの、または宇宙からの論文を読んでいるのかも知れぬとちょっと思える"とウィスコンシン大学マディソン校の数論学者ジョーダン・エレンバーグは論文出現の数日後にブログで書いた。
3年間ずっと望月の証明は数学的に未決定のままである。つまり、広くコミュニティによる誤りの指摘も無く、そして認められてもいない。望月は彼の研究を理解出来るために数学の大学院生が約10年かかるだろうと見積り、フェセンコは数論幾何学のエキスパートですら約500時間かかるだろうと考えている。今のところ、証明全体を読めたと言っている数学者は4人しかいない。
これすき。
天才とは色々定義されるが、一番の特徴は集中力(あるいは勉強体力)があり、非常に長い間その問題に取りかかることができることだと思う。
例えば、望月新一氏について、オックスフォード大学の教授であり、望月新一氏の友人でもある人は次のように言っている。
「彼が他の数学者と違うのは、彼がものすごく高い耐性(tolerance)があることなんだ。何時間も、何時間も机に向かって数学をすることができるんだよ」
「彼が学部生の頃の話なんだけどね。フランスのグロタンティークって人の代数学や算術幾何の著作は、その分野を学ぶ人はみんな読まなきゃいけないんだけど、普通は少しずつ理解していって、何年も費やすんだよ。何千ページもあるからね。でも望月は学部時代のほんの数年で理解してしまったんだ。」
もちろん恥だと思っている。就職できなくてそうしたわけでなく自分でえらんでそうしたんだけど。半分しかたない事情もあったが。
ニートなんだけど最近は半分ニートじゃなくなりつつある。つまり微妙に求職活動をしている。
しかしなんだ。東大というレッテルで全て見られるのが嫌なんだよな?「東大のくせに」とか「東大もたいしたことねーな」とか「だから東大卒はつかえない」とか。
あれはカンベンしてもらいたいもんだよな。おなじ大学の人達にももうしわけない。予定通りなので働くのは嫌じゃないけど。
1つ書きたいこと思い出したからついでに書く。望月新一さんがABC予想の証明したかもーってことで脚光あびてる。
京大数理研の有名人。でHPには「宇宙際幾何学者」とあるんだけど、これについてネットでは
「望月さんの異色の天才ぶり、超人ぶりを表わしたぴったりな肩書きだ」みたいなことが言われてた。ん?勘違いしてない?
数学畑の人でもあんまり知られてないけど「宇宙際幾何学」って分野があるの。IU幾何。
http://www.kurims.kyoto-u.ac.jp/~motizuki/Kako%20to%20genzai%20no%20kenkyu.pdf
[引用開始]
注目すべき対象は、特定の数論幾何的設定に登場する個々のスキーム等ではなく、それらのスキームを統制する抽象的な組合せ論的パターンないしはそのパターンを記述した組合せ論的アルゴリズムである。
このような考え方を基にした幾何のことを、宇宙際(Inter-universal=IU)幾何と呼ぶことにした
[引用終了]