履歴書

生年月日 1962年11月30日
出生地 東京
現職 東京大学国際高等研究所カブリ数物連携宇宙研究機構
教授
e-mail address
hiraku.nakajima@ipmu.jp
web page https://member.ipmu.jp/hiraku.nakajima/

学歴

1981--1983 東京大学 理科I類
1983--1985 東京大学 理学部数学科
1985--1987 東京大学大学院修士課程 理学系研究科数学専攻
1991年 5月27日 理学博士(論文博士) 東京大学大学院
理学系研究科

職歴

1987--1992 東京大学理学部数学教室 助手
1992--1995 東北大学理学部数学教室 助教授
1995--1997 東京大学大学院数理科学研究科 助教授
1997--2000 京都大学大学院理学研究科 助教授
数学教室
2000 12月-- 京都大学大学院理学研究科 教授
-- 2008 9 月 数学教室
2008 10 月 -- 京都大学 教授
-- 2018 3 月 数理解析研究所
2018 4 月 -- 東京大学 教授
カブリ数物連携宇宙研究機構

指導学生 (博士取得)

2005 入谷寛 京都大学
2008 山川大亮 & 京都大学
2009 長尾健太郎 & 京都大学
2012 木村 嘉之 京都大学
2015 Jaeyoo Choy 京都大学 (論文博士) 学振の論博プログラムによる
2016 高山 侑也 京都大学

長期滞在

1998-99 Institute for Advanced Study (Princeton, USA) Member
School of Mathematics
2002 Centre for Advanced Study (Oslo, Norway)
2007-08 Institute for Advanced Study (Princeton, USA) Member
School of Mathematics

賞罰

1997 日本数学会幾何学賞
2000 日本数学会賞春季賞
2003 アメリカ数学会コール賞
2006 第二回(平成17年度)日本学術振興会賞
2014 日本学士院賞
2016 朝日賞

講演

2002 国際数学者会議(ICM 2002) 全体講演
2010 Hardy Lectureship, London Mathematical Society

現在の研究・専門

表現論, 幾何学

学会活動

1986年 -- 日本数学会 会員
2003年7月 -- 2009年6月 日本数学会学術委員会
2005年7月 -- 2008年6月 日本数学会学術委員会委員長

エディター

2000年10月-- JAPANESE JOURNAL OF MATHEMATICS
2001年5月--2010年12月 Advances in Mathematics
2005年1月--2010年12月 Transformation Groups
2005年1月-- 2009年1月 Representation Theory
2005年5月-- Duke Mathematical Journal
2011年1月-- Les Publications Math\'ematiques de l'IH\'ES

教室/理学部, 研究所委員

2004年度 数学数理解析専攻・専攻長(教室主任)
2009年度から2012年度 数理研図書室長
2010年度 数理解析系・系主任
2017年度 数理解析系・系主任

出版物

書籍

  1. 非線型問題と複素幾何, 岩波書店, 1999
    タイトルからは分からないけれど, Kaehler-Einstein計量の存在問題に関する教科書. この本の執筆を引き受けたときは, この問題に関してなんか仕事をしたい, と思っていたんだけど, 結局そのあと全然違ったことをやっていたので, 本を書いているときは頭の切り替えが大変だった. 割とコンパクトにまとまっていると思うので, できるだけたくさんの人に読んでほしいなあ.
  2. Lectures on Hilbert schemes of points on surfaces, AMS Univ. Lecture Series, 1999
    曲面上の点のヒルベルト概型について東大でやった連続講演を牛腸くんと中村くんにnoteを作ってもらって, それをもとにして書いたのがこれ.点のヒルベルト概型を題材にして, 幾何と色々な他分野とのつながりが紹介されている. 自分でいうのもなんだけど, 非常にうまく行ったと思う. これも出来るだけ多くの人に読んでほしい.

発表論文

  1. Compactness of the moduli space of the Yang-Mills connections in higher dimensions, J. Math. Soc. Japan 40 (1988), 383--392.
    Donaldsonの有名な論文の解説を、松本幸夫先生が授業でされたのに興味をもって、そのころセミナーで勉強していたSchoenの論文 の手法をそのまま、Yang-Mills接続の場合に適用して、授業のレポートとして提出した。そうしたら師匠から論文にしなさい、といわれて書いたのが、この論文である。 harmonic map とYang-Mills接続は、解析的にはほとんど同じように結果が平行で成り立つということは、当然のことであり、この結果が成り立つことは、Uhlenbeckはもちろん分かっていて論文もあることが、あとで本人にあったときに分かった。(が、その論文は未だ未発表のままである。)
    その後 Tian の論文で、特異点集合の構造の解析など、 さらにいろいろなことが分かっている。
  2. Removable singularities for Yang-Mills connections in higher dimensions, J. Fac. Sci. Univ. Tokyo 34 (1987), 299--207. Link to Univ. of Tokyo Repository.
    Liaoのharmonic mapの特異点除去の論文をそのままYang-Mills接続の場合に移したのが、この論文。
  3. Hausdorff convergence of Einstein 4-manifolds, J. Fac. Sci. Univ. Tokyo 35 (1988), 411--424. Link to Univ. of Tokyo Repository.
    深谷さんが, 小林-TodorovのK3曲面上のEinstein計量の退化の例を紹介されたのを聞いて, harmonic map --> Yang-Mills接続 --> Einstein計量 と類似ができることが分かった。ただし、4次元の場合はあたりまえなので、monotonicity formula をどうしたらいいかをずっと考えていた。結局、できなさそうだし、Andersonが同じようなことをしつつあったので急いで論文にした。
  4. On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth (with S.Bando and A.Kasue), Invent. Math. 97 (1989), 313--349.
    論文 3 で、できなかった特異点除去定理の部分を, 板東さん, 加須栄さんに教えてもらってできた論文。私の寄与は、久保ワープロとTeXの両方で論文を打ち込んだことかもしれない。
  5. Self-duality of ALE Ricci-flat $4$-manifolds and positive mass theorem, in Recent Topics in Differential and Analytic Geometry, Advanced Studies in Pure Math. 18-I (1990), 313--349.
    ALE Ricci-flat 4-mfd でKronheimerの構成したものの商以外のものがあるか?という問題について考えたもの。Wittenによる正質量定理の証明を知ったら、条件をつければすぐできることは分かったのだが、一般には難しいと思う。$S^3/\Gamma$の$\eta$不変量の計算は、このときだいぶ苦労した記憶がある。しばらくして、McKay対応を使えばただちに分かることが分かった。
  6. Yang-Mills connections and Einstein-Hermitian metrics (with M.Itoh), in K\"ahler metrics and Moduli Spaces, Advanced Studies in Pure Math. 18-II (1990), 395--457.
  7. Yauのトリック, 数学 41 (1989), 253--258.
  8. Moduli spaces of anti-self-dual connections on ALE gravitational instantons, Invent. Math. 102 (1990), 267--303.
  9. Einstein-Hermitian connections on hyper-K\"ahler quotients (with T.Gocho), J. Math. Soc. Japan 44 (1992), 43--51.
  10. Yang-Mills instantons on ALE gravitational instantons (with P.B.Kronheimer), Math. Ann. 288 (1990), 263--307.
  11. Monopoles and Nahm's equations, in Einstein metrics and Yang-Mills connections, (1993) eds. Mabuchi, Mukai, Marcel Dekker, 193--211. pdf.
  12. Einstein計量の収束定理とALE空間, 数学 44 (1992), 133--146. Link to J-Stage.
  13. Homology of moduli spaces of instantons on ALE spaces.I, J. of Differential Geometry, 40 (1994) 105--127. Link to JDG site.
    ALE空間上のインスタントンのmoduli空間のホモロジー群をA型のときに計算した. このときはいわゆる Spaltenstein varietyと呼ばれる空間になる. 堀田先生と寺田さんにいろいろと聞いて, 結局Young図式で表わす綺麗な表示を得ることができた.
    ここで導入されたヤング盤のchargeは、MacdonaldのII.App (Zelevinskyが書いたらしい)に書いてあるものと本質的に同じであることを2010/11/26に発見した。
    citation search in SPIRES HEP
  14. Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras, Duke Math. 76 (1994) 365--416.
    箙多様体を定義した記念すべき論文. 1990年の京都ICMでLusztigの講演を聞いてから彼の論文を勉強し始めて, 先の見えない苦しい時期を過ごしたが, 結局ALE空間上のインスタントンのmoduli空間との関係が分かり, この論文にまとめた.
  15. Resolutions of moduli spaces of ideal instantons on $\mathbb R^4$, in Topology, Geometry and Field Theory, World Scientific (1994) 129--136.
    $\mathbb R^4$上のインスタントンのモジュライ空間をバブルを付け加えて完備化したものを理想インスタントンのモジュライ空間と呼ぶが, その特異点解消を構成した. 山形の表現論シンポジウムの途中に箙多様体と同じやり方で構成できると, はたと気がついた.
    このときは気がつかなかったのだが, あとで特異点解消はGieseker-Maruyamaコンパクト化に他ならず, 写像は GMコンパクト化--> Uhlenbeckコンパクト化という J.Liの写像の特別な場合に他ならないことが分かった.
    また, この特異点解消は, Nekrasovの分配関数の定義に用いられている。
  16. Gauge theory on resolution of simple singularities and simple Lie algebras, Inter. Math. Res. Notices, 2 (1994) 61--74.
    上の論文は, 箙の言葉で書いてあったので, ゲージ理論の言葉で結果を書き直した. でも, あんまり読まれてないみたい.
  17. A convergence theorem for Einstein metrics and the ALE spaces (translation of 12), Amer. Math. Soc. Transl. 160 (1994) 79--94. preprint version. (Figures are the same as Japansese version [12], which can be found at J-Stage.)
  18. Varieties associated with quivers, in Representation theory of algebras and related topics, CMS conference proceedings 19, AMS (1996) 139--157.
    多元環のシンポジウムに呼ばれて講演した. そのプロシーディングに書いたもの. でも, あれほど何の話もよく分からなかったシンポジウムに参加した経験は, その前もその後もないな. 今では, 多元環と自分の仕事の関係も分かってきたので, もう一回参加してみたいな.
    その後、2010年に、東京でICRAが開かれたので、参加することができた。このときは、クラスターが流行になったので、前に参加したときとは、だいぶ雰囲気が変わった。
  19. Hyper-K\"ahler structures on moduli spaces of parabolic Higgs bundles on Riemann surfaces, in Moduli of vector bundles, Lecture Notes in Pure and Appl. Math., 179, (1996), Marcel Dekker.
    ベクトル束に関する谷口シンポジウムのプロシーディングに投稿したのがこれ. Boden-横川がリーマン面上のパラボリックHiggs束のモジュライのベッチ数が安定性を定めるパラメータを動かしても変らないことを証明していて, それを見てモジュライ空間がパラメータによらずすべて微分同相であることを証明した.`今野 宏の結婚を記念して'と言う献呈の言葉は, コメントアウトしておいたはずなんだけど, 印刷されてしまった. それとも私の記憶違いかな.
  20. Gauge theory on resolution of simple singularities and affine Lie algebras, in Singularities and complex geometry (Beijing, 1994), 183--192, Amer. Math. Soc., Providence, RI, 1997
  21. Quiver Varieties and Kac-Moody Algebras, Duke Math., 91, (1998), 515--560.
    箙多様体の論文の第二段. 前は, constructible functionでformulateされていたのだが, それをホモロジー群でやり直した. 前のときはホモロジーの交叉の計算をどうやっていいのか分からなかったのだが, 実はほとんど横断的に交わっていてconstructible functionの計算とそんなに変らないのだった. しかし, 本当にやりたかったのは同変K群での計算で, これができたのは結局[26]まで待たなければいけなかった.
  22. Heisenberg Algebra and Hilbert Schemes of Points on Projective Surfaces, Ann. of Math. 145, (1997) 379--388. Preprint version. alg-geom/9507012.
    Vafa-Wittenの論文でK3曲面上のベクトル束のモジュライをK3の対称積と関係させて, そのオイラー数が分割数で与えられることを説明していた. 但し, 対称積の普通のオイラー数ではだめで, オービフォールドの意味でのオイラー数を考えなくてはいけない.オービフォールドの意味でのオイラー数は, 対称積の特異点解消である点のヒルベルト概型のオイラー数に等しい.(Goettsche) それで箙多様体のときの計算を真似て, ヒルベルト概型のホモロジー群にハイゼンベルグ代数の表現を構成したのがこの論文. この論文のおかげでだいぶ私の名前も有名になった. 箙多様体のときは一般のKac-Moody Lie環でやっていたので, アファインリー環のことをあまり知らなくてもできたのだが, この研究あたりから, だんだんと勉強しなければいけないことになってきた.
    citation search in SPIRES HEP
  23. Instantons and affine Lie algebras, in $S$-duality and mirror symmetry, Nucl. Phys. B (Proc. Suppl.) 46 (1996) 154--161. Preprint version. alg-geom/9510003.
    Vafaからメールが来て, ALE空間上のインスタントンのモジュライ空間のオイラー数の母関数が保型関数になるかを聞かれた . 答えは, アファイン・リー環の指標なのでYESであった. それで彼がオーガナイズするシンポジウムに呼ばれて, そのプロシーディングがこれである. 私の結果は物理の方でより有名になった.
    citation search in SPIRES HEP
  24. 曲面上の点のHilbert概型とHeisenberg代数, 数学 50, (1998) 385--398.
  25. McKay correspondence and Hilbert schemes in dimension three (with Yukari Ito), Topology 39 (2000), 1155--1191. Link to Topology. Preprint version. math.AG/9803120.
    点のヒルベルト概型は, 高次元のときには特異点があるし難しいと思われていたんだけど, 群作用の固定点を考えると3次元ではなぜか非特異になる. この中村先生の結果を見て, じゃあ二次元のMcKay対応の高次元化が出来るはずと思って, やったのがこれ. 証明を完成するためにあるコホモロジーが消えていることをいわなくては行けなくて, それを組合わせ論的な議論で示した. その部分が一番苦労した. と言っても何も難しいことは使っていないけれど, 場合分けしてそれをしらみつぶしに調べていく. このやり方では群がアーベリアンのときにしかできなかったが, その後Bridgeland-King-Reidによって, 一般の群について, しかも K 群よりも強力な導来圏のレベルで結果が得られた.
    citation search in SPIRES HEP
  26. Quiver varieties and finite dimensional representations of quantum affine algebras, J. Amer. Math. Soc. 14 (2001), 145-238. Link to AMS; math.9912158.
    箙多様体の論文の第三段. 箙多様体はしばらくほっていたのだが, PrincetonでLusztigに色々聞かれたこと, Grojnowskiの本(?)が出る気配がないこと, からまじめに考える気になった. 同変K群の計算は, 自分では気に入っているやり方. 導来圏でも成り立つ. このやり方は, Princetonの冬に思い付いた. しかし論文を書き終えるまでには, さらに半年かかった.
  27. Reflection functors for quiver varieties and Weyl group actions, Math. Ann. 327 (2003), 671--721. Link to Mathematische Annalen, (longer) preprint version.
  28. 箙多様体と量子アファイン環, 数学 52 (2000), 337--359.
    日本数学会賞春季賞授賞のときに書いたもの. 雑誌「数学」では禁止のはずのfootnoteがついている.
  29. $t$-analogue of the $q$-characters of finite dimensional representations of quantum affine algebras, in ``Physics and Combinatorics'', Proceedings of the Nagoya 2000 International Workshop, World Scientific, 2001, 195--218. Preprint version. math.0009231.
    q-指標のt-類似とは, 箙多様体の$S^1$作用に関する固定点のベッチ数の母関数に他ならない. Frenkel-Mukhinが論文の中で基本表現の場合にq-指標(オイラー数に対応)を計算するアルゴリズムがある, と書いていたので, 同様なことがベッチ数についてもできるはずと考えたらできた. 京都でMukhinに, ウィーンでEdward Frenkelに詳しく説明してもらったおかげ. 上の[26]と合わせて, すべての既約有限次元表現の指標を計算するアルゴリズムが与えられることになった. これはオイラー数だけでは駄目で, ベッチ数になって始めてできたことで, 箙多様体の真骨頂が発揮された. ベッチ数が計算できると, 既約表現のq-指標(のt-類似)が計算できるようになる, というところは, Lusztigのcanonical baseの論文とほとんど同じ議論である. 自分で考えると, 他人の論文もよく分かるようになる.
  30. Quiver varieties and tensor products, Invent. Math., 146 (2001), 399--449. Link to Inventiones Mathematicae.; math.0103008.
    箙多様体のホモロジー, ラグランジアン部分多様体, 同変K群により, 有限次元リー代数の有限次元既約表現, 対応する量子展開環の表現のクリスタル, 量子アファイン環の標準加群ができる, ということが分かっていたが, 箙多様体のある部分多様体を導入することによってテンソル表現ができることを示した. Lusztigがアファイン・ヘッケ環の誘導表現を作るのに使った部分多様体の真似をしてできた.
  31. Hilbert schemes of points on surfaces and Heisenberg algebras (translation of 24), Sugaku Expositions, 15 (2002), 207--222.
  32. Quiver varieties and $t$--analogs of $q$--characters of quantum affine algebras, Ann. of Math. 160 (2004), 1057--1097 , PDF file from Ann. of Math.; math.QA/0105173.
    [29]でアナウンスした結果の証明. ついでに1のべき根のときまで拡張しておいた.
  33. Extremal weight modules of quantum affine algebras, Advanced Studies in Pure Math., 40 (2004), 343--369; math.QA/0204183.
    これは幾何を一切使わない論文. 柏原先生のextremal weight moduleはlevel 0基本表現のテンソル積の部分表現であるという予想をuntwisted affine of type ADEのときに解決したもの. 同じ結果を独立に証明したBeckとは, より一般のaffineの場合の解決を共同研究ですることになる. ([38]参照)
  34. $t$--analogs of $q$--characters of quantum affine algebras of type $A_n$, $D_n$, in Combinatorial and geometric representation theory (Seoul, 2001), 141--160, Contemp. Math., 325, Amer. Math. Soc., Providence, RI, 2003; math.QA/0204184.
    A, D型の量子アファイン環の有限次元表現のq-指標のt-類似をYoung盤で表示する公式を与えた. Young盤を使ったのは[14]以来.
    もう一つこの論文に書いてある, 柏原の結晶基底の単項式によるparametrizationは自分でかなり気に入っている. 柏原作用素の定義が, 何も難しいことが分からなくてもできている.
    ここには書いていないが, 講演で述べたことを書き留めておこう. 箙多様体のラグランジアン部分多様体のクリスタルが, 展開環の表現のクリスタルに等しいということの証明がたくさんできた. a) 柏原-斎藤の証明 (* を使う.) b) テンソル積による特徴づけ(Josephの本に書いてある)を示す c) 柏原による埋め込み定理に持ち込む (1-parameter変換群のウェイトと埋め込み定理がぴったり一致する!) d) 有限型のときは, orbitのconormal bundleであることを使う (Lusztigの証明)
  35. $t$--analogs of $q$--characters of Kirillov-Reshetikhin modules of quantm affine algebras, Represent. Theory (elect.) 7 (2003), 259--274 , Link to Represent. Theory; math.QA/0204185.
    Kirillov-Reshetikhin加群という量子アファイン環の特別な加群のクラスが, よく研究されているのだが, その中の予想, ある短完全列の存在を, q-指標を用いて証明したもの. 一つ前のヤング盤の論文は, 古典型のときにこれを証明しようというのが動機の一つだったのだが, 結局うまくいかなかった. で, バークレイで家族が日本に帰った後に,一般の場合にやってみようと考えたらすぐできた. 結局はq-指標のcombinatoricsの問題だった.
    この結果は, Hernandezにより一般のuntwistedなアファイン・リー環まで拡張された.
  36. Geometric construction of representations of affine algebras, in Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002), 423--438, Higher Ed. Press, Beijing, 2002; math.QA/0212401.
  37. Convolution on homology groups of moduli spaces of sheaves on K3 surfaces, in ``Vector bundles and representation theory (Columbia, MO, 2002)'', 75--87, Contemp. Math. 322, 2003.
  38. Crystal bases and two-sided cells of quantum affine algebras (with Jonathan Beck), Duke Math., 123 (2004), no. 2, 335--402 , Link to Duke Math.; math.QA/0212253.
    [33]の続き. 一般の(twistedまで含めた)量子アファイン環の場合に柏原先生の予想を解決したもの. さらにLusztigの両側セルの構造に関する予想も解決した. Lusztigの予想は, アファインヘッケ環の両側セルに関する予想がもとになっているのだが, そちらの方は, いろいろと幾何学的な性質を使わないと構造が調べられず, 予想は完全解決はされていないのだが, 量子アファイン環の場合はこの論文では幾何を一切使わずに代数的に証明できてしまう. 量子アファイン環は A 型のアファインヘッケ環に似ていて, 構造がかなり簡単になっているということだ. この論文にある PBW 基底の定義は, [29]を書くときに理解した Lusztig の論文の有限型のものをアファインに拡張したもの.
  39. Cells in quantum affine algebras, Algebra Colloquium 11 (2004), No. 1, 141--154. (Proceedings of the International Conference on Algebra, Suzhou 2002).
    [38]の解説と幾何学的な背景の説明. アファイン・ヘッケ環のセルとの類似など
  40. Instanton counting on blowup. I. $4$-dimensional pure gauge theory (with Kota Yoshioka), Invent. Math 162 (2005), no. 2, 313--355 , Link to Invent. Math; math.AG/0306198.
    吉岡さんと1997から始めたプロジェクト(その他の[11]参照)が, 頓挫していたのだが, Nekrasovの予想を聞いて, 正しい枠組みが分かり, 前の問題と予想がいっぺんに解決 できた !
  41. Lectures on instanton counting (with Kota Yoshioka), in Algebraic Structures and Moduli Spaces, CRM Proceedings \& Lecture Notes 38, AMS, 2004, 31--101; math.AG/0311058. (The preprint version was largely expanded in the printed version.)
    上の論文とその物理的な背景の解説. Vafaから「おまえはSeiberg-Wittenの物理が分かったな」と, おほめのメールをいただいた. 土屋先生主催の, 城崎でのシンポジウムがやっと結実したので献呈論文とした.
  42. Quiver varieties and quantum affine algebras (translation of 28), Sugaku Expositions, 19 (2006), no. 1, 53--78.
  43. Crystal, canonical and PBW bases of quantum affine algebras, in `Algebraic Groups and Homogeneous Spaces', Ed. V.B.Mehta, Narosa Publ House. 2007, 389--421. (Written in 2005 Apr.)
    [38]の解説と, Li-Xiao-Zhangの紹介. affineの場合, Beck-NakajimaのPBW基底と, 箙の表現からできるPBW基底は, よく似ているが微妙に違っている. その辺を解説した.
  44. Instanton counting on blowup. II. $K$-theoretic partition funtion (with Kota Yoshioka), Transform. Groups 10 (2005), no. 3-4, 489--519 , Link to Transformation Group; math.AG/0505553.
    [40]のK-理論版. 消滅定理が成立していることは, 吉岡さんと, Mapleで実験をしているうちに気が付いた. 川又-Viewhegって役に立つんですね. 学生のときに杉山さんの話を聞いていたおかげで思い出しました. (^_^)
  45. Level $0$ monomial crystals (with David Hernandez), Nagoya Math. J. 184(2006), 85--153 , Link to Nagoya Math. J.; math.QA/0606174.
    level 0 基本表現のクリスタルの構造を, 古典型のときには, ヤング盤の組み合わせ論で記述し, 例外型のときは単項式表現([34]で導入したもの)で, すべての単項式を書き上げることで記述した. A 型以外のときは, 最初に予想していたよりも複雑だった.
  46. Instanton counting and Donaldson invariants (with Lothar G\"ottsche and Kota Yoshioka), J. of Differential Geometry, 80 (2008), 343--390; PDF from JDG site; preprint version math.AG/0606180.
    私が若かりし折は, Donaldson不変量について何か仕事をする, のが夢でした. そんな夢が40歳を過ぎてから実現しました....
  47. $t$--analogs of $q$--characters of quantum affine algebras of type $E_6$, $E_7$, $E_8$, in ``Representation Theory of Algebraic Groups and Quantum Groups'', Progress in Mathematics, Vol. 284, 2011, 257--272, math.QA/0606637.
    箙多様体の$S^1$作用に関する固定点集合を, 次数付き箙多様体といいます. そのBetti数の母関数が[29]のq-指標のt-類似に他なりません. [29,32]の, これを求めるアルゴリズムを Dynkin $E_8$型のときに大型計算機で実行しました. しばらく, 計算機使用料の手だてがつかなかったこと, 他のことで忙しかったこと, などで数年ほってあった研究を, ついに実行できたので, 大満足の結果です. なお, 論文は, 定理がひとつもありません. また計算するということはどういうことかを議論しています. (特に, アルゴリズムを与えることと, 計算することの区別を明確にした.)
  48. インスタントンの数え上げとDonaldson不変量 (吉岡 康太氏と共著), 数学, 59 (2007), 131--153.
  49. Instanton counting and Donaldson invariants (with Kota Yoshioka), (translation of [48]) Sugaku Expositions, 23 (2010), no. 2, 189--212.
  50. K-theoretic Donaldson invariants via instanton counting, (with Lothar G\"ottsche and Kota Yoshioka), Pure and Appl. Math. Quaterly, 5, No. 3 (2009) (Friedrich Hirzebruch special issue, part II), 1029--1111; Link to PAMQ site; prprint version math.AG/0611945.
    Hirzebruch 80 歳献呈に K理論の論文を書いてみた。(G\"ottsche はHirzebruchの 弟子である。)
  51. Sheaves on ALE spaces and quiver varieties, Moscow Math. Journal, 7 (2007), No. 4, 699--722. Link to Online Journal, Errata
    学生の長尾健太郎君の 論文 で使うために, [10]で得られた結果を, 連接層の場合に拡張した. 結果自体は 何年も前に得られていたのだが, 論文に書く意味がないと思ってずっとほってあった.
  52. Perverse coherent sheaves on blow-up. I, a quiver description (with Kota Yoshioka), in Adv. Stu. in Pure Math. 61 (2011), 349--386. preprint version arXiv:0802.3120.
    King さんの博士論文の quiver による blowup 上のインスタントンの記述で、 安定性のパラメータを変えると wall-crossing がおこる、ということはしばらく 前に分かっていたのだが、詳しく調べてはいなかった。 吉岡君が Bridgeland の偏屈連接層をblowupのときに考えたらいいことがあるので はと、トリエステで[50]が一段落したときにいって、 それから考え出してできたのがこれと、下の論文と、たぶんその続き。
  53. Perverse coherent sheaves on blow-up. II, wall-crossing and Betti numbers formula (with Kota Yoshioka), J. Algebraic Geom. 20 (2011), no. 1, 47--100. Link to Online Journal, arXiv:0806.0463.
    だいたいはプリンストンに行く前にできていて、その先を少し考えていたのだが、 wall-crossing が急に`はやり'になってきたので、Betti 数の計算もしてみることに 方針変更。きれいな公式になった。
  54. Quiver varieties and branching, SIGMA, 5 (2009), 003, 37 pages. Link to Online Journal, arXiv:0809.2605.
    久しぶりの箙多様体と表現論の関係の論文である。
    BravermanとFinkelbergがdouble affine Grassmannian は$\mathbb R^4/\mathbb Z_l$上のインスタントンのUhlenbeckコンパクト化を使って理解できるという proposal の講演を11月のプリンストンで聞いて、では、テンソル積は何かと質問したら、「それは部分特異点解消の上のUhlenbeckコンパクト化である」と答が帰ってきた。ああそうか、「それは箙多様体にレベル・ランク双対で移ると分岐則だから確かにあってる」と即答した。部分特異点解消は、定義ができることは最初からずっとわかっていたが、表現論的な意味がないと思って何も考えていなかった。盲点だった。
  55. Counting invariant of perverse coherent sheaves and its wall-crossing, (with Kentaro Nagao), IMRN, 2011, no. 17, 3885--3938. Link to Online Journal, arXiv:0809.2992.
    長尾くんのコメント
    師匠のプリンストン滞在中に某SNS上にSzendroiの非可換Donaldson-Thomas不変量について書いたら,師匠から安定性のパラメータを動かせば中島-吉岡と同様の壁越え公式が成り立つのではないか,との書き込みがあった!実験したみたら確かにそうなっていて,証明も簡単にできたので,恐縮ながら共著論文とさせていただいた.アイデアは極めてシンプルだし,難しいことは何もやっていないけれど, Donaldson-Thomas不変量, Pandeharipande-Thomas不変量, 非可換Donaldson-Thomas不変量の関係がすっきり理解できて,よい結果だと思う.個人的にはM1のときに勉強していたことが役に立ったので嬉しい.次はM2のときに勉強していたことで論文が書きたい.
  56. Quiver varieties and cluster algebras, Kyoto J. Math. Volume 51, Number 1 (2011), 71-126. (Memorial Issue for the Late Professor Masayoshi Nagata). Link to Online journal, arXiv:0905.0002.
    最近は、箙多様体関係の論文は、他の人からの刺激を受けないと書かない。今回は Hernandez-Leclercの cluster代数と量子アファイン展開環の有限次元表現に関する 予想を聞いて、チョコっと調べて書いた。個人的には、cluster圏を抹殺したかった のだが、やはり無理だったようだ。
  57. Perverse coherent sheaves on blow-up. III. Blow-up formula from wall-crossing (with Kota Yoshioka), Kyoto J. Math. Volume 51, Number 2 (2011), 263--335. Link to Online journal, arXiv:0911.1773.
    偏屈連接層のモジュライ空間を用いて、$\mathbb R^4$上の枠付き連接層と、その一点ブローアップの上の枠付き連接層のモジュライ空間を壁越えでつなぐことができる、というのを上の論文で示した。さらにこの論文では、望月拓郎氏のマスター空間を用いて不変量の変化を表す、という枠組みを、この場合に適用することにより、ブローアップ上のモジュライ空間の上の積分を、$\mathbb R^4$上のモジュライの上の積分で表す、という公式を証明した。今まで、インスタントンの数え上げに関して技術的な進歩であり、たとえば物質場付きの場合も、なしの場合と同じように取り扱うことができるようになった。個人的には、K理論の場合に、川又-Viewhegの消滅定理を用いて証明していたところを、なしにできたところがうれしい。(消滅定理を消滅させた。)
  58. Donaldson = Seiberg-Witten from Mochizuki's formula and instanton counting (with Lothar G\"ottsche and Kota Yoshioka), Publ. of RIMS, 47 (2011), No.1, 307--359. Link to Online Journal, arXiv:1001.5024.
    [46], [50]をやったあと、トリエステのG\"ottscheのうちで、三人で望月拓郎 氏の本を眺めながら、物質場付きのときに同じ議論を使えば、Witten予想が証 明できるはずだね、と話し合っていた。で、偏屈連接層の論文で物質場付きの 場合も扱えるようになったので、やってみた。論文の完成前に 12月に東大で講 演の一週間前に、一ヶ所の留数を見落としていることが判明して大いに慌てた。 吉岡くんは、まだできているか分かりませんよ、といっていたにも関わらず、 あわてて講演するからそういうことになる。反省。結局、この留数には大きな 意味があることが、あとで分かった。
  59. Handsaw quiver varieties and finite W-algebras, Moscow Mathematical Journal, 12 (2012), No.3, 633--666. Link to Online Journal, arXiv:1107.5073.
    ポスドクセミナーで、ポスドクの人たちがちっともしゃべってくれないので、と[BFFR] の finite W-algebra と Laumon space の論文を、handsaw quiver variety の言葉で説明する、連続講演を行った。途中で、[BFFR]の整構造の定式化があまりよくないところが見つかったので、それを直して、既約表現の 指標公式を与える結果を導いて、論文にした。
    arXivに投稿したところ、Losevから、指標公式はすでに証明してある、というメールがあり、ver.2 で引用をしておいた。ただ、私のやり方は、Kazhdan-Lusztig予想のA型のときの別証明も与えているので、まったく違うやり方といっていいだろう。
  60. Quiver varieties and tensor products, II, in "Symmetries, Integrable Systems and Representations", Springer Proceedings in Mathematics \& Statistics Volume 40, 2013, pp 403--428. Link to Online Journal, arXiv:1207.0529.
    箙多様体の定式化でテンソル積をどう理解するか、という問題は[30]からずっと、頭の隅にある問題で、[30]では代数的な結果を援用することで、有限型の箙多様体について結果を得ていた。 Maulik-Okounkovのstable envelopの論文は、これを完全に幾何の範疇で解決した。この論文では、それをさらに、偏屈層で定式化しなおしてみた。
  61. Refined Chern-Simons theory and Hilbert schemes of points on the plane, in 'Perspectives in Representation Theory', Contemporary Math., Volume 610, AMS, 2014, 305--331. preprint version, arXiv:1211.5821.
    これは何年も前からずっと温めていたもの。
  62. Cluster algebras and singular supports of perverse sheaves, in "Advances in Representation Theory of Algebras", EMS Series of Congress Reports, 2014, 211--230, Link to Online Journal, preprint version arXiv:1301.5079.
  63. A simple proof of the formula for the Betti numbers of the quasihomogeneous Hilbert schemes (with A. Buryak, B. L. Feigin), International Mathematics Research Notices, Volume 2015, Issue 13, 4708--4715, Link to Online Journal, preprint version, arXiv:1302.2789.
  64. More lectures on Hilbert schemes of points on surfaces, Advanced Studies in Pure Mathematics, Volume 69, 2016, Development of Moduli Theory -- Kyoto 2013, 173--205, preprint version, arXiv:1401.6782.
  65. 戸田幸伸氏の業績, 数学, 66巻第4号, 414--421.
  66. Affine cellularity of quantum affine algebras, Journal of Algebra, Volume 441, 1 November 2015, Pages 601--608. Link to Online jounral, preprint version, arXiv:1406.1298.
  67. Instanton moduli spaces and W-algebras (with A. Braverman, M. Finkelberg), Ast\'erisque Volume 385 (2016), vii+128 pages. Link to Online Journal, preprint version, arXiv:1406.2381.
  68. Towards a mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, I, Advances in Theoretical and Mathematical Physics, 20 (2016), No. 3, 595--669, Link to Online journal, preprint version arXiv:1503.03676.
    2014年の9月にWarwick で行われたシンポジウム`` Warwick EPSRC Symposium: McKay correspondence, Orbifolds, Quivers'' で、Hananyのmonopole formulaに関する講演を聞き、その公式を復元するようにCoulomb branch をどのように定めたら よいか考えはじめた。はじめは, conifoldの場合のrefined Donaldson-Thomas不変量の長尾くんたちの計算 に似ていると思ったので、その延長線で考えていたが、途中でChern-Simons函数を使ったほうが自然に枠組みが見えてくることに気がついた。
  69. Towards a mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, II (with A. Braverman, M. Finkelberg), preprint, arXiv:1601.03586.
  70. Coulomb branches of $3d$ $\mathcal N=4$ quiver gauge theories and slices in the affine Grassmannian (with appendices by Alexander Braverman, Michael Finkelberg, Joel Kamnitzer, Ryosuke Kodera, Hiraku Nakajima, Ben Webster, and Alex Weekes), preprint, arXiv:1604.03625.
  71. Lectures on perverse sheaves on instanton moduli spaces, preprint, arXiv:1604.06316.
  72. Cherkis bow varieties and Coulomb branches of quiver gauge theories of affine type $A$ (with Yuuya Takayama), preprint, arXiv:1606.02002.
  73. Quantized Coulomb branches of Jordan quiver gauge theories and cyclotomic rational Cherednik algebras (with Ryosuke Kodera), preprint, arXiv:1608.00875.
  74. Introduction to quiver varieties -- for ring and representation theoriests, Proceedings of the 49th Symposium on Ring Theory and Representation Theory, Osaka Prefecture University, 2016 Summer, preprint version arXiv:1611.10000.
  75. Introduction to a provisional mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories (in Japanese), the proceeding of the 61st daisuugaku symposium, Saga University, 2016 Summer, preprint version arXiv:1612.09014.
  76. Coproduct for the Yangian of an affine Kac-Moody algebra (with Nicolas Guay and Curtis Wendlandt), preprint, arXiv:1701.05288.
  77. Ring objects in the equivariant derived Satake category arising from Coulomb branches (with A. Braverman, M. Finkelberg), preprint, arXiv:1706.02112.
  78. Introduction to a provisional mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, preprint, arXiv:1706.05154.
  79. Instanton on ALE spaces for classical groups, preprint, arXiv:1801.06286.

編集

  1. 微分幾何学の最先端 -- Surveys in Geometry, special edition, 培風館, 2005年

その他

  1. Regularity of minimizing harmonic maps into certain Riemannian manifolds, Part 3 of the master thesis, Tokyo University, 1987. (Part 1 and 2 were published as [1], [2] respectively.)
  2. Convergence of anti-self-dual metrics, unpublished preprint, 1992(?), pdf file
  3. Instanons on ALE spaces and canonical bases, (in Japansese), 表現論シンポジウム講演集, 1992年11月 山形 pdf file or pdf with pictures
  4. Morse theory on moduli spaces of instantons on ALE scalar-flat K\"ahler surfaces, unpublished preprint, 1992(?), pdf file
  5. 箙多様体と量子展開環, pdf 重点領域研究231公開講演会 講演記録 (1994年2月22日).
  6. Instantons and affine Lie algebras, pdf, 1995 代数幾何学シンポジューム記録, 116--128.
  7. Jack polynomials and Hilbert schemes of points on surfaces, unpublished preprint, alg-geom/9610021.
  8. Quiver varieties and finite dimensional representations of quantum affine algebras, (in Japanese), 群の表現および非可換調和解析, 数理研講究録 1124 (2000), 135--149. pdf
  9. Lectures at the University of Hong Kong -- a Geometric Construction of Algebras, 54 pages , pdf file
  10. Introduction to Quiver varieties -- 箙多様体入門, pdf, 2000 代数幾何学シンポジューム記録, 73--90.
  11. Moduli of sheaves on blown-up surfaces, in `Proceedings of RIMS Project 1999/2000, Algebraic Geometry and Integrable Systems related to String theory', RIMS Kokyuroku 1232 (2001), 29--33. postscript file, or link to Kyoto Univ. Research Information Repository
    The detail of the proofs of results in Sections 1,2 can be found in [41]. The approach in Section 4 was wrong, and later corrected in [40] in the formulation by Nekrasov.
  12. Quiver varieties and McKay correspondence -- Lectures at Hokkaido University, 2001 Dec. --, 49 pages , pdf file
  13. Problems on Quiver varieties, The 50th Geometry Symposium, Hokkaido Univ. 2003 Aug. , pdf file
  14. Appendix to ``Absolutely indecomposable representations and Kac-Moody Lie algebras'' by W.Crawley-Boevey and M.Van den Bergh, Invent. Math. 155 (2004), 537--539. preprint version math.RA/0106009.
    Appendixで私が証明しているのは, 有限体上定義された箙多様体の有理点の個数が定義するパラメータに依存しないことである. 複素数体上で考えると, 箙多様体がパラメータによらずすべて微分同相であることは, [14]ですでに示されていた.
  15. 書評, N.Chriss and V.Ginzburg : Representation theory and complex geometry , 数学 54 (2002), 318--322.
  16. Questions on provisional Coulomb branches of $3$-dimensional $\mathcal N = 4$ gauge theories, 数理研講究録 "Representation theory, harmonic analysis and differential equation", to appear. preprint version arXiv:1510.03908.
  17. Appendix (with D.Yamakawa) to "Cyclotomic double affine Hecke algebras" by A.Braverman, P.Etingof and M.Finkelberg arXiv:1611.10216.
\enddocument