| Project/Area Number |
23K03045
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 11010:Algebra-related
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
佐垣 大輔 筑波大学, 数理物質系, 教授 (40344866)
|
|---|
| Project Period (FY) |
2023-04-01 – 2027-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2026: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2025: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2024: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2023: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | 量子アフィン代数 / 量子K群 / 半無限旗多様体 / 半無限Schubert多様体 / 量子Grothendieck多項式 / 量子alcove模型 / 旗多様体 / 量子Bruhatグラフ |
|---|
| Outline of Research at the Start |
単連結な単純代数群の旗多様体 X に対して，QK(X) を X の（小さい）量子 K-群とする．W を G の Weyl 群とし, [O(w)] を W の元 w に対する Schubert 多様体 X(w) の構造層のクラス としたとき, B = { [O(w)] : w ∈ W } が QK(X) の基底になる．本研究では，B の元の積を，B の元たちの線形結合で表したときの構造定数を，量子 alcove 模型や量子 Bruhat グラフなどを用いて，組み合わせ論的に記述する．また，X の同変量子 K-群においても同様の研究を行う.
|
| Outline of Annual Research Achievements |
(A) 正の整数 n に対して，S_{n} を n 次対称群 (A_{n-1} 型のワイル群) とする．S_{n+1} において n+1 を固定する置換全体は S_{n} と同型な部分群になる．これによって, \{ S_{n} \}_{n \ge 1} は帰納系になる；S_{\infty} をその帰納極限とする．Cristian Lenart と前野俊昭 (2006) は，特別な形の巡回置換 (\in S_{\infty}) に対応する量子 Grothendieck 多項式と, 一般の元 (\in S_{\infty}) に対応する量子 Grothendieck 多項式の積を, 量子 Grothendieck 多項式の線形結合で展開する (Pieri 鎖を用いた) 組み合わせ論的な公式 (Pieri 型の公式) を予想した. 内藤聡氏との共同研究 (arXiv:2211.01578) において，この公式を証明した．これによって，申請書類の「(4) 本研究で何をどのように, どこまで明らかにしようとするのか」の (i) が完成したことになる．
(B) (A) の続きとして，Pieri 型の公式の同変版に関する研究を行い，いくつかの新たな予想をたてた．これは，申請書類の「(4) 本研究で何をどのように, どこまで明らかにしようとするのか」の (iv) に関連する．
(C) \mathfrak{g} を A_{n} 型の有限次元単純リー代数とし,Fl_{n+1} を旗多様体とする．前野氏，内藤氏との共同研究 (arXiv:2302.09485) によって， 旗多様体の（小さい）同変量子K環 QK_{H}(Fl_{n+1}) をある多変数多項式環の剰余環として明示的に記述した．また，同じく前野氏，内藤氏との共同研究 (arXiv:2305.17685) で，前述の同型対応のもとで，量子ダブル Grothendieck 多項式 (\in 多変数多項式環) が，Schubert 類 (\in QK_{H}(Fl_{n+1}) を代表することを証明した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
申請書類の「(4) 本研究で何をどのように, どこまで明らかにしようとするのか」の (i) は完成した．また，同 (iv) についても，A型の場合は予想ができた (研究実績の概要 (B))．前野氏，内藤氏との共同研究 (arXiv:2305.17685) において，ワイル群の最長元に関する半無限 Schubert 多様体の構造層のクラス [w_{\circ}] を，基本ウェイトのワイル群軌道に含まれる整ウェイトに付随する線束 [\mu] (\mu \in \{ w\varpi_{i} \mid w \in W, 1 \le i \le n \})のクラスの\mathbb{Z}[P]-線形結合で展開する公式を得た．この公式は，同 (ii) や (iv) に応用できることが期待される．以上のことから，当該研究は「おおむね順調に進展している」と考える．
|
| Strategy for Future Research Activity |
令和６年度は，研究実績の概要 (B) で述べた同変版の予想を解決することを目標とする．また，前野氏，内藤氏との共同研究で得た「ワイル群の最長元に関する半無限 Schubert 多様体の構造層のクラスを，基本ウェイトのワイル群軌道に含まれる整ウェイトに付随する線束のクラスの\mathbb{Z}[P]-線形結合で展開する公式」と Lenart-内藤-佐垣による Chevalley 型の公式を用いて，[w_{\circ}] と，一般のワイル群の元 w \in W に付随した半無限 Schubert 多様体の構造層のクラス [w] との積の展開公式を得ることを目標とする．さらに，[s_{\theta}] (\theta は最高ルート) と [w] (w \in W) の積の展開公式についても，研究実績の概要 (C) の結果を用いるなどして，研究を行う．
|
