| 研究課題/領域番号 |
22K03239
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分11010:代数学関連
|
|---|
| 研究機関 | 早稲田大学 |
|---|
研究代表者 |
池田 岳 早稲田大学, 理工学術院, 教授 (40309539)
|
|---|
| 研究分担者 |
岩尾 慎介 慶應義塾大学, 商学部(日吉), 准教授 (70634989)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2026年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2025年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2024年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2022年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | 量子 K理論 / ピーターソン同型 / 相対論的戸田方程式 / アフィン・グラスマン多様体 / シューベルト・カルキュラス / 量子 K 理論 / アフィングラスマン多様体 |
|---|
| 研究開始時の研究の概要 |
A 型ルート系については， K 理論的ピーターソン同型が，ごく最近になって，明示的な形で確立された．アフィン側のシューベルト類を表す closed K-k-Schur functions の明示公式も示すことができた．この結果を利用して，シュバレー規則の帰結や，アフィン側のピエリ規則による量子側への帰結などを詳しく検討することができる．
C 型の場合， Seelinger によって， アフィングラスマン多様体の homology シューベルト類に対する明示公式が予想されている．この予想を，K 理論に拡張した形で解決し，そこから導き出されることを探求する．
|
| 研究実績の概要 |
シンプレクティック群のアフィン・グラスマン多様体の同変ホモロジー環について，シューベルト基底と対応する特殊関数を導入することができた（Mark Shimozono, 岩尾慎介との共同，準備中）．中川・成瀬の双対シューア P 関数のアフィン版である．同じ論文で，B 型の戸田方程式を背景とする，ある中心化族の座標環が同変ホモロジー環とホップ代数として同型であることも示している．また，この結果を同変 K-ホモロジー環の場合にまで拡張することができた（Shimozono, 山口航平との共同，準備中）．こちらは，やはり中川・成瀬の gp 関数のアフィン版である．さらに，以上の結果を特殊線型群の場合に拡張することができた（Shimozono, 山口航平との共同，準備中）．すなわち，K理論的 k-シューア関数をトーラス同変の場合に拡張した．同じ論文で，特殊線型群の場合に アフィン・グラスマン多様体の Kホモロジー環が，双対群のある中心化族の座標間と同型であることを示した．これは Ginzburg, Peterson によるホモロジー環に対する結果の拡張である．さらに，この結果に基づいて，ピーターソン同型を具体的な座標を用いて明示的に書き表すことに成功した（内藤聡，岩尾慎介，山口航平との共同，準備中）．その際に，相対論的戸田方程式が中心的な役割を果たす．
放物型ピーターソン同型の応用として，ラグランジアン・グラスマン多様体の同変量子 K 環の表示を与えることができた（河野隆史，中山勇祐，山口航平との共同，arXiv に投稿済）．この結果は上で述べたシンプレクティック群のアフィン・グラスマン多様体に関する結果と深く関係しており，さらに進展が期待できる．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
対称関数による K ホモロジー環を構成する際に，Demazure 作用素の対称関数環に作用させる具体的な方法がわかったことが極めて重要である．これは課題申請時にはそれほど強調されていなかった視点であるので，当初の計画よりも研究が早く深く進んでいることを意味する．また，中心化族との関連も，とても具体的なレベルでわかった．
|
| 今後の研究の推進方策 |
準備中の数本の論文を完成させる．A型の２本は6月までには完成，投稿する．その後，C型の論文２本を完成させる．その結果をもとにC型の量子 K環におけるシューベルト類の探究に進む．また，放物型ピーターソン写像の研究を特にコミニュスクール多様体について実行する．一般の G に対する中心化族の定式化を与え，相対論的戸田方程式の相空間との同型を証明することを目指す．
|
