[論文レビュー] Catalan paths, Quasi-symmetric functions and Super-Harmonic Spaces

Jean-Christophe Aval, Nantel Bergeron|arXiv (Cornell University)|Sep 20, 2001

Advanced Combinatorial Mathematics参考文献 7被引用数 4

ひとこと要約

本稿では、非定数の準対称関数で生成されるイデアルの閉包による形式的冪級数の商環が、無限Dyckパス（Catalanパス）によってインデックスづけられるヒルベルト基底を持つことにより、準対称関数とCatalanパスの間の接続を確立する。さらに、直線 y = x − k の上にあるパスによってインデックスづけられるフィルトレーションを導入し、変数が有限個の商環 Rn の次元が第nCatalan数によって上から抑えられることを証明する。等号が成立するとの予想が提示されており、現在その証明に向けた作業が進行中である。

ABSTRACT

We investigate the quotient ring $R$ of the ring of formal power series $\Q[[x_1,x_2,...]]$ over the closure of the ideal generated by non-constant quasi-\break symmetric functions. We show that a Hilbert basis of the quotient is naturally indexed by Catalan paths (infinite Dyck paths). We also give a filtration of ideals related to Catalan paths from $(0,0)$ and above the line $y=x-k$. We investigate as well the quotient ring $R_n$ of polynomial ring in $n$ variables over the ideal generated by non-constant quasi-symmetric polynomials. We show that the dimension of $R_n$ is bounded above by the $n$th Catalan number.

研究の動機と目的

• 非定数の準対称関数で生成されるイデアルの閉包による商環 R = Q[[x1,x2,...]] / J の構造を特徴づけること。
• 無限Dyckパス（Catalanパス）によってインデックスづけられるヒルベルト基底を R に確立し、組合せ論と代数的構造を結びつけること。
• 直線 y = x − e の上にあるパスに対応するイデアル J^(e) のフィルトレーションを定義し、対応する商環を分析すること。
• 非定数の準対称多項式で生成されるイデアル Jn による有限次元商環 Rn = Q[x1,...,xn]/Jn を調査し、その次元を評価すること。
• dim(Rn) = Cn（第nCatalan数）であるという予想を支持すること。現在、F. Bergeron および A. Garsia と共同で等号の証明に向けた作業が進行中である。

提案手法

• 各単項式を平面内の格子パスに割り当てる。指数列を段階的移動に変換する：(0,0) → (α1,0) → (α1,1) → (α1+α2,1) → ...
• Catalanパス（無限Dyckパス）を、直線 y = x 以上に常にとどまるパスとして定義し、このようなパスに対応する単項式が商環 R のヒルベルト基底をなすことを示す。
• パスが直線 y = x − e より上にとどまるような要素からなるイデアル J^(e) のフィルトレーションを導入し、対応する商環 R^(e) = R / J^(e) を定義する。
• 一般化された組成と再帰的生成子 G~α を用いて、各イデアル J^(e) に対するGröbner基底 Q^(e) を構成する。その先行単項式はパスの型に対応する。
• Buchbergerのアルゴリズムと辞書的簡約を用いて、Q^(e) 内のすべてのS多項式が簡約可能であることを証明し、Q^(e) がGröbner基底であることを示す。
• 三角性と成分ごとの優越性を用いて、Q^(e) の先行単項式で割り切れない単項式の集合が、e-Catalanパスによってインデックスづけられる R^(e) のヒルベルト基底をなすことを示す。

実験結果

リサーチクエスチョン

• RQ1 非定数の準対称関数で生成されるイデアルの閉包による商環 R = Q[[x1,x2,...]] / J のヒルベルト基底は何か？
• RQ2 直線 y = x − e の上にあるパスに対応する商環 R^(e) = R / J^(e) の構造は、どのように格子パスと関係するか？
• RQ3 非定数の準対称多項式で生成されるイデアル Jn による有限次元商環 Rn = Q[x1,...,xn]/Jn の次元は何か？
• RQ4 Rn の次元が第nCatalan数 Cn に等しいかどうか。その潜在的な等号の構造的根拠は何か？
• RQ5 超調和空間 SHn（Jn の直交補空間）の代数的構造は、さらに特徴づけられるか。また、自然な代数的構造はその上にどのように作用するか？

主な発見

• 商環 R = Q[[x1,x2,...]] / J のヒルベルト基底は、直線 y = x 以上に常にとどまる無限Dyckパス（Catalanパス）に対応する単項式によって与えられる。
• 各 e ≥ 0 に対して、商環 R^(e) = Q[[x1,x2,...]] / J^(e) は、直線 y = x − e 以上にとどまるパスによってインデックスづけられるヒルベルト基底を持ち、これは e-Catalanパスのクラスを形成する。
• 再帰的組成規則を用いて定義される生成子 G~α の集合 Q^(e) は、すべてのS多項式が0に簡約可能であることを示すことで、イデアル J^(e) のGröbner基底であることが証明される。
• 有限次元商環 Rn = Q[x1,...,xn]/Jn の次元は、第nCatalan数によって上から抑えられ、すなわち dim(Rn) ≤ Cn が成り立つ。
• Jn の直交補空間として定義される超調和多項式の空間 SHn ⊆ Hn は、古典的調和多項式の部分空間であり、その次元は Cn によって抑えられる。
• 著者らは、dim(Rn) = Cn であると予想しており、この等号は F. Bergeron および A. Garsia と共同で現在進行中の研究の対象であり、証明は近い将来の論文 [5] で得られる見込みである。