[论文解读] 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的理论，引入了费米子型对角余不变环 $DR_W$，即 $ abla(V \oplus V^*)$ 对 $W$-不变元素正次数部分的理想之商。关键结果是对 $DR_W$ 的双分次 $W$-模结构的完整描述，表明当 $W = \mathfrak{S}_n$ 时，其同构于钩形 $\mathfrak{S}_n$-模的Kronecker积之差，其维数与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数联系起来。
• 通过Motzkin路径的变体，显式构造 $DR_W$ 的单项式基。
• 将这些结果统一推广至所有不可约复反射群，而不仅限于 $\mathfrak{S}_n$。

提出的方法

• 将 $DR_W$ 的定义理想实现为由 $V \oplus V^*$ 中的 $W$-不变Casimir元 $\delta_W$ 生成的主理想，该元素在外部代数中起类似Lefschetz元素的作用。
• 在外部代数设定下，尽管生成元反交换，仍使用双分次Poincaré对偶性与Hard Lefschetz型性质。
• 应用表示论技巧，将 $DR_W$ 分解为外幂 $\wedge^i V$ 与 $\wedge^j V^*$，从而得出其双分次 $W$-同构类型的公式。
• 通过受Motzkin路径启发的路径模型，构造 $DR_W$ 的标准单项式基，其中路径编码了 $\theta_i$ 与 $\xi_j$ 生成元的单项式。
• 利用这些路径的组合性质，计算 $DR_W$ 的双分次Hilbert级数，将其与Catalan数和Narayana数联系起来。
• 验证 $DR_W$ 的维数为 $\binom{2n+1}{n}$（当群的秩为 $n$ 时），并证明其分次维数与已知的组合序列一致。

实验结果

研究问题

• RQ1 鉴于线性形式的平方为零且通常不是 $W$-不变的，如何为外代数形式化类似Lefschetz的理论？
• RQ2 对于不可约复反射群 $W$，费米子型对角余不变环 $DR_W$ 的双分次 $W$-模结构是什么？
• RQ3 $DR_W$ 的分次分量的维数如何与Catalan数和Narayana数等经典组合数相关？
• RQ4 能否通过Motzkin路径等组合对象显式构造 $DR_W$ 的单项式基？
• RQ5 当 $W = \mathfrak{S}_n$ 作用于其 $n$-维置换表示而非其反射表示时，$DR_W$ 的多分次结构是什么？

主要发现

• 当 $W = \mathfrak{S}_n$ 时，双分次 $W$-模 $DR_W$ 同构于钩形 $\mathfrak{S}_n$-模的Kronecker积之差，从而完整分解了其表示类型。
• 对于任意秩为 $n$ 的不可约复反射群 $W$，$DR_W$ 的维数为 $\binom{2n+1}{n}$，其分次维数与Catalan数和Narayana数一致。
• $DR_W$ 的双分次Hilbert级数通过Motzkin路径的变体组合表达，其生成函数编码了完整的双分次结构。
• 通过在网格中具有特定上行、下行和平行步的路径，构造了 $DR_W$ 的标准单项式基，每条路径对应唯一的 $\theta_i$ 与 $\xi_j$ 生成元的单项式。
• Casimir元 $\delta_W$ 是 $V \oplus V^*$ 中的 $W$-不变元素，生成 $DR_W$ 的定义理想，并在双分次外代数中起类似Lefschetz元素的作用。
• 当 $W = \mathfrak{S}_n$ 时，结果被扩展至其 $n$-维置换表示，得到类似公式与组合基。