| Project/Area Number |
21K03198
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 11010:Algebra-related
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
内藤 聡 東京工業大学, 理学院, 教授 (60252160)
|
|---|
| Project Period (FY) |
2021-04-01 – 2026-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2025: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2024: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2023: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2022: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2021: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
|---|
| Keywords | 代数学 / アフィン量子群の表現論 / アフィン・リー環の表現論 / レベル・ゼロ表現 / 半無限旗多様体 / 旗多様体の量子 K-環 / シューベルト・カリキュラス / 旗多様体の量子 K-群 |
|---|
| Outline of Research at the Start |
本研究においては、半無限旗多様体のトーラス同変 K-群におけるテンソル積の構造定数に関する明示的な公式を、アフィン量子群のレベル・ゼロ表現を用いて証明する事を計画している。そして、その結果の応用として、通常の有限次元旗多様体のトーラス同変量子 K-群における量子積の構造定数に関する明示的な公式を証明する事を計画している。
また、これらの K-群の、トーラスの表現環上の加群としての構造を研究する事も計画している。
|
| Outline of Annual Research Achievements |
(連結かつ単連結な) 複素単純代数群 G に付随する無限次元代数多様体である半無限旗多様体の (G の極大トーラス H に関する) 同変 K-群は、通常の有限次元旗多様体 G/B の H-同変量子 K-環 QK_{H}(G/B) と密接な関係にある事が知られている; ここで、B は (H を部分群として含む) G の Borel 部分群である。そして、G に付随する半無限旗多様体の H-同変 K-群は、G のリー環をアフィン化する事で得られるアフィン・リー環の普遍包絡環の量子変形であるアフィン量子群のレベル・ゼロ表現、特にレベル・ゼロ Demazure 加群の次数付き指標と密接に関係している。従って、H-同変量子 K-環 QK_{H}(G/B) の環構造の研究を、アフィン量子群のレベル・ゼロ Demazure 加群の次数付き指標の研究に帰着させる事が出来る。この事実は、幾何学的対象である QK_{H}(G/B) の研究を、本質的にはアフィン量子群の表現論に帰着させられる事を意味している。
本年度の研究成果として、河野隆文氏 (早稲田大学講師) との共同研究により、G が C 型 (即ち、G = Sp(2n, C)) の場合に、旗多様体 G/B の H-同変量子 K-環 QK_{H}(G/B) を、ある多項式環の明示的なイデアルによる剰余環として表示する事が出来た。
また、佐垣大輔氏 (筑波大学教授)、C. Lenart 教授 (New York 大学), W. Xu 氏 (Virginia 工科大学) との共同研究により、G が A 型 (即ち、G = SL(n, C)) の場合に、H-同変量子 K-環 QK_{H}(G/B) の量子積に関する構造定数についての基本的な予想である "因子公理 (divisor axiom)" 予想を、部分的にではあるが解決する事が出来た。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
令和 5 年度の当初の研究計画の通り、G が C 型 (即ち、G = Sp(2n, C)) の場合に、有限次元旗多様体 G/B の H-同変量子 K-環 QK_{H}(G/B) をある多項式環の明示的なイデアルによる剰余環として表示する事が出来た; このような (Borel 型の) 表示については、これまではイデアルの生成元に関する予想すら無かった状態であったので、その予想の定式化から行う必要があった。また、G が A 型 (即ち、G = SL(n, C)) の場合に、QK_{H}(G/B) の量子積に関する構造定数についての基本的な予想である "因子公理 (divisor axiom)" 予想を、部分的にではあるが解決する事が出来た; この "因子公理" は、一般の部分旗多様体の量子コホモロジー環の構造定数の決定において基本的な役割を果たすものであるが、量子 K-環においては未だ予想に止まっているため、その解決が強く望まれる。また、この予想は、(A 型の) Grassmann 多様体や two-step 旗多様体の場合には一般的に解決されている "quantum = classical" 予想と密接に関連した予想でもある。
上述の結果はどちらも、本研究課題における大きな研究成果であると考えられ、現在までの進捗状況については、おおむね順調に進展していると言える。
一方で、G = Sp(2n, C) の場合に、H-同変量子 K-環 QK_{H}(G/B) の剰余環としての上記の表示において、各 Schubert 類の明示的な多項式代表 (即ち、C 型量子二重 Grothendieck 多項式) としてどの様な多項式を取れば良いかについては、未だその予想すら得られていない。その意味では、今後の進捗状況は予断を許さないと言える。
|
| Strategy for Future Research Activity |
第一に行うべきなのは、G が C 型 (即ち、 G = Sp(2n, C)) の場合に、H-同変量子 K-環 QK_{H}(G/B) を多項式環の剰余環として表示したときに、各 Schubert 類の明示的な多項式代表 (即ち、C 型量子二重 Grothendieck 多項式) としてどのような多項式を取れば良いか、という問題を解決する事である。これについては、QK_{H}(G/B) における (拡大 Dynkin 図形の頂点 0 に対応する) 量子 Demazure 作用素 D^{Q}_{0} の明示的な表示が既に得られているので、それを利用する事で予想を立て、さらにその予想を解決する事が出来るのではないかと期待している。さらに、G = Sp(2n, C) に付随する affine Grassmann 多様体の K-ホモロジーとの間の K-Peterson 同型の明示的な記述を与えたいと考えている。
また、G が A 型 (即ち、G = SL(n, C)) の場合の QK_{H}(G/B) における量子積に関する構造定数についての "因子公理 (divisor axiom)" 予想についても、その解決のための道具自体はほぼ揃っていると思われるので、部分的解決に使われた手法を拡張する事で完全解決を目指したい; この予想の解決において本質的な役割を果たすと考えられるのは、これまでの我々の研究で既に得られている Chevalley formula である。そしてさらに、G = Sp(2n, C) の場合にも "因子公理" 予想に取り組みたい。この "因子公理" は、旗多様体の量子コホモロジー環の構造定数の決定において基本的な役割を果たすものであるが、量子 K-環においては未だ予想に止まっているため、その完全解決が強く望まれている。
|
