[論文レビュー] Nichols-Woronowicz algebra model for Schubert calculus on Coxeter groups

Yuri Bazlov|arXiv (Cornell University)|Sep 13, 2004

Algebraic structures and combinatorial models参考文献 15被引用数 4

ひとこと要約

この論文は、有限 Coxeter 群 $W$ の任意のタイプに対して、$W$ 上の Yetter-Drinfeld 圈のなかの Nichols-Woronowicz 代数 $\beta_W$ を用いて、シューベルト計算の均一なモデルを構築する。$\beta_W$ 内で、余不変代数 $S_W$ と nilCoxeter 代数 $N_W$ を部分代数として実現し、Fomin-Kirillov や Kirillov-Maeno の構成を一般化する braided Hopf 代数枠組みを提供する。主な結果として、$G_2$ 型でないタイプでは、$\beta_W$ が bracket 代数 $\mathrm{BE}(W,S)$ の商であることが示される。

ABSTRACT

We realise the cohomology ring of a flag manifold, more generally the coinvariant algebra of an arbitrary finite Coxeter group W, as a commutative subalgebra of a certain Nichols algebra in the Yetter-Drinfeld category over W. This gives a braided Hopf algebra version of the corresponding Schubert calculus. Our proof is based on methods of braided differential calculus rather than on working directly with the relations in the Nichols algebra, which are not known explicitly. We also discuss the relationship between Fomin-Kirillov quadratic algebras, Kirillov-Maeno bracket algebras and our construction.

研究の動機と目的

• 対称群から任意の有限 Coxeter 群へ、シューベルト計算の Fomin-Kirillov 構成を拡張すること。
• braided 微分積分法を用いて、任意の有限 Coxeter 群 $W$ の余不変代数 $S_W$ の均一な代数的モデルを提供すること。
• divided difference 演算子による作用を含めた、nilCoxeter 代数 $N_W$ 及びその作用を、1 つの braided Hopf 代数構造内に実現すること。
• Fomin-Kirillov 代数 $\mathcal{E}_n$、Kirillov-Maeno bracket 代数 $\mathrm{BE}(W,S)$、および新しい構成 $\beta_W$ 間の関係を明確にすること。

提案手法

• 根系と braided 微分積分法に基づき、$W$ 上の Yetter-Drinfeld 圈における、$\beta_W$ と呼ばれる次数付き braided Hopf 代数を構築する。
• braided 偏微分作用素と braiding $\Psi$ を用いて $\beta_W$ の代数的構造を定義し、$S_W$ と整合性を持つようにする。
• braided 対称化作用素と双対性ペアリングを用いて、$S_W$ を $\beta_W$ の次数付き可換部分代数として実現する。
• $N_W$ を $\beta_W$ の部分代数として埋め込み、$S_W$ 上へのその作用を braided 微分作用素の制限として実現する。
• $G_2$ 型でないタイプにおいて、Kirillov-Maeno bracket 代数 $\mathrm{BE}(W,S)$ の二次関係および 4 項関係が $\beta_W$ 内で成り立つことを、braiding $\Psi$ と braided 階乗の因数分解を用いて確認する。
• braided 環の設定において関係式を明示的に検証することで、Weyl 群が $G_2$ 型でない場合、$\beta_W$ が $\mathrm{BE}(W,S)$ の商であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Fomin-Kirillov 構成は、対称群を超えて、任意の有限 Coxeter 群へ、均一な代数的枠組みを用いて一般化可能か？
• RQ2 Nichols-Woronowicz 代数 $\beta_W$ は、braided Hopf 代数の文脈において、どのように余不変代数 $S_W$ を可換部分代数として実現するか？
• RQ3 Kirillov-Maeno bracket 代数 $\mathrm{BE}(W,S)$ と Nichols 代数 $\beta_W$ 間の正確な関係は何か？
• RQ4 Nichols 代数 $\beta_W$ は、非結晶格型の Coxeter 群を含め、すべての Coxeter 群に対してシューベルト計算の一貫したモデルを提供するか？
• RQ5 $\beta_{\mathbb{S}_n} = \mathcal{E}_n$ であるという予想は、すべての $n$ に対して成り立つか？そして、この予想は構成の普遍性に何を示唆するか？

主な発見

• 任意の有限 Coxeter 群 $W$ の余不変代数 $S_W$ は、$W$ 上の Yetter-Drinfeld 圈における Nichols-Woronowicz 代数 $\beta_W$ の次数付き可換部分代数として実現される。
• nilCoxeter 代数 $N_W$ 及びその $S_W$ 上への divided difference 演算子による作用は、$\beta_W$ 内に統合され、一貫した代数的モデルが得られる。
• $G_2$ 型でない Weyl 群に対して、Nichols 代数 $\beta_W$ は Kirillov-Maeno bracket 代数 $\mathrm{BE}(W,S)$ の商であり、$\mathrm{BE}(W,S)$ のすべての定義関係が $\beta_W$ 内で成り立つ。
• 型 $B_2$ において、$\dim \beta_W = 64$、一方 $\dim \mathrm{BE}(W,S) = \infty$ であるため、$\beta_W$ は $\mathrm{BE}(W,S)$ に追加の関係を課していることが示される。
• 型 $G_2$ において、$\mathrm{BE}(W,S)$ の 4 項関係は $\beta_W$ 内で成り立たないため、この場合 $\beta_W$ は $\mathrm{BE}(W,S)$ の商ではない。
• $n \leq 5$ に対して、$\beta_{\mathbb{S}_n} = \mathcal{E}_n$ であるという予想は成り立つが、$n > 5$ については未解決であり、Fomin-Kirillov 構成の一般化の可能性を示唆する。