所属: 京都大学理学研究科　数学教室
身分: 教授　(代数グループ)
専門: 数学、特に幾何学的表現論 
学位: 博士(数理科学)　東京大学　2003 
	主査: 松本久義
	学位論文: Equivariant bundles on group completions
郵便宛先: 606-8502 京都府京都市左京区北白川追分町
			京都大学理学部数学教室
E-mail:

1. Equivariant vector bundles on group completions
   • Published in the Journal f\"ur die reine und angewandte Mathematik 581 71--116 (2005) Article arXiv
   • 簡約群のトロイダルコンパクト化上の同変なベクトル束の圏を線形代数のデータで書いてみました。
   • 学位論文です。この辺の話を使っていろいろやろうと思ったのですが、結局現在の所うまくいってません…
2. An exotic Deligne-Langlands correspondence for symplectic groups
   • Published in the Duke Mathematical Journal 148 no.2 305--371 (2009) Article arXiv errata
   • Lusztigによる(affine) Hecke環版のDeligne-Langlands予想の変種を斜交群の場合に定式化し、それによって大雑把に言ってパラメタが小さな1の冪根に対応する場合を除いて古典型affine Hecke環の既約表現の分類を完成させました。
   • この論文のおかげでなんとか就職できました。
3. Deformations of nilpotent cones and Springer correspondences
   • Published in the American Journal of Mathematics 133 no.2 519--553 (2011) Article arXiv
   • [2]の枠組みで導入されたexotic Springer対応を決定し、通常のSpringer対応との比較をしました。それによりJoseph多項式をいままで知られていなかった多くの場合に(スカラー倍を除いて)計算しました(概略)。
   • 篠田健一、庄司俊明両先生の還暦祝いの献呈論文です。
4. Tempered modules in exotic Deligne-Langlands correspondences
   • Published in the Advances in Mathematics 226 no.2 1538--1590 (2011) Article arXiv
   • [2]の枠組みで緩増加表現に対応するパラメタを決定しました。それによりHeckman-OpdamによるLieb-McGuire系と呼ばれる可積分系の二乗可積分解の分類のプログラムを完成させました(概略)。
   • Utah大学のDan Ciubotaru氏との共同研究です。
5. A homological study of Green polynomials
   • Published in the Annales Scientifiques de l'Ecole Normale Superieure 48 no. 5 1035--1074 (2015), arXiv
   • Lie型有限群の指標を司る直交関数系であるGreen関数の直交関係式をホモロジー代数を用いて解釈しました。これによりGreen関数の新しい特徴づけを導きました。さらにそれを用いてBC型Green関数のパラメタに関する遷移公式を初めとするいくつかの性質を導きました。なお、そこで得られた新しい特徴づけ自体を抽象化した概念であるKostka系とその基本的性質に関しては一般の複素鏡映群で動くように設計しておきました。
   • この話を複素鏡映群の設定で準備しておいた甲斐があり、複素鏡映群G(l,1,m)のKostka多項式について庄司俊明氏が2004年に提出した予想を満足ゆく形で解決できました。
6. Equivariant K-theory of semi-infinite flag manifolds and Pieri-Chevalley type formula
   • Published in the Duke Mathematical Journal 169 no.13 2421--2500 (2020) Article arXiv
   • 半無限旗多様体と呼ばれる多様体にはいくつかのバージョンがあります。この論文ではこれまで比較的よく研究されてきた半無限旗多様体のindモデルの結果を用いてBravermanとFinkelbergによって予想された形式モデルに関する一連の基本的な性質を導きました。このことにより、半無限旗多様体のK-群と呼ぶべきnil-DAHAと呼ばれる環の自然な作用を持つ加群を構成しました。この加群は自然に形式モデルの半無限旗多様体のSchubert部分多様体のクラスを含み、さらに(同変)直線束のひねりにより閉じているため、交叉理論が展開できます。この設定で通常の旗多様体のと同様にその交叉理論をstandard monomial theoryの一種を用いて記述しました(このことから特に自然な積の構造定数が非負の整数値を取ることなどが従います)。
   • 筑波大学の内藤聡氏と佐垣大輔氏との共同研究です。
7. Loop structure on equivariant K-theory of semi-infinite flag manifolds
   • Accepted for publication in the Annals of Mathematics Article arXiv
   • (単連結)単純代数群に付随するアフィン・グラスマン多様体の(コ)ホモロジー群と同じく付随する(有限次元)旗多様体の量子コホモロジーに関係があるという事実はPetersonにより見出されました。また、保型形式の研究や(局所)幾何学的Langlands対応の研究はアフィン・グラスマン多様体の幾何学と半無限旗多様体の幾何学が基本的に等価であることを示唆していました。この論文ではこれらを結んでアフィン・グラスマン多様体および半無限旗多様体の"(同変)幾何学"と旗多様体の"(同変)量子幾何学"の3つは数値的には自然に等価であるという類の主張を定式化して証明しました。特にその主定理は旗多様体の量子K群の構造を計算するふたつの具体的な方法を与え、そのうちの片方がLam-Li-Mihalcea-Shimozonoによる予想の解決となっています。主定理の証明は(元々の)Peterson同型のLam-Shimozonoによる証明とは本質的に異なり、詳細な構造定数の公式は使用しません(その類の"公式"は論理的にはそれまで全て予想でした)。なお、旗多様体の量子K群のSchubert類同士の積がSchubert類の有限和になるといういわゆる有限性予想の解決もこの論文によります。
8. Frobenius splitting of Schubert varieties of semi-infinite flag manifolds
   • Published in the Forum of Mathematics, Pi 9 e5 56pp (2021) Article arXiv
   • 半無限旗多様体とその放物類似の形式モデルの理論を(1/2を添加した)整数環上で展開しました。それにより半無限旗多様体を点集合として実現する代数多様体の中で[6]と同様に構成したものが標数によらず最も自然なものであること、そしてその自然さは表現論的な性質が担保していることを明らかにしました(後者の表現論的な性質も一般にはこの論文で証明しました)。このように元々別種の性質が繋がってひとつの構造をなすことは実はかなり広い設定において正しいことなのですが、明示的にそれを活用したのはこの論文が初めてだと思います。これらの性質はどちらも抽象的なものですので、それがさまざまな構造を拘束してゆき最終的に数値的帰結に至る様子はそれなりに興味深いと思っています。
9. A geometric realization of Catalan functions
   • arXiv
   • (一般線形群に付随する)旗多様体の余接束上の数値的に有効な直線束の大域切断がHall-Littlewood多項式を記述することはBrylinskiおよびBroerにより1990年ごろから知られていました。それを一般化する試みの中で2000年ごろShimozono-Weyman予想として知られる命題を始めとする一連の研究の流れが生まれ、Chenの学位論文、Blasiak-Morse-Pun (や他の方々)の研究を経て数値的部分に関しては満足のゆくものなりました。特に現在はそこで出現するCatalan多項式と呼ばれる多項式たちが非常に良いクラスであることが認識されています。この論文では上の一連の研究で全く手付かず(なだけではなくより一般化された形)で残った「消滅予想」と呼ばれる部分(数値的部分と実際の幾何学を結びつけるステップ)をX_Ψで表す多様体を導入しその性質の解析へと帰着することで解決しました。ひとことで言うとX_ΨはそのBorel-Weil理論がCatalan多項式を実現するような多様体です。
   • 多様体X_Ψは当初思ったよりも良いもののように思います。例えば単位区間グラフの彩色対称関数はこの多様体のコホモロジーで実現されます。

最終更新日:2025年4月1日 by