履歴書

学歴

職歴

指導学生 (博士取得)

長期滞在

賞罰

講演

現在の研究・専門

学会活動

国際数学連合関係の委員

エディター

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

出版物

書籍

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.
    点のヒルベルト概型は, 高次元のときには特異点があるし難しいと思われていたんだけど, 群作用の固定点を考えると３次元ではなぜか非特異になる. この中村先生の結果を見て, じゃあ二次元の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.
    インスタントンのモジュライ空間の同変交叉ホモロジー群に，W代数の表現の構造が入る，という いわゆるAGT予想を証明したもの．A型の場合は， Maulik-Okounkov, Schiffmann-Vasserotによって証明 されていたが，それをADE型に拡張した．（BCFG型のときは技術的な問題があり，証明はできていない．） ただし，先行結果は同変ホモロジーを局所化しているので，W代数に整構造を定義して，局所化する前の 同変ホモロジー群に表現を構成しているところは，A型でも新しいと考えている． アファイン・リー環の幾何学的佐武は，レベル１のときはできると Braverman が言っていたので， それから共同研究を始めたように記憶しているが，結果としては AGT の証明になった．
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), Advances in Theoretical and Mathematical Physics, 22 (2018), No. 5, 1071--1147 , Link to Online journal, preprint version arXiv:1601.03586.
    [68]のmonopole formula を復元する話をコロンビアのセミナーでしたあと，Bravermanが Bezrukavnikov-Finkelberg-Mirkovicの昔の結果は，pure gauge理論の場合にクーロン枝を作って いることになるので，それをmodifyすれば，座標環が定義できると言ってきた．それから始めた のがこの共同研究である．書き出したらどんどん長くなってしまったので，分けることにして， 最初がこの論文である．Bezrukavnikov-Finkelberg-Mirkovicの論文より丁寧に積の定義を説明 しているので，読みやすくなっているのではないだろうか？
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), Advances in Theoretical and Mathematical Physics, 23 (2019), No. 1, 75--166 , Link to Online journal, preprint version arXiv:1604.03625.
    クーロン枝の論文の第二段である．読めば分かるとは思うが，この論文には私の寄与はほとんどなく， 他の二人の共同研究者の成果である．最初にモノポールのモジュライ空間になるはずだ，くらいは言った かもしれないが，記憶ははっきりしない．書いているうちにKamnitzerたちのshifted Yangianが量子化 と関係していることも分かってきて，相談して結局Appendixは共著で書いた．そのあと，クーロン枝を 用いた幾何学的佐武対応が，少なくともアファインA型のときはできそうな気配が見えてきたので， 一般の場合の定式化を行った．
71. Lectures on perverse sheaves on instanton moduli spaces, Geometry of moduli spaces and representation theory, 381--436, IAS/Park City Math. Ser. 24, Amer. Math. Soc., Providence, RI, 2017. preprint version arXiv:1604.06316.
72. Cherkis bow varieties and Coulomb branches of quiver gauge theories of affine type $A$ (with Yuuya Takayama), Selecta Math. (N.S.) 23 (2017), no.4, 2553--2633 , Link to Online journal, preprint version arXiv:1606.02002.
    共著者の高山くんは，当時博士の学生で，クーロン枝の研究を始める前から，Cherkisの弓箭多様体の 研究をしていた．Cherkisに，balanced な場合はクーロン枝，cobalancedな場合は 箙多様体(ヒッグス枝)になることを教えてもらい，有限型の箙ゲージ理論の場合の[70]の議論を真似して証明を 与えた．Hanany-Witten transitionをbow varietyの同型写像として理解し，それを使って 弓箭多様体が特別な場合にべき零多様体とSlodowy切片の交叉になっていることを示した．それまで， 物理で使われる Hanany-Witten transition というものがある，ということは聞いていたが， 数学では何のことか分かっていなかっただろうと思う．Dブレーンの話も，ミラー対称性の 枠組みの中で，カラビ・ヤウの連接層や，ラグランジアン部分多様体としては数学でも親しみが あるが，インスタントンやモノポールが出てくる話は，この論文までは知られていなかったのではないか．
73. Quantized Coulomb branches of Jordan quiver gauge theories and cyclotomic rational Cherednik algebras (with Ryosuke Kodera), String-Math 2016, 49--78, Proc. Symops. Pure Math. 98, Amer. Math. Soc., Providence, RI, 2018. preprint version 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), Adv. Math. 338 (2018), 865--911 , Link to Online journal, preprint version arXiv:1701.05288.
    Maulik-Okounkovのstable envelopeにより ヤンギアンの余積の幾何学的な理解ができ，有限型だけ でなく，アファイン・ヤンギアンにも余積が定義できるはずと考えて，文献を探すと，Guayの アファインA型の 論文 が見つかった．余積は，この式で定義できると書いてあって証明がなかったので，どうwell-defined であることを示すのかメールでポイントを聞いて，一般の型の場合に一般化した論文である． 幾何は使わず，基本的に計算だけしか使っていない初等的な証明である．
    レフェリーからは有限型のときも出版された証明がないことを注意しておくように言われた． 聞いてはいないが，有限型の場合は少なくともDrinfeldのノートはあるはずだ.
77. Ring objects in the equivariant derived Satake category arising from Coulomb branches (with A. Braverman, M. Finkelberg), Advances in Theoretical and Mathematical Physics, 23 (2019), No. 2, 253--344 , Link to Online journal, preprint version arXiv:1706.02112.
78. Introduction to a provisional mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, Modern Geometry: A Celebration of the Work of Simon Donaldson, Proceedings of Symposia in Pure Mathematics, Volume 99, 193--211, Amer. Math. Soc., Providence, RI, 2018. preprint version arXiv:1706.05154.
79. Instanton on ALE spaces for classical groups, preprint, arXiv:1801.06286.
    Yiqiang Li の箙多様体の対合とその固定点を議論した 論文が書かれたので，reflection functor の論文を書いたときにサボって書かなかった，ALE空間の上の古典群のインスタントンのADHM記述 を書いた．対合の固定点の例になっているが，Liさんの論文では考察されていない例になっている． Douglas-Mooreの論文では，古典群 の場合も取り扱っているが，それは特異点解消をする前のユークリッド空間の商の場合である． Kronheimerと論文[10]を書いたときには，特異点解消の場合が分からなかったので，論文に もそのように言及した．
80. Line bundles over Coulomb branches (with A. Braverman, M. Finkelberg), Advances in Theoretical and Mathematical Physics, 25 (2021), No. 4, 957--993 , Link to Online journal, preprint version arXiv:1805.11826.
81. 3d TQFTs from Argyres-Douglas theories (with M. Dedushenko, S. Gukov, D. Pei, K. Ye), J. Phys. A:Math. Theor. 53 (2020), no. 43, 43LT01, 12pp , Link to Online journal, preprint version arXiv:1809.04638.
    CaltechにGukovをたずねたときにwild Higgs束のモジュライの話を聞いたので，それはTQFTができる ということか，と質問したことから始まった共同研究である．wild Higgs束のモジュライは何も知らず， Argyres-Douglas理論も何も知らなかったので，途中でいろいろと教えてもらい，$\mathbb C^*$作用の 固定点が有限個になることの幾何学的な証明を思いついた．
82. Towards geometric Satake correspondence for Kac-Moody algebras -- Cherkis bow varieties and affine Lie algebras of type $A$, Annales scientifiques de l'cole normale suprieure (to appear) preprint version, arXiv:1810.04293.
    [70]に書いたクーロン枝による幾何学的佐武対応を，アファインA型の場合に弓箭多様体を用いて 証明した．議論のポイントを明らかにするために，使っているクーロン枝の性質を公理化して， それを示すことができれば，幾何学的佐武対応が従う，という形で議論した．通常の有限次元 の幾何学的佐武対応で，群作用を使って議論しているところを，クーロン枝のfactorizationを 使うように変更することがメインのアイデアで，あとは $\mathfrak s\mathfrak l_2$への reductionを用いる．
83. Coulomb branches of quiver gauge theories with symmetrizers (with Alex Weekes), J. of Euro. Math. Soc. (to appear) , Link to online journal, preprint version arXiv:1907.06552.
    [70]で，対称とは限らない箙ゲージ理論のクーロン枝を，対称な場合のクーロン枝の対合の固定点として 扱っているのだが，正しい定式化ではない気がして， Geiss, Leclerc, Schrerを参考にして，アファイン・グラスマンを箙の頂点ごとに取り替える ことを考えた．Bravermanに言ったところ，Weekesも同じことをやっていると言われたので，共同研究 にした．私のやり方とWeekesのやり方は微妙に違っていて，結局は Weekesのやり方のほうが正しかった ということだと思う．量子化も通常の場合と同様に議論できるが，その既約表現を解析すると，自然に 箙の unfolding が起こり，対称な場合の固定点集合の上の偏屈層で統制されることが分かった．
84. Euler numbers of Hilbert schemes of points on simple surface singularities and quantum dimensions of standard modules of quantum affine algebras, Kyoto J. Math. 61, No. 2 (2021), 377-397 , Link to Online Journal, preprint version arXiv:2001.03834.
    Gyenge, Nmethi and Szendriの予想を 聞いたのは，2018年のMSRIのプログラムに参加していたときだと思うが，もしかしたら， その前だったかもしれない．単純特異点を持つ曲面のヒルベルト概形の性質に関係して，Szendriと rational smoothnessと関係しているのでは，などと指摘していたのだが， 論文で，単純特異点を持つ曲面のヒルベルト概形 が箙多様体であることが示されたので，真剣に考えて予想を解決した．予想は，量子アファイン展開環 の標準加群の量子次元が，ある特別に選ばれた１のべき根において，１になるということから従うこと が分かった．この主張はレベル０基本表現のときにチェックすれば良く，その場合は量子次元を計算 するのは簡単なので，計算してみると確かに１になっていた．この性質は不思議に思ったので，周りに 聞いてみると，直井さんから国場さんがKirillov-Reshetikhin加群について，予想したことの特別な 場合になっていることが分かった．また，AD型，E6型のときは一般の場合の予想が示されているが， それ以外の場合は未解決である．
85. Rozansky-Witten geometry of Coulomb branches and logarithmic knot invariants (with Sergei Gukov, Po-Shen Hsin, Sunghyuk Park, Du Pei and Nikita Sopenko), J. Geom. Phys. 168 (2021), Paper No. 104311, 22 pp , Link to Online journal, preprint version arXiv:2005.05347.
86. Kazhdan-Lusztig conjecture via Zastava spaces (with A.Braverman and M.Finkelberg), J. reine angew. Math., , Link to Online Journal, preprint version arXiv:2007.09799.
    [67]がほぼ完成したときに，何か応用はないか，と皆で考えて，Ginzburgの偏屈層による合成積代数 の解析を，インスタントンのモジュライ空間とW代数の場合に考えたらどうだろう，と提案した．よく 考えてみると，zastava空間の場合に同じ問題を考えると，Kazhdan-Lusztig予想の別証明を与えている ことが分かった．それをまとめたのがこの論文である．（アファイン・リー環の場合，W代数の場合は， まだきちんと細部をチェックしていない．） 固定点集合の解析で，parabolic category O の場合なども含めて，一般的にできるところが この証明の面白い点である．
87. 超対称性ゲージ理論のクーロン枝の数学的定義とKac-Moody リー環の幾何学的佐武対応, preprint , arXiv:2201.08386 .

編集

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. 高次元におけるYang-Mills場のModuli空間のEndについて, 数理解析研究所講究録, 662 (1988), 114--131. link to official site
3. Convergence of anti-self-dual metrics, unpublished preprint, 1992(?). pdf file
4. Twistor理論入門, 数理解析研究所講究録, 775 (1992), 86--92. link to official site
5. Instanons on ALE spaces and canonical bases, (in Japanese), 表現論シンポジウム講演集, 1992年11月 山形 pdf file or pdf with pictures
6. Morse theory on moduli spaces of instantons on ALE scalar-flat K\"ahler surfaces, unpublished preprint, 1992(?), pdf file Gauge theory on resolutions of simple singularities and simple Lie algebras, 数理解析研究所講究録, 883 (1994), 97--100. link to official site
7. 箙多様体と量子展開環, pdf 重点領域研究231公開講演会 講演記録 (1994年2月22日).
8. Instantons and affine Lie algebras, pdf, 1995 代数幾何学シンポジューム記録, 116--128.
9. Jack polynomials and Hilbert schemes of points on surfaces, unpublished preprint, alg-geom/9610021.
10. 曲面の上の点のHilbert schemeとHeisenberg代数, 頂点代数, 数理解析研究所講究録 1008 (1997), 40--451. link to official site
11. Quiver varieties and finite dimensional representations of quantum affine algebras, (in Japanese), 群の表現および非可換調和解析, 数理研講究録 1124 (2000), 135--149. link to official site
12. Lectures at the University of Hong Kong -- a Geometric Construction of Algebras, 54 pages , pdf file
13. Introduction to Quiver varieties -- 箙多様体入門, pdf, 2000 代数幾何学シンポジューム記録, 73--90.
14. 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.
15. Quiver varieties and McKay correspondence -- Lectures at Hokkaido University, 2001 Dec. --, 49 pages , pdf file
16. Problems on Quiver varieties, The 50th Geometry Symposium, Hokkaido Univ. 2003 Aug. , pdf file
17. 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]ですでに示されていた.
18. 書評, N.Chriss and V.Ginzburg : Representation theory and complex geometry , 数学 54 (2002), 318--322.
19. Questions on provisional Coulomb branches of $3$-dimensional $\mathcal N = 4$ gauge theories, 数理研講究録 "Representation theory, harmonic analysis and differential equation", 1977 (2015), 57--76, link to official site, preprint version arXiv:1510.03908.
20. Appendix (with D.Yamakawa) to "Cyclotomic double affine Hecke algebras" by A.Braverman, P.Etingof and M.Finkelberg, arXiv:1611.10216.
21. Geometric Satake correspondence for affine Kac-Moody Lie algebras of type $A$, 代数幾何学シンポジューム報告集, 2018, KURENAI (Kyoto Universiety Research Informatino Repository) , preprint version arXiv:1812.11710.