[論文レビュー] Quantum Multiplicative Hypertoric Varieties and Localization

Nicholas Cooney|arXiv (Cornell University)|Feb 2, 2016

Algebraic structures and combinatorial models参考文献 21被引用数 5

ひとこと要約

本稿は、テンソルカテゴリにおける braided Heisenberg double としての $q$-差分作用素を用いて、乗法的ハイパートーリック多様体の $q$-変形を構成する。$q$ が単位根であるとき、得られる代数 $\mathscr{D}_q$ が乗法的ハイパートーリック多様体の $l$-捩じれ上でのアズマヤ代数であることを示し、モーメント写像および解像写像の両方で分解可能である。さらに、これらの代数に対する導来局在定理の概説を行う。

ABSTRACT

We consider q-deformations of multiplicative hypertoric varieties, for q a non-zero element of an algebraically closed field of characteristic 0. We construct an algebra Dq of q-difference operators as a Heisenberg double in a braided monoidal category. We then focus on the case where q is specialized to a root of unity. In this setting, we use Dq to construct an Azumaya algebra on an l-twist of the multiplicative hypertoric variety, before showing that this algebra splits over the fibers of both the moment and resolution maps. Finally, we sketch a derived localization theorem for these Azumaya algebras.

研究の動機と目的

• テンソルカテゴリにおける braided monoidal category フレームワークで、$q$-差分作用素を用いて乗法的ハイパートーリック多様体の $q$-変形を構築すること。
• 代数 $\mathscr{D}_q$ が $q$ を $l$ 乗根に特殊化したときの挙動を分析すること。
• モーメント写像および解像写像の両方で分解可能な、乗法的ハイパートーリック多様体の $l$-捩じれ上でのアズマヤ代数を構成すること。
• これらのアズマヤ代数に対して、一般の場合と単位根の場合を統一する導来局在定理を確立すること。

提案手法

• 代数 $\mathscr{D}_q$ を、$\mathrm{Rep}_q(T)$ のカテゴリにおいて、$q$-変形された対称代数とその双対の Heisenberg double として構成し、$T$-作用から誘導される非自明な braiding を持つ。
• $q$-変形モーメント写像 $\Phi_{q,T}: \mathcal{O}(T) \to \mathscr{D}_q$ を、Jo による乗法的クウェイバ多様体の構成を用いて定義する。
• $q$ を $l$ 乗根に特殊化し、$\mathscr{D}_q$ が大きな中心を持ち、一般にはその中心上のアズマヤ代数となるようにする。
• $\mathscr{A}^\chi_{q,\eta}$ を、$\mathscr{D}_q^\circ(\mathbb{A}^n)$ の $K$-不変商を、$\Phi_{q,K} - \eta$ で生成されるイデアルで割ったものとして定義し、商写像の $l$-捩じれを介して押し上げる。
• $\mathscr{A}^\chi_{q,\eta}$ が、$\mathscr{O}_{\mathfrak{M}_{\chi,\eta}}$ のフロベニウス捩じれ $Fr_l$ による押し上げと同型であることを示し、これにより $\mathscr{O}_{\mathfrak{M}^{(l)}_{\chi,\eta}}$-加群としての coherent な代数の層であることを証明する。
• $Fr_l$ と商写像を含む図式の可換性を用いて、同型 $\mathscr{A}^\chi_{q,\eta} \cong (Fr_l)_*\mathscr{O}_{\mathfrak{M}_{\chi,\eta}}$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、braided tensor category フレームワークにおいて $q$-差分作用素を用いて乗法的ハイパートーリック多様体の $q$-変形を構築できるか？
• RQ2 $q$ が単位根であるとき、代数 $\mathscr{D}_q$ の構造はどのようなものであり、アズマヤ代数構造をもつのか？
• RQ3 $l$-捩じれ乗法的ハイパートーリック多様体上に定義されたアズマヤ代数 $\mathscr{A}^\chi_{q,\eta}$ は、モーメント写像および解像写像の両方で分解可能か？
• RQ4 これらの $q$-変形代数に対して、一般の場合と単位根の場合を統一する導来局在定理を定式化できるか？

主な発見

• $\mathscr{D}_q$ である $q$-差分作用素の代数は、$\mathrm{Rep}_q(T)$ 内の非自明な braiding を持つ braided Heisenberg double として構成される。
• $q$ が $l$ 乗根であるとき、$\mathscr{D}_q$ はその大きな中心上の有限次元モジュールとなり、一般にはその中心上のアズマヤ代数となる。
• $\mathscr{A}^\chi_{q,\eta}$ は、$\mathscr{D}_q^\circ(\mathbb{A}^n)$ の $K$-不変商を $\Phi_{q,K} - \eta$ で割ったものとして定義され、$\mathfrak{M}^{(l)}_{\chi,\eta}$ 上の多様体上の代数の層をなす。
• $\mathscr{O}_{\mathfrak{M}^{(l)}_{\chi,\eta}}$-加群としての標準的同型 $\mathscr{A}^\chi_{q,\eta} \cong (Fr_l)_*\mathscr{O}_{\mathfrak{M}_{\chi,\eta}}$ が存在し、アズマヤ代数がフロベニウス捩じれによる構造層の押し上げと同型であることを示す。
• アズマヤ代数 $\mathscr{A}^\chi_{q,\eta}$ は、モーメント写像および解像写像の両方で分解可能であり、多様体の幾何的構造と整合的である。
• 本稿は、これらの代数に対する導来局在定理の概説を行い、一般の場合と単位根の場合を統一するためのカテゴリカルな構成（GIT 商の形式主義を模倣）を提案する。