第1回 補足資料
担当教員紹介
- 担当教員:情報科学科
塩田研一
- 学生時代は計算機を用いて整数論を研究していました。
50年間正しいと思われていた予想の反例を発見したり、他分野の研究者が探していた例をオマケで発見したり、といった業績があります。
- 1990年、高知大学理学部情報科学科の設立メンバーとして参加し、情報科学分野へも進出することになりました。
- 整数論、暗号理論、アルゴリズム、等が専門です。
- 地域の伝統行事 の記録保存活動もしています。
数学コース希望者の皆さんへの補足
高知大学にはこんなに偉大な数学者がおられた、というお話です。
- 1990年代に、整数論の難問「フェルマ予想」が証明されました:
フェルマ予想 3 以上の自然数 $n$ と、自然数 $x$, $y$, $z$ が
$x^n + y^n = z^n$
を満たすことは無い。
実はこの予想の解決には日本人数学者が重要な役割を果たしています。
- 1950年代中頃、保型形式の整数論の研究を強力に押し進められていた志村五郎先生が「志村予想」を提唱されました:
志村予想 有理数係数の楕円曲線は全て、楕円モジュラー形式によってパラメータ付けされる
- 1960年代後半、志村先生を師と仰ぐ土井公二先生と長沼英久先生の師弟コンビが、
「土井-長沼リフティング」という現象を発見されます。
土井-長沼リフティング 楕円モジュラー形式はヒルベルトモジュラー形式に「持ち上げる」ことができる
この発見は、ベース・チェンジ・リフティング、ラングランズ哲学という壮大な理論へ発展していきます。
- 1980年代中頃、リベットによって「志村予想」が「フェルマ予想」を含むことが証明されます。
フライ・セールのイプシロン予想 「志村予想」は「フェルマ予想」を含む
- 1990年代中頃、土井-長沼リフティング から発展した理論を用いて、
ワイルズが「志村予想」を証明しました。したがって「フェルマ予想」も証明されました。
志村予想、フェルマ予想 は正しい。
※ 正確には、ワイルズは半安定な楕円曲線についての志村予想を証明し、フェルマ予想の証明にはそれで充分でした。
一般的な場合の志村予想もその後証明されています。
長沼英久先生は、1983年高知大学理学部数学科教授に就任され、1990年に情報科学科を設立されました。
塩田は土井公二先生(他)に博士論文をご指導頂いたご縁でここに呼ばれました。