[論文レビュー] Coherent sheaves and quantum Coulomb branches I: tilting bundles from integrable systems

Ben Webster|arXiv (Cornell University)|May 12, 2019

Algebraic structures and combinatorial models参考文献 25被引用数 10

ひとこと要約

この論文は、統合系およびBFN解体を用いて、クーロン枝から生じる非可換解体（トランスレート生成子およびクーヴィア表示）を明示的に構成する。解体されたクーロン枝上の連続層の導来圏と、量子化代数上のモジュールの導来圏との導来同値性を確立し、ボレル＝モアヘム・ホモロジーとウォールクロッシング関手を用いて、組合せ論的で特徴的自由な方法で量子クーロン枝代数を構成する。

ABSTRACT

In this paper, we consider how the approach of Bezrukavnikov and Kaledin to understanding the categories of coherent sheaves on symplectic resolutions can be applied to the Coulomb branches introduced by Braverman, Finkelberg and Nakajima. In particular, we construct tilting generators on resolved Coulomb branches, and give explicit quiver presentations of categories of coherent sheaves on these varieties, with the wall-crossing functors described by natural bimodules.

研究の動機と目的

• BFNクーロン枝の具体例として、シンプレクティック解体上のカルデイン理論のトランスレート生成子を明示的に展開すること。
• BFN解体を伴うクーロン枝に対して、明示的かつ組合せ論的に提示された非可換解体（量子クーロン枝代数）を構成すること。
• BFN解体上の連続層の導来圏と、構成された代数上のモジュールの導来圏との導来同値性を確立すること。
• 量子クーロン枝の文脈において、自然な双モジュールを介してウォールクロッシング関手を記述すること。
• 代数的構成を、ラインデフェクトと畳み込み代数を介して3次元N=4ゲージ理論における物理的解釈と結びつけること。

提案手法

• p乗根の規約を用いて、修正されたBFN空間のボレル＝モアヘム・ホモロジーとして、量子クーロン枝代数Aを構成する。
• 特徴的pにおけるベズルクアニクニコフ＝カルデイン理論を適用し、還元と比較により特徴的0に持ち上げる。
• トランスレート生成子を3次元N=4ゲージ理論における有限個のラインデフェクトの和として特定し、解体上のベクトルバンドルの和として解釈する。
• ハミルトニアン還元と量子化を用いて、解体されたクーロン枝上の連続層を定義し、明示的なクーヴィア表示を提供する。
• 拡張されたBFN圏における射の双モジュールから生じる、導来同値性としてウォールクロッシング関手を記述する。
• 型Aの場合は、代数Aが円筒上のKLR代数に同型であることを示し、D、E、ループ、サイクルなどの他のクーヴィア型へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 カルデインのシンプレクティック解体上のトランスレート生成子理論を、BFNクーロン枝の具体例にどのように明示的に展開できるか。
• RQ2 与えられたBFN解体に対して、量子クーロン枝代数Aの明示的な代数的構造は何か。
• RQ3 解体されたクーロン枝上の連続層におけるウォールクロッシング関手は、自然な双モジュールからどのように生じるか。
• RQ4 量子クーロン枝代数Aと、拡張されたBFN圏におけるKLR代数または畳み込み代数との関係は何か。
• RQ5 特徴的自由な方法で、解体されたクーロン枝上のトランスレート生成子を幾何学的および代数的にどのように構成できるか。

主な発見

• この論文は、任意のBFNクーロン枝に対して、BFN解体を伴う明示的非可換解体Aを構成する。AはZ上有限生成な代数である。
• 任意のBFN解体上の連続層の導来圏は、明示的なトランスレート生成子を介して、A上のモジュールの導来圏と導来同値である。
• 代数Aは、修正されたBFN空間のボレル＝モアヘム・ホモロジーを用いて構成された、解体されたクーロン枝上のトランスレートバンドルの自己準同型代数として実現される。
• 異なる量子化パラメータ間のウォールクロッシング関手は、拡張されたBFN圏における自然な双モジュールによって与えられる導来同値性として記述される。
• 型Aクーヴィアの場合、代数Aは円筒上のKLR代数に同型であり、クーヴィア多様体に関する既知の結果を一般化する。
• この構成は特徴的自由であり、還元と比較により正の特徴的から持ち上げられ、特徴的0における導来同値性が確認される。