[论文解读] Diagonal Temperley-Lieb Invariants and Harmonics

Jean-Christophe Aval, François Bergeron+1 more|arXiv (Cornell University)|Nov 25, 2004

Algebraic structures and combinatorial models参考文献 19被引用 9

一句话总结

本文引入了在具有 2n 个变量的域 ℚ[x,y] 中的对角 Temperley-Lieb 不变量与调和多项式，定义了新的对角拟对称多项式空间，并在 n→∞ 时建立了其分次 Hopf 代数结构。证明了对角 Temperley-Lieb 不变量空间构成一个与对称函数和拟对称函数的张量积同构的分次 Hopf 代数，并猜想：在去除常数项的对称不变量后的商空间为非自由模，其 Hilbert 系数为正整数。

ABSTRACT

In the context of the ring Q[x,y], of polynomials in 2n variables x=x1,...,x_n and y=y1,...,yn, we introduce the notion of diagonally quasi-symmetric polynomials. These, also called "diagonal Temperley-Lieb invariants", make possible the further introduction of the space of "diagonal Temperley-Lieb harmonics" and "diagonal Temperley-Lieb coinvariant space". We present new results and conjectures concerning these spaces, as well as the space obtained as the quotient of the ring of diagonal Temperley-Lieb invariants by the ideal generated by constant term free diagonally symmetric invariants. We also describe how the space of diagonal Temperley-Lieb invariants affords a natural graded Hopf algebra structure, for n going to infinity. We finally show how this last space and its graded dual Hopf algebra are related to the well known Hopf algebras of symmetric functions, quasi-symmetric functions and noncommutative symmetric functions.

研究动机与目标

• 在具有 2n 个变量的多项式环 ℚ[x,y] 中定义并研究对角 Temperley-Lieb 不变量空间。
• 引入对角拟对称多项式的概念及其在构造新调和空间与余不变量空间中的作用。
• 研究商空间 ℚ[x,y]/⟨DQSymₙ⁺⟩ 和 ℛₙ := DQSymₙ/⟨DSymₙ⁺⟩ 的结构，特别是其 Hilbert 系数与在对称多项式上的自由性。
• 在 n→∞ 时建立对角 Temperley-Lieb 不变量空间的分次 Hopf 代数结构，并将其与对称函数、拟对称函数及非交换对称函数联系起来。
• 猜想 ℛₙ 的 Hilbert 系数为正整数，与 DSymₙ 上的非自由性形成对比。

提出的方法

• 通过一种非乘法的、类似 Hivert 的作用方式，将 Temperley-Lieb 代数 TLₙ 作用于 ℚ[x,y]，该作用保持单项式支撑但置换指标。
• 将代数 DQSymₙ 定义为在该 TLₙ 作用下不变的 x 与 y 的多项式集合。
• 利用双组合与指数向量上的移位算子 φ，通过递归构造 DQSymₙ 的基 Bₙ，对 n=1,2,3 明确计算了基。
• 证明在 n→∞ 时，对角 Temperley-Lieb 不变量空间构成一个分次 Hopf 代数，其余乘法与乘法相容。
• 通过同构与富比尼代换，将该 Hopf 代数与经典 Hopf 代数（对称函数 Sym、拟对称函数 QSym、非交换对称函数 NSym）联系起来。
• 使用富比尼代换分析 ℛₙ 的 Hilbert 系数，表明若假设自由性，则公式产生负系数，从而表明 DQSymₙ 在 DSymₙ 上非自由。

实验结果

研究问题

• RQ1 当 n→∞ 时，对角 Temperley-Lieb 不变量空间是否构成一个分次 Hopf 代数？其与经典 Hopf 代数（如 Sym、QSym、NSym）的关系如何？
• RQ2 商空间 ℛₙ := DQSymₙ/⟨DSymₙ⁺⟩ 是否为 DSymₙ 上的自由模？其 Hilbert 系数为何？
• RQ3 能否通过在双组合上定义的算子 φ 与 Φ 证明 DQSymₙ 的递归基 Bₙ 是线性无关且张成整个空间？
• RQ4 n≤3 时 ℛₙ 的 Hilbert 系数为正整数，这一性质是否可推广为具有一般性质的公式？
• RQ5 在 DQSymₙ 中，由无常数项的对角对称不变量生成的理想结构为何？其对商空间有何影响？

主要发现

• 在 n→∞ 时，对角 Temperley-Lieb 不变量空间构成一个分次 Hopf 代数，其余乘法与乘法相容。
• 对 n≤3，商空间 ℛₙ := DQSymₙ/⟨DSymₙ⁺⟩ 的 Hilbert 系数以矩阵形式明确计算，显示为正整数系数。
• DQSymₙ 不是 DSymₙ 上的自由模，因为预期的 Hilbert 系数公式产生负系数。
• 通过双组合上的 φ 算子构造的递归基 Bₙ 被猜想为 DQSymₙ 的线性基，且对 n=1,2,3 已明确验证。
• 作为双分次模，DQSymₙ 同构于 DSymₙ 与 ℛₙ 的张量积，但此分解不蕴含自由性，因存在非平凡关系。
• 对 n=2 和 n=3，ℛₙ 的 Hilbert 系数以正整数矩阵形式计算，提示存在更深层的组合结构，可能通过扩展 [9] 和 [16] 中的技术加以证明。