| 研究課題/領域番号 |
22K13889
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分11010:代数学関連
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
Zhao Yu 東京大学, カブリ数物連携宇宙研究機構, 特任研究員 (10928667)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
2,860千円 (直接経費: 2,200千円、間接経費: 660千円)
2024年度: 390千円 (直接経費: 300千円、間接経費: 90千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2022年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | Categorification / Quantum groups / Derived geometry / Nakajima quiver variety / derived ag / vanishing theorem / quantum loop algebra / quantum toroidal algebra / Representation Theory |
|---|
| 研究開始時の研究の概要 |
The behavior of Atiyah classes in the derived categories of quiver varieties and moduli space of instantons plays an important but mysterious role in the categorification of quantum toroidal and loop algebras, which we try to understand in this research.
|
| 研究実績の概要 |
The quantum toroidal algebra is an affinization of the q-Heisenberg algebra.
Schiffmann-Vasserot proved that the equivariant K-theory of the instanton moduli space over the affine plane is the Fock representation of the quantum toroidal algebra. It was geometrized and generalized by Negut to moduli space of sheaves over an algebraic surface.
The main contribution of this work depends on the rank of the moduli space: when the rank is 1, we adapt the singularity theory from minimal model program and proved that certain nested moduli spaces have rational singularities; for the case that r>1, we applied the derived algebraic geometry and considered a new forms of blow-up of varieties, which both have clear geometric picture and easy formula in computing the derived push-forward of exceptional divisors.
We lifted the generators and relations of Negut operators to the derived category of coherent sheaves and obtained a weak categorification of the action by computing the categorical commutator of the positive and negative part of this algebra. We applied the derived algebraic geometry and considered a new forms of blow-up of varieties, which both have clear geometric picture and easy formula in computing the derived push-forward of exceptional divisors.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
We observed that the new blow-up theory of the nested quiver variety is the classical shadow of the derived blow-up theory of Hekking. Particularly, we studied two kinds of (derived) fiber products and showed that their derived blow-up along the diagonal is isomorphic.
While we laid down the foundation for the categorification of Smirnov-Okounkov Yangians actions, the real and striking contribution is that many important but very different phenomenon in algebraic geometry and representation theory, including Thomason's localization and excess intersection theorems, Vakil-Zinger's desingularization, Kuznetsov's homological projective duality and Khovanov's diagrammatic approach in categorification are unified under the framework of quasi-smooth derived schemes and derived blow-up theory.
|
| 今後の研究の推進方策 |
We will generalize the weak categorification for the Smirnov-Okounkov Yangian actions on the equivariant K-theory of any quiver varieties. It includes many more examples including quantum loop, toroidal, and moreover Borcherd algebras. Strong categorification needs more work. Unlike the categorification of quantum groups by Khovanov-Lauda-Rouqier, the categorification of quantum loop algebras can only exist in dg or infty-categories.
In the joint work with Qingyuan Jiang, we will reveal a surprising relation between the moduli space of stable objects of the Kuznetsov component and representation theory. Particularly, we will construct an action of the Hall algebra of the category of coherent sheaves on a higher genus curve on the cohomology and Chow group of the moduli space.
|
