[論文レビュー] From Poset Topology to $q$-Eulerian Polynomials to Stanley's Chromatic Symmetric Functions

John Shareshian, Michelle L. Wachs|arXiv (Cornell University)|May 13, 2015

Advanced Combinatorial Mathematics参考文献 69被引用数 6

ひとこと要約

本稿では、ハッセ図のトポロジー、$q$-Eulerian多項式、Stanleyの色分け対称関数の間の深い関係を、色分け対称関数の準対称な一般化を導入することによって確立する。対称関数の恒等式と安定主スペクトルを用いて、EulerのEulerian多項式の指数型母関数の$q$-アナログを導出し、Hodge-Lefschetz定理を用いてその$q$-単調性を証明する。主な貢献は、単位区間順序の色分け準対称関数が正則半単純Hessenberg多様体のコホロジーと関連するという予想であり、これによりSchur正性と単調性が示され、Stanleyのe-正性予想の解決に繋がる可能性がある。

ABSTRACT

In recent years we have worked on a project involving poset topology, various analogues of Eulerian polynomials, and a refinement of Richard Stanley's chromatic symmetric function. Here we discuss how Stanley's ideas and results have influenced and inspired our own work.

研究の動機と目的

• Stanleyの色分け対称関数を、より豊かな組合せ的・位相的構造を捉えるための準対称な一般化へと拡張すること。
• 対称関数の恒等式と安定主スペクトルを用いて、Eulerian多項式の指数型母関数の$q$-アナログを確立すること。
• Hodge-Lefschetz定理を用いて、得られた$q$-Eulerian多項式の$q$-単調性を証明すること。
• 色分け準対称関数を、正則半単純Hessenberg多様体のコホロジーのFrobenius特徴関数として幾何的実現化するという予想を提示すること。
• unit interval orderにおけるStanleyのe-正性およびe-単調性予想の解決への道筋を提供すること。

提案手法

• 安定主スペクトルを用いた対称関数の操作により、Eulerian多項式の指数型母関数の$q$-アナログを導出すること。
• 辞書式シェラブル性およびposetの辺ラベル付けの理論を用いて、posetトポロジーと置換の数え上げを結びつけること。
• 係数が準対称関数である色分け準対称関数$X_{\text{inc}(P)}(\mathbf{x};t)$を定義し、$P$がunit interval orderである場合には係数が対称関数になることを利用すること。
• Frobenius特徴関数を通じて、色分け準対称関数を正則半単純Hessenberg多様体のコホロジーと関連付けること。
• GKM理論とトーラス作用を用いて、Hessenberg多様体のコホロジー上に$\mathfrak{S}_n$-表現を構成すること。
• この表現のFrobenius特徴関数が色分け準対称関数に一致すると予想し、代数的組合せ論と代数的幾何学を結びつけること。

実験結果

リサーチクエスチョン

• RQ1 Stanleyの色分け対称関数は、準対称関数とパrameter $t$ を用いて、より洗練された組合せ的データを捉えるようにどのように一般化できるか？
• RQ2 Eulerian多項式の指数型母関数の$q$-アナログとは何か？また、対称関数およびposetトポロジーとどのように関係しているか？
• RQ3 幾何的または表現論的手段を用いて、$q$-Eulerian多項式の$q$-単調性を確立できるか？
• RQ4 unit interval orderの非比較グラフの色分け準対称関数は、正則半単純Hessenberg多様体のコホロジーのFrobenius特徴関数に等しいか？
• RQ5 色分け準対称関数の幾何的実現が、Schur正性および単調性を示し、結果としてStanleyのe-正性予想の解決に繋がるか？

主な発見

• 著者らは、安定主スペクトルを用いて、主指数と逸脱数を含む、Eulerの指数型母関数の$q$-アナログを構成した。
• 得られた$q$-Eulerian多項式は$q$-単調であることが示され、これはHessenberg多様体のコホロジーにHodge-Lefschetz定理を適用することで裏付けられている。
• 色分け準対称関数$X_{\text{inc}(P)}(\mathbf{x};t)$は、Stanleyの色分け対称関数の準対称な一般化として定義され、$P$がunit interval orderである場合には係数が対称関数になる。
• Hessenbergベクトル$\mathbf{m} = (2,3,\dots,n)$に対して、$\mathfrak{S}_n$-表現のFrobenius特徴関数$H^*(\mathcal{H}(\mathbf{m}))$は、$\omega X_{\text{inc}(P(\mathbf{m}))}(\mathbf{x};t)$と一致し、予想4.9に対する強い証拠を提供する。
• 予想$\omega X_{\text{inc}(P)}(\mathbf{x};t) = \sum_j \text{ch}(H^{2j}(\mathcal{H}(\mathbf{m}))) t^j$が成り立つならば、$X_{\text{inc}(P)}(\mathbf{x};t)$のSchur正性およびSchur-単調性が示され、$t=1$のときにはStanley-Stembridgeのe-正性予想が成立する。
• 正則半単純Hessenberg多様体への接続は、対称関数論における単調性および正性予想を証明する幾何的アプローチを示唆する。