[論文レビュー] 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パス上の新規なホップ代数構造を用いて、正則半単純ヘッセンバーガリエティの再帰的分解を整理する手法により、Shareshian–Wachs予想の第二の証明を提示する。このアプローチにより、ユニットインターバルグラフの$q$-彩色クasi-対称関数とヘッセンバーガリエティの等席コホモロジーを結ぶホップ理論的枠組みが確立され、彩色グラフ構造上の符号反転の対合を用いて等式が証明される。

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.

研究の動機と目的

• ユニットインターバルグラフの組合せ的$q$-彩色クasi-対称関数とヘッセンバーガリエティのコホモロジーにおける代数幾何的表現を等しくするShareshian–Wachs予想の代替的証明を提供すること。
• ヘッセンバーガリエティの再帰的分解を統合的に扱うための、Dyckパス上の新規なホップ代数構造を導入・応用すること。
• 有理関数体$\mathbb{C}(q)$における最小の係数集合から、順序付きグラフ上で普遍的な構成を用いて$q$-彩色クasi-対称関数が普遍的に生じることを示すこと。
• ヘッセンバーガリエティのコホモロジーにおけるドット作用のフロベニウス指標がホップ代数構造を尊重することを示し、表現論と対称関数を結ぶこと。

提案手法

• ヘッセンバーガリエティの再帰的分解を整理するための、Dyckパス上の新規なホップ代数を構成すること。
• 順序付きグラフでインデックス付けられた最小の係数集合から、$\mathbb{C}(q)$に値をとる（0または$q$の累乗である）$q$-彩色クasi-対称関数を生成する普遍的なレシピを定義すること。
• ホップ代数構造を用いて、ヘッセンバーガリエティの構成が代数の乗法的および余乗法的構造を両方尊重することを示すこと。
• 符号表現で作用する対称群の作用が働く、等席コホモロジールリングの部分空間を明示的に同定し、再帰の基本ケースを提供すること。
• 彩色グラフ構造上の符号反転の対合を適用し、すべての項がキャンセルされ、唯一基本ケースが残ることを示し、2頂点以上の連結順序付きグラフに対して予想を証明すること。
• ホップ代数の普遍的性質を活用して、問題を有限個の係数恒等式の検証に還元し、頂点の彩色に関する場合分けによる検証を実施すること。

実験結果

リサーチクエスチョン

• RQ1 変形技術ではなく再帰的で代数的な構造を用いて、Shareshian–Wachs予想を再証明する方法は何か？
• RQ2 Dyckパス上の新規なホップ代数が、ヘッセンバーガリエティの幾何をどのように整理するか？
• RQ3 $q$-彩色クasi-対称関数は、ホップ代数上の普遍的構成によって、最小の係数集合から再構成可能か？
• RQ4 ヘッセンバーガリエティのコホモロジーにおけるドット作用のフロベニウス指標は、Dyckパス上のホップ代数構造とどのように相互作用するか？
• RQ5 生成関数において、基本ケース以外の項が完全にキャンセルされる正確な組合せ的メカニズムは何か？

主な発見

• $\operatorname{CSF}_q(G(h))$は、各順序付きグラフに対して$\mathbb{C}(q)$内の1つの係数によって一意に決定され、それぞれ0または$q$の累乗であるため、その定義に必要なデータ量が著しく削減される。
• 2頂点以上の連結順序付きグラフに対して予想は成り立つ。彩色グラフ構造の和が符号反転の対合によってキャンセルされ、唯一基本ケースが残る。
• この対合は、2頂点以上で最後の2頂点間に辺を持つすべての連結順序付きグラフに一様に定義され、$\operatorname{stat}(\kappa)$の統計量を保ちながら符号を反転させる。
• 基本ケース$G_1$（1頂点）は$1 - q$を寄与し、これは予想の期待値と一致する。
• Dyckパスのホップ代数は、ヘッセンバーガリエティの原理的再帰的分解を提供し、等席コホモロジールリングが積および余積構造の両方を尊重する。
• ヘッセンバーガリエティのコホモロジーにおけるドット作用のフロベニウス指標がホップ写像であることが示され、幾何的構造と代数的構造の整合性が確認された。