[论文解读] Tableaux in the Whitney Module of a Matroid

Andrew Berget|arXiv (Cornell University)|Nov 29, 2009

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

一句话总结

本文通过行严格表与列严格表的配对，为自由拟阵（亦称施伯格特或移位拟阵）的惠特尼模建立了一个组合基。关键结果是该生成集构成一个基，且本文进一步通过无断裂回路集，给出了在双重多重线性子模中钩形不可约表示的重数公式。

ABSTRACT

The Whitney module of a matroid is a natural analogue of the tensor algebra of the exterior algebra of a vector space that takes into account the dependencies of a matroid. In this paper we indicate the role that tableaux can play in describing the Whitney module. We will use our results to describe a basis of the Whitney module of a certain class of matroids known as freedom matroids (also known as Schubert, or shifted matroids). The doubly multilinear submodule of the Whitney module is a representation of the symmetric group. We will describe a formula for the multiplicity of hook shapes in this representation in terms of no broken circuit sets.

研究动机与目标

• 研究表格在描述拟阵惠特尼模结构中的作用。
• 利用组合表格条件，为自由拟阵的惠特尼模建立一个基。
• 确定惠特尼模的双重多重线性子模中钩形不可约表示的重数。
• 将惠特尼模的表示论结构与拟阵中无断裂回路集的组合性质联系起来。

提出的方法

• 利用字母位置超代数框架及格罗坦-罗塔-斯坦因的标准基定理，描述外代数张量代数的基。
• 将惠特尼模定义为字母位置代数的商代数，通过反映拟阵依赖关系的关系式来定义。
• 引入一个由表格对 (Tr, Tc) 索引的惠特尼模的生成集，其中 Tr 为行严格表，其元素取自 [n]，且行索引独立集；Tc 为列严格表。
• 应用杨对称化子并分析其理想，证明对于自由拟阵，该生成集成为基。
• 利用圈消除公理与闭包性质，将依赖集关系约化为无断裂回路基的组合。
• 采用化简论证法，并对单圈集与依赖集进行归纳约化，证明由无断裂回路基的杨对称化子与依赖集的杨对称化子生成的理想交集为平凡。

实验结果

研究问题

• RQ1 如何利用表格描述拟阵惠特尼模的基？
• RQ2 惠特尼模的自然生成集在何种条件下成为基？
• RQ3 惠特尼模的双重多重线性子模中钩形不可约表示的重数是多少？
• RQ4 这些重数与拟阵中无断裂回路集的组合性质有何关联？

主要发现

• 当由行严格表 Tr（元素取自 [n]，且每行索引一个独立集）与列严格表 Tc 索引时，自由拟阵惠特尼模的生成集构成一个基。
• 惠特尼模的双重多重线性子模具有对称群作用，其复化分解为不可约表示。
• 在双重多重线性子模中，由钩形 λ = (n−k, 1k) 索引的不可约表示的重数，等于 M 中外部活动为 k 的无断裂回路基的数量。
• 由无断裂回路基的杨对称化子与依赖集的杨对称化子生成的理想交集为平凡，确认该基是良定义且极小的。
• 证明依赖于将依赖集与单圈集化简为 nbc 基及含 1 的集合的组合，利用圈消除与词典序约化。
• 最终结果确认，自由拟阵的惠特尼模具有由此类表格对索引的基，且其表示论结构完全由 nbc 复形决定。