第7回高木レクチャーのご案内
「高木レクチャー」は世界的に卓越した数学者を講演者として招聘し、気概に満ちた研究 総説講演を若手研究者・大学院生を含む専門分野を超えた数学者が聴くことにより、創造の インスピレーションを引き起こし、新たな数学の発展に寄与することを目指した企画です。
今回は「日本数学会 高木貞治 50 年祭記念事業」の一環として下記の日程で開催いたしま すので、ご案内申し上げます。
組織委員:小野 薫、河東泰之、小林俊行、斎藤 毅、中島 啓 記
日 時:2009年11月21日(土)~ 23日(祝・月)
場 所:東京大学大学院数理科学研究科大講義室
Home Page : http://www.ms.u-tokyo.ac.jp/~toshi/takagi_jp/ (日本語)
http://www.ms.u-tokyo.ac.jp/~toshi/takagi/ ( English )
Japanese Journal of Mathematics
高木貞治
(1875-1960)
高木レクチャーブックレット
プ ロ グ ラ ム 11月21日(土)
12:30--13:25 Registration and Coffee 13:25--13:30 Opening
13:30--14:30 Uwe Jannsen (Universität Regensburg) Weights in arithmetic geometry (I)
(数論幾何における重さの概念)
15:00--16:00 James McKernan (Massachusetts Institute of Technology) Mori dream spaces (I)
(森ドリーム空間)
16:00--17:00 Coffee / Tea Break
17:00--18:00 Michael Hopkins (Harvard University) The Kervaire invariant problem (I)
(ケルヴェア不変量問題)
11月22日(日)
10:00--11:00 Chandrashekhar Khare (University of California, Los Angeles) Serre's conjecture and its consequences (I)
(セール予想とその帰結)
11:30--12:30 Michael Harris (Université Paris 7)
Arithmetic applications of the Langlands program (I)
(ラングランズ・プログラムの数論的応用)
12:30--14:30 Lunch Break
14:30--15:30 Uwe Jannsen (Universität Regensburg) Weights in arithmetic geometry (II)
(数論幾何における重さの概念)
15:30--16:30 Coffee / Tea Break
16:30--17:30 James McKernan (Massachusetts Institute of Technology) Mori dream spaces (II)
(森ドリーム空間)
11月23日(祝・月)
09:30--10:30 Michael Hopkins (Harvard University) The Kervaire invariant problem (II)
(ケルヴェア不変量問題)
11:00--12:00 Chandrashekhar Khare (University of California, Los Angeles) Serre's conjecture and its consequences (II)
(セール予想とその帰結)
12:30--13:30 Michael Harris (Université Paris 7)
Arithmetic applications of the Langlands program (II)
(ラングランズ・プログラムの数論的応用)
13:30--14:30 Workshop closing with drinks
主催: 社団法人日本数学会 協力: Japanese Journal of Mathematics 東京大学大学院数理科学研究科 東大数理GCOE
The 7th Takagi Lectures
ABSTRACT
Michael Harris: Arithmetic applications of the Langlands program
(ラングランズ・プログラムの数論的応用)
The functoriality conjecture is at the heart of the Langlands program and will undoubtedly remain as a challenge to number theorists for many decades to come. Shortly after formulating his program, however, Langlands proposed to test it in two interdependent settings. Thefirst was the framework ofShimura varieties, already understood by Shimura as a natural setting for a non-abelian generalization of the Shimura—Taniyama theory of complex multiplication. The second was the phenomenon of endoscopy, which can be seen alternatively as a classification of the obstacles to the stabilization of the trace formula or as an opportunity to prove the functoriality conjecture in some of the most interesting cases. After three decades of research, much of it by Langlands and his associates, these two closely related experiments are coming to a successful close, at least for classical groups, thanks in large part to the recent proof of the so-calledFundamental Lemma by Waldspurger, Laumon, and especially Ngˆo.
My primary interest in these lectures is to give an account of these developments insofar as they are relevant to the Galois groups of number fields. Algebraic number theorists are just beginning to take stock of the new information provided by the successful resolution of the problem of endoscopy and the analysis of the most important classes of Shimura varieties. I will devote special attention to the application in this setting of the methods pioneered by Wiles, and developed further by Taylor, Kisin, and others, in his proof of statements in non-abelian classfield theory that imply Fermat’s Last Theorem.
関手性予想はラングランズ・プログラムの核心であり、今後数十年にわたり数論家への挑戦で あり続けることは間違いない。しかし、プログラムの定式化後まもなく、ラングランズは、それ を2つの独立した設定で確かめることを提案した。1つめは、志村によって、すでに志村・谷山 の虚数乗法論の非可換化の自然な枠組みとして理解されていた、志村多様体である。2つめは、
内視の現象である。これは、跡公式の安定化への障害の分類としてあるいは、関手性予想がその もっとも興味深いいくつかの場合に証明される機会と考えられる。30年におよぶ研究ののち、ラ ングランズと彼に続く研究者により、これらの2つのたがいに密接に関係した研究は、少なくと も古典群の場合には、成功に導かれた。これはおもに、ワルツプルジェ、ローモン、なかでもン ゴーによる最近の基本補題の証明によるものである。
講演では、これらの進展について、代数体のガロワ群に関連した部分を解説することを主要な 目標とする。代数的整数論の研究者は、内視の問題の解決と志村多様体のもっとも重要なクラス から得られる新しい情報を蓄積し始めたところである。なかでも、ワイルスがフェルマーの最終 定理を導く非可換類体論の定理の証明で開発し、テイラー、キシンらがさらに発展させた、この 枠組みにおける手法の応用について解説する。
Michael Hopkins: The Kervaire invariant problem
(ケルヴェア不変量問題)
The existence of framed manifolds of Kervaire invariant one is one of the oldest unresolved problems in algebraic topology. Important questions about smooth structures on spheres and on the homotopy groups of spheres depend on its solution. In these talks I will describe joint work with Mike Hill and Doug Ravenel which solves this problem in all dimensions except 126.
ケルヴェア不変量が1の枠付き多様体が存在するかという問題は、代数的位相幾何学における もっとも古い未解決問題の一つである。球面の微分構造や、ホモトピー群に関する重要な問題が、
この問題に関係している。この講演では、この問題を126次元の場合を除いて解決したMike Hill
とDoug Ravenelとの共同研究の解説を行う。
Uwe Jannsen: Weights in arithmetic geometry
(数論幾何における重さの概念)
The concept of weights on the cohomology of algebraic varieties was initiated by fundamental ideas and work of A. Grothendieck and Pierre Deligne. It is deeply connected with the concept of motives and appeared first on the singular cohomology as the weights of (possibly mixed) Hodge structures and on the etale cohomology as the weights of eigenvalues of Frobenius.
But weights also appear on algebraic fundamental groups and in p-adic Hodge theory, where they become only visible after applying the comparison functors of Fontaine. After rehearsing various versions of weights, the talk will present some more recent applications of weights, e.g., to Hasse principles and the computation of motivic cohomology, and will discuss some open questions and speculations.
代数多様体のコホモロジーの重さの概念は、グロタンディエクとドリーニュによる基本的な着 想と業績によりはじまった。これは、モチーフの概念と深く結び付き、初めは特異コホモロジー の(混合)ホッジ構造としての重さそしてエタールコホモロジーのフロベニウス固有値の重さと して現れた。重さは、そればかりでなく、代数的基本群や、フォンテーヌの比較関手を適用して 初めてわかるものであるが、p進ホッジ理論にも現れる。重さのさまざまな現れ方を概観したの ちに、最近の重さの応用、たとえば、ハッセ原理やモチヴィックコホモロジーの計算を紹介し、未 解決問題や展望についても論じる。
Chandrashekhar Khare: Serre’s conjecture and its consequences
(セール予想とその帰結)
I will give a historically motivated account of Serre’s conjecture about modprepresentations of the absolute Galois group of the rationals. This was proved by J-P. Wintenberger and myself, together with a certain input of Kisin.
The context in which Serre made his conjecture was the work of Serre and Swinnerton—
Dyer which explained the congruences Ramanujan had found for the Ramanujan τ-function.
The explanation was via the study of images of Galois representations Deligne attached to the Ramanujan∆-function (again conjectured by Serre). Here∆(z) =qΠ(1−qn)24=P
nτ(n)qn withq=e2πiz.
I will also explain some of the consequences of Serre’s conjecture. For instance it implies Artin’s conjecture for 2-dimensional, complex, odd representations of the absolute Galois group of the rationals.
I will also talk about the ideas of the proof and some questions they lead to.
有理数体の絶対ガロワ群の法p表現に関するセール予想について、歴史的側面を重視して解説 する。セール予想はヴァンタンヴェルジェと私により、キシンの結果も用いて、証明されたもの である。
セール予想の定式化は、セール自身とスゥィンナートン・ダイヤーによる、ラマヌジャンのタウ 関数の合同についてのラマヌジャンの予想の、意味づけに導かれたものであった。これは、セー ルが予想し、ドリーニュが構成した、ラマヌジャンのデルタ関数にともなうガロワ表現の像の研 究によって与えられた。ここで∆(z) =qΠ(1−qn)24=P
nτ(n)qn である。ただしq =e2πiz。 セール予想の帰結についても、いくつか解説する。たとえば、有理数体の絶対ガロワ群の2次 元複素奇表現についてのアルティン予想がしたがう。
また、証明の方針や関連した問題についても解説する。
James McKernan: Mori dream spaces
(森ドリーム空間)
A fundamental result of Hilbert says that ifRis afinitely generatedC-algebra then the ring of invariants RG isfinitely generated, provided G is a reductive algebraic group (for example products of the multiplicative group (C∗)k). Nagata gave examples where R is a polynomial ring and G =Ck is a product of the additive group and yet RG is not finitely generated. In fact RG is the total coordinate ring of a blow up of projective space Pn.
If X is a projective variety and the Cox ring is finitely generated then X is called a Mori dream space; every toric variety and every Fano variety is a Mori dream space. As the name might suggest, Mori dream spaces have very many nice properties; every section ring is finitely generated; flips always terminate; there is a natural combinatorial structure to the set of minimal models, and all of this controlled by the geometric invariant theory of some Thaddeus master space. We will explore this circle of ideas in the talk.
ヒルベルトの基本的な結果によれば、R が有限生成なC-代数であれば、Gが簡約代数群のと き(たとえば、乗法群の直積(C∗)kのとき)、不変環 RG も有限生成である。永田はR が多項式 環で、G=Ck が加法群の直積であるときに、RG が有限生成ではない例を与えた。実際はRG は、射影空間Pn のブローアップの全座標環である。
X が射影的多様体で、そのCox環が有限生成であるとき、X を、森ドリーム空間と呼ぶ。任 意のトーリック多様体と任意のFano多様体は森ドリーム空間である。名前が示す通り、森ドリー ム空間は、たいへん多くのよい性質を持つ。任意の切断環は有限生成であり、フリップは常に終 止し、極小モデルの集合には自然な組み合わせ論的構造が入り、これらはすべて、あるThaddeus マスター空間の幾何学的不変式論によってコントロールされる。講演ではこれらの一連のアイディ アを解説する。