【第31回 数学カフェ】整数論と幾何学をつなぐ橋

重要

ご登録された方でまだ案内が届いていない方は個別にご連絡をいただけますでしょうか。 メールアドレスが有効でない可能性があります。 また、connpassを利用したご案内は一斉送信しかできないため、個別に参加用のリンクをお送りします。 お手数をおかけしますが宜しくお願いいたします。

temporary0310mathcafe@gmail.com

実施概要

今回のテーマは、『整数論と幾何学をつなぐ橋』です。

株式会社すうがくぶんかの梅崎直也先生をお招きし、ご講演していただきます。

日時：

6月20日 14時から18時

6月21日10時-12時、13-17時

-- 一時間ごとに15分休憩をはさみます

前日にZoomとウェブホワイトボードの参加用リンクを配布します。 下の方に時間ごとの詳しい内容が記載されています。ご都合の良い時間だけご参加していただいても大丈夫です。

前日19時から20時まで、当日13時半から14時まで操作確認タイムを設けますのでどうぞご参加くださいませ。

昼の交流会

ランチ休憩の際にZoomを使って交流会をしようと思っています。お好きなお食事をご用意の上ご参加ください！申し込まれた方ならどなたでもご参加できます。

アブストラクト

André Weil は哲学者である彼の妹 Simone Weil に宛てた手紙 [1] で数学的発見における類似の役割につい て説明しました。そこでは、類似の例として代数的整数論と Riemann 面や代数関数の理論を紹介し、有限体 の上の代数曲線の理論がこの二つの理論の間の架け橋となることを述べ、またこの三つの世界の関係を「ロゼッタストーン」になぞらえています。 今回の講演では有限体の上の代数曲線やその高次元化である代数多様体が主役です。整数論や有限体上の代 数幾何学における重要な問題である類体論と Weil 予想の二つを題材に、整数論と幾何学のつながりについて お話します。特に層やコホモロジーは現代数学における基本的な道具ですが、今回は整数論や有限体上の代数 幾何学に層やコホモロジーがどのように関わるかをお伝えします。 類体論というのは、例えば奇素数 p が整数 x, y を用いて p = x^2 + y 2 と表される条件が p ≡ 1 mod 4 であることや、素数 p, q に対する方程式 x^2 = p mod q の解の存在についての平方剰余の相互法則のような現象を扱う理論です。類体論は有限体上の代数曲線についても同じく存在し、ζ 関数や L 関数の性質とも深く関わるものです。今回の講演ではこれらを紹介し、また Riemann 面の理論との関わりや類体論自体の幾何学的な理解についてお話しします。

Weil 予想とは有限体上の代数多様体の合同ゼータ関数についての予想です。合同ゼータ関数は多様体の点の個数についての母関数として定まるもので、Riemann の ζ 関数の有限体上の代数多様体における類似とみなすことができます。合同ゼータ関数についても Riemann の ζ 関数と同様な関数等式、零点や極の位置についての性質などが Weil により予想され、有限体上の代数曲線の場合には Weil 自身により解決されました。高次元の場合については、Grothendieck や Deligne によってスキームとエタール層のコホモロジーを用いて証明されました。特に零点についての Riemann 予想もその類似が合同ゼータ関数についても証明されています。今回の講演では、証明における層やコホモロジーの役割についてお話しします。

講師ご紹介

ご講演者：梅崎直也先生

ご専門：数論幾何

株式会社すうがくぶんか：もっと社会に数学を、を理念として、主に社会人向けに様々な数学講座を開催しています。現代数学の基礎など様々なトピックを扱っている。

予備知識

当日特に説明しないこと

• 有限体
• ガロア理論

雰囲気を知っておくといいこと

• 可換環とイデアル
• 曲面のオイラー数
• p進数

参考資料や動画

ガロア理論と有限体について

松本眞先生の「ガロア理論」 http://www.math.sci.hiroshima-u.ac.jp/~m-mat/TEACH/infinite-Galois.pdf

p進数について

山崎隆雄先生の「p-進世界へようこそ」 https://nc.math.tsukuba.ac.jp/cabinets/cabinet_files/download/148/c4b8a44250c18f974670dfdf76df8c0a?frame_id=221

都築暢夫先生の「数のひとつの拡張 -合同方程式の極限として方程式 x^2 + 1 = 0 を解く -」 http://www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/note.pdf

類体論について

tsujimotterさんのブログ記事「二次体の分解法則と平方剰余の相互法則」 https://tsujimotter.hatenablog.com/entry/quadratic-field-and-quadratic-reciprocity

梅崎による動画「平方剰余の相互法則」 https://youtu.be/WpxgaNHZ2H4

Weil予想について

落合理先生の「Weil予想と数論幾何」 http://www4.math.sci.osaka-u.ac.jp/~ochiai/weil.pdf

斎藤毅先生の「Serre」 https://www.ms.u-tokyo.ac.jp/~t-saito/jd/serre.pdf

梅崎によるWeil予想に関連する動画「三角和と重さ」 https://www.youtube.com/playlist?list=PL-2TwNpShL3zo6lJ9mCJRXODo-0v3pxwQ

スケジュール

土曜日

• 14時 ゼータ関数と関数等式

整数論や数論幾何に現れるゼータ関数のうち、今回の講演で中心的な役割を果たすものを紹介します。これらのゼータ関数が持つ性質としてオイラー積と関数等式について紹介します。

• 15時 局所体と分岐

整数論や幾何において、局所と大域という視点は一つの重要な手がかりです。特に、整数論における局所的性質を調べるため、局所体という概念を紹介します。また、局所的な不変量として分岐について紹介します。

• 16時 局所類体論

局所体のアーベル拡大を記述するのが局所類体論です。今回の講演のテーマのうちの一つである類体論の局所的な記述を与えます。これについて、どのような主張であるか、また証明の方針について簡単に紹介します。

• 17時 アデールとイデール

整数論において局所と大域を繋ぐための道具がアデールやイデールと呼ばれるものです。上で紹介した局所体をまとめ、大域的な情報を引出します。これらの性質が整数論の基本的で重要な結果である類数や単数の有限性とどう関わるかを紹介します。

日曜日

• 10時複素代数曲線（リーマン面）

複素代数曲線（あるいはコンパクトリーマン面）の基本的な理論について紹介します。特に、代数曲線の不変量である種数や因子に関する公式としてリーマンロッホの定理やフルヴィッツ公式を紹介します。

• 11時局所と大域

整数論や曲線の幾何において、大域的な不変量であるオイラー数と局所的な不変量である分岐の結びつきについて紹介します。また、ゼータ関数についても局所と大域という視点を紹介します。

• 13時類体論

今回の講演のテーマの一つが類体論です。有理数体や代数体、あるいは有限体上の曲線について、そのアーベルな拡大の情報をイデールと結び付けて理解する理論が大域類体論です。ここまで準備した内容が類体論とどう関係するか、またその証明について簡単に紹介します。

• 14時ヴェイユ予想

今回の講演のもう一つのテーマであるヴェイユ予想について、まずはそれがどのような問題であるのかを紹介します。有限体上の代数多様体のゼータ関数を紹介し、ヴェイユ予想がどのような主張であるかを説明します。また、このゼータ関数の性質が素朴な現象とどのように関わるかについてもお話しします。

• 15時エタール層1

ヴェイユ予想の証明に使われた道具がエタール層とエタールコホモロジーの理論です。ここではこれらの理論の基本的な枠組みを紹介します。また、ガロア理論との関係についてもお話しします。

• 16時エタール層2

ヴェイユ予想のうち、ゼータ関数の有理性と関数等式の証明の部分について、エタール層の理論がどのように関係するのかをお話ししたいと思います。

参考文献

[1] André Weil, A 1940 Letter of André Weil on Analogy in Mathematics, Translated by Martin H. Krieger, Notices of AMS 52 (2005) 334 ‒ 341,

https://ams.org/notices/200503/fea-weil.pdf.

[2] 加藤和也, 黒川信重, 斎藤毅, 数論 I Fermat の夢と類体論, 岩波書店.

[3] Pierre Deligne, Cohomologie Etale, Séminaire de Géométrie Algébrique du Bois-Marie SGA 4 1/2,

Lecture Notes in Math., vol. 569, Springer-Verlag, Berlin, 1977.

[4] Pierre Deligne, La conjecture de Weil : II, Publ. Math. IHES, 52 (1980), 137-252, http://www.numdam.org/item/PMIHES_1980__52__137_0/.

[5] 三枝洋一, エタールコホモロジーと ℓ 進表現, http://www4.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/SummerSchool-0201-2.pdf.

数学カフェについて

2015年3月より東京にて開催。 数学の諸分野の最先端を誰でも学べる場を作りたいと考え、月に1回、およそ6時間の講演会を開催しています。 https://www.facebook.com/mathcafejapan/