[論文レビュー] 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 が列厳密テーブルックスであるテーブルックスのペア (Tr, Tc) で添字づけられると、基底をなす。
• ホイットニー加群の二重多重線形部分加群は対称群の作用をもち、その複素化は既約表現に分解される。
• 二重多重線形部分加群における、フック型 λ = (n−k, 1k) で添字づけられた既約表現の重複度は、外部活性度 k をもつ M のノーブラウンカーブ基底の数に等しい。
• ノーブラウンカーブ基底のヤング対称化作用素の生成するイデアルと、依存集合のそれらのイデアルの交差は自明であり、基底が適切に定義されかつ最小であることが確認された。
• 証明は、回路の消去と辞書的順序還元を用いて、依存集合および単一サイクル集合をノーブラウンカーブ基底と 1 を含む集合の組み合わせにストレートニングすることで成り立つ。
• 最終的な結果として、自由マトロイドのホイットニー加群がこのようなテーブルックスのペアで添字づけられた基底をもつことが確認され、表現論的構造が nbc 複体によって完全に決定されることを示した。