| 研究課題/領域番号 |
22KJ1741
|
|---|
| 補助金の研究課題番号 |
21J23226 (2021-2022)
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 基金 (2023)
補助金 (2021-2022) |
|---|
| 応募区分 | 国内 |
|---|
| 審査区分 |
小区分11010:代数学関連
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
池田 湧哉 京都大学, 理学研究科, 特別研究員(DC1)
|
|---|
| 研究期間 (年度) |
2023-03-08 – 2024-03-31
|
| 研究課題ステータス |
完了 (2023年度)
|
| 配分額 *注記 |
1,100千円 (直接経費: 1,100千円)
2023年度: 300千円 (直接経費: 300千円)
2022年度: 400千円 (直接経費: 400千円)
2021年度: 400千円 (直接経費: 400千円)
|
|---|
| キーワード | 量子群 / 圏化 / KLR代数 / 前射影代数 / 箙の表現 / クラスター代数 / 量子座標環 / 表現論 / 幾何学的表現論 / 箙多様体 / クリスタル / R行列 / 旗多様体 |
|---|
| 研究開始時の研究の概要 |
圏化とは代数的構造を何らかの圏の不変量として実現し, 代数的構造の持つ特徴を圏の性質によって記述するものである. Khovanov-Lauda-Rouquier代数上の加群圏は冪単量子座標環のクラスター構造を圏化することが知られている. このクラスター代数は前射影代数と呼ばれる代数上の加群圏によっても圏化されることが知られているが, これら二つの圏化は様子が異なる. これら二つの圏化の関係を明らかにすることが本研究の目的である.
|
| 研究実績の概要 |
今年はKLR代数の標準加群の間の射に注目した。A型においては射の存在に対する組み合せ論的な必要十分条件が得られたが、それ以外の型についてはいくつかの難しいポイントがある。例えば、以下のようなものである: 標準加群とはcuspidal加群の合成で得られるが、A型ではcuspidal加群が必ず1次元であるのに対して他の型では次元が大きくなる可能性がある。先行研究では有限型の多くの場合についてcuspidal加群は次数付き加群として1つの次数に集中することや指標を計算する公式が知られているが、E型では例外的な加群が現れることも知られておりこれらを統一的に扱うのは難しい。
そこでそもそものテーマであった乗法的圏化と加法的圏化の関係に立ち返り量子群(の下半分)の加法的圏化を与える前射影代数の表現論からcuspidal加群を記述することを目指した。
ここでまず考える問題は、cuspidal加群の最高ウェイトを与える単純ルートの添字の列を計算する方法である。これはgood Lyndon wordを計算する方法を与えることと同じことである。得られた結果は次のようなものである: 単純ルートへの全順序に付随するルートの順序を与えるようなWeyl群の元の表示を考える。全射影代数の単純加群に対して、この表示の順番に鏡映関手を繰り返し施すことで得られる一連の加群を考える。この構成はGeiss-Leclerc-Schroerで与えられる別の構成の特別な場合であることがわかる。これらの加群は次元ベクトルがルートであり、JH列にcuspidal加群の最高ウェイト(これは単純ルートの添字の列である)を持つことがわかった。 さらにこれらの加群の構造を具体的に記述する幾つかの結果も得られた。また以前から作成していたKLR代数の計算のためのプログラムを改善し様々な代数や加群の基底を具体的に計算することが可能となった。
|
