Published papers

この論文では有理数体の p 次巡回拡大拡大体の Z_p 拡大に関する lambda 不変量についての Greenberg 予想を調べた。尾崎-山本の結果の拡張を与え、さまざまな例も計算した。なぜ Greenberg 予想が成立するかという問題についての考察も行った。

この論文では、私の分類で言う典型的な II 型の完備離散付値体に対し、その Milnor K 群の自然な filtration による graded quotients の構造を完全に決定した。また、exponential 写像の核も決定した。応用として、このような体のアーベル拡大の様子を記述した。このような graded quotients の構造は等標数のときには知られているが、混標数のときは、知られている例は少ない。この論文の結果が、難解な場合で構造がわかった最初の例である。

この論文では、CM 体のイデアル類群のマイナス成分の構造が、ゼータ関数の値で決まるあるイデアル(論文では高次 Stickelberger イデアルとよんでいる)によって決定することを証明した。この定理は、1 の p 分体のときは Kolyvagin-Rubin の結果と一致し、彼らの定理の一般化であると考えられる。証明の方法に関しては、Fitting イデアルを使った岩澤理論の精密化とも密接に結びついている。この論文ではまた、Gauss 和の一般化にあたる新しい Euler 系を導入した。

通常の岩澤主予想では、イデアル類群と p 進 L 関数の間の関係は、特性イデアルを使って定式化される。この論文では、両者の間にはもっと詳しい密接な関係があることを予想し、多くの場合に証明を与えた。アーベル体については、Zp 拡大という無限次拡大まで行かなくても、有限次の体で Fitting イデアルというものを使って両者の関係が表されることを発見した。これは通常の岩澤理論の精密化であり、イデアル類群について詳しい情報を与えることができる。

この論文では、有理数体上の p で超特異還元をもつ楕円曲線に対し、円分 Zp 拡大で Tate Shafarevich 群の位数がどのように増加していくかを研究し、ある種の条件の下でその振る舞いを完全に記述する公式を得た。楕円曲線が p で通常還元をもてば、このような公式は Mazur によって 70 年代に知られていたが、超特異還元をもつ場合は長い間ずっと不明であったが、この論文で解明された。この論文の結果は、このような楕円曲線の岩澤理論への道を開く結果である。

この論文では、1 の冪根をすべて添加して得られる体のイデアル類群について調べた。特に、次のようなきれいな結果を得た。有理数体に 1 の n 乗根をすべて添加して得られる体(有理数体の最大アーベル拡大体)の最大実部分体のイデアル類群は自明である。これは、Gras によって予想されていたことであった。また、虚 2 次体の最大アーベル拡大についてもそのイデアル類群が自明であることを証明した。Greenberg 予想への応用についても述べた。

総実代数体の岩澤ラムダ不変量が 0 であろう、という Greenberg 予想があるが、この論文では Deligne-Soule の円分元を使って、実アーベル体に対し、この予想を数値的に検証する方法を提起した。今まで不明であったさまざまな例に対して、Greenberg 予想を確かめた。また。有限体の上に初等的に定義できるある元を導入し、その元を使って、モチーフ Z(r) の Tate Shafarevich 群の位数が計算できることを示した。

この論文では、Milnor K 群に対して、以前私が導入した exponential 写像を詳しく調べ、その「収束半径」を決定した。この写像は完備離散付値体の Milnor K 群の構造について、多くの情報をもたらす。また、高次元局所体の類体論の相互写像を具体的に書く明示公式も得た。普通の局所体の場合に述べても、この写像の存在は非自明で、Sen の公式はただちに岩澤の公式に帰着され、岩澤の公式は Artin Hasse の古典的公式に帰着されて、簡潔な別証明が得られた。

この論文では、1 の p 分体のイデアル類群の p 成分の構造についての有名な予想と、レベル 1 の保型形式との関係についての結果を得た。特に、重さ k, レベル 1 の保型形式の Hecke 環の Eisenstein 成分が Gorenstein 環であれば、1 の p 分体のイデアル類群の p 成分のガロア群が Teichmuller 指標の 1-k 乗で作用する部分は巡回群になる(この場合の有名な予想が確かめられる)ことを示した。Herbrand-Ribet の有名な定理に対して、見通しのよい証明を与えることもできる。

この論文では、有理整数環 Z の K 群(Quillen の K 群)と 1 の p 分体のイデアル類群との関係を確立し、有名な Vandiver 予想をガロア群の作用で分解したときの、一部分を解決した。すなわち、p を素数とするとき、 1 の p 分体のイデアル類群の p 成分のガロア群が Teichmuller 指標の p-3 乗で作用する部分は消えていることを示した。Z の K 群をイデアル類群と比較することにより、その構造についての予想も提起した。また、Deligne-Soule の円分元が Euler 系をなすことも示し、その応用も述べた。

この論文では、Deligne と Soule によって定義された円分元の Gros による syntomic regulator 写像による像を計算した。その値は、p 進ポリログ関数によって具体的に書ける。証明の方法は、類体論の相互写像を具体的に表す明示公式と syntomic コホモロジーとの関係についても光を与えるものであり、今まで知られていなかったさまざまの人たちの明示公式の関係も記述することができた。特に、Coleman の公式と Vostokov の公式の関係を記述した。

この論文では、有理素数 p を素元に持つ完備離散付値体のアーベル拡大を、従来の類体論の記述とはまったく異なる方法で記述した。なお、考える離散付値体の剰余体は何であってもよい。剰余体が有限体や高次元局所体のときは類体論が知られていたが、このような一般の体のアーベル拡大の様子を記述したのは、この論文が初めてである。証明では、syntomic コホモロジーの考え方を本質的に使っている。なお、Brauer 群やこのような体の上の多様体の p 進 vanishing cycle の記述も与えた。

この論文では、局所体の整数環上の多様体に対し、Fontaine と Messing によって定義された syntomic コホモロジーの層が、正しい p 進コホモロジーを与えることを示した。具体的には、generic fiber の p 進エタールコホモロジーと、special fiber のクリスタリンコホモロジーとをsyntomic コホモロジーを使ってつなぐ distinguished triangle が存在することを示した。なお、代数閉体まで行けばこのような関係があることは加藤和也によって示されていたが、この論文の結果により、類体論などのより数論的な問題にこの論文の方法が使えることがはっきりした。

この論文では、混標数完備離散付値体をその 整数環の微分加群の構造によって、二つに分類することを提案した。II 型の完備離散付値体では、そのアーベル拡大の様子が普通の局所体の場合とはまったく異なることを発見した。またII 型の体では、付値によって定まる Milnor K 群の filtration の様子は、Bloch によって調べられた等標数の場合とはまったく違う状況が起こることもわかった。また I 型の体の様子を調べることにより、斎藤秀司による局所体上の多様体のアーベル拡大に関する定理の別証明を与えた。