[論文レビュー] Lefschetz theory for exterior algebras and fermionic diagonal coinvariants

Jongwon Kim, Brendon Rhoades|arXiv (Cornell University)|Mar 23, 2020

Advanced Combinatorial Mathematics参考文献 18被引用数 5

ひとこと要約

本稿では、可約でない複素反射群に関連する外積代数に対するLefschetz型理論を構築し、正の次数の$W$-不変要素からなるイデアルによる商として定義されるフェルミオン的対角余不変環$DR_W$を導入する。主な結果は、$W = \mathfrak{S}_n$のとき、$DR_W$の双次数$W$-加群構造の完全な記述であり、これは$\mathfrak{S}_n$-モジュールのフック型のテンソル積の差に同型であることが示され、次元がCatalan数およびNarayana数と関係し、Motzkin経路を用いたモノミアル基底が構成される。

ABSTRACT

Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ angle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of $DR_W$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $DR_W$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory which applies to the exterior algebra $\wedge (V \oplus V^*)$.

研究の動機と目的

• 可約でない複素反射群$W$の作用下での外積代数$\wedge(V \oplus V^*)$に対するLefschetz型理論を構築すること。
• フェルミオン的対角余不変環$DR_W = \wedge(V \oplus V^*) / \langle \wedge(V \oplus V^*)^W_+ \rangle$の双次数同型型を特徴付けること。
• $DR_W$のHilbert級数がCatalan数およびNarayana数とどのように関係するかを明らかにすること。
• $DR_W$の明示的なモノミアル基底を、Motzkin経路の変種を用いて構成すること。
• $\mathfrak{S}_n$に限らず、すべての可約でない複素反射群に一様にこれらの結果を拡張すること。

提案手法

• $DR_W$の定義イデアルを、$V \oplus V^*$における$W$-不変なカシミール要素$\delta_W$によって生成される主イデアルとして実現し、外積代数内でのLefschetzに類似した作用を果たすようにする。
• 生成子が反交換的であるにもかかわらず、外積代数の文脈において双次数Poincaré双対性およびHard Lefschetz型性質を用いる。
• 表現論的技法を用いて$DR_W$を外積冪$\wedge^i V$および$\wedge^j V^*$に分解し、その双次数$W$-同型型を記述する公式を得る。
• $\theta_i$および$\xi_j$生成子におけるモノミアルを符号化する経路に基づくモデルを用いて、$DR_W$の標準モニック基底を構成する。
• これらの経路の組合せ論的性質を用いて、$DR_W$の双次数Hilbert級数を計算し、Catalan数およびNarayana数と関連付ける。
• $DR_W$の次元がランク$n$の群に対して$\binom{2n+1}{n}$であることを検証し、各次数の次元が既知の組合せ論的数列と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 線形形式が0の二乗をとるため、通常$W$-不変でないにもかかわらず、外積代数に対してLefschetz型理論をどのように定式化できるか。
• RQ2 可約でない複素反射群$W$に対して、フェルミオン的対角余不変環$DR_W$の双次数$W$-加群構造はどのようなものか。
• RQ3 $DR_W$の各次数成分の次元は、Catalan数やNarayana数といった古典的組合せ論的数とどのように関係するか。
• RQ4 $DR_W$のモニック基底を、Motzkin経路のような組合せ論的対象を用いて明示的に構成できるか。
• RQ5 $W = \mathfrak{S}_n$が$n$次元の置換表現に作用する場合、$DR_W$の多重次数構造はどのようなものか。

主な発見

• $W = \mathfrak{S}_n$のとき、双次数$W$-加群$DR_W$は、フック型$\mathfrak{S}_n$-モジュールのテンソル積の差に同型であり、その表現型の完全な分解が得られる。
• $DR_W$の次元は、ランク$n$の可約でない複素反射群$W$に対して常に$\binom{2n+1}{n}$であり、各次数の次元はCatalan数およびNarayana数と一致する。
• $DR_W$の双次数Hilbert級数は、Motzkin経路の変種を用いた組合せ論的表現で与えられ、生成関数が双次数構造を完全に符号化する。
• $\theta_i$および$\xi_j$生成子におけるモニック基底が、特定の上り・下り・水平ステップを持つグリッド上の経路を用いて構成され、各経路が一意にモニック基底の要素に対応する。
• $W$-不変な$V \oplus V^*$の要素$\delta_W$であるカシミール要素が、$DR_W$の定義イデアルを生成し、双次数外積代数内でのLefschetzに類似した作用を果たす。
• $W = \mathfrak{S}_n$の場合、結果は$n$次元の置換表現へと拡張され、類似の公式および組合せ論的基底が得られる。