[论文解读] 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

一句话总结

本文通过在群 $W$ 的 Yeter-Drinfeld 族中使用 Nichols-Woronowicz 代数 $\beta_W$，为任意有限 Coxeter 群上的 Schubert 微积分构建了一个统一模型。它将余不变量代数 $S_W$ 和 nilCoxeter 代数 $N_W$ 作为 $\beta_W$ 中的子代数实现，提供了一个广义化 Fomin-Kirillov 与 Kirillov-Maeno 构造的辫子 Hopf 代数框架，其关键结果为：对于非 $G_2$ 类型，$\beta_W$ 是括号代数 $\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.

研究动机与目标

• 将 Fomin-Kirillov 对对称群上 Schubert 微积分的构造推广到任意有限 Coxeter 群。
• 通过辫子微分学，为任意有限 Coxeter 群 $W$ 的余不变量代数 $S_W$ 提供一个统一的代数模型。
• 在一个统一的辫子 Hopf 代数结构中，实现 nilCoxeter 代数 $N_W$ 及其通过差分算子作用于 $S_W$ 的方式。
• 阐明 Fomin-Kirillov 代数 $\mathcal{E}_n$、Kirillov-Maeno 括号代数 $\mathrm{BE}(W,S)$ 与新构造 $\beta_W$ 之间的关系。

提出的方法

• 基于根系与辫子微分学，在群 $W$ 的 Yeter-Drinfeld 族中构造一个分次辫子 Hopf 代数 $\beta_W$。
• 利用辫子偏导数与辫子映射 $\Psi$ 定义 $\beta_W$ 的代数结构，确保其与余不变量代数 $S_W$ 兼容。
• 通过辫子对称化与对偶配对，将余不变量代数 $S_W$ 实现为 $\beta_W$ 中的分次交换子代数。
• 将 nilCoxeter 代数 $N_W$ 嵌入为 $\beta_W$ 的子代数，其在 $S_W$ 上的作用通过辫子导数的限制实现。
• 利用辫子映射 $\Psi$ 与辫子阶乘的分解，验证在非 $G_2$ 类型下，Kirillov-Maeno 括号代数 $\mathrm{BE}(W,S)$ 的二次关系与四元关系在 $\beta_W$ 中成立。
• 通过在辫子设定下显式验证关系，证明对于除 $G_2$ 外的 Weyl 群类型，$\beta_W$ 是 $\mathrm{BE}(W,S)$ 的商代数。

实验结果

研究问题

• RQ1 能否通过统一的代数框架，将 Fomin-Kirillov 构造从对称群推广到任意有限 Coxeter 群？
• RQ2 Nichols-Woronowicz 代数 $\beta_W$ 如何在辫子 Hopf 代数设定下，将余不变量代数 $S_W$ 实现为交换子代数？
• RQ3 Kirillov-Maeno 括号代数 $\mathrm{BE}(W,S)$ 与 Nichols 代数 $\beta_W$ 之间的精确关系是什么？
• RQ4 Nichols 代数 $\beta_W$ 是否为所有 Coxeter 群（包括非晶体型）提供了 Schubert 微积分的一致模型？
• RQ5 猜想 $\beta_{\mathbb{S}_n} = \mathcal{E}_n$ 对所有 $n$ 成立吗？若成立，这对该构造的普遍性意味着什么？

主要发现

• 任意有限 Coxeter 群 $W$ 的余不变量代数 $S_W$ 均可作为 $W$ 的 Yeter-Drinfeld 族中 Nichols-Woronowicz 代数 $\beta_W$ 的分次交换子代数实现。
• nilCoxeter 代数 $N_W$ 及其通过差分算子在 $S_W$ 上的作用，均被嵌入 $\beta_W$ 中，从而提供了一个统一的代数模型。
• 对于除 $G_2$ 外的 Weyl 群类型，Nichols 代数 $\beta_W$ 是 Kirillov-Maeno 括号代数 $\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)$ 中的四元关系在 $\beta_W$ 中不成立，表明此时 $\beta_W$ 并非 $\mathrm{BE}(W,S)$ 的商代数。
• 猜想 $\beta_{\mathbb{S}_n} = \mathcal{E}_n$ 在 $n \leq 5$ 时成立，而对 $n > 5$ 仍为开放问题，提示该构造可能推广了 Fomin-Kirillov 构造。