[论文解读] A second proof of the Shareshian--Wachs conjecture, by way of a new Hopf algebra

Mathieu Guay-Paquet|arXiv (Cornell University)|Jan 21, 2016

Advanced Combinatorial Mathematics参考文献 10被引用 44

一句话总结

本文通過在Dyck路徑上引入一種新型的Hopf代數結構，提供了Shareshian–Wachs猜想的第二個證明，該結構組織了正則半單Hessenberg簇的遞歸分解。該方法建立了一個Hopf理論框架，將單位區間圖的$q$-色quasisymmetric函數與Hessenberg簇的等變上同調聯繫起來，並透過對著色圖結構的符號反轉對合證明了它們的相等性。

ABSTRACT

This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.

研究动机与目标

• 提供Shareshian–Wachs猜想的替代證明，該猜想將單位區間圖的組合$q$-色quasisymmetric函數與Hessenberg簇上同調上的代數幾何表示相等。
• 引入並利用Dyck路徑上的一種新Hopf代數結構，作為Hessenberg簇遞歸分解的統一框架。
• 證明$q$-色quasisymmetric函數可透過有序圖上的通用構造，從$\mathbb{C}(q)$中的一組最小係數（每個係數為$q$的冪或零）普遍生成。
• 表明Hessenberg上同調上點作用的Frobenius特徵尊重Hopf代數結構，從而將表示理論與對稱函數聯繫起來。

提出的方法

• 構造一個新的Dyck路徑上的Hopf代數，作為Hessenberg簇遞歸分解的組織原則。
• 定義一個通用配方，從由有序圖索引的最小係數集（每個係數屬於$\mathbb{C}(q)$，且為零或$q$的冪）生成$q$-色quasisymmetric函數。
• 利用Hopf代數結構證明Hessenberg簇的構造尊重代數的乘法與協乘法結構。
• 明確識別等變上同調環中對稱群以符號表示作用的子空間，作為遞歸的基礎情況。
• 對著色圖結構應用符號反轉對合，以消去所有項，僅保留基礎情況，從而證明多於一個頂點的連通有序圖的猜想。
• 利用Hopf代數的通用性質，將問題簡化為驗證有限多個係數恆等式，這些恆等式通過頂點著色的分情況分析進行驗證。

实验结果

研究问题

• RQ1 如何使用遞歸代數結構而非變形技術，重新證明Shareshian–Wachs猜想？
• RQ2 Dyck路徑上的新Hopf代數在組織Hessenberg簇幾何結構中扮演何種角色？
• RQ3 $q$-色quasisymmetric函數能否透過Hopf代數中的一個通用構造，從一組最小係數重構？
• RQ4 Hessenberg上同調上點作用的Frobenius特徵如何與Dyck路徑上的Hopf代數結構相互作用？
• RQ5 確切的組合機制是什麼，能確保生成函數中除基礎情況外的所有項都被消去？

主要发现

• $q$-色quasisymmetric函數$\operatorname{CSF}_q(G(h))$由每個有序圖在$\mathbb{C}(q)$中的一個唯一係數唯一確定，每個係數為零或$q$的冪，顯著減少定義它所需的資料量。
• 對於所有具有多於一個頂點的連通有序圖，該猜想成立，因為對著色圖結構的求和透過符號反轉對合被消去，僅留下基礎情況。
• 該對合在所有至少有兩個頂點且最後兩個頂點之間有邊的連通有序圖上統一定義，保持統計量$\operatorname{stat}(\kappa)$不變，但符號相反。
• 基礎情況$G_1$（單一頂點）貢獻$1 - q$，與猜想中的預期值一致。
• Dyck路徑的Hopf代數提供了Hessenberg簇的原則性遞歸分解，其等變上同調環尊重乘法與協乘法結構。
• 點作用在Hessenberg上同調上的Frobenius特徵被證明是Hopf映射，確認了幾何與代數結構之間的相容性。